Pith. sign in

REVIEW 2 major objections 4 minor 32 references

Cohomological nonvanishing for algebraic fundamental groups of ball quotients

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The profinite completion of a ball-quotient lattice has cohomology in every degree up to 2n

desk verdict New nonvanishing for profinite cohomology of ball quotients up to degree 2n, with a fixable gap in the canonical-class theorem. read the letter →

arxiv 2508.20847 v1 pith:NJ6XHH7N submitted 2025-08-28 math.AG math.GTmath.NT

Matthew Stover This is my paper · ORCID
classification math.AGmath.GTmath.NT MSC 14F3511F7522E4032Q45
keywords ballquotientsprofinitecompletioncohomologicaldimensionarithmeticlatticessimplesttypeAlbanesevarietythetacorrespondencegoodgroups
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that a cocompact arithmetic lattice of simplest type in the isometry group of the complex n-ball has a profinite completion whose mod p cohomology is nonzero in every degree from 0 to 2n, once one passes to a suitable open subgroup. For $n \geq 2$ this is the first nonvanishing result above degree 1, and it raises the known virtual cohomological dimension of the profinite completion from 1 to 2n. The proof pulls the relevant cohomology classes back from the Albanese variety of the ball quotient, where the fundamental group is an abelian group and therefore 'good' in Serre's sense, so discrete and profinite cohomology coincide. The same mechanism shows the canonical class is profinite modulo torsion, and gives virtual surjectivity statements for congruence lattices in low degrees. The results are about the algebraic fundamental group of these projective varieties, since for torsion-free lattices the profinite completion is exactly that group.

What carries the argument

The load-bearing mechanism is the Albanese map $\alpha: X \to \mathrm{Alb}(X)$ for a compact ball quotient $X = \Delta \backslash B^n$, together with the fact that the fundamental group of $\mathrm{Alb}(X)$ is a finitely generated free abelian group, hence good. Because $\alpha^*$ identifies $H^1(\mathrm{Alb}(X), C)$ with $H^1(X, C)$, every class in the cup-product span of $H^1(X, C)$ is pulled back from the Albanese variety, and integral classes pulled back this way can be lifted to profinite cohomology through the goodness isomorphism. The paper's Theorem 2.1, assembled from a result of Stover and Toledo ([28, Cor. 3.6]) plus Venkataramana's Hecke-correspondence theorem ([31, Thm. 8]) and hard Lefschetz, ensures that after a finite-index pass the canonical c

What would settle it

Take an explicit cocompact arithmetic lattice of simplest type, pass to a small open subgroup $\hat{\Delta}$ of its profinite completion, and compute $H^j(\hat{\Delta}, F_p)$ for some $j \leq 2n$ for infinitely many primes $p$; a single prime $p$ with $H^j(\hat{\Delta}, F_p) = 0$ in that range would contradict Theorem 1.1. Alternatively, compute $\mathrm{vcd}(\hat{\Gamma})$ directly; any value below $2n$ for any such lattice would contradict Corollary 1.2.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.1: for any cocompact arithmetic lattice $\Gamma < \mathrm{PU}(n,1)$ of simplest type, there is an open subgroup $\hat{\Gamma}_0$ of the profinite completion $\hat{\Gamma}$ such that $H^j(\hat{\Delta}, F_p)$ is nontrivial for every open subgroup $\hat{\Delta} \leq \hat{\Gamma}_0$, every $j \leq 2n$, and all sufficiently large primes $p$. This is a statement about algebraic fundamental groups, because when $\Gamma$ is torsion-free the profinite completion is the algebraic fundamental group of the projective variety $\Gamma \backslash B^n$. The paper also establishes Theorem 1.3, that the canonical class and its exterior powers are 'profinite modulo torsion': a fixed torsion class $\sigma$ exists such that the reductions of $(K_X + \sigma)^i$ lie in the image of the restrictio

Load-bearing premise

The entire proof depends on a finite-index subgroup of the lattice having the property that on every further finite cover, the first Chern class of the canonical bundle lies in the subspace of $H^2$ spanned by cup products of degree-one classes; without this, the Albanese pullback step and everything after it collapses.

Editorial extensions

