Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

On Cohomogeneity One Linear Actions On Pseudo-euclidean Space $\mathbb{R}^{p,q}$

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the subgroups K'AN of a maximal parabolic subgroup of SO(p,q) all have the same orbit decomposition on R^{p,q} minus the degenerate p-plane W^p, while their orbit structures on W^p differ.

desk verdict Genuine extension of the q=1 Minkowski classification to all p>q, with dimension counts that mostly check out, but the posted version leans on an unverified parametrization of the nilpotent algebra and has enough textual corruption that it needs major revision before it is refereeing-ready. read the letter →

arxiv 1908.05083 v1 pith:N7UDALQG submitted 2019-08-14 math.DG

Parviz Ahmadi , Salim Safari This is my paper · ORCID
classification math.DG MSC 57S2553C30
keywords CohomogeneityoneIsometricactionPseudo-EuclideanspaceIwasawadecompositionNilpotentfactorOrbitequivalenceMaximalparabolicsubgroupNullcone
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 studies isometric actions on pseudo-Euclidean space $\mathbb{R}^{p,q}$ that have an orbit of codimension one, the cohomogeneity one case. It proves that the nilpotent factor $N$ of an Iwasawa decomposition of $SO(p,q)$ never acts with cohomogeneity one: every orbit has dimension at most $p+q-2$. For the larger groups $K'AN$, with $K'$ any subgroup of $K_0\simeq SO(p-q)$, it classifies the orbits and finds a sharp division: outside the $p$-dimensional degenerate subspace $W^p$ every choice of $K'$ produces exactly the same orbit decomposition, while on $W^p$ the orbit structures differ according to the orbits of $K'$ on a sphere. If correct, this yields cohomogeneity one actions in indefinite signature that are orbit-equivalent on a dense open set yet not globally, extending the known $q=1$ Minkowski-space case to all $q$.

What carries the argument

The load-bearing object is the explicit coordinate model of the nilpotent subalgebra $n$ in Proposition 2.1, equations (4), coming from the Iwasawa decomposition $so(p,q)=k\oplus a\oplus n$. It writes every element of $n$ through three families of linear relations among the blocks $A,B,D$ of a matrix in $so(p,q)$, and it converts the stabilizer condition $Xx=0$ into the linear systems (7) and (18). Counting how many variables those systems eliminate gives the orbit dimensions $p+q-k$, $p+q-(k+1)$, $p-1$, $q$, and $l-1$ in Theorem 3.1 and Proposition 5.1. The basis in Remark 3.2 then shows the nilpotent action fixes $w_1=e_p-e_{p+1}$ and translates the span of the $w_i$, which is what makes the cylinder $W^p\cap S^{p-1,q}(r)=S^{p-q-1}(r)\times \mathbb{R}^q$ behave differently from the rest of the space.

What would settle it

For a small concrete case, say $p=4,q=2$, write out the stabilizer equations (7) using the parameterization (4) for a point with $x_4+x_5\neq 0$ and compute the rank of the stabilizer of $N$. If the orbit dimension is not $p+q-2=4$, Theorem 3.1 fails; similarly, for $K_0AN$, checking whether the stabilizer rank matches the stated dimension $p+q-1$ would test Proposition 5.1 and hence the orbit classification.

Watch

Extended reading notes

Core claim

The headline result is Proposition 5.7: for $p>q+1>2$ there exist cohomogeneity one isometric actions on $\mathbb{R}^{p,q}$ that are orbit-equivalent on the complement of a $p$-dimensional degenerate subspace $W^p$ and not orbit-equivalent on $W^p$. The actions are the natural linear actions of $G=K'AN$, where $K'\subseteq K_0=SO(p-q)$, $A$ is the abelian part and $N$ the nilpotent part of the Iwasawa decomposition used to build a maximal parabolic subgroup. Theorem 5.6 describes every orbit: off $W^p$ the orbits are exactly the connected components of the hyperplane strata $\bigcap_{i=0}^{p+q-m-1}\Pi_i \smallsetminus \bigcap_{i=0}^{p+q-m}\Pi_i$ inside the nullcone, a pseudo-sphere $S^{p-1,q}(r)$, or a pseudo-hyperbolic space $H^{p,q-1}(r)$, with $m\in\{p,\ldots,p+q-1\}$, and these do not depend on $K'$. On $W^p$ the relevant part of a pseudo-sphere is the cylinder $S^{p-q-1}(r)\times \mathbb{R}^q$, and the orbit through $y+\sum_{j=1}^q r_j w_j$ is $K'(y)\times \bigoplus_{j=1}^q \mathbb{R} w_j$, which changes with $K'$; for $K'=K_0$ the cylinder is a single orbit. Thus the paper establishes a concrete family of actions whose orbit maps agree on the complement of a degenerate subspace and disagree exactly on it.

