A Geometric Interpretation of Generalized Hurwitz--Radon Numbers Defined by Kannaka--Tojo

Muneto Miyaji

arxiv: 2605.00704 · v2 · submitted 2026-05-01 · 🧮 math.DG · math.RT

A Geometric Interpretation of Generalized Hurwitz--Radon Numbers Defined by Kannaka--Tojo

Muneto Miyaji This is my paper

Pith reviewed 2026-05-14 21:52 UTC · model grok-4.3

classification 🧮 math.DG math.RT

keywords Hurwitz-Radon numbersG-manifoldsfundamental vector fieldsClifford structuresreductive Lie algebrasaffine connectionsgeometric interpretations

0 comments

The pith

Geometric counts of independent fundamental vector fields on G-manifolds recover the algebraic Hurwitz-Radon numbers of Kannaka-Tojo in special cases.

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

This paper defines natural numbers ρ_{G,s}(M,σ) and ρ^±_{G,s}(M,σ,∇) that count the maximum number of pointwise linearly independent fundamental vector fields on a manifold M carrying a G-action σ and an affine connection ∇. These counts are built directly from the Lie algebra action induced by the group on the manifold. In the special case where the fundamental vector fields reproduce a faithful representation ι of the reductive Lie algebra g, the new geometric numbers equal the algebraic ρ^{(2)}(g,ι) and ρ^{(1)}(g,ι) respectively. The positive version ρ^+ is further shown to be tied to the existence of Clifford structures on M. A reader cares because the original Hurwitz-Radon numbers arose from quadratic form compositions and sphere vector fields; the geometric versions place the same quantities in the concrete setting of manifolds with symmetry.

Core claim

Fixing a Lie group G and a subspace s of its Lie algebra g, the paper defines ρ_{G,s}(M,σ) and the signed variants ρ^±_{G,s}(M,σ,∇) in terms of fundamental vector fields on a G-manifold (M,σ) equipped with an affine connection ∇. In the special case where these fields reproduce the faithful representation ι of g, ρ_{G,s}(M,σ) coincides with ρ^{(2)}(g,ι) and ρ^-_{G,s}(M,σ,∇) coincides with ρ^{(1)}(g,ι). The paper further shows that ρ^+_{G,s}(M,σ,∇) is related to Clifford structures on M.

What carries the argument

Fundamental vector fields induced by the G-action on M, whose linear independence at each point determines the geometric Hurwitz-Radon counts.

Load-bearing premise

The G-manifold and connection must be chosen so that their fundamental vector fields reproduce the given faithful representation of the reductive Lie algebra.

What would settle it

Exhibit a G-manifold with connection whose maximum number of pointwise linearly independent fundamental vector fields differs from the algebraic value ρ^{(2)}(g,ι) for the corresponding representation.

read the original abstract

The Hurwitz--Radon number originates in the composition problem of quadratic forms and is related to the maximum number of pointwise linearly independent vector fields on spheres. Kannaka--Tojo [arXiv:2602.04544] reformulated the Hurwitz--Radon number in the setting of a real reductive Lie algebra $\mathfrak g$ and its faithful representation $\iota$, and introduced two natural numbers $\rho^{(1)}(\mathfrak g,\iota)$ and $\rho^{(2)}(\mathfrak g,\iota)$. For classical Lie algebras and their standard representations, these two numbers coincide except for a few cases. In this paper, fixing a Lie group $G$ and a subspace $\mathfrak{s} $ of $ \mathfrak g = \mathrm{Lie}~G$ , we define natural numbers $\rho_{G,\mathfrak{s}}(M,\sigma)$ and $\rho^{\pm}_{G,\mathfrak{s}}(M,\sigma,\nabla)$ for a $G$-manifold $(M,\sigma)$ and its affine connection $\nabla$. These are defined in terms of fundamental vector fields on $M$. In a special case, we show that $\rho_{G,\mathfrak{s}}(M,\sigma)$ coincides with $\rho^{(2)}(\mathfrak g,\iota)$, and that $\rho^{-}_{G,\mathfrak{s}}(M,\sigma,\nabla)$ coincides with $\rho^{(1)}(\mathfrak g,\iota)$. Furthermore, we show that $\rho^{+}_{G,\mathfrak{s}}(M,\sigma,\nabla)$ is related to Clifford structures on $M$.

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.

Desk Editor's Note private letter to a colleague

This paper defines geometric versions of the Kannaka-Tojo Hurwitz-Radon numbers using fundamental vector fields on G-manifolds and claims they match the algebraic ones in a special case, plus a link to Clifford structures.

read the letter