If this is right

  • For every open subgroup beneath the chosen Γ̂_0, all mod p cohomology groups H^j(·, F_p) with j ≤ 2n are nonzero for all sufficiently large primes p, so the nonvanishing is stable under further finite covers.
  • The virtual cohomological dimension of Γ̂ is at least 2n, matching the virtual cohomological dimension of the discrete lattice Γ itself and far exceeding the previously known lower bound of 1.
  • The canonical class of any finite cover is represented, up to a fixed torsion class, by a class that survives the restriction map from profinite to discrete cohomology, and the same holds for every exterior power up to degree 2n.
  • For congruence lattices in degrees j < (n+1)/2, arbitrary finite families of integral classes become virtually contained in the image of the profinite restriction map after reduction modulo p, for all large p.
  • The restriction map H^j(Γ̂, F_p) → H^j(Γ, F_p) is virtually almost surjective in low degrees, giving concrete quantitative control on Serre goodness in the range the paper can reach.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the cup-product generation of the canonical class could be established for a wider class of lattices in PU(n,1), the same Albanese-pullback argument would likely transfer the nonvanishing and vcd conclusions; the paper's remarks identify the missing ingredients for non-arithmetic lattices.
  • The 'profinite fundamental class' formulation suggests a strengthening one could test: if the torsion class σ in Theorem 1.3 can be chosen zero, then the profinite completion would carry a genuine profinite fundamental class, possibly giving profinite Poincare duality properties for Γ̂.
  • Theorem 1.4 isolates where a proof of goodness would need new input: it already supplies virtual surjectivity below degree (n+1)/2, so the open question is the range j ≥ (n+1)/2.
  • Explicit covers from the ball-quotient literature could be used to probe sharpness, e.g. testing whether H^{2n+1} of the profinite completion can be nonzero or whether vcd(Γ̂) is exactly 2n.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies profinite completions \hat{\Gamma} of cocompact arithmetic lattices \Gamma < PU(n,1) of simplest type. The main theorem (Thm. 1.1) asserts the existence of an open subgroup \hat{\Gamma}_0 \le \hat{\Gamma} such that for every open subgroup \hat{\Delta} \le \hat{\Gamma}_0 and every j \le 2n, the cohomology group H^j(\hat{\Delta}, \mathbb{F}_p) is nonzero for all sufficiently large primes p. Consequently, vcd(\hat{\Gamma}) \ge 2n (Cor. 1.2). Two further results are claimed: Theorem 1.3 says that the canonical class and its exterior powers are "profinite modulo torsion" on finite covers, and Theorem 1.4 gives a low-degree virtual surjectivity statement for congruence lattices. The proofs reduce the statements to complex cohomology via a structure theorem (Thm. 2.1), use the Albanese map and goodness of abelian groups to transfer classes to profinite cohomology, and use theta-correspondence results for Part 3 of Theorem 2.1.

Significance. If correct, Theorem 1.1 is a significant advance: for n \ge 2 it gives the first nonvanishing results for H^j(\hat{\Gamma}, \mathbb{F}_p) in every degree up to the cohomological dimension 2n, improving the known lower bound vcd(\hat{\Gamma}) \ge 1 to vcd(\hat{\Gamma}) \ge 2n. The proof of Theorem 1.1 is coherent and largely sound: it exploits the Albanese map and the goodness of abelian groups, and the key input from [28] is an independent published result rather than circular. The main caveat is the integral-lift gap in Theorem 1.3 and, to a lesser extent, in Theorem 1.4; Theorem 1.1 is not affected because it only needs an infinite-order integral class in the image of the cup product. The reliance on deep external results is clearly stated, and the paper is well organized.

major comments (2)
  1. [§2, Proof of Theorem 1.3] The step "there is a class \psi \in H^2(Alb(X),\mathbb{Z}) such that \alpha_Z^*(\psi)=K_X+\sigma" is not justified. Corollary 2.2(1) gives only \alpha_C^*(\psi_C)=K_X\otimes\mathbb{C}, i.e. complex containment. Because \alpha_Z^*(H^2(A,\mathbb{Z})) need not be saturated in H^2(X,\mathbb{Z}), a rational preimage of K_X need not be integral up to torsion (e.g. multiplication-by-m maps). Thus Theorem 1.3 and the abstract's "canonical class is profinite modulo torsion" are not established as written. Theorem 1.1 is unaffected, since it only needs an infinite-order element of Im(c_j^\mathbb{Z}).
  2. [§2, Proof of Theorem 1.4] Part 3 of Corollary 2.2 yields \psi_i \in H^j(Alb(X),\mathbb{C}), not H^j(Alb(X),\mathbb{Z}). The proof nevertheless "fixes" integral \psi_i with \alpha^*(\psi_i)=\phi_i. As in Theorem 1.3, only rational lifts follow from complex containment. This is repairable: one may choose integral multiples m_i\psi_i^\mathbb{Z} with \alpha^*(m_i\psi_i^\mathbb{Z})=m_i\phi_i; for primes p not dividing \prod m_i, the \mathbb{F}_p-span equals the span of the reductions of the \phi_i. The manuscript should carry out this argument explicitly.
