Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Zariski-dense deformations of standard discontinuous groups for pseudo-Riemannian homogeneous spaces

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read For any homomorphism $\varphi\colon\mathrm{Spin}(n,1)\to G$ into a Zariski-connected real algebraic group, some torsion-free cocompact discrete subgroup can be deformed so that its Zariski closure is exactly $G_\varphi$, and for $n\ge 3$…

desk verdict A real bending construction for arbitrary targets, with an honest but load-bearing external dependence for the classification claims. read the letter →

arxiv 2507.03476 v2 pith:P63DZZTT submitted 2025-07-04 math.DG

classification math.DG MSC 57S3058H1522D5022E4022E4653C3058J50
keywords discontinuousgroupsproperactionspseudo-RiemannianhomogeneousspacesZariski-densedeformationsClifford-KleinformsSpin(n1)latticeslocalrigiditybendingconstruction
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

The paper asks how much a cocompact standard discontinuous group for a pseudo-Riemannian homogeneous space $X=G/H$ can be deformed without losing proper discontinuity, and answers it through a single algebraic object $G_\varphi$. For any homomorphism $\varphi\colon\mathrm{Spin}(n,1)\to G$ with $n\ge 2$, it constructs a torsion-free cocompact discrete subgroup $\Gamma$ and a small deformation of $\varphi|_\Gamma$ whose Zariski closure is exactly $G_\varphi$; for $n\ge 3$, no small deformation of any such lattice can escape $G_\varphi$ up to conjugacy. It then computes $G_\varphi$ in representation-theoretic terms and uses this to give complete yes/no answers to three deformation questions for every triple in its Tables 2.1 and 2.2. A consequence is that when a listed standard quotient can be deformed at all, it can often be deformed into a Zariski-dense subgroup, including a new 7-dimensional compact example $SO(4,4)/SO(3,4)$ and Zariski-dense groups of cohomological dimension 6 in spaces with non-compact dimension up to 16.

What carries the argument

The load-bearing object is the real algebraic subgroup $G_\varphi$: it is the Zariski-connected group whose Lie algebra $\mathfrak g_\varphi$ is generated by $d\varphi(\mathfrak{spin}(n,1))$ and all $\mathfrak{spin}(n,1)$-submodules of $\mathfrak g$ isomorphic to spherical-harmonics representations, namely the irreducible modules with a nonzero $\mathfrak{spin}(n-1,1)$-invariant vector. The construction that reaches it is the bending deformation: choose an arithmetic lattice $\Gamma$ in $\mathrm{Spin}(n,1)$ whose quotient contains arbitrarily many disjoint totally geodesic hypersurfaces, express $\Gamma$ as an iterated HNN extension, and deform the representation by exponentiating carefully chosen invariant vectors along the corresponding loops. The upper bound comes from the classical vanishing theorem for the first cohomology of cocompact lattices, which forces $H^1(\Gamma,\mathfrak g/\mathfrak g_\varphi)=0$ for $n\ge 3$, together with a curve-selection argument showing that vanishing first cohomology confines all nearby representations to $G_\varphi$ up to conjugacy.

What would settle it

To break the classification, exhibit one triple $(G,H,L)$ with $G$ simple, $H$ non-compact reductive, and $L$ acting properly and cocompactly on $G/H$, that is not locally isomorphic to any row of Tables 2.1 or 2.2; running the properness and cocompactness criteria of [37] on such a candidate would settle this. To break Theorem 3.9 for $n\ge 3$, find a small deformation of $\varphi|_\Gamma$ whose Zariski closure strictly contains $G_\varphi$; the paper's argument predicts $H^1(\Gamma,\mathfrak g/\mathfrak g_\varphi)=0$ forbids exactly that.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 3.9: for $n\ge 2$, every homomorphism $\varphi\colon\mathrm{Spin}(n,1)\to G$ into a Zariski-connected real algebraic group admits a torsion-free cocompact arithmetic subgroup $\Gamma$ and a small deformation $\varphi'$ of $\varphi|_\Gamma$ whose Zariski closure is exactly $G_\varphi$; for $n\ge 3$, $G_\varphi$ is also the largest possible, since any sufficiently small deformation of any torsion-free cocompact lattice lies in $G_\varphi$ up to $G$-conjugacy. The subgroup $G_\varphi$ is defined from the Lie algebra generated by $d\varphi(\mathfrak{spin}(n,1))$ together with all irreducible spherical-harmonics submodules of $\mathfrak g$, so the largest Zariski closure is a purely representation-theoretic object. Built on this, Theorems 2.9 and 2.21 classify, for all triples in Tables 2.1 and 2.2, whether a standard compact quotient is locally rigid, can be deformed into a non-standard quotient, or admits a Zariski-dense deformation, with the group-manifold case treated separately.

