We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theory enable us to make a complete calculation of the Floer homology. This is the author's thesis; many of the results have been independently discovered by Ozsvath and Szabo in math.GT/0209056.
We present the results of a large-scale computational analysis of mathematical papers from the ArXiv repository, demonstrating a comprehensive system that not only detects mathematical errors but provides complete referee reports with journal tier recommendations. Our automated analysis system processed over 37,000 papers across multiple mathematical categories, revealing significant error rates and quality distributions. Remarkably, the system identified errors in papers spanning three centuries of mathematics, including works by Leonhard Euler (1707-1783) and Peter Gustav Lejeune Dirichlet (1805-1859), as well as contemporary Fields medalists. In Numerical Analysis (math.NA), we observed an error rate of 9.6\% (2,271 errors in 23,761 papers), while Geometric Topology (math.GT) showed 6.5\% (862 errors in 13,209 papers). Strikingly, Category Theory (math.CT) showed 0\% errors in 93 papers analyzed, with evidence suggesting these results are ``easier''for automated analysis. Beyond error detection, the system evaluated papers for journal suitability, recommending 0.4\% for top generalist journals, 15.5\% for top field-specific journals, and categorizing the remainder across specialist venues. These findings demonstrate both the universality of mathematical error across all eras and the feasibility of automated comprehensive mathematical peer review at scale. This work demonstrates that the methodology, while applied here to mathematics, is discipline-agnostic and could be readily extended to physics, computer science, and other fields represented in the ArXiv repository.
Our main results concern changing an arbitrary plat presentation of a split or composite link to one which is obviously recognizable as being split or composite. Pocket moves, first described in \cite{unlinkviaplats}, are utilized -- a pocket move alters a plat presentation without changing its link type, its bridge index or the double coset. A plat presentation of a split link is split if the planar projection of the plat presentation is not connected. We prove that pocket moves are the only obstruction to representing split links by split plat presentations. Since any pocket move corresponds to a sequence of double coset moves, we have the corollary that the double coset of every plat presentation of a split link has a split plat presentation. We obtain an analogous result for composite links by utilizing flip moves, which were also first described in the second author's work, arXiv:2308.00732 [math.GT].
Let $G_1$ be a semisimple real Lie group and $G_2$ another locally compact second countable unimodular group. We prove that $G_1 \times G_2$ has fixed price one if $G_1$ has higher rank, or if $G_1$ has rank one and $G_2$ is a $p$-adic split reductive group of rank at least one. As an application we resolve a question of Gaboriau showing $SL(2,\mathbb{Q})$ has fixed price one. Inspired by the very recent work arXiv:2307.01194v1 [math.GT], we employ the method developed by the author and Mikl\'os Ab\'ert to show that all essentially free probability measure preserving actions of groups weakly factor onto the Cox process driven by their amenable subgroups. We then show that if an amenable subgroup can be found satisfying a double recurrence property then the Cox process driven by it has cost one.
This paper corresponds to Section 8 of arXiv:1912.05774v3 [math.GT]. The contents until Section 7 are published in Annali di Matematica Pura ed Applicata as a separate paper. In that paper, it is proved that for any positive flow-spine P of a closed, oriented 3-manifold M, there exists a unique contact structure supported by P up to isotopy. In particular, this defines a map from the set of isotopy classes of positive flow-spines of M to the set of isotopy classes of contact structures on M. In this paper, we show that this map is surjective. As a corollary, we show that any flow-spine can be deformed to a positive flow-spine by applying first and second regular moves successively.
We prove the infinitesimal rigidity of some geometrically infinite hyperbolic 4- and 5-manifolds. These examples arise as infinite cyclic coverings of finite-volume hyperbolic manifolds obtained by colouring right-angled polytopes, already described in the papers arXiv:2009.04997 [math.GT] and arXiv:2105.14795 [math.GT]. The 5-dimensional example is diffeomorphic to $N \times \mathbb{R}$ for some aspherical 4-manifold $N$ which does not admit any hyperbolic structure. To this purpose we develop a general strategy to study the infinitesimal rigidity of cyclic coverings of manifolds obtained by colouring right-angled polytopes.
In [M. De Renzi, A. Gainutdinov, N. Geer, B. Patureau-Mirand and I. Runkel, 3-dimensional TQFTs from non-semisimple modular categories, preprint (2019), arXiv:1912.02063 [math.GT]], we constructed 3-dimensional topological quantum field theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category [Formula: see text]. This allows us to prove that the projective representations induced from the non-semisimple TQFTs of the above reference are equivalent to those obtained by Lyubashenko via generators and relations in [V. Lyubashenko, Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity, Comm. Math. Phys. 172(3) (1995) 467–516, arXiv:hep-th/9405167 ]. Finally, we show that, when [Formula: see text] is the category of finite-dimensional representations of the small quantum group of [Formula: see text], the action of all Dehn twists for surfaces without marked points has infinite order.
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its Carnot-Caratheodory metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger and Young (arXiv:1210.6943 [math.GT]) by showing for any purely 2-unrectifiable sub-Riemannian manifold $(M,\xi,g)$ that the $n$th Lipschitz homotopy group is trivial for $n\geq2$ and that the set of oriented, horizontal knots in $(M,\xi)$ injects into the first Lipschitz homotopy group. Thus, the first Lipschitz homotopy group of any contact 3-manifold is uncountably generated. Therefore, in the sense of Lipschitz homotopy groups, a contact 3-manifold is a $K(\pi,1)$-space for an uncountably generated group $\pi$. Finally, we prove that each open distributional embedding between purely 2-unrectifiable sub-Riemannian manifolds induces an injective map on the associated first Lipschitz homotopy groups. Therefore, each open subset of a contact 3-manifold determines an uncountable subgroup of the first Lipschitz homotopy group of the contact 3-manifold.
We prove that the rank of knot Floer homology detects the Hopf links, and generalize this result further to classify the links of the second smallest knot Floer homology. We also prove a knot Floer homology analog of arXiv:1910.04246v1 [math.GT] and give a partial answer to when the equality holds in the rank inequality between the knot Floer homology of a link and its sublinks.
We study the Masur–Veech volumes MVg,n$MV_{g,n}$ of the principal stratum of the moduli space of quadratic differentials of unit area on curves of genus g$g$ with n$n$ punctures. We show that the volumes MVg,n$MV_{g,n}$ are the constant terms of a family of polynomials in n$n$ variables governed by the topological recursion/Virasoro constraints. This is equivalent to a formula giving these polynomials as a sum over stable graphs, and retrieves a result of [Delecroix, Goujard, Zograf, Zorich, Duke J. Math 170 (2021), no. 12, math.GT/1908.08611] proved by combinatorial arguments. Our method is different: it relies on the geometric recursion and its application to statistics of hyperbolic lengths of multicurves developed in [Andersen, Borot, Orantin, Geometric recursion, math.GT/1711.04729, 2017]. We also obtain an expression of the area Siegel–Veech constants in terms of hyperbolic geometry. The topological recursion allows numerical computations of Masur–Veech volumes, and thus of area Siegel–Veech constants, for low g$g$ and n$n$ , which leads us to propose conjectural formulae for low g$g$ but all n$n$ . We also relate our polynomials to the asymptotic counting of square‐tiled surfaces with large boundaries.
In this paper we give a positive answer to a conjecture stated in by the authors in RACSAM 112(3) (2018), 793-802, by proving that: (1) any oriented prime alternating knot $K$ which is $q$-periodic, with $q\geq3$, has an alternating $q$-periodic projection. (2) if the prime alternating knot has no $q$-periodic alternating projection, the periodicity of $K$ is necessarily $q=2$. As applications we obtain the crossing number of a $q$-periodic alternating knot with $q\geq3$ is a multiple of $q$ and we give an elemantary proof that the knot $12a_{634}$ is not 3-periodic, our proof does not depends on computer as in "Periodic knots and Heegaard Floer correction terms" by Stanilav Jabuka and Swatee Naik (arXiv:1307.5116 [math.GT], to appear in the Journal of the European Mathematical Society).
In this paper, we give several simple criteria to detect possible periods and linking numbers for a given virtual link. We investigate the behavior of the generalized Alexander polynomial [Formula: see text] of a periodic virtual link [Formula: see text] via its Yang–Baxter state model given in [L. H. Kauffman and D. E. Radford, Bi-oriented quantum algebras and a generalized Alexander polynomial for virtual links, in Diagrammatic Morphisms and Applications, Contemp. Math. 318 (2003) 113–140, arXiv:math/0112280v2 [math.GT] 31 Dec 2001].