Tetraplectic structures compatible with local quaternionic toric actions

Ioannis Gkeneralis; Panagiotis Batakidis

arxiv: 2506.10148 · v1 · submitted 2025-06-11 · 🧮 math.GT · math.AT· math.DG

Tetraplectic structures compatible with local quaternionic toric actions

Panagiotis Batakidis , Ioannis Gkeneralis This is my paper

Pith reviewed 2026-05-19 09:35 UTC · model grok-4.3

classification 🧮 math.GT math.ATmath.DG

keywords quaternionic toric geometrylocal torus actionstetraplectic structurescharacteristic pairEuler classDelzant theoremintegral affine manifoldsquaternionic actions

0 comments

The pith

The characteristic pair and Euler class classify local quaternionic torus actions up to homeomorphism.

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

This paper develops a quaternionic analogue of toric geometry for local actions of the quaternionic torus on 4n-dimensional manifolds modeled on the regular representation. It introduces two invariants: the combinatorial characteristic pair and the cohomological Euler class. These invariants together classify the local actions up to homeomorphism. The paper also studies tetraplectic structures and proves a quaternionic version of the Arnold-Liouville theorem for the associated fibrations. Finally, it shows that the orbit spaces are quaternionic integral affine manifolds with corners and Lagrangian overlaps, classified by a quaternionic Delzant-type theorem.

Core claim

Local Q^n-actions on 4n-manifolds are classified up to homeomorphism by their characteristic pair and Euler class. Such actions admit compatible tetraplectic structures with toric fibrations locally modeled on R^n × Q^n. The orbit spaces are quaternionic integral affine manifolds with corners and Lagrangian overlaps, classified via a quaternionic Delzant theorem.

What carries the argument

The characteristic pair, a combinatorial invariant, and the Euler class, a cohomological invariant, which serve as complete invariants for the classification of local quaternionic torus actions up to homeomorphism.

If this is right

Local quaternionic torus actions are completely determined by their characteristic pair and Euler class.
Orbit spaces of these actions carry the structure of quaternionic integral affine manifolds with corners and Lagrangian overlaps.
Such orbit spaces are classified by a quaternionic Delzant-type theorem.
The manifolds admit compatible tetraplectic structures whose toric fibrations are locally modeled on R^n × Q^n.

Where Pith is reading between the lines

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

Valid choices of characteristic pairs and Euler classes may be used to construct new examples of manifolds admitting local quaternionic torus actions.
The local modeling result could extend to global statements when the manifold satisfies suitable integrality or completeness conditions.
Analogous classifications might apply to actions of other higher-division-algebra tori in higher-dimensional geometry.

Load-bearing premise

That local Q^n-actions modeled on the regular representation admit compatible tetraplectic structures allowing locally generalized Lagrangian-type toric fibrations modeled on R^n × Q^n via a quaternionic Arnold-Liouville theorem.

What would settle it

A pair of non-homeomorphic manifolds carrying local quaternionic torus actions that share identical characteristic pairs and Euler classes, or an orbit space obeying the combinatorial conditions for a quaternionic Delzant classification yet failing to arise from any such action.

read the original abstract

This paper introduces a quaternionic analogue of toric geometry by developing the theory of local $Q^n := Sp(1)^n$-actions on 4n-dimensional manifolds, modeled on the regular representation. We identify obstructions that measure the failure of local properties to globalize and define two invariants: a combinatorial invariant called the characteristic pair and a cohomological invariant called the Euler class, which together classify local quaternionic torus actions up to homeomorphism. We also study tetraplectic structures in quaternionic toric geometry by introducing locally generalized Lagrangian-type toric fibrations and show that such fibrations are locally modeled on $\mathbb{R}^n\times Q^n$ using a quaternionic version of the Arnold-Liouville theorem. In the last part, we show that orbit spaces of these actions acquire the structure of quaternionic integral affine manifolds with corners and Lagrangian overlaps, and we classify such spaces by establishing a quaternionic Delzant-type theorem.

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 extends toric geometry to quaternionic actions with new invariants, but singular cases need verification.

read the letter

