Maximal prepositive cones on quaternion algebras with involution

Andrew Leader

arxiv: 2506.13426 · v3 · pith:M7DY3LACnew · submitted 2025-06-16 · 🧮 math.RA

Maximal prepositive cones on quaternion algebras with involution

Andrew Leader This is my paper

Pith reviewed 2026-05-22 00:27 UTC · model grok-4.3

classification 🧮 math.RA

keywords quaternion algebrasinvolutionprepositive conesmaximal conesalgebra orderingsAstier-Unger cones

0 comments

The pith

In a broad class of quaternion algebras with involution, every prepositive cone is maximal.

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

This paper focuses on prepositive cones, a notion of ordering on algebras with involution. It supplies a concrete description of these cones when restricted to quaternion algebras with involution. The central result shows that, inside a broad class of such algebras, every prepositive cone is maximal. This means none of them can be properly enlarged while remaining prepositive. A reader cares because the result gives a complete account of possible orderings for these algebras in the cases covered.

Core claim

We give a description of prepositive cones in the specific context of quaternion algebras with involution. Our main result establishes that, for a broad class of quaternion algebras with involution, every prepositive cone is maximal.

What carries the argument

Description of prepositive cones on quaternion algebras with involution that directly yields maximality for the broad class under consideration.

If this is right

Every prepositive cone in the broad class is maximal and cannot be properly extended.
The description of the cones implies that maximality is automatic once the cone is identified.
The result applies uniformly across the broad class of quaternion algebras with involution selected in the paper.

Where Pith is reading between the lines

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

The work extends the original Astier-Unger framework by adapting it to the quaternion case and deriving maximality as a consequence.
Similar descriptions might be attempted for other algebras with involution to test whether maximality persists outside the quaternion setting.

Load-bearing premise

The definition and basic properties of prepositive cones as introduced by Astier and Unger hold without modification in the quaternion setting, and the broad class of algebras is chosen such that maximality follows directly from the description.

What would settle it

A concrete quaternion algebra with involution from the broad class together with a prepositive cone on it that admits a proper extension to a larger prepositive cone would disprove the claim.

read the original abstract

We give a description of prepositive cones -- a notion of ordering on algebras with involution introduced by Astier and Unger -- in the specific context of quaternion algebras with involution. Our main result establishes that, for a broad class of quaternion algebras with involution, every prepositive cone is maximal.

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

Leader extends the Astier-Unger theory of prepositive cones to quaternion algebras with involution by providing explicit descriptions and proving maximality for a broad class.

read the letter

The one or two things to know about this paper are that it gives an explicit description of prepositive cones for quaternion algebras equipped with an involution, and that it proves a maximality result for every such cone in a broad class of these algebras. The paper does well by taking the general notion introduced by Astier and Unger and working out the details in this important special case. Quaternion algebras often serve as building blocks or test cases in algebra, so concrete descriptions here can be useful for calculations or for understanding how positivity behaves in noncommutative settings. The maximality theorem is presented as following directly from the description once the class is restricted by a positivity condition involving the involution and the reduced norm. This approach credits the prior work and avoids overclaiming generality. The soft spots are minor and proportionate. The result is limited to quaternion algebras, which is explicit in the title and abstract, so no surprise there. The broad class is chosen such that maximality holds by the way the cones are described, but this is transparent and not a flaw in the logic. There are no indications of circularity or invented entities in the setup. The argument seems to rest on standard properties without hidden assumptions about characteristic or commutativity that would break it. Overall, the paper shows clear thinking by specializing the framework honestly. The citation pattern builds on the relevant prior work without unnecessary self-reference. This paper is for specialists in the theory of algebras with involution, ordered algebraic structures, or quadratic forms over division rings. A reader already familiar with Astier and Unger's work would get the most value, as it fills in the quaternion case with explicit results. It is not likely to interest a wide audience outside this niche. It deserves a serious referee because the result is new, the reasoning appears grounded, and the claim is falsifiable through the classification provided. I recommend sending this to peer review. The work is focused and the central argument holds up based on the description.

Referee Report

0 major / 3 minor

Summary. The paper recalls the Astier-Unger definition of prepositive cones on algebras with involution and supplies an explicit description of all such cones on quaternion algebras with involution. The main theorem asserts that, for a broad class of these algebras in which the involution and reduced norm satisfy a positivity condition, every prepositive cone is maximal.

Significance. If the classification and maximality statement hold, the work supplies a concrete, explicit description of orderings in the quaternion setting that directly implies maximality for the indicated class. This is a useful specialization of the general theory and provides a verifiable case where maximality follows from the construction without additional parameters or ad-hoc choices.

minor comments (3)

The abstract refers to 'a broad class' defined by a positivity condition on the involution and reduced norm, but the precise statement of this condition (and its invariance properties) should be stated explicitly already in the introduction rather than deferred to a later section.
The manuscript should include a short comparison paragraph in the introduction contrasting the quaternion case with the commutative or division-algebra settings already treated by Astier and Unger, to clarify the incremental contribution.
Notation for the reduced norm and the involution should be fixed consistently from the first appearance; occasional shifts between Nrd and nr, or between σ and the involution symbol, appear in the provided text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The report does not list any specific major comments, so there are no points requiring detailed rebuttal or revision at this stage. We appreciate the recognition that the explicit description and maximality result constitute a useful specialization of the Astier-Unger theory.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper recalls the external Astier-Unger definition of prepositive cones (prior independent work) and derives an explicit description of all such cones on quaternion algebras with involution. The main maximality result for the indicated broad class follows directly as a consequence of that classification together with the stated positivity condition on the involution and reduced norm; this does not reduce to a self-referential definition, a fitted input renamed as prediction, or any load-bearing self-citation chain. The derivation remains self-contained against the external benchmark of the recalled definition and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on the prior definition of prepositive cones and standard facts about quaternion algebras with involution; no free parameters or new invented entities are mentioned in the abstract.

axioms (1)

domain assumption Prepositive cones are defined and behave as introduced by Astier and Unger.
The paper takes this notion as the starting point for its description and maximality result.

pith-pipeline@v0.9.0 · 5553 in / 1208 out tokens · 47864 ms · 2026-05-22T00:27:31.815685+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.

Foundation.RealityFromDistinction reality_from_one_distinction unclear

?

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

Theorem 5.1. Let (A, σ) be a quaternion F-algebra with involution and let P ∈ XF. If F is dense in FP, then all prepositive cones on (A, σ) over P are maximal.

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.