Load-bearing premise

The completeness of the classification rests on the assumption that Tables 2.1 and 2.2 contain every admissible triple; that exhaustiveness is imported from a cited symmetric-space classification and a cited preprint, and is not proved in this paper.

Editorial extensions

If this is right

  • For every $n\ge 3$, $G_\varphi$ is both achievable and an upper bound up to conjugacy, so the largest Zariski closure of a small deformation is exactly $G_\varphi$.
  • Whenever $\mathfrak g_\varphi=\mathfrak g$, a standard cocompact quotient can be deformed to a Zariski-dense discontinuous group; Table 2.3 lists exactly which spaces do this, including the 7-dimensional space form $SO(4,4)/SO(3,4)$.
  • Among the listed triples, the cases with $\mathfrak l_{ss}\simeq\mathfrak{so}(n,1)$ and nonvanishing first cohomology are precisely the cases where a Zariski-dense deformation exists, while the $\mathfrak{su}(n,1)$ cases can be deformable but never non-standard.
  • For the group manifold $(G\times G)/\mathrm{diag}(G)$ with $\mathfrak g=\mathfrak{so}(n,1)$, some $\Gamma\times\{e\}$ deforms to a Zariski-dense subgroup of $G\times G$, whereas for simple $G$ the direct-product discontinuous groups on the listed triples never become Zariski-dense in $G\times G$.
  • The method produces Zariski-dense discontinuous groups of cohomological dimension 6 on spaces such as $SO(8,\mathbb C)/SO(7,\mathbb C)$, $SO(8,8)/SO(7,8)$, $SU(8,8)/U(7,8)$, and $SL(16,\mathbb R)/SL(15,\mathbb R)$, and for symmetric spaces satisfying the rank condition the constructed deformation preserves infinitely many discrete spectra.

Reading between the lines

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

  • Theorem 3.9 achieves $G_\varphi$ using arithmetic lattices with many disjoint hypersurfaces; the upper-bound half already holds for every torsion-free cocompact lattice, so the natural open question is whether non-arithmetic lattices can also attain the full $G_\varphi$ by an adapted bending construction.
  • If the cited exhaustive-list preprint has gaps, the word 'complete' in Theorems 2.9 and 2.21 should be read as applying to the listed triples only; the row-by-row answers would survive, but unlisted triples could behave differently.
  • The representation-theoretic definition of $G_\varphi$ gives a finite algorithm for any given representation: decompose $\mathfrak g$ under $\mathfrak{spin}(n,1)$, collect the trivial and spherical-harmonics summands, and take the Lie algebra they generate together with $d\varphi(\mathfrak{spin}(n,1))$.
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 / 3 minor

Summary. The paper studies deformations of standard discontinuous groups for homogeneous spaces G/H of reductive type with non-compact isotropy H. Its main technical result is Theorem 3.9: for any Zariski-connected real algebraic group G and any homomorphism φ from Spin(n,1) to G with n ≥ 2, there is a torsion-free cocompact lattice Γ in Spin(n,1) and a small deformation φ' of φ|Γ whose Zariski closure is exactly a specified algebraic subgroup G_φ; for n ≥ 3, G_φ is also an upper bound for all sufficiently small deformations. This theorem is proved by a three-step bending construction, with explicit representation-theoretic computations of G_φ in several classes. The paper also states complete answers to deformability questions Q1–Q3 for all triples in Tables 2.1 and 2.2, discusses the group-manifold case, constructs Zariski-dense discontinuous groups of cohomological dimension 6, and surveys spectral applications on quotients X_Γ.