The main move here is to lift the algebraic counts ρ^(1) and ρ^(2) into a setting with a Lie group G acting on a manifold M, defining ρ_{G,s}(M,σ) directly from the fundamental vector fields and adding signed versions that involve an affine connection ∇. In a special case where those fields reproduce the faithful representation ι, the paper asserts exact matches to the earlier numbers and ties the positive version to Clifford structures on M. That geometric framing is the actual new piece; it is not just a restatement of the Kannaka-Tojo work. The definitions stand on their own and avoid obvious circularity by starting from the manifold data rather than fitting parameters. If the special-case constructions are carried through cleanly, this could give differential geometers a concrete way to compute or interpret these invariants on explicit G-manifolds. The soft spot is that the abstract gives almost no detail on what the special case actually requires or how the reproduction of ι is verified, so the claimed coincidences are hard to assess without the full derivations. The conditions on the connection and the action look plausible but remain underspecified here. This is the sort of paper that belongs in a geometry journal that handles both Lie group actions and algebraic invariants. Readers working on vector fields on spheres or on representation-theoretic aspects of manifolds would get something out of it, even if they end up using only the definitions. It is worth sending to referees; the idea is specific enough that a careful check of the constructions should settle whether the equalities hold.

Referee Report

2 major / 2 minor

Summary. The paper introduces geometric analogues ρ_{G,s}(M,σ) and ρ^±_{G,s}(M,σ,∇) of the algebraic generalized Hurwitz-Radon numbers ρ^{(1)}(g,ι) and ρ^{(2)}(g,ι) of Kannaka-Tojo. These are defined via fundamental vector fields on a G-manifold (M,σ) equipped with an affine connection ∇. In a special case where the fundamental vector fields reproduce the faithful representation ι, the paper proves exact coincidence of ρ_{G,s}(M,σ) with ρ^{(2)} and of ρ^- with ρ^{(1)}, while relating ρ^+ to Clifford structures on M.

Significance. If the proofs hold, the work supplies an explicit geometric realization of the algebraic counts, bridging reductive Lie algebra representations with vector-field problems on manifolds and Clifford modules. The constructions are parameter-free and the coincidences are exact rather than asymptotic, which strengthens the link between the algebraic and differential-geometric settings.

major comments (2)

[§3] §3 (Special-case theorem): the precise conditions on the G-manifold (M,σ) and connection ∇ that guarantee the fundamental vector fields reproduce the faithful representation ι are stated only informally; without an explicit list of hypotheses (e.g., faithfulness of the action, flatness of ∇, or reductivity requirements), the coincidence statements cannot be verified as stated.
[Definition of ρ^+ and §4] Definition of ρ^+_{G,s}(M,σ,∇) and the subsequent theorem relating it to Clifford structures: the paper claims a relation but does not specify whether this is an equality, an inequality, or a bijection between the sets of vector fields; the proof sketch leaves open whether the Clifford-module dimension is recovered exactly or only bounded.

minor comments (2)

[Abstract] The abstract refers to 'a special case' without a one-sentence characterization; adding a brief parenthetical description would improve readability.
[§2] Notation: the subspace s is introduced in the abstract but its precise relation to the reductive decomposition of g is not restated in the main definitions; a short reminder would prevent confusion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and have revised the paper accordingly to improve clarity and precision.

read point-by-point responses

Referee: [§3] §3 (Special-case theorem): the precise conditions on the G-manifold (M,σ) and connection ∇ that guarantee the fundamental vector fields reproduce the faithful representation ι are stated only informally; without an explicit list of hypotheses (e.g., faithfulness of the action, flatness of ∇, or reductivity requirements), the coincidence statements cannot be verified as stated.

Authors: We agree that the hypotheses in §3 were stated too informally. In the revised manuscript we have inserted an explicit list of assumptions immediately preceding the special-case theorem: (i) the G-action on M is faithful and smooth; (ii) the affine connection ∇ is G-invariant and flat; (iii) at a chosen base point the fundamental vector fields span a subspace that reproduces the faithful representation ι exactly. Under these hypotheses the proof now shows that ρ_{G,s}(M,σ) equals ρ^{(2)}(g,ι) and ρ^- equals ρ^{(1)}(g,ι) by direct comparison of the maximal linearly independent sets of vector fields. revision: yes
Referee: [Definition of ρ^+ and §4] Definition of ρ^+_{G,s}(M,σ,∇) and the subsequent theorem relating it to Clifford structures: the paper claims a relation but does not specify whether this is an equality, an inequality, or a bijection between the sets of vector fields; the proof sketch leaves open whether the Clifford-module dimension is recovered exactly or only bounded.

Authors: We thank the referee for highlighting this ambiguity. The relation is an inequality: ρ^+_{G,s}(M,σ,∇) is at most the dimension of the largest Clifford module compatible with the given connection. Equality holds precisely when M admits a global Clifford structure whose associated vector fields coincide with the maximal set counted by ρ^+. We have rewritten the statement in §4 to make the inequality explicit, added a short proof that the dimension of any compatible Clifford module bounds the number of independent vector fields, and noted the equality case under the additional hypothesis that such a global structure exists. The revised text therefore distinguishes the general bound from the equality case. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the geometric quantities ρ_{G,s}(M,σ) and ρ±_{G,s}(M,σ,∇) directly from the fundamental vector fields of a G-action on the manifold (M,σ) equipped with an affine connection ∇. These definitions stand independently of the algebraic quantities ρ^{(1)}(g,ι) and ρ^{(2)}(g,ι) introduced by Kannaka-Tojo. The manuscript then establishes, as a derived theorem, that the geometric numbers coincide with the algebraic ones precisely when the fundamental vector fields reproduce the faithful representation ι. This is an equivalence result under an explicit special-case hypothesis rather than a definitional identity or a reduction to fitted parameters. No self-citations appear in a load-bearing role, no ansatz is smuggled via prior work, and no renaming of known results occurs. The derivation chain therefore remains self-contained with independent geometric content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on standard facts about Lie group actions, fundamental vector fields, and affine connections; no free parameters or new postulated entities are introduced beyond the definitions themselves.

