pith. sign in

arxiv: 2505.05220 · v2 · submitted 2025-05-08 · 🧮 math.GR · math.MG· math.RT

A fixed point theorem for the action of linear higher rank algebraic groups over local fields on symmetric spaces of infinite dimension and finite rank

Federico Viola This is my paper

Pith reviewed 2026-05-22 16:32 UTC · model grok-4.3

classification 🧮 math.GR math.MGmath.RT
keywords fixed point theoremhigher rank algebraic groupsnon-archimedean local fieldsinfinite dimensional symmetric spacesisometric actionsnon-positive curvaturecocompact lattices
0
0 comments X

The pith

Higher-rank algebraic groups over local fields have a fixed point for every continuous isometric action on infinite-dimensional finite-rank symmetric spaces with non-positive curvature.

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

The paper shows that when an almost simple linear algebraic group G of rank at least two acts continuously by isometries on a simply connected symmetric space X of infinite dimension but finite rank, the action must fix a point. This conclusion holds for groups defined over non-archimedean local fields of characteristic zero with residue field of size at least three, and it extends to cocompact lattices when the residue field is large enough relative to the rank. A sympathetic reader cares because the result imposes strong rigidity on how these groups can move points in infinite-dimensional geometries that still have controlled curvature and rank, ruling out fixed-point-free actions under the stated conditions.

Core claim

Let F be a non-archimedean local field of characteristic zero whose residue field has at least three elements. Let G be an almost simple linear algebraic group over F with rank_F(G) at least two. Let X be a simply connected symmetric space of infinite dimension and finite rank with non-positive curvature operator. Every continuous action by isometries of G on X has a fixed point. If G contains SL_3(F) the result holds for any such local field F. The same fixed-point conclusion extends to cocompact lattices in G once the cardinality of the residue field of F exceeds a bound that depends on rank_F(G).

What carries the argument

The fixed-point guarantee for continuous isometric actions that follows from the higher rank of G together with the infinite dimension yet finite rank and non-positive curvature of X.

If this is right

  • Every continuous isometric action of G on X admits at least one fixed point.
  • When G contains SL_3(F) the fixed-point conclusion requires no further restrictions on the local field F.
  • Cocompact lattices in G also have the fixed-point property once the residue field cardinality is sufficiently large depending on rank_F(G).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same rank-and-curvature mechanism might apply to isometric actions on other infinite-dimensional spaces that satisfy the finite-rank and curvature hypotheses even if they are not symmetric.
  • Fixed-point results of this type could imply that homomorphisms from G into the isometry group of X are conjugate to actions that stabilize a point.
  • Boundary cases such as rank exactly two or residue fields of the smallest allowed size could be checked directly for small explicit groups like SL_3 or Sp_4.

Load-bearing premise

X must be a simply connected symmetric space of infinite dimension and finite rank whose curvature operator is non-positive.

What would settle it

An explicit continuous isometric action of such a G on such an X that has no fixed point would disprove the claim.

read the original abstract

Let F be a non-archimedean local field of characteristic zero whose residue field has at least three elements. Let G be an almost simple linear algebraic group over F, with rank_F(G) >= 2. Let X be a simply connected symmetric space of infinite dimension and finite rank, with non-positive curvature operator. We prove that every continuous action by isometries of G on X has a fixed point. If the group G contains SL_3(F), the result holds without any assumption on the non-archimedean local field F. The result extends to cocompact lattices in G if the cardinality of the residue field of F is large enough, with a bound that depends on rank_F(G).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that every continuous isometric action of an almost simple linear algebraic group G of F-rank at least 2 over a non-archimedean local field F (residue field cardinality at least 3) on a simply connected symmetric space X of infinite dimension and finite rank with non-positive curvature operator admits a fixed point. The result holds without the residue-field hypothesis when G contains SL_3(F), and extends to cocompact lattices in G when the residue-field cardinality is sufficiently large (with the bound depending on rank_F(G)).

Significance. If correct, the theorem extends classical higher-rank fixed-point results (e.g., those relying on invariant flats or barycenters in finite-dimensional CAT(0) spaces) to infinite-dimensional symmetric spaces while preserving the finite-rank structure of X. The combination of the higher-rank assumption on G with the finite-rank and non-positive curvature hypotheses on X to produce an invariant flat via adapted averaging or ping-pong arguments is a technical contribution to rigidity and geometric group theory in infinite dimensions.