Load-bearing premise

The explicit coordinate description of the nilpotent subalgebra $n$ in Proposition 2.1, equations (4), is complete and correct, and the linear eliminations used to count stabilizer dimensions are independent; if either of these fails, the orbit dimension counts and the whole classification collapse.

Editorial extensions

If this is right

  • The nilpotent factor $N$ alone never acts with cohomogeneity one on $\mathbb{R}^{p,q}$: its largest orbits have dimension $p+q-2$, one less than codimension one.
  • For every $K'\subseteq K_0$, the group $K'AN$ acts with cohomogeneity one, and on $\mathbb{R}^{p,q}\setminus W^p$ all such actions have the same orbit decomposition.
  • Off $W^p$, the orbits are exactly the connected components of the hyperplane strata $\bigcap_{i=0}^{p+q-m-1}\Pi_i\setminus\bigcap_{i=0}^{p+q-m}\Pi_i$ inside the nullcone, pseudo-spheres, and pseudo-hyperbolic spaces, with two orbits for each dimension $m\in\{p,\ldots,p+q-1\}$.
  • On the cylinder $W^p\cap S^{p-1,q}(r)=S^{p-q-1}(r)\times\mathbb{R}^q$, the orbit through $y+\sum r_j w_j$ is $K'(y)\times\bigoplus \mathbb{R}w_j$, so different subgroups $K'$ give genuinely different orbit decompositions there.
  • When $K'=K_0=SO(p-q)$, the cylinder becomes a single orbit, so the full group $K_0AN$ is transitive on it; smaller $K'$ produce finer decompositions.

Reading between the lines

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

  • Inference: because all $K'AN$ actions coincide off $W^p$, the orbit decomposition of the complement can be treated as an $AN$-orbit space; the compact factor $K'$ only decides how the cylinder $W^p\cap S^{p-1,q}(r)$ is subdivided.
  • Inference: the same mechanism may occur for other parabolic subgroups: degenerate subspaces spanned by lightlike directions could be the only loci where additional compact symmetries change orbit decompositions.
  • Inference: the dimension formulas suggest a combinatorial invariant—the first index $k$ with $x_{p-k+1}+x_{p+k}\neq 0$ fixes the orbit dimension—which could yield the full orbit space as a cone over a stratified sphere.
  • Inference: a direct computer-algebra check of the stabilizer ranks for small $p,q$, say $p=4,q=2$, would test whether the linear eliminations are independent and whether the stated counts $p+q-k$ and $p+q-(k+1)$ are correct.
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

3 major / 6 minor

Summary. The manuscript studies cohomogeneity one isometric linear actions on pseudo-Euclidean space R^{p,q} by subgroups of a maximal parabolic subgroup Q = K0AN, where K0 = SO(p-q), A is a maximal split torus, and N is the nilpotent factor of the Iwasawa decomposition. It claims three main results: (1) the action of N on R^{p,q} is not of cohomogeneity one (Theorem 3.1); (2) for every subgroup K' of K0, the orbits of K'AN on the light cone, on pseudo-spheres, and on pseudo-hyperbolic spaces are explicitly classified, with orbit dimensions that depend only on the position of the point relative to the hyperplanes Pi and Pj (Theorem 5.6 and Corollaries 5.3-5.5); (3) there exist cohomogeneity one actions that are orbit-equivalent on the complement of a p-dimensional degenerate subspace W^p and not orbit-equivalent on W^p (Proposition 5.7). All proofs are direct matrix computations from an explicit coordinate model of the nilpotent subalgebra n given in Proposition 2.1.

Significance. If the computations are correct, the paper gives an explicit classification of orbits for a natural family of noncompact, generally nonproper actions, generalizing the q = 1 results of Berndt-Diaz-Ramos-Vanaei in [7] and exhibiting a precise phenomenon of orbit-independence of the compact factor K'. This is a useful contribution to the study of cohomogeneity one actions in indefinite signature. The assumptions are not fitted to data and no parameters are introduced ad hoc; the methods are elementary but potentially verifiable. However, the central claims are not independently verifiable as written because the explicit model of n in Proposition 2.1 is incomplete and its proof is not supplied. The reader's assessment that the dimension counts are internally consistent once (4) is assumed is accurate, but internal consistency of the counts does not establish the correctness of the parametrization, which is load-bearing for every subsequent statement.

