No abstract uploaded!

No abstract uploaded!

Based on work of Rasmussen [Ras03], we construct a concordance invariant associated to the knot Floer complex, and exhibit examples in which this invariant gives arbitrarily better bounds on the 4-ball genus than the Ozsv ́ath-Szab ́o τ invariant.

No abstract uploaded!

Fundamental group is one of the most important topological invariants for general manifolds, which can be directly used as manifolds classification. In this work, we provide a series of practical and efficient algorithms to compute fundamental groups for general 3-manifolds based on CW cell decomposition. The input is a tetrahedral mesh, while the output is symbolic representation of its first fundamental group. We further simplify the fundamental group representation using computational algebraic method. We present the theoretical arguments of our algorithms, elaborate the algorithms with a number of examples, and give the analysis of their computational complexity.

We derive generalizations of McShane’s identity for higher ranked surface group representations by studying a family of mapping class group invariant functions introduced by Goncharov and Shen which generalize the notion of horocycle lengths. In particular, we obtain McShane-type identities for finite-area cusped convex real projective surfaces by generalizing the Birman–Series geodesic scarcity theorem. More generally, we establish McShane-type identities for positive surface group representations with loxodromic boundary monodromy, as well as McShane-type inequalities for general rank positive representations with unipotent boundary monodromy. Our identities are systematically expressed in terms of projective invariants, and we study these invariants: we establish boundedness and Fuchsian rigidity results for triple and cross ratios. We apply our identities to derive the simple spectral discreteness of unipotent-bordered positive representations, collar lemmas, and generalizations of the Thurston metric.

We propose a geometric inequality for two-dimensional spacelike surfaces in the Schwarzschild spacetime. This inequality implies the Penrose inequality for collapsing dust shells in general relativity, as proposed by Penrose and Gibbons. We prove that the inequality holds in several important cases.

Given an element in the first homology of a rational homology 3-sphere Y, one can consider the minimal rational genus of all knots in this homology class. This defines a function Θ on H1(Y;Z), which was introduced by Turaev as an analogue of Thurston norm. We will give a lower bound for this function using the correction terms in Heegaard Floer homology. As a corollary, we show that Floer simple knots in L-spaces are genus minimizers in their homology classes, hence answer questions of Turaev and Rasmussen about genus minimizers in lens spaces.

In this paper, we study contact surgeries along Legendrian links in the standard contact 3-sphere. On one hand, we use algebraic methods to prove the vanishing of the contact Ozsváth–Szabó invariant for contact (+1)-surgery along certain Legendrian two component links. The main tool is a link surgery formula for Heegaard Floer homology developed by Manolescu and Ozsváth. On the other hand, we use contact-geometric argument to show the overtwistedness of the contact 3-manifolds obtained by contact (+1)-surgeries along Legendrian two-component links whose two components are linked in some special configurations.

A time-flat condition on spacelike 2-surfaces in spacetime is considered here. This condition is analogous to constant torsion condition for curves in three dimensional space and has been studied in [2, 4, 5, 12, 13]. In particular, any 2-surface in a static slice of a static spacetime is time-flat. In this article, we address the question in the title and prove several local and global rigidity theorems for such surfaces in the Minkowski spacetime.