Significance. If Theorem 3.9 is correct, it is a substantial generalization of the Johnson–Millson and Kassel bending results: it gives an optimal, representation-theoretically defined Zariski closure for deformations into an arbitrary real algebraic group. The proof is detailed and the paper is unusually self-contained, with appendices covering algebraic-group topologies, Clifford algebras, torsion-freeness, HNN extensions, and deformation bounds. The classification theorems 2.9 and 2.21, together with Table 2.3, provide a useful and concrete answer to the deformability questions, and the spectral applications are a valuable addition. The core construction in Theorem 3.9 appears sound and is independent of the external classification input; the classification claims, however, depend on an exhaustiveness statement that is not proved in this paper.

major comments (2)
  1. [Section 2.3, Remark 2.8, and proofs of Theorems 2.9 and 2.21] The exhaustiveness of Tables 2.1 and 2.2 is load-bearing for the classification claims, but it is not proved here. Remark 2.8 says it is 'plausible' that the tables list all such spaces, and then delegates the symmetric case to Tojo [68] and the general reductive case to the preprint Bocheński–Tralle [6]. Because Theorems 2.9 and 2.21 are phrased as complete answers to Question 2.5 for all triples satisfying (2.1), and Table 2.3 is labelled 'Complete answers', a triple missing from the tables would invalidate the word 'complete'. I recommend either proving the exhaustiveness or explicitly reformulating Theorems 2.9 and 2.21 as conditional on the classification in [6] and [68], and adjusting the abstract and introduction accordingly. Theorem 3.9 is independent of this external input and is not affected by this concern.
  2. [Section 3.2, proof of Theorem 3.9(3)] The proof asserts H^1(Γ, g/g_φ) = 0 by 'Raghunathan's vanishing theorem (Fact 3.1)' in a single sentence. As stated, Fact 3.1 applies to irreducible coefficient modules, while g/g_φ is in general reducible; the proof needs an explicit complete-reducibility argument. It also needs to explain why the trivial module does not appear in g/g_φ: the trivial submodule z_g(dφ(spin(n,1))) is contained in g_φ because it is contained in z_g(dφ(spin(n−1,1))), which is included in (3.2). Without this, the possible nonzero contribution Hom(Γ,R) = H^1(Γ,R) would not be excluded. The argument is standard and fixable, but it should be written out.
minor comments (3)
  1. [Section 3.2, Definition 3.5] The sentence 'In other words' asserts that the Lie algebra generated by dφ(spin(n,1)) and all spherical-harmonics submodules coincides with the smallest Lie subalgebra containing dφ(spin(n,1)) + z_g(dφ(spin(n−1,1))). This equivalence is used later, for example in Corollary 3.11, but no proof is given; a short proof or a reference would help.
  2. [Throughout] There are several typos that should be corrected, including 'disconitnuous' in Theorem 2.21(2)(ii), 'comological' in Corollary 5.23, and the missing spacing in 'whenastandardquotient' in the abstract.
  3. [Section 5.4, proof of Theorem 2.21(3)] The proof of part (3) is very terse: it does not spell out how the 'no' entries in Table 2.3 imply the hypothesis (b) of Proposition 5.18, nor the role of the stability theorem (Fact 5.6) in passing from 'no Zariski-dense deformation preserving properness' to 'no Zariski-dense small deformation' for the relevant rank-one factor. A short case-check would make the argument easier to verify.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Zariski-closure result is self-contained; the classification's completeness is imported from external sources, which is a correctness caveat, not a circular step.

full rationale

Theorem 3.9 is the core claim and it is not circular. Gφ is defined in Definition 3.5/3.7 from the spin(n,1)-module structure of g, not from the deformations: gφ is the Lie subalgebra generated by dφ(spin(n,1)) and all spherical-harmonics submodules. The upper bound (Theorem 3.9(3)) is proved by showing g/gφ has no spherical-harmonics components, so Raghunathan's vanishing gives H^1(Γ,g/gφ)=0, and Proposition E.2 then forces small deformations into Gφ up to conjugacy. The existence part is constructive via Millson's hypersurfaces and Johnson-Millson bending, with the bending vectors chosen from those same spherical-harmonics components; the final closure computation is a proof, not a renaming. No fitted parameter is called a prediction. The classification Theorems 2.9 and 2.21 do rely on the completeness of Tables 2.1-2.2, and the paper explicitly says in Remark 2.8: "It is plausible that Tables 2.1 and 2.2 list all the homogeneous spaces G/H with G simple, H non-compact and reductive, that admit a proper and cocompact action by a reductive subgroup L," while attributing the exhaustive result to Tojo [68] and to the preprint Bocheński-Tralle [6]. That is an imported external completeness assumption; if the tables are incomplete, the word "complete" would be unjustified, but this is a correctness/evidence gap, not a circular derivation from the paper's own conclusions. Citations to earlier work of Kobayashi for proper-action stability and classification are external published theorems with independent proofs; they do not reduce the present claims to their own inputs.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