major comments (3)
  1. [§2, Proposition 2.1, equations (4)] The 'if and only if' characterization of n in (4) is incomplete. As displayed, it lists relations between entries of A, B, and D, but does not state that all entries not appearing in these relations vanish. For p=3, q=1 the system (4) imposes only two independent constraints on so(3,1), leaving four free parameters, while the paper's own next sentence asserts dim N = q(p-1) = 2. Thus the displayed parametrization contradicts the dimension of N it is supposed to justify. Since every later stabilizer computation, including systems (7), (18), and the invariance claims of Remark 3.2, uses this model of n, this is a load-bearing error that must be corrected.
  2. [§2, proof of Proposition 2.1] The proof of Proposition 2.1 is not self-contained: it says the root spaces are obtained 'by a straightforward computation', cites a broken cross-reference '(??)', and passes from equations (6) to the claimed bases purely by assertion. This matters because completeness of the root space description is exactly what the rest of the paper needs. Either a full derivation should be provided, or the explicit matrix form of the restricted root spaces should be quoted from a source where it is proved.
  3. [§3, Theorem 3.1, Claim 1; §5, Proposition 5.1, Claim 1] The stabilizer dimension counts rely on an unsupported elimination argument. In Claim 1 of Theorem 3.1 and again in Claim 1 of Proposition 5.1, when x_{p-k+1} is nonzero the text says one may use 'either' the equation expressing A_{p-k+1,j} 'or' the one expressing D_{p-j+1,k}, and then counts the eliminated variables. The rank of the relevant submatrix of (7) and of (18) is not computed, and the two branches are not shown to produce the same rank. The final orbit dimensions p+q-k and p+q-(k+1) depend on these counts, so the proof should state the rank and justify the number of independent linear conditions explicitly.
minor comments (6)
  1. [§5, cylinder discussion before Corollary 5.5] The count 'A has 2^{2q}-1 orbits on ⊕Rw_j' is incorrect. The action of R_+^q by coordinate-wise scaling has orbits classified by the sign pattern of (r_1,...,r_q), including zeros, so there are 3^q orbits, not 2^{2q}-1; the listed binomial coefficients C(2q,k) are also inconsistent with this count.
  2. [Abstract] The abstract contains the typo 'on $\mathbb{W}p$'; this should be '$\mathbb{W}^p$'.
  3. [§2, Proposition 2.1 proof] The dangling cross-reference '(??)' in the proof of Proposition 2.1 should be removed or replaced with an actual equation number.
  4. [References] The reference list has formatting problems: the entry '[PV]' is unnumbered, and the stray 'item[[N]]' before [12] should be cleaned up.
  5. [§3, Remark 3.2, equation (11)] Equation (11) introduces the substitutions k=q-j and l=q-i without defining them before use; this makes the displayed formula hard to read and should be clarified.
  6. [§5, Proposition 5.1, Claim 1] The typo 'Proof of Calim 1' should be corrected to 'Claim 1'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the orbit classification is derived from standard restricted-root data and direct stabilizer computations, not from fitted inputs or self-citations.

full rationale

The derivation chain is self-contained in the relevant sense. The paper takes the Iwasawa decomposition and restricted root structure of so(p,q) from the external textbook Knapp [9], computes an explicit model of the nilpotent subalgebra n in Proposition 2.1 by direct root-space calculation, and then derives orbit dimensions by solving the linear system Xx = 0 for the stabilizer, using only that explicit model. The orbit decompositions in Corollaries 5.3-5.5 and Theorem 5.6 are assembled from those dimension counts together with connectedness of the relevant hyperplane strata, not from any fitted parameter or prior result of the authors. No quantity is fitted to data, no prediction is obtained from a fitted input, and no central theorem is justified by a self-citation. The self-citations [3] and [4] appear only as background examples of indefinite-metric phenomena and are not load-bearing. The broken cross-reference '(??)' and the phrase 'by a straightforward computation one gets' indicate a rigor gap in the verification of Proposition 2.1, and the count of A-orbits as 2^{2q}-1 appears incorrect, but these are correctness concerns, not circularity: the root-space facts are imported from an external source and the later equations are derived, not assumed. Accordingly, no circular step is present.

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

