Kulkarni limit sets for cyclic quaternionic projective groups

Krishnendu Gongopadhyay; Rahul Mondal; Sandipan Dutta

arxiv: 2505.11968 · v2 · submitted 2025-05-17 · 🧮 math.GR · math.GT

Kulkarni limit sets for cyclic quaternionic projective groups

Sandipan Dutta , Krishnendu Gongopadhyay , Rahul Mondal This is my paper

Pith reviewed 2026-05-22 14:38 UTC · model grok-4.3

classification 🧮 math.GR math.GT

keywords Kulkarni limit setsquaternionic projective groupscyclic subgroupsPSL(n+1,H)projective actionlimit setsgroup dynamics

0 comments

The pith

Cyclic subgroups of PSL(n+1,H) have explicitly computed Kulkarni limit sets under the standard action on quaternionic projective space.

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

This paper examines the natural action of the quaternionic projective linear group PSL(n+1,H) on quaternionic projective space P^n_H. It computes the Kulkarni limit sets for the cyclic subgroups of this group. These sets mark the accumulation points of orbits generated by repeated application of a single group element. A reader would care because the result gives a concrete description of boundary behavior in projective geometry over the quaternions. The computation specializes to the cyclic case, reducing the problem to powers of one transformation.

Core claim

We compute the Kulkarni limit sets for the cyclic subgroups of PSL(n+1,H) acting on the quaternionic projective space P^n_H.

What carries the argument

Kulkarni limit set of a cyclic subgroup, the set of accumulation points of orbits under iteration of the generator in the standard projective action.

If this is right

The limit sets admit explicit descriptions in terms of the fixed points of the cyclic generator.
The region of discontinuity for these cyclic actions can be read off from the computed limit sets.
The same method yields limit sets for any cyclic subgroup once a matrix representative is fixed.

Where Pith is reading between the lines

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

The explicit form may serve as a test case for generalizing Kulkarni theory to actions of non-cyclic discrete subgroups over quaternions.
Verification for n=1 reduces to studying cyclic subgroups of PSL(2,H) acting on the quaternionic projective line.
The computation supplies concrete data that could be used to compare discontinuity regions across real, complex, and quaternionic projective geometries.

Load-bearing premise

The subgroups are cyclic and act via the standard projective action of PSL(n+1,H) on P^n_H so that the Kulkarni definition applies directly.

What would settle it

Choose a concrete generator in PSL(n+1,H) for small n, compute the actual accumulation points of its orbit on P^n_H, and check whether they match the paper's explicit description.

read the original abstract

We consider the natural action of the quaternionic projective linear group $\mathrm{PSL}(n+1,\mathbb{H})$ on the quaternionic projective space $\mathbb{P}^n_{\mathbb{H}}$. We compute the Kulkarni limit sets for the cyclic subgroups of $\mathrm{PSL}(n+1,\mathbb{H})$.

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 computes the Kulkarni limit sets explicitly for cyclic subgroups of PSL(n+1,H) acting on quaternionic projective space.

read the letter

The core result is a direct calculation of those limit sets for infinite cyclic groups generated by a single element in PSL(n+1,H). The authors work with the standard projective action on P^n_H and describe the points where the orbit fails to be properly discontinuous, which boils down to the attracting and repelling behavior of the powers of the generator. This fills a small gap left by earlier work on the real and complex cases. The quaternionic setting is less common, so having one more family of concrete examples is useful even if the method is mostly an adaptation of existing techniques. The computation itself appears clean and does not introduce new dynamical hypotheses beyond the standard Kulkarni definition. Non-commutativity of the quaternions does not seem to create extra obstructions here because the group is cyclic. The main soft spot is that the abstract gives no explicit formulas or sample calculations for small n, so it is difficult to judge how much case-by-case checking was needed or whether any boundary cases were overlooked. If the full text contains careful verification for n=1 and n=2, that would strengthen it. This work is aimed at specialists who already follow limit-set results in projective dynamics over division rings. A reader looking for explicit examples rather than broad theorems will get the most out of it. The paper is narrow but the claim is modest and grounded, so it deserves a serious referee who can check the derivation steps in detail. I would send it to peer review rather than desk reject.

Referee Report

0 major / 3 minor

Summary. The manuscript computes the Kulkarni limit sets for the cyclic subgroups of PSL(n+1, H) under the standard projective action on P^n_H. For an infinite cyclic group generated by a single element g, the limit set is determined by the attracting/repelling fixed-point behavior of the powers of g, reducing to the fixed-point structure of the corresponding linear map in SL(n+1, H).

Significance. This provides explicit, concrete descriptions of Kulkarni limit sets in the quaternionic projective setting, extending classical results from real and complex projective groups. The direct computational approach, grounded in the fixed-point analysis of linear maps over H, offers reproducible examples that can serve as test cases for broader questions in discontinuous group actions and geometric group theory.

minor comments (3)

[§2] §2: Recall the precise definition of the Kulkarni limit set (including the role of proper discontinuity) before applying it to the quaternionic case, to aid readers who may not be familiar with the original Kulkarni construction.
[§3.1] §3.1, paragraph following Definition 3.2: Clarify the distinction between the action of SL(n+1, H) and its projectivization PSL(n+1, H), particularly how scalar multiples in H^* affect fixed-point identification.
[Theorem 4.1] Theorem 4.1: The statement that the limit set consists exactly of the union of attracting and repelling points should include a brief remark on why the non-commutativity of H does not introduce additional accumulation points beyond those already classified by the eigenvalue data.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The referee's description accurately reflects the paper's focus on explicit computation of Kulkarni limit sets for cyclic subgroups of PSL(n+1, H) via fixed-point analysis of the corresponding linear maps. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

Direct computation of limit sets with no circularity

full rationale

The paper performs a direct computation of the Kulkarni limit sets for cyclic subgroups of PSL(n+1,H) under the standard projective action on P^n_H. This rests on the fixed-point structure of the linear generators in SL(n+1,H) and the definition of proper discontinuity for the orbit, without any parameter fitting, self-referential definitions, or load-bearing self-citations. The abstract and claim description indicate a straightforward application of the Kulkarni construction to the cyclic case, which is self-contained against external dynamical definitions and does not reduce the result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The computation relies on the standard definition of Kulkarni limit sets and the natural action of PSL(n+1,H); no new free parameters, axioms, or invented entities are introduced in the abstract.

pith-pipeline@v0.9.0 · 5574 in / 988 out tokens · 27566 ms · 2026-05-22T14:38:25.735569+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 compute the Kulkarni limit sets for the cyclic subgroups of PSL(n+1,H) ... classified by Jordan forms D(λ1,…), J(λ,m), block-diagonal combinations; Λ(G) tabulated for rational/irrational elliptic, parabolic types 1–4, loxodromic types 1–2, loxoparabolic.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Definition 1.1–1.2 and Proposition 1.3 (Kulkarni sets L0,L1,L2 and proper discontinuity on Ω(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.