Universal Hermitian Projective Calculus for CH2

Karl J Kreder III

arxiv: 2606.26129 · v1 · pith:ORU6PR5Jnew · submitted 2026-06-13 · 🧮 math.DG

Universal Hermitian Projective Calculus for CH2

Karl J Kreder III This is my paper

Pith reviewed 2026-06-27 04:42 UTC · model grok-4.3

classification 🧮 math.DG

keywords complex hyperbolic geometryHermitian projective modelCartan angular invariantGram determinantsprojective invariantsCR geometryfinite geometriestriple product phase

0 comments

The pith

Complex hyperbolic two-space reduces to algebraic invariants in a three-dimensional Hermitian vector space.

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

The paper develops a projective algebraic calculus for CH² by modeling it as the projectivized negative cone in a signature (2,1) Hermitian space, with the boundary as the null cone. It replaces metric and angular data with projectively invariant quantities such as Hermitian pair moduli, determinant quadrance, and triple-product phase. Denominator-cleared identities are proved for Gram determinants, triangle trigonometry, geodesics, bisectors, spinal spheres, and related structures, while the triple-product phase is identified as the algebraic origin of the Cartan angular invariant. The same formulas apply uniformly over starred fields, including finite geometries. A sympathetic reader would care because this supplies a coordinate-free, field-independent description that recovers Bergman distances and polar data as special cases.

Core claim

Starting from a three-dimensional Hermitian vector space of signature (2,1), CH² is the projectivized negative cone and its boundary the projectivized null cone. This model yields projectively invariant algebraic data—Hermitian pair moduli, determinant quadrance, polar spread, triple-product phase, cross-ratio invariants, contact boundary forms, and normalized ball kernels—that replace metric quantities. Denominator-cleared identities are established for three-point Gram determinants, triangle trigonometry, complex geodesics, bisectors, spinal spheres, projective-unitary covariance, CR/contact atlas transitions, and kernel boundary limits, with the triple-product phase supplying the algebrai

What carries the argument

The triple-product phase, which supplies the algebraic source of the Cartan angular invariant while pair invariants recover Bergman distance and polar-spread data.

If this is right

Complex geodesics and bisectors admit explicit algebraic descriptions independent of local metrics.
The same identities and invariants apply directly to finite Hermitian geometries over starred fields.
Projective-unitary covariance and CR/contact atlas transitions are realized as algebraic relations.
Kernel boundary limits and spinal spheres are governed by the same finite set of determinant and phase expressions.
Triangle trigonometry in CH² reduces to identities among Hermitian determinants and triple products.

Where Pith is reading between the lines

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

The algebraic approach may simplify numerical implementations of CH² geometry by avoiding transcendental functions in favor of field operations.
Similar projective reductions could be tested in higher-dimensional complex hyperbolic spaces by increasing the Hermitian dimension.
Finite-field instances of the calculus provide discrete models that might approximate continuous CH² structures for computational experiments.
The contact boundary forms could connect the calculus to existing algebraic treatments of CR manifolds without additional metric assumptions.

Load-bearing premise

Complex hyperbolic two-space can be modeled as the projectivized negative cone of a three-dimensional Hermitian vector space of signature (2,1).

What would settle it

A concrete triple of points in the Hermitian projective model of CH² for which one of the claimed denominator-cleared three-point Gram determinant identities fails to hold.

Figures

Figures reproduced from arXiv: 2606.26129 by Karl J Kreder III.

**Figure 2.** Figure 2: Schematic Heisenberg boundary chart. The boundary is represented by coordinates [PITH_FULL_IMAGE:figures/full_fig_p039_2.png] view at source ↗

read the original abstract

We develop an algebraic invariant calculus for complex hyperbolic two-space $\mathbb{C}\mathrm{H}^2$ in its Hermitian projective model. Starting from a three-dimensional Hermitian vector space of signature $(2,1)$, we treat $\mathbb{C}\mathrm{H}^2$ as the projectivized negative cone and its boundary as the projectivized null cone. The resulting calculus replaces metric and angular quantities by projectively invariant algebraic data: Hermitian pair moduli, determinant quadrance, polar spread, triple-product phase, cross-ratio invariants, contact boundary forms, normalized ball kernels, and finite Hermitian incidence laws. We prove denominator-cleared identities for three-point Gram determinants, triangle trigonometry, complex geodesics, bisectors, spinal spheres, projective-unitary covariance, CR/contact atlas transitions, and kernel boundary limits. The triple-product phase supplies the algebraic source of the Cartan angular invariant, while pair invariants recover the usual Bergman distance and polar-spread data over $\mathbb{C}$. The same formulas are also organized over starred fields, including finite Hermitian geometries, giving a field-uniform projective calculus for complex hyperbolic geometry.

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

The paper sketches an algebraic projective calculus for CH^2 with claimed denominator-cleared identities and a triple-product phase tied to the Cartan invariant, but the abstract supplies no derivations to check.

read the letter

The key point is that Kreder is developing a Hermitian projective calculus for CH^2 that replaces metric data with algebraic invariants such as Hermitian pair moduli, determinant quadrance, and the triple-product phase, which he identifies as the algebraic origin of the Cartan angular invariant. The paper claims to prove a series of denominator-cleared identities covering three-point Gram determinants, triangle trigonometry, complex geodesics, bisectors, spinal spheres, and more, while also handling projective-unitary covariance and boundary limits.