The central claims rest on standard structure theory of so(p,q) from Knapp [9] (restricted roots, Iwasawa decomposition, nilpotency of n), on the standard topology of the nullcone from O'Neill [13], and on the constant-rank open-orbit argument used to identify orbits with connected strata. No numerical constants are fitted to data (the c_i in the Cartan subspace are coordinates, not fitted values), and no new entities are postulated: W^p is the naturally defined intersection of the hyperplanes Π_i, and K', A, N, K0 are standard subgroups of SO(p,q). The standing domain restrictions p > q and p > q+1 bound the scope rather than add parameters. The self-cited papers [3] and [4] are prior work on de Sitter and anti-de Sitter spaces and are not load-bearing for the present computations.

assumptions (4)
  • standard math Restricted root structure and Iwasawa decomposition of so(p,q): for p > q the restricted roots are ±f_i with multiplicity p-q and ±f_i ± f_j with multiplicity 1, and n = direct sum of positive root spaces is nilpotent.
    Section 2 invokes Knapp [9, Prop 6.40-b, p. 370] for nilpotency of n and uses the standard restricted root theorem to obtain the root space decomposition from which Proposition 2.1 is derived. This is standard textbook input, independent of the paper.
  • standard math The nullcone of R^{p,q} is diffeomorphic to (R^q minus 0) times S^{p-1}, hence connected for q > 1, and the pseudo-spheres and pseudo-hyperbolic spaces have the stated diffeomorphism types.
    Section 4 cites O'Neill [13, Prop 4.22] for the nullcone diffeomorphism and [13, p. 239] for the isometry groups of the pseudo-sphere and pseudo-hyperbolic space. The proofs of Corollaries 5.3-5.5 use connectedness of the strata to conclude that a same-dimension orbit exhausts the stratum.
  • standard math If every G-orbit in a connected manifold M has dimension equal to dim M, then M is a single orbit, because orbits are open by the constant rank theorem and a connected space cannot be a union of disjoint open sets.
    This implicit topological argument identifies G(x) with the full strata Lambda cap U_i, Lambda cap W_i, H^{p,q-1}(r) cap U_j, and the sphere strata in Corollaries 5.3, 5.4 and 5.5. It is not stated explicitly but is standard.
  • domain assumption The standing scope restriction p > q throughout, and the sharper condition p > q+1 > 2 in Proposition 5.7.
    Section 1 states 'Throughout the paper it is assumed that p>q, since R^{p,q} is anti-isometric to R^{q,p}'. The case p = q requires different treatment (K0 is trivial and the restricted root system is D_q). Corollary 5.5(b) uses p > q+1 so that K0 = SO(p-q) acts nontrivially on S^{p-q-1}(r); without this the cylinder orbits cannot depend on K'.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Cohomogeneity One Linear Actions On Pseudo-euclidean Space $\mathbb{R}^{p,q}$." pith.science (2026). https://pith.science/paper/N7UDALQG

@misc{pith2026190805083,
  author       = {Pith},
  title        = {Pith review of: On Cohomogeneity One Linear Actions On Pseudo-euclidean Space $\mathbbR^p,q$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N7UDALQG}},
  note         = {Machine review of arXiv:1908.05083}
}
abstract

