Pith. sign in

REVIEW 5 minor 45 references

On cube and Cremona rigidity for higher-rank lattices

T0 review · 0 major / 5 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read Higher-rank lattices acting by birational maps on surfaces always become regularizable after a finite-index change and conjugation.

desk verdict Solid arithmetic-group vanishing that finishes surface Cremona rigidity for all higher-rank lattices without needing FW. read the letter →

arxiv 2607.07940 v1 pith:XQWSW5BX submitted 2026-07-08 math.DS math.AGmath.GR

Shengyuan Zhao This is my paper · ORCID
classification math.DSmath.AGmath.GR MSC 37F9914E0722E4020F6553C24
keywords higher-ranklatticesbirationaltransformationsCAT(0)cubecomplexesregularizabilityZimmerprogramSteinbergmodulesJonquièrescomplexpropertyFW
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 shows that any action of an irreducible higher-rank lattice by birational transformations of a complex projective surface can be conjugated, after passing to a finite-index subgroup, into the connected automorphism group of a smooth projective surface. The argument first reduces the problem, via superrigidity on infinite-dimensional hyperbolic spaces, to the de Jonquières subgroup, then proves a cohomological vanishing theorem that forces any action of the lattice on a CAT(0) cube complex with solvable hyperplane stabilizers to fix a vertex. That fixed-point theorem is applied to the Jonquières complex, yielding the regularizability statement for every higher-rank lattice, including those for which property FW is still open. The result completes the dimension-two case of the birational Zimmer program for all higher-rank lattices.

What carries the argument

A cohomological vanishing theorem (Theorem C) asserting H^{1}(Γ′, F[Γ′/K]) = 0 for a finite-index torsion-free subgroup Γ′ and every solvable subgroup K, obtained from Borel–Serre duality and Steinberg modules; this vanishing forces fixed vertices for cube-complex actions with solvable hyperplane stabilizers (Theorem D), which is then applied to the Jonquières complex.

What would settle it

An explicit infinite image homomorphism from an irreducible lattice in PSL(2,R)^{n} × PGL(2,C)^{m} (n+m ≥ 2) into Bir(S) whose image cannot be conjugated into Aut^{0} of any smooth projective surface, or a continuous non-elementary action of a higher-rank simple factor on the infinite-dimensional hyperbolic space that produces positive translation lengths without violating the gap property.

Watch

Extended reading notes

Core claim

For an irreducible lattice Γ in a product of non-compact center-free simple linear algebraic groups of total real rank at least 2, every homomorphism from Γ into the birational group of a complex projective surface is virtually isotopically projectively regularizable: after a finite-index subgroup and a birational conjugation the image lies in the connected component of the automorphism group of a smooth projective surface.

Load-bearing premise

The reduction to the de Jonquières group rests on the claim that a non-elementary action on the infinite-dimensional hyperbolic space attached to the Cremona group would produce arbitrarily small translation lengths, contradicting a known gap property; that step uses density of lattice projections and a classification of continuous actions of rank-one groups.

Editorial extensions

If this is right

  • Every birational action of a higher-rank lattice on a surface is virtually conjugate to an algebraic action of a connected algebraic group, so the possible actions are classified by known lists of algebraic group actions on surfaces.
  • No infinite birational action exists when none of the simple factors is PSL(2,R), PGL(2,C), PU(1,2), PSL(3,R) or PGL(3,C).
  • The same vanishing implies fixed points for any CAT(0) cube-complex action of such a lattice whose hyperplane stabilizers are solvable, without invoking property FW.
  • Lattices for which property FW remains open still satisfy the regularizability conclusion in dimension two.