axioms (2)

standard math Fundamental vector fields arising from a Lie group action on a manifold satisfy the usual Lie algebra homomorphism properties.
Invoked to define the new numbers in terms of linear independence of these vector fields.
domain assumption An affine connection on the manifold allows signed versions of the count via parallel transport or curvature considerations.
Used to distinguish ρ^+ and ρ^- variants.

invented entities (2)

ρ_{G,s}(M,σ) no independent evidence
purpose: Geometric count of linearly independent fundamental vector fields on the G-manifold
Newly defined quantity shown to coincide with algebraic ρ^{(2)} in special cases.
ρ^±_{G,s}(M,σ,∇) no independent evidence
purpose: Signed geometric counts incorporating the affine connection
Newly defined; ρ^- shown to match ρ^{(1)}, ρ^+ linked to Clifford structures.

pith-pipeline@v0.9.0 · 5582 in / 1481 out tokens · 41349 ms · 2026-05-14T21:52:40.554433+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 3.2 and Theorem 3.6: ρ_{G,s}(M,σ) defined via linearly independent (G,s)-fundamental vector fields; equals ρ^{(2)}(g,ι) on R^N{0}.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 4.1 and Theorem 4.4: ρ^− via Cl_{0,n} homomorphisms into ∇M_s; equals ρ^{(1)}(g,ι).

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

7 extracted references · 7 canonical work pages

[1]

John Frank Adams,Vector fields on spheres, Bull. Amer. Math. Soc.68(1962), 39–41. MR 133837

work page 1962
[2]

Yik-hoi Au-yeung,On matrices whose nontrivial real linear combinations are nonsingular, Proc. Amer. Math. Soc.29(1971), 17–22. MR 274478

work page 1971
[3]

Ann.88(1922), no

Adolf Hurwitz,¨ uber die Komposition der quadratischen Formen, Math. Ann.88(1922), no. 1-2, 1–25. MR 1512117

work page 1922
[4]

Kazuki Kannaka and Koichi Tojo,Hurwitz–Radon numbers and proper actions of semisimple Lie groups, arXiv e-prints (2026), arXiv:2602.04544. 17

work page arXiv 2026
[5]

Toshiyuki Kobayashi and Taro Yoshino,Compact Clifford-Klein forms of symmetric spaces— revisited, Pure Appl. Math. Q.1(2005), no. 3, 591–663. MR 2201328

work page 2005
[6]

Math.228(2011), no

Andrei Moroianu and Uwe Semmelmann,Clifford structure on Riemannian manifolds, Adv. Math.228(2011), no. 2, 940–967. MR 2822214

work page 2011
[7]

Johann Radon,Lineare Scharen orthogonaler Matrizen, Abh. Math. Sem. Univ. Hamburg1 (1922), no. 1, 1–14. MR 3069384 18

work page 1922

[1] [1]

John Frank Adams,Vector fields on spheres, Bull. Amer. Math. Soc.68(1962), 39–41. MR 133837

work page 1962

[2] [2]

Yik-hoi Au-yeung,On matrices whose nontrivial real linear combinations are nonsingular, Proc. Amer. Math. Soc.29(1971), 17–22. MR 274478

work page 1971

[3] [3]

Ann.88(1922), no

Adolf Hurwitz,¨ uber die Komposition der quadratischen Formen, Math. Ann.88(1922), no. 1-2, 1–25. MR 1512117

work page 1922

[4] [4]

Kazuki Kannaka and Koichi Tojo,Hurwitz–Radon numbers and proper actions of semisimple Lie groups, arXiv e-prints (2026), arXiv:2602.04544. 17

work page arXiv 2026

[5] [5]

Toshiyuki Kobayashi and Taro Yoshino,Compact Clifford-Klein forms of symmetric spaces— revisited, Pure Appl. Math. Q.1(2005), no. 3, 591–663. MR 2201328

work page 2005

[6] [6]

Math.228(2011), no

Andrei Moroianu and Uwe Semmelmann,Clifford structure on Riemannian manifolds, Adv. Math.228(2011), no. 2, 940–967. MR 2822214

work page 2011

[7] [7]

Johann Radon,Lineare Scharen orthogonaler Matrizen, Abh. Math. Sem. Univ. Hamburg1 (1922), no. 1, 1–14. MR 3069384 18

work page 1922