pith. sign in

arxiv: 2506.15616 · v2 · submitted 2025-06-18 · 🧮 math.RT · math.DG

Proper Actions and Representation Theory

Toshiyuki Kobayashi This is my paper

Pith reviewed 2026-05-19 08:53 UTC · model grok-4.3

classification 🧮 math.RT math.DG
keywords proper actionsrepresentation theoryreductive groupsunitary representationsdiscrete decomposabilitydynamical volumetemperednesshomogeneous spaces
0
0 comments X

The pith

Proper actions of reductive groups on homogeneous spaces determine whether associated unitary representations decompose discretely.

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

This paper examines connections between the properness of group actions and representation theory. It gives geometric criteria for when homogeneous spaces under reductive groups admit proper actions. It shows how properness of an action relates to the discrete decomposability of unitary representations realized on function spaces. Two quantitative measures of properness are introduced, with dynamical volume estimates proving useful for finding temperedness criteria in regular representations. Concrete examples from geometry and representations illustrate these links throughout.

Core claim

The paper establishes that the properness of actions by reductive groups on spaces controls the discrete decomposability of the corresponding unitary representations on function spaces, and that quantitative estimates based on dynamical volume deviations from properness yield concrete criteria for temperedness of regular representations on G-spaces.

What carries the argument

The interplay between properness of reductive group actions and discrete decomposability of unitary representations, measured through sharpness and dynamical volume estimates.

If this is right

  • Proper actions correspond to cases where the unitary representation decomposes into a discrete direct sum of irreducibles.
  • Dynamical volume estimates supply a practical test for temperedness of regular representations on G-spaces.
  • Sharpness provides a numerical scale for how strongly a given action meets the properness condition.
  • Criteria for proper homogeneous spaces apply directly to the geometry of reductive group orbits.

Where Pith is reading between the lines

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

  • The same quantitative approach might classify when representations remain tempered outside the reductive setting.
  • Dynamical volume could serve as a bridge to study orbit closures in related dynamical systems.
  • These measures may suggest new invariants for comparing representation spaces across different group actions.

Load-bearing premise

The concrete geometric and representation-theoretic examples are representative enough to show the general connection between properness and discrete decomposability.

What would settle it

An explicit reductive group action that is proper yet produces a unitary representation that fails to decompose discretely into irreducibles would disprove the claimed link.

Figures

Figures reproduced from arXiv: 2506.15616 by Toshiyuki Kobayashi.

Figure 1
Figure 1. Figure 1: γ1 6∈ LS ∋ γ2 Continuous actions possessing with the properties: LS is “small” whenever S is “small” are precisely formulated and given the following names. Definition 3.2. An action of L on X is called free if LS is a singleton for any singleton S; properly discontinuous if LS is finite for any compact subset S; proper if LS is compact for any compact subset S. 3.3. Proper Maps and Proper Actions. Let X a… view at source ↗
read the original abstract

This exposition presents recent developments on proper actions, highlighting their connections to representation theory. It begins with geometric aspects, including criteria for the properness of homogeneous spaces in the setting of reductive groups. We then explore the interplay between the properness of group actions and the discrete decomposability of unitary representations realized on function spaces. Furthermore, two contrasting new approaches to quantifying proper actions are examined: one based on the notion of sharpness, which measures how strongly a given action satisfies properness; and another based on dynamical volume estimates, which measure deviations from properness. The latter quantitative estimates have proven especially fruitful in establishing temperedness criterion for regular unitary representations on $G$-spaces. Throughout, key concepts are illustrated with concrete geometric and representation-theoretic examples.

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

0 major / 3 minor

Summary. This manuscript is an expository survey of recent developments on proper actions of reductive groups. It begins with geometric criteria for properness of homogeneous spaces, then examines the interplay between properness of group actions and discrete decomposability of unitary representations on function spaces. It contrasts two quantitative approaches to proper actions—one based on sharpness and one based on dynamical volume estimates—and notes that the latter has proven useful for establishing temperedness criteria for regular unitary representations on G-spaces, with all concepts illustrated by concrete geometric and representation-theoretic examples.

Significance. If the synthesis is accurate, the paper provides a coherent consolidation of results at the interface of geometric group theory and representation theory. Explicit credit is due for the clear presentation of how dynamical volume estimates have been applied to temperedness criteria and for the use of concrete examples to illustrate the general interplay between properness and discrete decomposability. Such an exposition can serve as a useful reference for researchers in reductive groups and unitary representations.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'two contrasting new approaches' should be clarified to indicate whether the sharpness and dynamical-volume frameworks are original contributions or syntheses of prior literature, to avoid any ambiguity about novelty.
  2. [Dynamical volume estimates section] The section discussing dynamical volume estimates: include a brief remark on the scope of the temperedness criterion (e.g., which classes of G-spaces or representations are covered) to make the claim more precise.
  3. [Examples throughout the manuscript] Throughout the examples: ensure that each geometric or representation-theoretic example explicitly states which criterion (properness, discrete decomposability, or temperedness) it is meant to illustrate, to strengthen the pedagogical value.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our expository survey. The recommendation for minor revision is noted, and we will incorporate improvements to enhance clarity and presentation in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; expository survey with independent summaries