The aim of this paper is to study cohomogeneity one isometric linear actions on the $p+q$-dimensional pseudo-Euclidean space $\mathbb{R}^{p,q}$. It is proved that the natural isometric action of the nilpotent factor of an Iwasawa decomposition of $SO(p,q)$ is not of cohomogeneity one. The orbits of cohomogeneity one actions of some subgroups of a maximal parabolic subgroup of the isometry group of $\mathbb{R}^{p,q}$ are determined and it is proved that there exist cohomogeneity one isometric actions on $\mathbb{R}^{p,q}$ which are orbit-equivalent on the complement of a $p$-dimensional degenerate subspace $\mathbb{W}^p$ of $\mathbb{R}^{p,q}$ and not orbit-equivalent on $\mathbb{W}p$.

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. A Classification Of Cohomogeneity One Actions On The Minkowski Space $\mathbb{R}^{3,1}$

    math.DG 2019-09 conditional novelty 5.0 of 10

    A complete classification, up to conjugacy, of cohomogeneity one isometric actions on R^{3,1}, including proper versus nonproper actions and their orbit spaces.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [7]

    Berndt, J

    J. Berndt, J. C. Diaz-Ramos and M. J. Vanaei, Cohomogeneity one actions on Minkowske spaces, Monatsh. Math. 184 No.2 (2017), 185-200

    work page 2017

  2. [1]

    D. V . Alekseevsky, On a proper action of a Lie group,Uspekhi Mat. Nauk 34 (1979), 219-220

    work page 1979

  3. [2]

    Global Anal

    A.V .Alekseevsky and D.V .Alekseevsky, RiemannianG-manifolds with one dimensional orbit space, Ann. Global Anal. Geom. 11 (1993), 197-211

    1993

  4. [3]

    Ahmadi and S.M.B

    P. Ahmadi and S.M.B. Kashani, Cohomogeneity one de Sitter space Sn 1 , Acta Math. Sin. V ol.26 No. 10 (2010), 1915- 1926. 20 P. AHMADI AND S. SAFARI

    work page 2010

  5. [4]

    Ahmadi, Cohomogeneity one three dimensional anti-de Sitter space, proper and nonproper actions, Differential Geometry and its Applications 39 (2015), 93-112

    P. Ahmadi, Cohomogeneity one three dimensional anti-de Sitter space, proper and nonproper actions, Differential Geometry and its Applications 39 (2015), 93-112

    work page 2015

  6. [5]

    Berard-Bergery, Sur de nouvells vari ´et´e riemanniennes d’Einstein,Inst

    L. Berard-Bergery, Sur de nouvells vari ´et´e riemanniennes d’Einstein,Inst. ´Elie Cartan 6 (1982), 1-60

    work page 1982

  7. [6]

    Berndt, H

    J. Berndt, H. Tamaru, Cohomogeneity one actions on symmetric spaces of noncompact type, J. Reine Angew. Math. 683 (2013), 129-159

    work page 2013

  8. [8]

    Grove, B

    K. Grove, B. Wilking and W. Ziller, Positively curved cohomogeneity one manifolds and 3-Sasakian geometry, J. Differential Geom. bf 78 (2008), no. 1, 33-111

    work page 2008

Show all 17 references
  1. [9]

    A. W. Knapp, Lie groups beyond an introduction, Progress in mathematics 140 2nd ed

  2. [10]

    Kollross, A classification of hyperpolar and cohomogeneity one actions, Trans

    A. Kollross, A classification of hyperpolar and cohomogeneity one actions, Trans. Amer. Math. Soc.354 (2002), 571- 612

    2002

  3. [11]

    R.Mirzaie and S.M.B.Kashani, On cohomogeneity one flat Riemannian manifolds, Glasgow Math. J. 44 (2002), 185-

    2002

  4. [12]

    Mostert, On a compact Lie group acting on a manifold, Ann

    P.S. Mostert, On a compact Lie group acting on a manifold, Ann. Math. 65 (1957) no. 3, 447-455

    1957

  5. [13]

    O’Neill, Semi-Riemannian geometry with applications to relativity, Pure and Applied Mathematics 103 1st ed

    B. O’Neill, Semi-Riemannian geometry with applications to relativity, Pure and Applied Mathematics 103 1st ed

  6. [14]

    Spiro: Some topological properties of chomogeneity one manifolds with negative curvature, Ann

    F.Podesta and A. Spiro: Some topological properties of chomogeneity one manifolds with negative curvature, Ann. Global Anal. Geom.14 (1996), 69-79. [PV]. .Podesta and L.Verdiani, Totally geodesic orbits of isometries, Ann. Global Anal. Geom. 16 (1998), no.5,399-412

    1996

  7. [15]

    Searle, Cohomogeneity and positive curvature in low dimension, Math

    C. Searle, Cohomogeneity and positive curvature in low dimension, Math. Z. 214 (1993), 491-498

    1993

  8. [16]

    Verdiani, Cohomogeneity one manifolds of even dimension with strictly positive sectional curvature, J

    L. Verdiani, Cohomogeneity one manifolds of even dimension with strictly positive sectional curvature, J. Differential Geom. 68 (2004), no. 1, 31-72. P. AHMADI , D EPARTMENTAL OF MATHEMATICS , UNIVERSITY OF ZANJAN , UNIVERSITY BLVD ., Z ANJAN , IRAN E-mail address: p.ahmadi@zn...

    2004

  9. [190]

    item[[N]] K.Nomizu, On isoparametric hypersurfaces in the Lorentzian space forms,Japan J. Math. 7 (1981),217- 226

    1981

Pith tools

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