minor comments (4)
  1. [Section 1] The sentence "Theorem 1.3 then leads to the following significant improvement" before Corollary 1.2 appears to be a typo: Corollary 1.2 is proved from Theorem 1.1 and is stated before Theorem 1.3.
  2. [§2, proof of Theorems 1.1 and 1.4] The statement "Betti numbers only grow under finite covers" is imprecise; what is needed is that restriction on rational cohomology is injective (transfer argument), so an infinite-order integral class pulls back to an infinite-order class.
  3. [§2, proof of Part 2 of Theorem 2.1] The hard Lefschetz step as written covers degrees n through 2n-1; the top degree 2n follows from K_X^n being in Im(c_{2n}) and should be mentioned.
  4. [§2, proof of Part 2 of Theorem 2.1] Please clarify the passage from arbitrary arithmetic lattices of simplest type to congruence lattices via [6, Prop. 1.4], in particular whether "contained in" or commensurability is meant and how the finite-index subgroup is chosen.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the profinite nonvanishing theorem is derived from independent prior results on cup products and Albanese pullback; self-citations are load-bearing but independently proved.

full rationale

The paper's derivation chain is: Theorem 2.1 (from [28, Cor. 3.6] with Toledo, Venkataramana, and Bergeron–Millson–Moeglin) gives complex cohomology classes in the cup-product image from H^1; Corollary 2.2 transfers this to pullbacks under the Albanese map; the proof of Theorem 1.1 then uses goodness of the Albanese torus's fundamental group to lift these classes to profinite cohomology and reduce modulo p. None of these steps defines its output in terms of its input: the classes are not fitted parameters, no equation is asserted to be true by construction, and no uniqueness theorem is imported to force a choice. The main self-citation, [28, Cor. 3.6], is a published theorem with its own proof whose conclusion (K_X lies in the complex cup-product image from H^1) is distinct from the paper's target (nontrivial profinite cohomology in all degrees up to 2n); it is therefore independent support, not a circular premise. The Bergeron–Millson–Moeglin results are also external and are used to prove Part 3 of Theorem 2.1. The arguable integral-lift step in the proof of Theorem 1.3, flagged by a skeptical reader, is a potential correctness gap about saturation of integral Albanese pullback, not a circularity, and it does not affect Theorem 1.1. Overall, the central claim is self-contained relative to its cited external inputs and does not reduce to a self-citation or to a fitted input.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

I count no free parameters and no invented entities. The proof rests on a set of deep external theorems, two of which are specific to arithmetic ball quotients: the cup-product property of the canonical class from [28] (by the present author) and the theta correspondence of Bergeron-Millson-Moeglin. Other inputs are standard Hodge theory and profinite group facts.

