Related papers: Detecting embedded surfaces using finite quotients

Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the…

We study locally flat, compact, oriented surfaces in $4$-manifolds whose exteriors have infinite cyclic fundamental group. We give algebraic topological criteria for two such surfaces, with the same genus $g$, to be related by an ambient…

Recently, Haase and Ilten initiated the study of classifying algebraically hyperbolic surfaces in toric threefolds. We complete this classification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, $\mathbb{P}^2 \times…

We show that asymptotically the first Betti number, or the arithmetic genus, of a Shimura curve satisfies the Gauss--Bonnet equality. We also show that the first Betti number of a congruence hyperbolic 3--orbifold asymptotically vanishes…

We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti…

We give a criterion in terms of the boundary for the existence of a proper cocompact action of a word-hyperbolic group on a CAT(0) cube complex. We describe applications towards lattices and hyperbolic 3-manifold groups. In particular, by…

We prove that a resolution of singularities of any finite covering of the projective plane branched along a Hurwitz curve $\bar H$ and, maybe, along a line "at infinity" can be embedded as a symplectic submanifold into some projective…

We prove that for every closed, connected, orientable, irreducible 3-manifold, there exists an alternating group A_n which is not the topological symmetry group of any graph embedded in the manifold. We also show that for every finite group…

We establish general bounds on the topology of free boundary minimal surfaces obtained via min-max methods in compact, three-dimensional ambient manifolds with mean convex boundary. We prove that the first Betti number is lower…

The socle of a graded Buchsbaum module is studied and is related to its local cohomology modules. This algebraic result is then applied to face enumeration of Buchsbaum simplicial complexes and posets. In particular, new necessary…

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and…

For each natural number n >= 4, we determine the unique lowest volume hyperbolic 3-orbifold whose torsion orders are bounded below by n. This lowest volume orbifold has base space the 3-sphere and singular locus the figure-8 knot, marked n.…

We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold…

In this short note, we exhibit an infinite family of hyperbolic rational homology $3$--spheres which do not admit any fillable contact structures. We also note that most of these manifolds do admit tight contact structures.

We show that, on a closed semipositive symplectic manifold with semisimple quantum homology, any Hamiltonian diffeomorphism possessing more contractible fixed points, counted homologically, than the total Betti number of the manifold, must…

In this paper we study smooth structures on closed oriented 4-manifolds with fundamental group Z_2 and definite intersection form. We construct infinitely many irreducible, smooth, oriented, closed, definite four-manifolds with fundamental…

Explicit formulas determining the dimension and the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$ are given in terms of the graded Betti numbers of the minimal free resolution of the corresponding Jacobian algebra.…

Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by…

We prove rigidity for hypersurfaces with boundary in the unit $(n+1)$-sphere with scalar curvature bounded below by $n(n-1)$. Under appropriate boundary conditions, the hypersurfaces are shown to be part of the equatorial spheres. The lower…

We consider discrete nonlinear hyperbolic equations on quad-graphs, in particular on the square lattice. The fields are associated to the vertices and an equation Q(x_1,x_2,x_3,x_4)=0 relates four fields at one quad. Integrability of…