full rationale

The manuscript is explicitly an expository survey of prior developments on proper actions, criteria for homogeneous spaces, and links to discrete decomposability of unitary representations. No new derivation chain, quantitative prediction, or first-principles result is claimed that reduces by construction to fitted parameters or self-citations. References to the author's earlier work appear as standard literature review rather than load-bearing premises that would force the central narrative; the highlighted statement on dynamical-volume estimates is presented as a summary of existing applications, not as an internally derived theorem. The paper remains self-contained against external benchmarks in the sense that its content consists of geometric and representation-theoretic illustrations drawn from the broader literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As an exposition, the paper relies on standard background from Lie group theory, homogeneous spaces, and unitary representation theory without introducing new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5641 in / 979 out tokens · 22369 ms · 2026-05-19T08:53:38.135493+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

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    [A62] J. F. Adams, Vector fields on spheres , Ann. Math. (2) 75, (1962), 606–632. [BaKh05] A. Baklouti, F. Khlif, Proper actions and some exponential solvable ho- mogeneous spaces, Internat. J. Math. 16 (2005), 941–955. [B96] Y. Benoist, Actions propres sur les espaces homog` enes r´ e ductifs, Ann. of Math. (2) 144 (1996), no.2, 315–347. [BK15] Y. Benoist...

    work page arXiv 1962

  2. [2]

    Borel, Compact Clifford–Klein forms of symmetric spaces , Topology 2 (1963), 111–122

    [Bo63] A. Borel, Compact Clifford–Klein forms of symmetric spaces , Topology 2 (1963), 111–122. [B98] N. Bourbaki, General Topology, Chapters 1–4, Springer-Ve rlag, Berlin, 1998, vii+437 pp. [CM62] E. Calabi, L. Markus, Relativistic space forms , Ann. of Math. 75 (1962), 63–76. [C41] C. Chevalley, On the topological structure of solvable groups , Ann. of M...

    work page 1963

  3. [3]

    [DV10] M. Duflo, J. Vargas, Branching laws for square integrable representations , Proc. Japan Acad. Ser. A Math. Sci. 86 (2010), no. 3, 49–54. [G85] W. M. Goldman, Nonstandard Lorentz space forms , J. Differential Geom. 21 (1985), 301–308. [G25] W. M. Goldman, Proper actions in pseudo-Riemanniann geometry , Sym- metry in Geometry and Analysis. Vol. 1, Prog...

    work page 2010

  4. [4]

    Kannaka, T

    60 [KnK25] K. Kannaka, T. Kobayashi, Zariski-dense deformations of standard dis- continuous groups for pseudo-Riemannian homogeneous spac es. Preprint, 107 pages, arXiv:2507.03476. [Ka12] F. Kassel, Deformation of proper actions on reductive homogeneous spaces, Math. Ann. 353 (2012), 599–632. [KaK16] F. Kassel, T. Kobayashi, Poincar´ e series for non-Riem...

    work page arXiv 2012

  5. [5]

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

    [K89] T. Kobayashi, Proper action on a homogeneous space of reductive type , Math. Ann. 285 (1989), 249–263. [K90] T. Kobayashi, Discontinuous groups acting on homogeneous s paces of re- ductive type, In: Proceedings of ICM-90 satellite conference on R epresen- tation Theory of Lie Groups and Lie Algebras, Fuji-Kawaguchiko, 19 90 (T. Kawazoe, T. Oshima an...

    work page 1989

  6. [6]

    Kobayashi, Discrete decomposability of the restriction of Aq(λ) with respect to reductive subgroups and its applications , Invent

    [K94] T. Kobayashi, Discrete decomposability of the restriction of Aq(λ) with respect to reductive subgroups and its applications , Invent. Math., 117 (1994), 181–205. [K96] T. Kobayashi, Criterion for proper actions on homogeneous s paces of re- ductive groups, J. Lie Theory, 6 (1996), 147–163. [K97] T. Kobayashi, Discontinuous groups and Clifford-Klein f...

    work page 1994

  7. [7]

    Kobayashi, Deformation of compact Clifford–Klein forms of indefinite- Riemannian homogeneous manifolds , Math

    61 [K98a] T. Kobayashi, Deformation of compact Clifford–Klein forms of indefinite- Riemannian homogeneous manifolds , Math. Ann. 310 (1998), 395–409. [K98b] T. Kobayashi, Discrete decomposability of the restriction of Aq(λ) with respect to reductive subgroups. II. Micro-local analysis a nd asymptotic K- support Ann. of Math. (2) 147 (1998), no. 3, 709–729. ...

    work page 1998

  8. [8]

    [K17] T. Kobayashi, Global analysis by hidden symmetry , In: Representation Theory, Number Theory, and Invariant Theory: In Honor of Roge r Howe on the Occasion of His 70th Birthday, Progress in Mathematics, vol. 323 (2017), pp. 359–397. [K23a] T. Kobayashi, Conjectures on reductive homogeneous spaces , Mathemat- ics Going Forward–collected mathematical b...

    work page 2017

  9. [9]

    Kobayashi, Bounded multiplicity branching for symmetric pairs , Jour- nal of Lie Theory, 33, (2023), 305–328, Special Volume for Karl Heinrich Hofmann

    [K23b] T. Kobayashi, Bounded multiplicity branching for symmetric pairs , Jour- nal of Lie Theory, 33, (2023), 305–328, Special Volume for Karl Heinrich Hofmann. [KO90] T. Kobayashi, K. Ono, Note on Hirzebruch’s proportionality principle , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 37 (1990), no. 1, 71–87. [KN03] T. Kobayashi, S. Nasrin, Multiplicity one the...

    work page 2023

  10. [10]

    Amer. Math. Soc. 210, 161–169 (2003). [KN18] T. Kobayashi, S. Nasrin, Geometry of coadjoint orbits and multiplicity-one branching laws for symmetric pairs , Algebr. Represent. Theory 21 (2018), pp. 1023–1036, Special issue in honor of Alexandre Kirillov. [KY05] T. Kobayashi, T. Yoshino, Compact Clifford–Klein forms of symmetric spaces—revisited, Pure and A...

    work page 2003

  11. [11]

    Lipsman, Proper actions and a cocompactness condition , J

    [L95] R. Lipsman, Proper actions and a cocompactness condition , J. Lie Theory 5 (1995), 25–39. [LOY23] G. Liu, Y. Oshima, J. Yu, Restriction of irreducible unitary representa- tions of Spin(N,

    work page 1995

  12. [12]

    Theory 27 (2023), 887–932

    to parabolic subgroups , Represent. Theory 27 (2023), 887–932. [M97] G. Margulis. Existence of compact quotients of homogeneous spaces, mea- surably proper actions, and decay of matrix coefficients. Bull. Soc. Math. France, 125 (3), 447–456,

    work page 2023

  13. [13]

    [Mt50] F. I. Mautner, Unitary representations of locally compact groups I, II , Ann. of Math. (2) 51 (1950), 1–25; 52 (1950), 528–556 [M17] Y. Morita, A cohomological obstruction to the existence of compact Clifford-Klein forms , Selecta Math. (N.S.) 23 (2017), no. 3, 1931–1953. [M19] Y. Morita, Proof of Kobayashi’s rank conjecture on Clifford–Klein form s....

    work page 1950

  14. [14]

    Volume and non-existence of compact Clifford-Klein forms

    [N01] S. Nasrin, Criterion of proper actions for 2-step nilpotent Lie groups.Tokyo J. Math.24 (2001), 535–543. [Ok13] T. Okuda, Classification of semisimple symmetric spaces with proper SL(2, R)-actions, J. Differential Geom. 94 (2013), 301–342. [P61] R. Palais, On the existence of slices for actions of non-compact groups , Ann. Math. (2), 73 (1961), 295–32...

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  15. [15]

    [To19] K

    x+311 pp. [To19] K. Tojo, Classification of irreducible symmetric spaces which admit stan- dard compact Clifford–Klein forms . Proc. Japan Acad. Ser. A Math. Sci. 95 (2019), 11–15. [W92] N. R. Wallach, Real reductive groups. II. Pure Appl. Math. 132-II, Aca- demic Press, Inc., Boston, MA,

    work page 2019

  16. [16]

    Yoshino, A solution to Lipsman’s conjecture for R4, Int

    [Y04] T. Yoshino, A solution to Lipsman’s conjecture for R4, Int. Math. Res. Not. (2004), 4293–4306. [Y05] T. Yoshino, A counterexample to Lipsman’s conjecture , Internat. J. Math. 16 (2005), 561–566. [Y07] T. Yoshino, Discontinuous duality theorem, Internat. J. Mat h. 18 (2007), 887–893. [Z94] R. Zimmer, Discrete groups and non-Riemannian homogeneous spa...

    work page 2004