Reading between the lines

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

  • The same cohomological vanishing may extend regularizability results to other CAT(0) cube complexes that encode birational or automorphism groups in higher dimension, once analogous complexes with solvable hyperplane stabilizers are available.
  • The bypass of property FW suggests that other rigidity statements previously proved only under FW could be recovered for all higher-rank lattices by similar Steinberg-module vanishing arguments.
  • If an exotic continuous action of a higher-rank factor on infinite-dimensional hyperbolic space were discovered, the reduction step would fail and new non-regularizable examples might appear.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves that for an irreducible lattice Γ in a product of non-compact center-free simple linear algebraic groups of total real rank ≥2, every homomorphism ρ:Γ o Bir(S) into the birational group of a complex projective surface is virtually isotopically projectively regularizable (Theorem A). The argument proceeds by establishing a cohomological vanishing result (Theorem C) for H^{1}(Γ,F[Γ/K]) when K is solvable, via Borel–Serre duality and an inductive vanishing theorem for Steinberg modules of solvable subgroups of arithmetic groups (Proposition 2.2.1). This yields a fixed-point theorem for actions on CAT(0) cube complexes whose hyperplane stabilizers are solvable (Theorem D). Superrigidity for non-elementary actions on infinite-dimensional real hyperbolic spaces (Theorem E, from Monod and Caprace–Lytchak) reduces the Cremona action to the de Jonquières group; the fixed-point theorem is then applied to the Jonquières complex of Lonjou–Przytycki–Urech. The proof deliberately avoids direct appeal to property FW, covering lattices for which FW is not yet known.

Significance. The result completes the regularizability half of the birational Zimmer program in dimension two for all higher-rank lattices, including those with rank-one factors (e.g., irreducible lattices in PSL(2,R)^{n} imes PGL(2,C)^{m} and in PU(1,n)^{m}) where property FW remains open. Combined with Margulis superrigidity and the classification of connected algebraic group actions on surfaces, it yields a complete list of possible infinite birational actions up to conjugacy. The cohomological vanishing and cube fixed-point theorems are of independent interest and give a clean alternative route that bypasses FW. The chain is explicit (exact sequences, Shapiro lemma, induction on Q-rank) and rests on standard black-box inputs (Borel–Serre, Monod, Blanc–Cantat gap property).

minor comments (5)
  1. In the proof of Theorem E (pp. 10–11), the extension of Tf_{0} from the linear span of C to the closed subspace E ho is asserted to be continuous and isometric; a one-line appeal to density of the span and continuity of B would make the argument fully self-contained.
  2. Lemma 4.2.1 invokes the gap property of Blanc–Cantat [7, Cor. 2.7(2)] after density of the projection of Γ; a brief parenthetical that the translation-length function is continuous on Isom(HE) would clarify why lengths can be made arbitrarily small.
  3. Section 6 treats the Hirzebruch-surface case by Whitehead’s lemma; the reference [43, Cor. 7.8.10] is for Lie-algebra cohomology, so a short remark that the cocycle is continuous (hence smooth) would remove any ambiguity.
  4. Typographical: “dimen-sion” (p. 2), “uniformirreducible” (p. 3), and occasional missing spaces after commas in displayed sequences (e.g., (2.1)).
  5. The statement of Theorem B excludes PSL(3,R) and PGL(3,C); a one-sentence reminder that these appear only via Aut^{0}(P^{2}) after regularization would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: cohomological vanishing, cube fixed-point, and Cremona reduction are independent of their conclusions.

full rationale

The derivation chain is self-contained and non-circular. Theorem C is obtained from Borel–Serre duality (2.21) plus an inductive vanishing of Steinberg-module cohomology for solvable arithmetic subgroups (Prop. 2.2.1), using only Solomon–Tits, Reeder’s induction isomorphism, Shapiro’s lemma, and rank estimates; none of these objects is defined in terms of the target vanishing. Theorem D then constructs an explicit cocycle c in Z^{1}(Γ, F₂[W]) whose support is controlled by hyperplane stabilizers; vanishing of H^{1}(Γ, F₂[Γ/K]) for solvable K forces the cocycle to be a coboundary, yielding a bounded orbit and a fixed vertex by Gerasimov’s theorem. The application to Bir(S) reduces via Monod’s superrigidity and Caprace–Lytchak (Theorem E) to an elementary action, then to the Jonquières complex whose hyperplane stabilizers inject into point stabilizers in PGL(2,C) and are therefore solvable; a fixed vertex implies projective regularizability by the construction of the complex. All external citations (Monod, Caprace–Lytchak, Blanc–Cantat gap property, Lonjou–Urech, etc.) are independent background results, not self-citations that smuggle the conclusion. No parameter is fitted and later recovered as a prediction, and no uniqueness theorem is imported from the author’s prior work. Score 0 is therefore the honest finding.

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

