Jeremy Kahn and Vladimir Markovic who first proved the conjecture, Aarhus, 2012.
In mathematics, the surface subgroup conjecture of Friedhelm Waldhausen states that the fundamental group of every closed, irreducible 3-manifold with infinite fundamental group has a surface subgroup. By "surface subgroup" we mean the fundamental group of a closed surface not the 2-sphere. This problem is listed as Problem 3.75 in Robion Kirby's problem list.[1]
Assuming the geometrization conjecture, the only open case was that of closed hyperbolic 3-manifolds. A proof of this case was announced in the summer of 2009 by Jeremy Kahn and Vladimir Markovic and outlined in a talk August 4, 2009 at the FRG (Focused Research Group) Conference hosted by the University of Utah. A preprint appeared in the arxiv.org server in October 2009.[2] Their paper was published in the Annals of Mathematics in 2012.[2] In June 2012, Kahn and Markovic were given the Clay Research Awards by the Clay Mathematics Institute at a ceremony in Oxford.
^Robion Kirby, Problems in low-dimensional topology
^ abKahn, J.; Markovic, V. (2012). "Immersing almost geodesic surfaces in a closed hyperbolic three manifold". Annals of Mathematics. 175 (3): 1127. arXiv:0910.5501. doi:10.4007/annals.2012.175.3.4. S2CID 32593851.
and 25 Related for: Surface subgroup conjecture information
In mathematics, the surfacesubgroupconjecture of Friedhelm Waldhausen states that the fundamental group of every closed, irreducible 3-manifold with...
an essential ingredient the freshly-obtained solution to the surfacesubgroupconjecture by Jeremy Kahn and Vladimir Markovic. Other results which are...
In mathematics, Thurston's geometrization conjecture (now a theorem) states that each of certain three-dimensional topological spaces has a unique geometric...
2009) Surfacesubgroupconjecture (Jeremy Kahn, Vladimir Markovic, 2009) Normal scalar curvature conjecture and the Böttcher–Wenzel conjecture (Zhiqin...
hyperbolic 3-manifold (proof of the surfacesubgroupconjecture) and for their proof of the Ehrenpreis conjecture. In 2014 he was an invited speaker at...
by subgroups of SL2(R), particularly, the normalizer Γ0(p)+ of the Hecke congruence subgroup Γ0(p) in SL(2,R). They found that the Riemann surface resulting...
subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of...
{\displaystyle \Gamma } defining the Bolza surface is also a subgroup of the (3,3,4) triangle group, which is a subgroup of index 2 in the ( 2 , 3 , 8 ) {\displaystyle...
K3 surface over a field is projective.) By Shing-Tung Yau's solution to the Calabi conjecture, it follows that every complex analytic K3 surface has...
Euclidean 3-space. Carathéodory conjecture: This conjecture states that a closed convex three times differentiable surface admits at least two umbilic points...
Brieskorn–Grothendieck resolution General elephant conjecture du Val, Patrick (1934a). "On isolated singularities of surfaces which do not affect the conditions of...
a conjecture of Gauss on the mean order of class groups of real quadratic fields. Arithmetic surfaces can be used to construct families of surfaces of...
proved William Thurston's key conjecture that every closed hyperbolic 3-manifold contains an almost geodesic immersed surface. Marković was also awarded...
testing ground for various conjectures and techniques. Let S {\displaystyle S} be a connected, closed, orientable surface and Homeo + ( S ) {\displaystyle...
subgroup of a topological group G is a subgroup H whose relative topology is the discrete one. For example, the integers, Z, form a discrete subgroup...
fake projective surfaces are called fake projective spaces. As a consequence of the work of Aubin and Yau on solution of Calabi Conjecture in the case of...
275: 786–789. McCarthy, John (1985). "A "Tits-alternative" for subgroups of surface mapping class groups". Trans. Amer. Math. Soc. 291: 583–612. doi:10...
conjecture may refer to one of several conjectural statements from differential geometry and topology attributed to Heinz Hopf. The Hopf conjecture is...
which are defined as subgroups of a linear group, for example: The group GLn(K) itself; The special linear group SLn(K) (the subgroup of matrices with determinant...
finite-index subgroups and the congruence subgroup problem roughly asks whether all subgroups are obtained in this way. The conjecture (usually attributed...
group Borel subgroup Radical of an algebraic group Unipotent radical Lie-Kolchin theorem Haboush's theorem (also known as the Mumford conjecture) Group scheme...