What it does well is to organize these in a way that is uniform across fields, including starred fields and finite Hermitian geometries, which could be useful for broader applications. The approach stays grounded in the standard model of the projectivized negative cone, avoiding unnecessary complications.

Soft spots are mainly around verification: the abstract asserts the proofs but gives no derivations, error handling, or examples, so it's not possible to confirm if the identities are correct or novel without the full text. This is a minor issue for now but means the claims rest on unshown work. No circular reasoning shows up in the stated approach.

This paper is for people already working in complex hyperbolic geometry who want algebraic tools for calculations. A reader focused on invariant methods or extensions to discrete settings would find value if the results check out. It deserves a serious referee to examine the proofs and assess the novelty of the invariants.

I would recommend sending it to peer review rather than desk rejecting it.

Referee Report

0 major / 1 minor

Summary. The paper constructs a projective algebraic calculus for complex hyperbolic 2-space CH² modeled as the projectivized negative cone in a 3-dimensional Hermitian vector space of signature (2,1), with boundary the projectivized null cone. It replaces metric quantities by projectively invariant algebraic data (Hermitian pair moduli, determinant quadrance, polar spread, triple-product phase, cross-ratio invariants) and proves denominator-cleared identities for three-point Gram determinants, triangle trigonometry, complex geodesics, bisectors, spinal spheres, projective-unitary covariance, CR/contact transitions, and kernel boundary limits. The triple-product phase is identified as the algebraic source of the Cartan angular invariant, with the same formulas organized over starred fields including finite Hermitian geometries.

Significance. If the algebraic identities hold as stated, the work supplies a field-uniform, denominator-cleared framework that unifies the standard Hermitian model with projective invariants and extends it beyond the complex numbers. This could streamline explicit computations in CH² geometry and support analogous treatments in finite or other Hermitian settings; the explicit recovery of Bergman distance and polar-spread data from pair invariants is a concrete strength.

minor comments (1)

The abstract states that proofs of the listed identities are supplied, but the provided text does not include explicit derivation steps or verification for the Gram-determinant or trigonometry identities; if these appear only in the full manuscript, a brief pointer in the introduction would help readers locate them.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful review and positive recommendation to accept the manuscript. The report accurately captures the scope and contributions of the work.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from standard model

full rationale

The paper begins with the standard definition of CH^2 as the projectivized negative cone in a 3-dimensional Hermitian vector space of signature (2,1), with boundary the projectivized null cone. All subsequent identities (Gram determinants, trigonometry, geodesics, bisectors, spinal spheres, triple-product phase as Cartan invariant source, etc.) are presented as direct algebraic consequences of the Hermitian form, projectivization, and incidence laws. No parameter fitting, self-definitional loops, load-bearing self-citations, or ansatz smuggling via prior work is indicated in the abstract or stated claims. The calculus is field-uniform and organized over starred fields, but remains derived from the initial vector-space setup without reducing to its own outputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; main reliance is on the projective cone model from the vector space.

axioms (1)

domain assumption CH^2 is the projectivized negative cone of a 3D Hermitian vector space of signature (2,1)
Explicitly stated as the starting point in the abstract.

pith-pipeline@v0.9.1-grok · 5739 in / 1086 out tokens · 49609 ms · 2026-06-27T04:42:17.005085+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 1 linked inside Pith

[1]

N. J. Wildberger.Universal Hyperbolic Geometry I: Trigonometry. arXiv:0909.1377, 2009

Pith/arXiv arXiv 2009
[2]

Goldman.Complex Hyperbolic Geometry

William M. Goldman.Complex Hyperbolic Geometry. Oxford University Press, 1999

1999
[3]

Parker.Notes on Complex Hyperbolic Geometry

John R. Parker.Notes on Complex Hyperbolic Geometry. Lecture notes
[4]

Adam Koranyi and Hans M. Reimann. Foundations for the theory of quasiconformal mappings on the Heisenberg group.Advances in Mathematics, 111(1):1–87, 1995

1995
[5]

Kreder III.The Distinguished Reproducing Kernel

Karl J. Kreder III.The Distinguished Reproducing Kernel. Manuscript
[6]

Kreder III.No Free Parameters — The Fixed Point Law: The Distinguished Reproducing Kernel

Karl J. Kreder III.No Free Parameters — The Fixed Point Law: The Distinguished Reproducing Kernel. Manuscript. 62

[1] [1]

N. J. Wildberger.Universal Hyperbolic Geometry I: Trigonometry. arXiv:0909.1377, 2009

Pith/arXiv arXiv 2009

[2] [2]

Goldman.Complex Hyperbolic Geometry

William M. Goldman.Complex Hyperbolic Geometry. Oxford University Press, 1999

1999

[3] [3]

Parker.Notes on Complex Hyperbolic Geometry

John R. Parker.Notes on Complex Hyperbolic Geometry. Lecture notes

[4] [4]

Adam Koranyi and Hans M. Reimann. Foundations for the theory of quasiconformal mappings on the Heisenberg group.Advances in Mathematics, 111(1):1–87, 1995

1995

[5] [5]

Kreder III.The Distinguished Reproducing Kernel

Karl J. Kreder III.The Distinguished Reproducing Kernel. Manuscript

[6] [6]

Kreder III.No Free Parameters — The Fixed Point Law: The Distinguished Reproducing Kernel

Karl J. Kreder III.No Free Parameters — The Fixed Point Law: The Distinguished Reproducing Kernel. Manuscript. 62