No fitted parameters enter the central claims; the only construction choices, such as the number k of bending hypersurfaces and the choice of primes, do not appear in the final statements. The main external inputs are standard rigidity theorems and two classification results cited from other works, one of which is a preprint and one a forthcoming paper.

assumptions (6)
  • standard math Raghunathan's vanishing theorem for the first cohomology of cocompact lattices
    Used in the proof of Theorem 3.9(3), in Step 3 of Theorem 2.9, and in Theorem 2.21 to show H^1(Gamma, g/l) = 0 in various cases.
  • standard math Klingler's local rigidity theorem for SU(n,1) representations
    Used in Step 4 of Theorem 2.9 and in Theorem 2.21(2) to show that certain SU(n,1) lattice deformations remain inside L up to conjugacy.
  • standard math Kassel's stability theorem for proper discontinuity under small deformations
    Fact 5.6 and Fact 5.7 are used to ensure that small deformations constructed via bending preserve proper discontinuity, a key step in Theorem 5.9 and Theorem 5.28.
  • standard math Strong approximation theorem for the simply connected group Spin(V)
    Used in Proposition 4.15 to prove surjectivity of the reduction map for congruence subgroups of the arithmetic group Gamma_Lambda.
  • domain assumption Exhaustiveness of Tables 2.1 and 2.2 from Tojo [68] and Bocheński-Tralle [6]
    The paper does not prove that these tables list all triples (G,H,L) with G simple, H non-compact reductive, and L acting properly and cocompactly. The completeness of Theorem 2.9 and Theorem 2.21 depends on this external classification.
  • domain assumption Proper-action classification via Hurwitz-Radon numbers from [25]
    Theorem 5.25, cited from the forthcoming paper [25] by Kannaka and Tojo, is used in Proposition 5.27 and Theorem 5.28 to identify homogeneous spaces admitting proper Spin(n,1) actions.
invented entities (1)
  • G_phi, the maximal Zariski-closure subgroup associated to phi independent evidence
    purpose: Provides the target and upper bound for small deformations of phi|Gamma in any real algebraic group G.
    G_phi is determined by the phi-module structure of g through spherical harmonics representations. Theorem 3.9 proves that G_phi is attainable and gives an upper bound for n >= 3, so it is not a free postulate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Zariski-dense deformations of standard discontinuous groups for pseudo-Riemannian homogeneous spaces." pith.science (2026). https://pith.science/paper/P63DZZTT

@misc{pith2026250703476,
  author       = {Pith},
  title        = {Pith review of: Zariski-dense deformations of standard discontinuous groups for pseudo-Riemannian homogeneous spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P63DZZTT}},
  note         = {Machine review of arXiv:2507.03476}
}
abstract

Let $X=G/H$ be a homogeneous space of a Lie group $G$. When the isotropy subgroup $H$ is non-compact, a discrete subgroup $\Gamma$ may fail to act properly discontinuously on $X$. In this article, we address the following question: in the setting where $G$ and $H$ are reductive Lie groups and $\Gamma \backslash X$ is a standard quotient, to what extent can one deform the discrete subgroup $\Gamma$ while preserving the proper discontinuity of the action on $X$? We provide several classification results, including conditions under which local rigidity holds for compact standard quotients $\Gamma\backslash X$, when a standard quotient can be deformed into a non-standard quotient, a characterization of the largest Zariski-closure of discontinuous groups under small deformations, and conditions under which Zariski-dense deformations occur.

Figures

Figures reproduced from arXiv: 2507.03476 by the authors.