This paper sets up a quaternionic version of toric geometry and gives two invariants that classify local Q^n actions up to homeomorphism, along with a Delzant-type theorem for the orbit spaces. The part to watch is whether those invariants still separate the actions when there are singular orbits. The authors model local Sp(1)^n actions on 4n-manifolds using the regular representation. They introduce a characteristic pair as a combinatorial invariant and an Euler class as a cohomological one. These two together are supposed to classify the actions. They also bring in tetraplectic structures, define locally generalized Lagrangian toric fibrations, and prove a quaternionic Arnold-Liouville theorem showing local models on R^n times Q^n. The orbit spaces then carry quaternionic integral affine structures with corners and Lagrangian overlaps, and a quaternionic Delzant theorem classifies them. The strength is in the coherent extension of the toric toolkit. The new invariants look like direct lifts of the usual ones, and the affine manifold description on the quotient makes sense as a quaternionic upgrade. This could be useful for people studying higher-dimensional generalizations of toric actions. The soft spot sits with the singular orbits, exactly as the stress test suggests. The regular representation is free, so the invariants are straightforward there. The paper needs to show that the same pair continues to work near fixed points or when stabilizers are nontrivial. Without explicit local models for those cases, the classification claim might not hold globally. That is the section I would ask the authors to expand or clarify. Readers in symplectic geometry, toric geometry, and quaternionic differential geometry would get the most from this. Someone familiar with the classical Delzant theorem and looking for quaternionic analogues would see real value. The thinking is clear and the objects are new, so it engages honestly with the literature. It deserves a serious referee. The framework is substantial enough that review would strengthen the singular orbit handling and verify the proofs. I recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper develops a quaternionic analogue of toric geometry for local actions of the quaternionic torus Q^n = Sp(1)^n on 4n-dimensional manifolds modeled on the regular representation. It defines a combinatorial invariant called the characteristic pair and a cohomological invariant called the Euler class, which together are claimed to classify such local actions up to homeomorphism. The manuscript introduces tetraplectic structures and locally generalized Lagrangian-type toric fibrations, proves a quaternionic Arnold-Liouville theorem showing these fibrations are locally modeled on R^n × Q^n, and establishes that orbit spaces are quaternionic integral affine manifolds with corners and Lagrangian overlaps, classified via a quaternionic Delzant-type theorem.

Significance. If the classification and modeling results hold, the work provides a foundational extension of toric and symplectic geometry into the quaternionic setting. The invariants and the quaternionic Delzant theorem could serve as tools for studying integrable systems and orbit spaces in 4n dimensions, with potential connections to hyperkähler geometry. The explicit construction of tetraplectic structures compatible with the actions is a concrete contribution that may enable further developments in quaternionic symplectic topology.

major comments (2)

The central classification claim (that the characteristic pair together with the Euler class classify local Q^n-actions up to homeomorphism) is load-bearing for the paper's main theorem. The development establishes these invariants for regular orbits via the quaternionic Arnold-Liouville theorem, but the manuscript does not explicitly verify that the same pair of invariants separates homeomorphism types when the action admits fixed points or lower-dimensional orbits (the regular-representation model is free). If two actions agree on the invariants away from singularities but differ in the local model near a fixed point, the classification would be incomplete. A concrete check or extension to stabilizers is needed.
The quaternionic Arnold-Liouville theorem (used to model the locally generalized Lagrangian toric fibrations on R^n × Q^n) is invoked to support both the classification and the orbit-space structure. The argument appears to handle the regular case, but the local-to-global obstructions mentioned in the abstract are not accompanied by explicit calculations or examples showing how the invariants behave when the action is not free. This gap affects the claim that orbit spaces acquire the structure of quaternionic integral affine manifolds with corners and Lagrangian overlaps in full generality.

minor comments (2)

The abstract states the main results but provides no derivations, obstruction calculations, or proof outlines. Adding one sentence on the key technical steps (e.g., how the characteristic pair is constructed) would improve readability without lengthening the abstract.
Notation for the quaternionic torus is introduced as Q^n := Sp(1)^n; ensure this is used consistently in all statements of theorems and definitions rather than alternating with other symbols.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments on our manuscript. We appreciate the positive assessment of the work's potential significance as a foundational extension of toric geometry. We address each major comment below and describe the revisions we will make to strengthen the paper.

read point-by-point responses