assumptions (8)
  • domain assumption For a cocompact arithmetic lattice Gamma of simplest type, after passing to a finite index torsion-free subgroup, the image of K_X in H^2(X,C) is in the image of the cup product map wedge^2 H^1(X,C) -> H^2(X,C).
    Quoted from [28, Cor. 3.6] (Stover-Toledo) and used as Theorem 2.1 Part 1. It is the key input that allows the Albanese pullback and hard Lefschetz to produce cohomology classes in all degrees.
  • domain assumption Venkataramana's theorem: for a congruence quotient X and nonzero classes alpha in H^k(X,C) and alpha' in H^{k'}(X,C) with k+k' <= n, there is a finite cover and a Hecke correspondence g such that (g o p)^*(alpha) wedge p^*(alpha') != 0.
    Used to prove Theorem 2.1 Part 2 (nontrivial image of c_j for j<=n). See [31, Thm. 8].
  • standard math Hard Lefschetz theorem for compact Kaehler manifolds: wedge product with K_X^{n-j} is an isomorphism H^j(X,C) -> H^{2n-j}(X,C).
    Used in the proof of Theorem 2.1 Part 2 to extend from j<=n to j<=2n. Standard theorem from [13, p. 122].
  • standard math Goodness of finitely generated abelian groups: the profinite completion Z^d is good, so H^j(bZ^d, F_p) is isomorphic to H^j(Z^d, F_p).
    Essential for the Albanese pullback argument in the proof of Theorems 1.1 and 1.4.
  • standard math Albanese map: for a compact Kaehler manifold X, the Albanese map alpha: X -> Alb(X) induces an isomorphism on H^1 with complex coefficients.
    Used in Corollary 2.2 to transfer cup products from the exterior algebra of H^1(Alb(X)) to H^*(X).
  • domain assumption Theorem 3.1 (Cor. 7.3 of [5]): for smooth compact arithmetic ball quotients of simplest type, H^{a,b}(S) is generated by classes of theta lifts when 3(a+b)+|a-b| < 2(n+1).
    Used to prove Theorem 3.3 and hence Part 3 of Theorem 2.1, which is needed for Theorem 1.4.
  • domain assumption Every arithmetic lattice in PU(n,1) is contained in a congruence lattice (Borel-Prasad [6, Prop. 1.4]).
    Used to extend Venkataramana's theorem from congruence subgroups to all arithmetic lattices in the proof of Theorem 2.1 Part 2.
  • domain assumption Residual finiteness of lattices in PU(n,1) allows passing to torsion-free finite index subgroups.
    Used throughout to assume Gamma_0 is torsion-free so that X = Gamma_0\B^n is a smooth manifold and cohomology of X equals cohomology of Gamma_0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomological nonvanishing for algebraic fundamental groups of ball quotients." pith.science (2026). https://pith.science/paper/NJ6XHH7N

@misc{pith2026250820847,
  author       = {Pith},
  title        = {Pith review of: Cohomological nonvanishing for algebraic fundamental groups of ball quotients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NJ6XHH7N}},
  note         = {Machine review of arXiv:2508.20847}
}
abstract

Suppose $\Gamma < \mathrm{PU}(n,1)$ is a cocompact arithmetic lattice of simplest type with profinite completion $\widehat{\Gamma}$. This paper proves there is an open subgroup $\widehat{\Gamma}_0 \le \widehat{\Gamma}$ such that $H^j(\widehat{\Delta}, \mathbb{F}_p)$ is nontrivial for every open subgroup ${\widehat{\Delta} \le \widehat{\Gamma}_0}$, $j \le 2n$, and sufficiently large prime $p$. If $n \ge 2$, nonvanishing is new for all $j \ge 2$. Consequently, the virtual cohomological dimension of $\widehat{\Gamma}$ is at least $2n$, improving the previous lower bound of $1$. The proof shows there is a profinite fundamental class for the associated ball quotient and that its canonical class is profinite modulo torsion. For congruence $\Gamma$ and $j < \frac{n+1}{2}$, restriction ${H^j(\widehat{\Gamma}, \mathbb{F}_p) \to H^j(\Gamma, \mathbb{F}_p)}$ is shown to be almost surjective in a precise sense; this is related to whether lattices in $\mathrm{PU}(n,1)$ are good in the sense of Serre, which is only known to hold for $n=1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 25 canonical work pages

  1. [28]

    Residual finiteness for cen- tral extensions of lattices in PU( n, 1) and negatively curved projec- tive varieties

    Matthew Stover and Domingo Toledo. Residual finiteness for cen- tral extensions of lattices in PU( n, 1) and negatively curved projec- tive varieties. Pure Appl. Math. Q. , 18(4):1771–1797, 2022. URL: https://doi.org/10.4310/pamq.2022.v18.n4.a15

    work page doi:10.4310/pamq.2022.v18.n4.a15 2022

  2. [1]

    Arith- meticity, superrigidity and totally geodesic submanifolds of complex hyperbolic manifolds

    Uri Bader, David Fisher, Nicholas Miller, and Matthew Stover. Arith- meticity, superrigidity and totally geodesic submanifolds of complex hyperbolic manifolds. Invent. Math. , 233(1):169–222, 2023. URL: https://doi.org/10.1007/s00222-023-01186-5

    doi:10.1007/s00222-023-01186-5 2023

  3. [2]

    Special subvarieties of non- arithmetic ball quotients and Hodge theory

    Gregorio Baldi and Emmanuel Ullmo. Special subvarieties of non- arithmetic ball quotients and Hodge theory. Ann. of Math. (2) , 197(1):159–220, 2023. URL: https://doi.org/10.4007/annals. 2023.197.1.3

    doi:10.4007/annals 2023

  4. [3]

    Barth, C

    W. Barth, C. Peters, and A. Van de Ven. Compact complex sur- faces, volume 4 of Ergebnisse der Mathematik und ihrer Grenzgebi- ete (3) . Springer-Verlag, 1984. URL: https://doi.org/10.1007/ 978-3-642-96754-2

    work page 1984

  5. [4]

    Ger- adenkonfigurationen und Algebraische Fl¨ achen

    Gottfried Barthel, Friedrich Hirzebruch, and Thomas H¨ ofer. Ger- adenkonfigurationen und Algebraische Fl¨ achen. Aspects of Mathemat- ics, D4. Friedr. Vieweg & Sohn, Braunschweig, 1987. URL: https: //doi.org/10.1007/978-3-322-92886-3

    doi:10.1007/978-3-322-92886-3 1987

  6. [5]

    The Hodge con- jecture and arithmetic quotients of complex balls.Acta Math., 216(1):1– 125, 2016

    Nicolas Bergeron, John Millson, and Colette Moeglin. The Hodge con- jecture and arithmetic quotients of complex balls.Acta Math., 216(1):1– 125, 2016. URL: https://doi.org/10.1007/s11511-016-0136-2

    work page doi:10.1007/s11511-016-0136-2 2016

  7. [6]

    Finiteness theorems for discrete sub- groups of bounded covolume in semi-simple groups

    Armand Borel and Gopal Prasad. Finiteness theorems for discrete sub- groups of bounded covolume in semi-simple groups. Inst. Hautes ´Etudes Sci. Publ. Math. , (69):119–171, 1989. URL: http://www.numdam.org/ item?id=PMIHES_1989__69__119_0. 12

    work page 1989

  8. [7]

    On the cohomology of Kottwitz’s arithmetic vari- eties

    Laurent Clozel. On the cohomology of Kottwitz’s arithmetic vari- eties. Duke Math. J. , 72(3):757–795, 1993. URL: https://doi.org/ 10.1215/S0012-7094-93-07229-8

    work page doi:10.1215/s0012-7094-93-07229-8 1993

Show all 32 references
  1. [8]

    Forgetful maps between Deligne-Mostow ball quo- tients

    Martin Deraux. Forgetful maps between Deligne-Mostow ball quo- tients. Geom. Dedicata, 150:377–389, 2011. URL: https://doi.org/ 10.1007/s10711-010-9511-x

    2011 doi

  2. [9]

    Di Cerbo and Matthew Stover

    Luca F. Di Cerbo and Matthew Stover. Bielliptic ball quotient compact- ifications and lattices in PU(2 , 1) with finitely generated commutator subgroup. Ann. Inst. Fourier (Grenoble) , 67(1):315–328, 2017. URL: https://doi.org/10.5802/aif.3083

    2017 doi

  3. [10]

    Di Cerbo and Matthew Stover

    Luca F. Di Cerbo and Matthew Stover. Classification and arithmetic- ity of toroidal compactifications with 3 c2 = c2 1 = 3. Geom. Topol., 22(4):2465–2510, 2018. URL: https://doi.org/10.2140/gt.2018. 22.2465

    2018 doi

  4. [11]

    Di Cerbo and Matthew Stover

    Luca F. Di Cerbo and Matthew Stover. Punctured spheres in com- plex hyperbolic surfaces and bielliptic ball quotient compactifications. Trans. Amer. Math. Soc. , 372(7):4627–4646, 2019. URL: https: //doi.org/10.1090/tran/7650

    2019 doi

  5. [12]

    William M. Goldman. Complex hyperbolic geometry . Oxford Mathe- matical Monographs. The Clarendon Press, 1999. Oxford Science Pub- lications

    1999

  6. [13]

    Principles of algebraic geometry

    Phillip Griffiths and Joseph Harris. Principles of algebraic geometry . Wiley Classics Library. John Wiley & Sons, Inc., 1994. URL: https: //doi.org/10.1002/9781118032527

    1994 doi

  7. [14]

    Grunewald, A

    F. Grunewald, A. Jaikin-Zapirain, and P. A. Zalesskii. Cohomolog- ical goodness and the profinite completion of Bianchi groups. Duke Math. J. , 144(1):53–72, 2008. URL: https://doi.org/10.1215/ 00127094-2008-031

    2008

  8. [15]

    Hirzebruch

    F. Hirzebruch. Chern numbers of algebraic surfaces: an example. Math. Ann., 266(3):351–356, 1984. URL: https://doi.org/10.1007/ BF01475584

    1984

  9. [16]

    On normal subgroups of the fundamental groups of complex surfaces

    Michael Kapovich. On normal subgroups of the fundamental groups of complex surfaces. Preprint, 1998. URL: https://www.math.ucdavis. edu/~kapovich/EPR/koda.pdf. 13

    1998

  10. [17]

    Some applications of the Weil representation

    David Kazhdan. Some applications of the Weil representation. J. Analyse Math. , 32:235–248, 1977. URL: https://doi.org/10.1007/ bf02803582

    1977

  11. [18]

    Reid, and Leone Slavich

    Alexander Kolpakov, Alan W. Reid, and Leone Slavich. Embedding arithmetic hyperbolic manifolds. Math. Res. Lett. , 25(4):1305–1328,

  12. [19]

    On certain covers of the universal elliptic curve

    Ron Aharon Livne. On certain covers of the universal elliptic curve. ProQuest LLC, Ann Arbor, MI, 1981. Thesis (Ph.D.)– Harvard University. URL: http://gateway.proquest.com/openurl? url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx: dissertation&res_dat=xri:pqdiss&rft_dat=x...

    1981

  13. [20]

    Results and conjectures in profinite Teichm¨ uller theory

    Pierre Lochak. Results and conjectures in profinite Teichm¨ uller theory. In Galois-Teichm¨ uller theory and arithmetic geometry, volume 63 of Adv. Stud. Pure Math., pages 263–335. Math. Soc. Japan, Tokyo, 2012. URL: https://doi.org/10.2969/aspm/06310263

    2012

  14. [21]

    Alan W. Reid. Profinite properties of discrete groups. In Groups St Andrews 2013 , volume 422 of London Math. Soc. Lecture Note Ser. , pages 73–104. Cambridge Univ. Press, 2015

    2013

  15. [22]

    Cohomologie galoisienne, volume 5 of Lecture Notes in Mathematics

    Jean-Pierre Serre. Cohomologie galoisienne, volume 5 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, fourth edition, 1994. URL: https://doi.org/10.1007/BFb0108758

    1994 doi

  16. [23]

    Projective anabelian curves in positive characteristic and descent theory for log-´ etale covers, volume 354 of Bonner Mathematis- che Schriften

    Jakob Stix. Projective anabelian curves in positive characteristic and descent theory for log-´ etale covers, volume 354 of Bonner Mathematis- che Schriften . Universit¨ at Bonn, Mathematisches Institut, 2002. Dis- sertation, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn

    2002

  17. [24]

    Algebraic fundamental groups of fake projective planes

    Matthew Stover. Algebraic fundamental groups of fake projective planes. To appear in J. Eur. Math. Soc. (JEMS). URL: https: //arxiv.org/abs/2205.13991

    arXiv

  18. [25]

    Products of curves as ball quotients

    Matthew Stover. Products of curves as ball quotients. Submitted. URL: https://arxiv.org/abs/2312.05699

    arXiv

  19. [26]

    Residual finiteness and discrete subgroups of Lie groups

    Matthew Stover. Residual finiteness and discrete subgroups of Lie groups. To appear in Zariski Dense Subgroups, Number Theory and Geometric Applications. URL: https://arxiv.org/abs/2407.07680. 14

    arXiv

  20. [27]

    Lattices in PU( n, 1) that are not profinitely rigid

    Matthew Stover. Lattices in PU( n, 1) that are not profinitely rigid. Proc. Amer. Math. Soc. , 147(12):5055–5062, 2019. URL: https:// doi.org/10.1090/proc/14763

    2019 doi

  21. [29]

    Residually finite lattices in ^P U(2, 1) and fundamental groups of smooth projective surfaces

    Matthew Stover and Domingo Toledo. Residually finite lattices in ^P U(2, 1) and fundamental groups of smooth projective surfaces. Michi- gan Math. J. , 72:559–597, 2022. URL: https://doi.org/10.1307/ mmj/20217215

    2022

  22. [30]

    Maps between complex hyperbolic surfaces

    Domingo Toledo. Maps between complex hyperbolic surfaces. vol- ume 97, pages 115–128. 2003. Special volume dedicated to the memory of Hanna Miriam Sandler (1960–1999). URL: https://doi.org/10. 1023/A:1023691505890

    2003

  23. [31]

    T. N. Venkataramana. Cohomology of compact locally symmetric spaces. Compositio Math., 125(2):221–253, 2001. URL: https://doi. org/10.1023/A:1002600432171. 15

    2001 doi

  24. [2018]

    URL: https://doi.org/10.4310/MRL.2018.v25.n4.a12

    2018 doi

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.