The paper rests on classical arithmetic-group duality, Monod’s superrigidity, and the geometry of the Cremona and Jonquières complexes; no free parameters or new physical entities are introduced. The only non-standard inputs are the cited fixed-point and gap theorems used as black boxes.

assumptions (5)
  • standard math Borel–Serre duality: for a torsion-free arithmetic lattice Γ of Q-rank q, H^i(Γ,M) ≅ H_{d-q-i}(Γ,St(H,F)⊗M).
    Invoked in §2.3.2 to convert the desired H^1 vanishing into a homology vanishing for the Steinberg module.
  • standard math Monod’s superrigidity for irreducible lattices acting on CAT(0) spaces of finite telescopic dimension (Theorem 6 of [36]).
    Used in the proof of Theorem E to extend a reduced minimal action on a closed convex subset of HE to a continuous homomorphism of the ambient Lie group.
  • domain assumption Gap property for dynamical degrees of birational maps of surfaces (Blanc–Cantat [7, Cor. 2.7(2)]).
    Used in Lemma 4.2.1 to rule out non-elementary actions whose translation lengths approach zero.
  • standard math Gerasimov’s theorem: a group acting on a CAT(0) cube complex with a bounded orbit has a global fixed vertex.
    Applied at the end of the proof of Theorem D once the cocycle argument produces a bounded orbit.
  • domain assumption Hyperplane stabilizers in the Jonquières complex inject into point stabilizers in PGL(2,C) and are therefore solvable.
    Established in §5.2 from the restricted-product structure of J and the injectivity of Γ→PGL(2,C); needed to feed Theorem D.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On cube and Cremona rigidity for higher-rank lattices." pith.science (2026). https://pith.science/paper/XQWSW5BX

@misc{pith2026260707940,
  author       = {Pith},
  title        = {Pith review of: On cube and Cremona rigidity for higher-rank lattices},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XQWSW5BX}},
  note         = {Machine review of arXiv:2607.07940}
}
abstract