major comments (2)
  1. [Abstract and §3] Abstract and §3 (main theorem): the lattice extension requires the residue-field cardinality to be 'large enough, with a bound that depends on rank_F(G)', yet the text provides neither an explicit bound nor the derivation of the dependence from the ping-pong or averaging step; this is load-bearing for the lattice claim.
  2. [§4.1] §4.1 (reduction to SL_3(F) case): the argument drops the residue-field hypothesis when G contains SL_3(F), but does not explicitly verify why the higher-rank machinery still applies without the cardinality condition on the residue field; this step is central to the second statement of the theorem.
minor comments (2)
  1. [§2] The notation 'rank_F(G)' is used throughout without a preliminary definition or reference to standard texts on algebraic groups over local fields; a short reminder in §2 would improve accessibility.
  2. Figure 1 (schematic of the invariant flat) has axis labels that are too small for print; enlarging them would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We appreciate the referee's thorough review and positive recommendation for minor revision. Below we respond to each major comment, indicating the changes we will implement in the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract and §3] Abstract and §3 (main theorem): the lattice extension requires the residue-field cardinality to be 'large enough, with a bound that depends on rank_F(G)', yet the text provides neither an explicit bound nor the derivation of the dependence from the ping-pong or averaging step; this is load-bearing for the lattice claim.

    Authors: We agree with the referee that providing an explicit bound and its derivation would improve the clarity of the lattice extension result. The bound arises from the quantitative ping-pong lemma in the proof of the main theorem, where the size of the residue field must be large enough to ensure that the displacement functions allow for sufficient separation in the symmetric space. The dependence on rank_F(G) comes from the dimension of the maximal flats and the number of root groups involved in the averaging process. In the revised manuscript, we will add a remark or subsection deriving an explicit lower bound for the cardinality in terms of rank_F(G), based on the constants appearing in Section 3. revision: yes

  2. Referee: [§4.1] §4.1 (reduction to SL_3(F) case): the argument drops the residue-field hypothesis when G contains SL_3(F), but does not explicitly verify why the higher-rank machinery still applies without the cardinality condition on the residue field; this step is central to the second statement of the theorem.

    Authors: The referee correctly identifies that the verification could be more explicit. When G contains SL_3(F), the proof in §4.1 reduces the problem to establishing a fixed point for the SL_3(F) action using a direct averaging argument over the elementary subgroups, which relies only on the non-archimedean valuation and does not require the residue field to have at least three elements (the condition |k| >= 3 is used only for the general case to control the constants in the higher-rank ping-pong). The higher-rank machinery is then applied to the centralizer or normalizer in G. We will revise §4.1 to include a short paragraph explaining this distinction and why the cardinality hypothesis can be dropped in this case. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on external assumptions about the algebraic group G (almost simple, rank >=2 over local field F), the geometry of X (simply connected symmetric space of infinite dimension, finite rank, non-positive curvature operator, CAT(0)), and standard higher-rank fixed-point techniques such as invariant flats or barycenters via averaging or ping-pong arguments. The continuity of the isometry action is used to pass to limits of almost-fixed points, with simply-connectedness ensuring completeness. No step reduces by construction to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The extension to lattices and the SL_3(F) special case are stated as conditional on residue field cardinality, without internal redefinition of inputs. The central claim remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard domain assumptions from the theory of algebraic groups over local fields and the geometry of symmetric spaces; no free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (3)
  • domain assumption F is a non-archimedean local field of characteristic zero whose residue field has at least three elements.
    Standard setup for the base field in statements about algebraic groups over local fields.
  • domain assumption G is an almost simple linear algebraic group over F with rank_F(G) >= 2.
    Definition of the acting group; the higher-rank hypothesis is load-bearing for the fixed-point conclusion.
  • domain assumption X is a simply connected symmetric space of infinite dimension and finite rank with non-positive curvature operator.
    Geometric hypotheses on the target space that enable the fixed-point argument.