Referee: The central classification claim (that the characteristic pair together with the Euler class classify local Q^n-actions up to homeomorphism) is load-bearing for the paper's main theorem. The development establishes these invariants for regular orbits via the quaternionic Arnold-Liouville theorem, but the manuscript does not explicitly verify that the same pair of invariants separates homeomorphism types when the action admits fixed points or lower-dimensional orbits (the regular-representation model is free). If two actions agree on the invariants away from singularities but differ in the local model near a fixed point, the classification would be incomplete. A concrete check or extension to stabilizers is needed.

Authors: We agree that an explicit verification for cases with fixed points and lower-dimensional orbits is required to fully support the classification claim. The invariants are constructed from the local models provided by the quaternionic Arnold-Liouville theorem, and while these models are based on the regular representation (which includes the origin), the manuscript emphasizes the regular-orbit case. In the revised manuscript we will add a dedicated subsection that extends the characteristic pair to incorporate stabilizer information at singular orbits and verifies that the Euler class continues to distinguish homeomorphism types via direct local-coordinate computations near fixed points. This will confirm that the pair of invariants classifies the actions in full generality. revision: yes
Referee: The quaternionic Arnold-Liouville theorem (used to model the locally generalized Lagrangian toric fibrations on R^n × Q^n) is invoked to support both the classification and the orbit-space structure. The argument appears to handle the regular case, but the local-to-global obstructions mentioned in the abstract are not accompanied by explicit calculations or examples showing how the invariants behave when the action is not free. This gap affects the claim that orbit spaces acquire the structure of quaternionic integral affine manifolds with corners and Lagrangian overlaps in full generality.

Authors: We acknowledge that providing explicit calculations or examples for non-free actions would better illustrate the behavior of the invariants and the resulting orbit-space structure. The quaternionic Arnold-Liouville theorem supplies the local model, and the Euler class encodes the local-to-global obstructions in a manner that does not presuppose freeness. In the revision we will insert a concrete example of a local action possessing a fixed point, compute the characteristic pair and Euler class explicitly for that example, and show how the orbit space inherits the quaternionic integral affine structure with corners and Lagrangian overlaps. This addition will substantiate the generality of the orbit-space claims. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained with newly defined invariants and theorems

full rationale

The paper introduces original combinatorial and cohomological invariants (the characteristic pair and Euler class) to classify local Q^n-actions up to homeomorphism, develops a quaternionic Arnold-Liouville theorem to establish local modeling on R^n × Q^n for the fibrations, and proves a quaternionic Delzant-type theorem for the orbit spaces as integral affine manifolds with corners. These steps consist of new definitions, obstructions, and classification statements built from the modeled actions and tetraplectic structures rather than any reduction of a claimed result to a fitted parameter, self-citation chain, or input by construction. No load-bearing step equates a prediction or uniqueness claim to its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on standard facts about Lie group actions and differential geometry plus domain assumptions about the existence of compatible tetraplectic structures; two new invariants are introduced as classification tools with no independent evidence supplied outside the paper.

axioms (2)

domain assumption Local actions are modeled on the regular representation of Sp(1)^n
Explicitly stated as the modeling choice for the 4n-dimensional manifolds in the abstract.
domain assumption Tetraplectic structures exist and are compatible with the local actions
Required to introduce locally generalized Lagrangian-type toric fibrations and apply the quaternionic Arnold-Liouville theorem.

invented entities (2)

Characteristic pair no independent evidence
purpose: Combinatorial invariant measuring failure of local properties to globalize
Newly defined to classify local quaternionic torus actions up to homeomorphism.
Euler class no independent evidence
purpose: Cohomological invariant for classification of the actions
Defined alongside the characteristic pair as part of the classification up to homeomorphism.

pith-pipeline@v0.9.0 · 5704 in / 1616 out tokens · 52560 ms · 2026-05-19T09:35:46.026453+00:00 · methodology

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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We identify obstructions... characteristic pair and a cohomological invariant called the Euler class, which together classify local quaternionic torus actions up to homeomorphism... quaternionic version of the Arnold–Liouville theorem... quaternionic Delzant-type theorem.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

orbit spaces... quaternionic integral affine manifolds with corners and Lagrangian overlaps

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.