For irreducible lattices in semisimple Lie groups of real rank at least $2$, we prove a cohomological vanishing result implying that any action on a CAT(0) cube complex fixes a vertex whenever every hyperplane stabilizer is solvable. As an application, we prove regularizability for actions of all higher-rank lattices by birational transformations on projective surfaces. We first use superrigidity for actions on infinite-dimensional real hyperbolic spaces to reduce to the de Jonqui\`eres group, and then apply our fixed-point theorem to the Jonqui\`eres complex. Our proof bypasses the direct use of property FW.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Math.154(2018), no

    Avner Ash, Andrew Putman, and Steven V Sam,Homological vanishing for the Stein- berg representation, Compos. Math.154(2018), no. 6, 1111–1130

    work page 2018

  2. [2]

    Syst.36(2016), no

    Uri Bader, Bruno Duchesne, and Jean Lécureux,Furstenberg maps for CAT(0) targets of finite telescopic dimension, Ergodic Theory Dyn. Syst.36(2016), no. 6, 1723–1742

    work page 2016

  3. [3]

    ed., Lond

    Arnaud Beauville,Complex algebraic surfaces., 2nd ed. ed., Lond. Math. Soc. Stud. Texts, vol. 34, Cambridge: Cambridge Univ. Press, 1996. 16 SHENGYUAN ZHAO

    work page 1996

  4. [4]

    Monogr., vol

    Bachir Bekka, Pierre de la Harpe, and Alain Valette,Kazhdan’s property, New Math. Monogr., vol. 11, Cambridge: Cambridge University Press, 2008

    work page 2008

  5. [5]

    Math.20(1973), 103–124

    Robert Bieri and Beno Eckmann,Groups with homological duality generalizing Poincaré duality, Invent. Math.20(1973), 103–124

    work page 1973

  6. [6]

    Groups14 (2009), no

    Jérémy Blanc,Algebraic subgroups of the Cremona group, Transform. Groups14 (2009), no. 2, 249–285

    work page 2009

  7. [7]

    Jérémy Blanc and Serge Cantat,Dynamical degrees of birational transformations of projective surfaces, J. Am. Math. Soc.29(2016), no. 2, 415–471

    work page 2016

  8. [8]

    Armand Borel and Harish-Chandra,Arithmetic subgroups of algebraic groups, Ann. Math. (2)75(1962), 485–535

    work page 1962

Show all 45 references
  1. [9]

    Douady et L

    Armand Borel and Jean-Pierre Serre,Corners and arithmetic groups (Appendice: Ar- rondissement des varietes a coins par A. Douady et L. Herault), Comment. Math. Helv.48(1973), 436–491

    1973

  2. [10]

    I, Invent

    Armand Borel and Jacques Tits,Éléments unipotents et sous-groupes paraboliques de groupes réductifs. I, Invent. Math.12(1971), 95–104

    1971

  3. [11]

    Math.221(2020), no

    Aaron Brown, David Fisher, and Sebastian Hurtado,Zimmer’s conjecture for actions ofSL(m,Z), Invent. Math.221(2020), no. 3, 1001–1060

    2020

  4. [12]

    ,Zimmer’s conjecture: subexponential growth, measure rigidity, and strong property (T), Ann. Math. (2)196(2022), no. 3, 891–940

    2022

  5. [13]

    Brown,Cohomology of groups, Grad

    Kenneth S. Brown,Cohomology of groups, Grad. Texts Math., vol. 87, Springer, 1982

    1982

  6. [14]

    ,Buildings, New York etc.: Springer-Verlag, 1989

    1989

  7. [15]

    Marc Burger, Alessandra Iozzi, and Nicolas Monod,Equivariant embeddings of trees into hyperbolic spaces, Int. Math. Res. Not.2005(2005), no. 22, 1331–1369

    2005

  8. [16]

    Zimmer, Ann

    Serge Cantat,A Kählerian version of a conjecture of Robert J. Zimmer, Ann. Sci. Éc. Norm. Supér. (4)37(2004), no. 5, 759–768

    2004

  9. [17]

    ,On the groups of birational transformations of surfaces, Ann. Math. (2)174 (2011), no. 1, 299–340

    2011

  10. [18]

    In celebration of John Milnor’s 80th birthday., Princeton, NJ: Prince- ton University Press, 2014, pp

    ,Dynamics of automorphisms of compact complex surfaces, Frontiers in com- plex dynamics. In celebration of John Milnor’s 80th birthday., Princeton, NJ: Prince- ton University Press, 2014, pp. 463–514

    2014

  11. [19]

    Serge Cantat and Yves de Cornulier,Commensurating actions of birational groups and groups of pseudo-automorphisms, J. Éc. Polytech., Math.6(2019), 767–809

    2019

  12. [20]

    2, 239–295

    Serge Cantat and Junyi Xie,Algebraic actions of discrete groups: thep-adic method, Acta Math.220(2018), no. 2, 239–295

    2018

  13. [21]

    Serge Cantat and Abdelghani Zeghib,Holomorphic actions, Kummer examples, and Zimmer program, Ann. Sci. Éc. Norm. Supér. (4)45(2012), no. 3, 447–489

    2012

  14. [22]

    Ann.346(2010), no

    Pierre-Emmanuel Caprace and Alexander Lytchak,At infinity of finite-dimensional CAT(0)spaces, Math. Ann.346(2010), no. 1, 1–21

    2010

  15. [23]

    1–2, 1–26

    Yves Cornulier,Irreducible lattices, invariant means, and commensurating actions, Mathematische Zeitschrift279(2015), no. 1–2, 1–26

    2015

  16. [24]

    ,Group actions with commensurated subsets, wallings and cubings, 2016, arXiv:1302.5982v2

    2016 arXiv

  17. [25]

    ,Regularization of birational actions of FW groups, Confluentes Math.12 (2020), no. 2, 3–10

    2020

  18. [26]

    (to appear)

    Danijela Damjanovic, Ralf Spatzier, Kurt Vinhage, and Disheng Xu,The Zimmer Program for partially hyperbolic actions, Acta Math. (to appear)

  19. [27]

    With an appendix by Serge Cantat, Compos

    Thomas Delzant and Pierre Py,Kähler groups, real hyperbolic spaces and the Cremona group. With an appendix by Serge Cantat, Compos. Math.148(2012), no. 1, 153–184

    2012

  20. [28]

    Julie Déserti,Cremona group and complex dynamics: an approach to the Zimmer conjecture, Int. Math. Res. Not.2006(2006), no. 11, 27

    2006

  21. [29]

    V. N. Gerasimov,Fixed-point-free actions on cubings, Sib. Adv. Math.8(1997), no. 1, 91–109

    1997

  22. [30]

    Math.137(1999), no

    Étienne Ghys,Lattice actions on the circle, Invent. Math.137(1999), no. 1, 199–231. CREMONA RIGIDITY 17

    1999

  23. [31]

    M. Kh. Gizatullin,Rational G-surfaces, Izv. Akad. Nauk SSSR, Ser. Mat.44(1980), 110–144

    1980

  24. [32]

    Anne Lonjou, Piotr Przytycki, and Christian Urech,Finitely generated subgroups of algebraic elements of plane Cremona groups are bounded, J. Éc. Polytech., Math.11 (2024), 1011–1028

    2024

  25. [33]

    J.170(2021), no

    Anne Lonjou and Christian Urech,Actions of Cremona groups on CAT(0)cube com- plexes, Duke Math. J.170(2021), no. 17, 3703–3743

    2021

  26. [34]

    G. A. Margulis,Discrete subgroups of semisimple Lie groups, Ergeb. Math. Grenzgeb.,

  27. [35]

    17, Berlin etc.: Springer-Verlag, 1991

    Folge, vol. 17, Berlin etc.: Springer-Verlag, 1991

    1991

  28. [36]

    Masaki Maruyama,On automorphism groups of ruled surfaces, J. Math. Kyoto Univ. 11(1971), 89–112

    1971

  29. [37]

    Nicolas Monod,Superrigidity for irreducible lattices and geometric splitting, J. Am. Math. Soc.19(2006), no. 4, 781–814

    2006

  30. [38]

    Nicolas Monod and Pierre Py,An exotic deformation of the hyperbolic space, Am. J. Math.136(2014), no. 5, 1249–1299

    2014

  31. [39]

    Vladimir Platonov and Andrei Rapinchuk,Algebraic groups and number theory. Transl. from the Russian by Rachel Rowen, Pure Appl. Math., Academic Press, vol. 139, Boston, MA: Academic Press, 1994

    1994

  32. [40]

    Math.21(1973), 255–286

    Gopal Prasad,Strong rigidity of Q-rank 1 lattices, Invent. Math.21(1973), 255–286

    1973

  33. [41]

    M.S.Raghunathan,Discrete subgroups of Lie groups, Ergeb.Math.Grenzgeb., vol.68, Springer-Verlag, Berlin, 1972

    1972

  34. [42]

    Al- gebra141(1991), no

    Mark Reeder,The Steinberg module and the cohomology of arithmetic groups, J. Al- gebra141(1991), no. 2, 287–315

    1991

  35. [43]

    2, 145 – 165

    Gonzalo Emiliano Ruiz Stolowicz,Real hyperbolic representations of PU(1, n), Bulletin of the Belgian Mathematical Society - Simon Stevin33(2026), no. 2, 145 – 165

    2026

  36. [44]

    Weibel,An introduction to homological algebra, Camb

    Charles A. Weibel,An introduction to homological algebra, Camb. Stud. Adv. Math., vol. 38, Cambridge: Cambridge University Press, 1994

    1994

  37. [45]

    Zimmer,Actions of semisimple groups and discrete subgroups, Proc

    Robert J. Zimmer,Actions of semisimple groups and discrete subgroups, Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 2, 1247-1258, 1987. Université Paul Sabatier, Institut de Mathématiques de Toulouse, 118, route de Narbonne, F-31062 Toulouse, France Email address:shengyu...

    1986

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.