pith-pipeline@v0.9.0 · 5655 in / 1452 out tokens · 73617 ms · 2026-05-22T16:32:53.906532+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Brown.Buildings

    Peter Abramenko and Kenneth S. Brown.Buildings. Theory and Appli- cations. Graduate Texts in Mathematics 248. Springer, 2008

    work page 2008

  2. [2]

    T. Ya. Azizov and Iosif Semenoviˇ c Iohvidov.Linear operators in spaces with an indefinite metric. Chichester, New York: Wiley, 1989

    work page 1989

  3. [3]

    Centers of convex subsets of buildings

    Andreas Balser and Alexander Lytchak. “Centers of convex subsets of buildings”. In:Annals of Global Analysis and Geometry28 (2005), pp. 201– 209. 26

    work page 2005

  4. [4]

    New Mathematical Monographs 11

    Bachir Bekka, Pierre de la Harpe, and Alain Valette.Kazhdan’s Prop- erty (T). New Mathematical Monographs 11. Cambridge University Press, 2008

    work page 2008

  5. [5]

    Bogn´ ar.Indefinite inner product spaces

    J. Bogn´ ar.Indefinite inner product spaces. Vol. 78. Ergebnisse der Math- ematik und ihrer Grenzgebiete. Springer-Verlag, 1974

    work page 1974

  6. [6]

    Existence of discrete cocompact sub- groups of reductive groups over local fields

    Armand Borel and G¨ unter Harder. “Existence of discrete cocompact sub- groups of reductive groups over local fields”. In:Journal f¨ ur die reine und angewandte Mathematik298 (1978), pp. 53–64

    work page 1978

  7. [7]

    Groupes r´ eductifs

    Armand Borel and Jacques Tits. “Groupes r´ eductifs”. In:Publications math´ ematiques de l’IH´ES27 (1965), pp. 55–150

    work page 1965

  8. [8]

    Homomorphismes abstraits de groupes alg´ ebriques simples

    Armand Borel and Jacques Tits. “Homomorphismes abstraits de groupes alg´ ebriques simples”. In:Annals of Mathematics97.3 (1973), pp. 499–571

    work page 1973

  9. [9]

    Bridson and Andr´ e Haefliger.Metric spaces of non-positive curvature

    Martin R. Bridson and Andr´ e Haefliger.Metric spaces of non-positive curvature. Vol. 319. A Series of Comprehensive Studies in Mathematics. Springer Berlin, 1999

    work page 1999

  10. [10]

    Groupes r´ eductifs sur un corps local : I. Donn´ ees radicielles valu´ ees

    Fran¸ cois Bruhat and Jacques Tits. “Groupes r´ eductifs sur un corps local : I. Donn´ ees radicielles valu´ ees”. In:Publications math´ ematiques de l’IH´ES 41 (1972), pp. 5–251

    work page 1972

  11. [11]

    Equivariant embed- dings of trees into hyperbolic spaces

    Marc Burger, Alessandra Iozzi, and Nicolas Monod. “Equivariant embed- dings of trees into hyperbolic spaces”. In:International Mathematics Re- search NoticesIssue 22 (2005), pp. 1331–1369

    work page 2005

  12. [12]

    At infinity of finite- dimensional CAT(0) spaces

    Pierre-Emmanuel Caprace and Alexander Lytchak. “At infinity of finite- dimensional CAT(0) spaces”. In:Mathematische Annalen346 (2010), pp. 1– 21

    work page 2010

  13. [13]

    On lengths on semisimple groups

    Yves de Cornulier. “On lengths on semisimple groups”. In:Journal of Topology and Analysis(2009)

    work page 2009

  14. [14]

    K¨ ahler groups, real hyperbolic spaces and the Cremona group

    Thomas Delzant and Pierre Py. “K¨ ahler groups, real hyperbolic spaces and the Cremona group”. In:Compositio Mathematica148.1 (2012), pp. 153– 184

    work page 2012

  15. [15]

    Des espaces de Hadamard sym´ etriques de dimension infinie et de rang fini

    Bruno Duchesne. “Des espaces de Hadamard sym´ etriques de dimension infinie et de rang fini”. PhD thesis. Universit´ e de Gen` eve, 2011

    work page 2011

  16. [16]

    Infinite dimensional representations of orthogonal groups of quadratic forms with finite index

    Bruno Duchesne. “Infinite dimensional representations of orthogonal groups of quadratic forms with finite index”. In:Annales de la Facult´ e des Sci- ences de ToulouseTome XXXII.n°2 (2023), pp. 371–396

    work page 2023

  17. [17]

    Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator

    Bruno Duchesne. “Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator”. In:Annales de l’Institut FourierTome 65.no 1 (2015), pp. 211–244

    work page 2015

  18. [18]

    Infinite-Dimensional Nonpositively Curved Symmetric Spaces of Finite Rank

    Bruno Duchesne. “Infinite-Dimensional Nonpositively Curved Symmetric Spaces of Finite Rank”. In:International Mathematics Research Notices Issue 7 (2013), pp. 1578–1627. 27

    work page 2013

  19. [19]

    Superrigidity In Infinite Dimension And Finite Rank Via Harmonic Maps

    Bruno Duchesne. “Superrigidity In Infinite Dimension And Finite Rank Via Harmonic Maps”. In:Groups, Geometry, and Dynamics9 (2015)

    work page 2015

  20. [20]

    Eberlein.Geometry of nonpositively curved manifolds

    Patrick B. Eberlein.Geometry of nonpositively curved manifolds. Chicago Lectures in Mathematics. Chicago, IL: University of Chicago Press, 1996

    work page 1996

  21. [21]

    The Zeta Func- tions of Complexes from Sp(4)

    Yang Fang, Wen-Ching Winnie Li, and Chian-Jen Wang. “The Zeta Func- tions of Complexes from Sp(4)”. In:International Mathematics Research Notices2013.4 (2013), pp. 886–923

    work page 2013

  22. [22]

    The nonexistence of certain generalized polygons

    Walter Feit and Graham Higman. “The nonexistence of certain generalized polygons”. In:Journal of Algebra1.2 (1964), pp. 114–131

    work page 1964

  23. [23]

    The De Rham Decomposition Theorem For Metric Spaces

    Thomas Foertsch and Alexander Lytchak. “The De Rham Decomposition Theorem For Metric Spaces”. In:Geometric and Functional Analysis18 (2008), pp. 120–143

    work page 2008

  24. [24]

    p-Adic Curvature and the Cohomology of Discrete Sub- groups ofp-Adic Groups

    Howard Garland. “p-Adic Curvature and the Cohomology of Discrete Sub- groups ofp-Adic Groups”. In:Annals of MathematicsVol. 97.No. 3 (1973), pp. 375–423

    work page 1973

  25. [25]

    Chapman & Hall, 1997

    Paul Brittingham Garrett.Buildings and Classical Groups. Chapman & Hall, 1997

    work page 1997

  26. [26]

    Serie principal esf´ erica y espacios sim´ etricos de dimensi´ on infinita

    Arturo S´ anchez Gonz´ ales. “Serie principal esf´ erica y espacios sim´ etricos de dimensi´ on infinita”. PhD thesis. Universidad Nacional Aut´ onoma de M´ exico, 2020

    work page 2020

  27. [27]

    Asymptotic invariants of infinite groups

    Mikhail Gromov. “Asymptotic invariants of infinite groups”. In:Geomet- ric Group Theory, Vol. 2 (Sussex, 1991). London Mathematical Society Lecture Notes Series 182 (1993), pp. 1–295

    work page 1991

  28. [28]

    Springer Monographs in Mathematics 159

    Joachim Hilgert and Karl-Hermann Neeb.Structure and Geometry of Lie Groups. Springer Monographs in Mathematics 159. Springer, 2012

    work page 2012

  29. [29]

    Spectral theory of operators in space with indefinite metric. I

    Iosif Semenoviˇ c Iohvidov and Mark Grigorievich Krein. “Spectral theory of operators in space with indefinite metric. I”. In:Trudy Moskovskogo Matematicheskogo Obshchestva5 (1956), pp. 367–432

    work page 1956

  30. [30]

    Walter de Gruyter GmbH, 1982

    Iosif Semenoviˇ c Iohvidov, Mark Grigorievich Krein, and Heinz Langer.In- troduction to the Spectral Theory of Operators in Spaces with an Indefinite Metric. Walter de Gruyter GmbH, 1982

    work page 1982

  31. [31]

    The local structure of length spaces with curvature bounded above

    Bruce Kleiner. “The local structure of length spaces with curvature bounded above”. In:Mathematische Zeitschrift231 (1999), pp. 409–456

    work page 1999

  32. [32]

    Gregori Aleksandroviˇ c Margulis.Discrete Subgroups of Semisimple Lie Groups. Vol. 17. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Springer Berlin, Heidelberg, 1991

    work page 1991

  33. [33]

    Superrigidity for irreducible lattices and geometric split- ting

    Nicolas Monod. “Superrigidity for irreducible lattices and geometric split- ting”. In:Journal of the American Mathematical Society19.4 (2006), pp. 781–814. 28

    work page 2006

  34. [34]

    An Exotic Deformation of the Hyperbolic Space

    Nicolas Monod and Pierre Py. “An Exotic Deformation of the Hyperbolic Space”. In:American Journal of Mathematics136.5 (2012), pp. 1249– 1299

    work page 2012

  35. [35]

    On commutative algebras of operators in the space Πk

    Mark Aronoviˇ c Naimark. “On commutative algebras of operators in the space Πk”. In:Doklady Akademii Nauk SSSR161 (1965), pp. 767–770

    work page 1965

  36. [36]

    On commuting unitary operators in spaces with indefinite metric

    Mark Aronoviˇ c Naimark. “On commuting unitary operators in spaces with indefinite metric”. In:Acta Scientiarum Mathematicarum (Szeged) 24 (1963), pp. 177–189

    work page 1963

  37. [37]

    On unitary group representations in spaces with indefinite metric

    Mark Aronoviˇ c Naimark. “On unitary group representations in spaces with indefinite metric”. In:Acta Scientiarum Mathematicarum (Szeged) 26 (1965), pp. 201–209

    work page 1965

  38. [38]

    Unitary representations of the Lorentz group in spaces with indefinite metric

    Mark Aronoviˇ c Naimark. “Unitary representations of the Lorentz group in spaces with indefinite metric”. In:Matematicheskii Sbornik, Novaya Seriya65.107 (1964), pp. 198–211

    work page 1964

  39. [39]

    Hermitian Operators in Spaces with Indefi- nite Metric

    Lev Sem¨ enoviˇ c Pontryagin. “Hermitian Operators in Spaces with Indefi- nite Metric”. In:Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 8 (1944), pp. 243–280

    work page 1944

  40. [40]

    Sur la reductibilit´ e d’un espace de Riemann

    Georges De Rham. “Sur la reductibilit´ e d’un espace de Riemann”. In: Commentarii Mathematici Helvetici26 (1952), pp. 328–344

    work page 1952

  41. [41]

    Expanders and the Affine Building of Sp n

    Alison Setyadi. “Expanders and the Affine Building of Sp n”. In:Ars Com- binatoria109 (2013), pp. 497–510

    work page 2013

  42. [42]

    The Arithmetic and Combinatorics of Build- ings for Spn

    Thomas Richard Shemanske. “The Arithmetic and Combinatorics of Build- ings for Spn”. In:Transaction of the American Mathematical Society359.7 (2007), pp. 3409–3423

    work page 2007

  43. [43]

    Algebraic and Abstract Simple Groups

    Jacques Tits. “Algebraic and Abstract Simple Groups”. In:Annals of Mathematics80.2 (1964), pp. 313–329

    work page 1964

  44. [44]

    Irreducible representations of tree automorphism groups into Pontryagin spaces

    Federico Viola. “Irreducible representations of tree automorphism groups into Pontryagin spaces”. arXiv preprint (2026), arXiv:2508.02367v2

    work page arXiv 2026

  45. [45]

    A fixed point theorem of discrete group actions on Rie- mannian manifolds

    Mu-Tao Wang. “A fixed point theorem of discrete group actions on Rie- mannian manifolds”. In:Journal of Differential Geometry50 (1998), pp. 249– 267. Federico Viola, EPFL, Lausanne, CH-1015, Switzerland. E-mail address: federico.viola@epfl.ch 29

    work page 1998