Figure 4.1
Figure 4.1. The loops ν1 and ν2 in the case k = 2. Furthermore, we can take the loop νi to be a closed submanifold of M. Let νi,+ denote the segment of the loop ν from x0 to yi,+, and let νi,− denote the segment of ν from yi,− back to x0 [PITH_FULL_IMAGE:figures/full_fig_p035_4_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Deformations of Standard Locally Homogeneous Spaces

    math.DG 2025-07 conditional novelty 6.0 of 10

    Standard locally homogeneous spaces are classified by when their discrete groups are rigid, deform to nonstandard groups, or deform to Zariski-dense subgroups.

Reference graph

Works this paper leans on

72 extracted references · 63 canonical work pages · cited by 1 Pith paper

  1. [68]

    Tojo, Classification of irreducible symmetric spaces which admit standard compact Clifford-Klein forms, Proc

    K. Tojo, Classification of irreducible symmetric spaces which admit standard compact Clifford-Klein forms, Proc. Japan Acad. Ser. A Math. Sci.95 (2019), no. 2, 11–15

  2. [6]

    Bocheński and A

    M. Bocheński and A. Tralle,A solution of the problem of standard compact Clifford-Klein forms, Available at arXiv:2403.10539v1, 2024

  3. [25]

    Kannaka and K

    K. Kannaka and K. Tojo, Hurwitz–Radon numbers and proper actions of semisimple Lie groups, in preparation

  4. [1]

    Artin,On the solutions of analytic equations, Invent

    M. Artin,On the solutions of analytic equations, Invent. Math.5 (1968), no. 4, 277–291

  5. [2]

    Benoist,Actions propres sur les espaces homogènes réductifs, Ann

    Y. Benoist,Actions propres sur les espaces homogènes réductifs, Ann. of Math. (2) 144 (1996), no. 2, 315–347

  6. [3]

    Berger,Les espaces symétriques noncompacts, Ann

    M. Berger,Les espaces symétriques noncompacts, Ann. Sci. École Norm. Sup. (3) 74 (1957), 85–177

  7. [4]

    Beyrer and F

    J. Beyrer and F. Kassel,Hp,q-convex cocompactness and higher higher teich- müller spaces, Available at arXiv:2305.15031, 2023

  8. [5]

    Bierstone and P

    E. Bierstone and P. D. Milman,Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. (1988), no. 67, 5–42

Show all 72 references
  1. [7]

    Borel,Linear Algebraic Groups, second ed., Graduate Texts in Mathemat- ics, vol

    A. Borel,Linear Algebraic Groups, second ed., Graduate Texts in Mathemat- ics, vol. 126, Springer-Verlag, New York, 1991

  2. [8]

    Burger, A

    M. Burger, A. Iozzi, and A. Wienhard, Surface group representations with maximal Toledo invariant, Ann. of Math. (2)172 (2010), no. 1, 517–566

  3. [9]

    Chevalley,Théorie des Groupes de Lie

    C. Chevalley,Théorie des Groupes de Lie. Tome II. Groupes algébriques, Ac- tualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1152, Hermann & Cie, Paris, 1951

  4. [10]

    D. H. Collingwood and W. M. McGovern,Nilpotent Orbits in Semisimple Lie Algebras, Van Nostrand Reinhold Mathematics Series, Van Nostrand Reinhold Co., New York, 1993

  5. [11]

    Culler and P

    M. Culler and P. B. Shalen,Varieties of group representations and splittings of 3-manifolds, Ann. of Math. (2)117 (1983), no. 1, 109–146

  6. [12]

    Eskin and C

    A. Eskin and C. McMullen, Mixing, counting, and equidistribution in Lie groups, Duke Math. J.71 (1993), no. 1, 181–209

  7. [13]

    Flensted-Jensen,Discrete series for semisimple symmetric spaces, Ann

    M. Flensted-Jensen,Discrete series for semisimple symmetric spaces, Ann. of Math. (2) 111 (1980), no. 2, 253–311

  8. [14]

    Ghys,Déformations des structures complexes sur les espaces homogènes de SL(2, C), J

    É. Ghys,Déformations des structures complexes sur les espaces homogènes de SL(2, C), J. Reine Angew. Math.468 (1995), 113–138

  9. [15]

    W. M. Goldman,Nonstandard Lorentz space forms, J. Differential Geom.21 (1985), no. 2, 301–308

  10. [16]

    W. M. Goldman and J. J. Millson,Local rigidity of discrete groups acting on complex hyperbolic space, Invent. Math.88 (1987), no. 3, 495–520

  11. [17]

    Hautes Études Sci

    , The deformation theory of representations of fundamental groups of compact Kähler manifolds, Inst. Hautes Études Sci. Publ. Math. (1988), no. 67, 43–96

  12. [18]

    Guéritaud, O

    F. Guéritaud, O. Guichard, F. Kassel, and A. Wienhard,Anosov representa- tions and proper actions, Geom. Topol.21 (2017), no. 1, 485–584

  13. [19]

    Guéritaud and F

    F. Guéritaud and F. Kassel,Maximally stretched laminations on geometrically finite hyperbolic manifolds, Geom. Topol.21 (2017), no. 2, 693–840

  14. [20]

    Guichard,Groupes plongés quasi isométriquement dans un groupe de Lie, Math

    O. Guichard,Groupes plongés quasi isométriquement dans un groupe de Lie, Math. Ann. 330 (2004), no. 2, 331–351. 104 KAZUKI KANNAKA AND TOSHIYUKI KOBAYASHI

  15. [21]

    Johnson and J

    D. Johnson and J. J. Millson,Deformation spaces associated to compact hyper- bolic manifolds, Discrete groups in geometry and analysis (New Haven, Conn., 1984), Progr. Math., vol. 67, Birkhäuser Boston, Boston, MA, 1987, pp. 48– 106

  16. [22]

    Kannaka, Linear independence of generalized Poincaré series for anti–de Sitter 3-manifolds, SIGMA Symmetry Integrability Geom

    K. Kannaka, Linear independence of generalized Poincaré series for anti–de Sitter 3-manifolds, SIGMA Symmetry Integrability Geom. Methods Appl.17 (2021), Paper No. 042, 15

  17. [23]

    (N.S.)30 (2024), no

    ,Counting orbits of certain infinitely generated non-sharp discontinuous groups for the anti-de Sitter space, Selecta Math. (N.S.)30 (2024), no. 1, 11

  18. [24]

    Kannaka, T

    K. Kannaka, T. Okuda, and K. Tojo, Zariski-dense discontinuous surface groups for reductive symmetric spaces, Symmetry in Geometry and Analy- sis (Festschrift in Honor of Toshiyuki Kobayashi), Volume 1, Progr. Math. Birkhäuser/Springer, Singapore, 2025, pp. 321–354

  19. [26]

    Kashiwara and P

    M. Kashiwara and P. Schapira,Sheaves on Manifolds, Grundlehren der mathe- matischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Springer-Verlag, Berlin, 1994, With a chapter in French by Christian Houzel, Corrected reprint of the 1990 original

  20. [27]

    Kassel, Deformation of proper actions on reductive homogeneous spaces, Math

    F. Kassel, Deformation of proper actions on reductive homogeneous spaces, Math. Ann. 353 (2012), no. 2, 599–632

  21. [28]

    Kassel and T

    F. Kassel and T. Kobayashi,Infinite multiplicity for poincaré series on certain standard locally homogeneous spaces, in preparation

  22. [29]

    , Poincaré series for non-Riemannian locally symmetric spaces, Adv. Math. 287 (2016), 123–236

  23. [30]

    Lie Theory29 (2019), no

    , Invariant differential operators on spherical homogeneous spaces with overgroups, J. Lie Theory29 (2019), no. 3, 663–754

  24. [31]

    Japan Acad

    , Spectral analysis on pseudo-Riemannian locally symmetric spaces, Proc. Japan Acad. Ser. A Math. Sci.96 (2020), no. 8, 69–74

  25. [32]

    DOI https://doi.org/10.1007/978-981-96-1957-3

    , Spectral Analysis on Standard Locally Homogeneous Spaces, to ap- pear in Lecture Notes in Mathematics 2367 (2025), xi+116 pages. DOI https://doi.org/10.1007/978-981-96-1957-3

  26. [33]

    Kassel and N

    F. Kassel and N. Tholozan, Sharpness of proper and cocompact actions on reductive homogeneous spaces, Available at arXiv:2410.08179v1, 2024

  27. [34]

    Kim and P

    I. Kim and P. Pansu,Flexibility of surface groups in classical simple Lie groups, J. Eur. Math. Soc. (JEMS)17 (2015), no. 9, 2209–2242

  28. [35]

    Klingler, Local rigidity for complex hyperbolic lattices and Hodge theory, Invent

    B. Klingler, Local rigidity for complex hyperbolic lattices and Hodge theory, Invent. Math.184 (2011), no. 3, 455–498

  29. [36]

    Kneser, Strong approximation, Algebraic Groups and Discontinuous Sub- groups (Proc

    M. Kneser, Strong approximation, Algebraic Groups and Discontinuous Sub- groups (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Amer. Math. Soc., Providence, R.I., 1966, pp. 187–196

  30. [37]

    Kobayashi,Proper action on a homogeneous space of reductive type, Math

    T. Kobayashi,Proper action on a homogeneous space of reductive type, Math. Ann. 285 (1989), no. 2, 249–263

  31. [38]

    Publ., River Edge, NJ, 1992, pp

    , Discontinuous groups acting on homogeneous spaces of reductive type, Representation theory of Lie groups and Lie algebras (Fuji-Kawaguchiko, 1990), World Sci. Publ., River Edge, NJ, 1992, pp. 59–75

  32. [39]

    , On discontinuous groups acting on homogeneous spaces with noncom- pact isotropy subgroups, J. Geom. Phys.12 (1993), no. 2, 133–144

  33. [40]

    Math.117 (1994), no

    , Discrete decomposability of the restriction ofAq(λ) with respect to reductive subgroups and its applications, Invent. Math.117 (1994), no. 2, 181– 205. 105

  34. [41]

    Lie Theory6 (1996), no

    , Criterion for proper actions on homogeneous spaces of reductive groups, J. Lie Theory6 (1996), no. 2, 147–163

  35. [42]

    Math., vol

    , Discontinuous groups and Clifford-Klein forms of pseudo-Riemannian homogeneous manifolds, Algebraic and analytic methods in representation the- ory (Sønderborg, 1994), Perspect. Math., vol. 17, Academic Press, San Diego, CA, 1997, pp. 99–165

  36. [43]

    Ann.310 (1998), no

    , Deformation of compact Clifford-Klein forms of indefinite- Riemannian homogeneous manifolds, Math. Ann.310 (1998), no. 3, 395–409

  37. [44]

    723– 747

    , Discontinuous groups for non-Riemannian homogeneous spaces , Mathematics unlimited—2001 and beyond, Springer, Berlin, 2001, pp. 723– 747

  38. [45]

    , Intrinsic sound of anti–de Sitter manifolds, Lie theory and its appli- cations in physics, Springer Proc. Math. Stat., vol. 191, Springer, Singapore, 2016, pp. 83–99

  39. [46]

    Lie Theory 32 (2022), no

    , Bounded multiplicity theorems for induction and restriction, J. Lie Theory 32 (2022), no. 1, 197–238

  40. [47]

    2313, Springer, Cham, [2023]©2023, pp

    , Conjectures on reductive homogeneous spaces, Mathematics going forward—collected mathematical brushstrokes, Lecture Notes in Math., vol. 2313, Springer, Cham, [2023]©2023, pp. 217–231

  41. [48]

    Kobayashi and S

    T. Kobayashi and S. Nasrin,Deformation of properly discontinuous actions of Zk on Rk+1, Internat. J. Math.17 (2006), no. 10, 1175–1193

  42. [49]

    Kawazoe, ed.), S¯ urikaisekikenky¯ usho K¯ oky¯ uroku, no

    , Deformation space of discontinuous groupsZk for a nilmanifoldRk+1, Representation Theory of Groups and Extension of Harmonic Analysis (T. Kawazoe, ed.), S¯ urikaisekikenky¯ usho K¯ oky¯ uroku, no. 1467, 2006, pp. 101–111

  43. [50]

    Kobayashi and T

    T. Kobayashi and T. Yoshino, Compact Clifford-Klein forms of symmetric spaces—revisited, Pure Appl. Math. Q.1 (2005), no. 3, Special Issue: In mem- ory of Armand Borel. Part 2, 591–663

  44. [51]

    R. S. Kulkarni,Proper actions and pseudo-Riemannian space forms, Adv. in Math. 40 (1981), no. 1, 10–51

  45. [52]

    Labourie, Lectures on Representations of Surface Groups, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2013

    F. Labourie, Lectures on Representations of Surface Groups, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2013

  46. [53]

    Martelli, S

    B. Martelli, S. Riolo, and L. Slavich,Compact hyperbolic manifolds without spin structures, Geom. Topol.24 (2020), no. 5, 2647–2674

  47. [54]

    Matsuki and T

    T. Matsuki and T. ¯Oshima, A description of discrete series for semisimple symmetric spaces, Group representations and systems of differential equations (Tokyo, 1982), Adv. Stud. Pure Math., vol. 4, North-Holland, Amsterdam, 1984, pp. 331–390

  48. [55]

    Matsushima and S

    Y. Matsushima and S. Murakami,On vector bundle valued harmonic forms and automorphic forms on symmetric riemannian manifolds, Ann. of Math. (2) 78 (1963), 365–416

  49. [56]

    J. J. Millson,On the first Betti number of a constant negatively curved mani- fold, Ann. of Math. (2)104 (1976), no. 2, 235–247

  50. [57]

    Okuda,Classification of semisimple symmetric spaces with properSL(2, R)- actions, J

    T. Okuda,Classification of semisimple symmetric spaces with properSL(2, R)- actions, J. Differential Geom.94 (2013), no. 2, 301–342

  51. [58]

    , Abundance of nilpotent orbits in real semisimple Lie algebras, J. Math. Sci. Univ. Tokyo24 (2017), no. 3, 399–430

  52. [59]

    Platonov and A

    V. Platonov and A. Rapinchuk,Algebraic Groups and Number Theory, Pure and Applied Mathematics, vol. 139, Academic Press, Inc., Boston, MA, 1994, Translated from the 1991 Russian original by Rachel Rowen

  53. [60]

    M. S. Raghunathan,On the first cohomology of discrete subgroups of semisim- ple Lie groups, Amer. J. Math.87 (1965), 103–139. 106 KAZUKI KANNAKA AND TOSHIYUKI KOBAYASHI

  54. [61]

    Band 68, Springer-Verlag, New York-Heidelberg, 1972

    , Discrete Subgroups of Lie Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. Band 68, Springer-Verlag, New York-Heidelberg, 1972

  55. [62]

    Selberg,On discontinuous groups in higher-dimensional symmetric spaces, Contributions to function theory (Internat

    A. Selberg,On discontinuous groups in higher-dimensional symmetric spaces, Contributions to function theory (Internat. Colloq. Function Theory, Bombay, 1960), Tata Inst. Fund. Res., Bombay, 1960, pp. 147–164

  56. [63]

    I. R. Shafarevich,Basic Algebraic Geometry. 1,2, Springer, Heidelberg, 2013

  57. [64]

    Shimura,Arithmetic of Quadratic Forms, Springer Monographs in Mathe- matics, Springer, New York, 2010

    G. Shimura,Arithmetic of Quadratic Forms, Springer Monographs in Mathe- matics, Springer, New York, 2010

  58. [65]

    J. R. Stallings,On torsion-free groups with infinitely many ends, Ann. of Math. (2) 88 (1968), 312–334

  59. [66]

    Tholozan,Compact quotients of reductive homogeneous spaces and surface group representations, École Normale Supérieure – Université PSL, 2021, Ha- bilitation

    N. Tholozan,Compact quotients of reductive homogeneous spaces and surface group representations, École Normale Supérieure – Université PSL, 2021, Ha- bilitation

  60. [67]

    W. P. Thurston,Three-Dimensional Geometry and Topology. Vol. 1, Princeton Mathematical Series, vol. 35, Princeton University Press, Princeton, NJ, 1997

  61. [69]

    N. R. Wallach,Real Reductive Groups. I, Pure and Applied Mathematics, vol. 132, Academic Press, Inc., Boston, MA, 1988

  62. [70]

    Weil, On discrete subgroups of Lie groups, Ann

    A. Weil, On discrete subgroups of Lie groups, Ann. of Math. (2) 72 (1960), 369–384, ; II, ibid.75 (1962), 578–602

  63. [71]

    , Remarks on the cohomology of groups, Ann. of Math. (2)80 (1964), 149–157

  64. [72]

    S. A. Wolpert,Disappearance of cusp forms in special families, Ann. of Math. (2) 139 (1994), no. 2, 239–291. (KazukiKANNAKA) F aculty of Mathematics and Physics, Institute of Science and Engineering, Kanaza w a University, Kakumamachi, Kanaza w a, Ishika w a, 920-1192, JAPAN; ...

Pith tools

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