Algebraic $n$-Valued Monoids on $\mathbb{C}P^1$, Discriminants and Projective Duality

Mikhail Kornev; Victor Buchstaber

arxiv: 2510.14010 · v2 · submitted 2025-10-15 · 🧮 math.GR · math.AG· math.AT

Algebraic n-Valued Monoids on mathbb{C}P¹, Discriminants and Projective Duality

Victor Buchstaber , Mikhail Kornev This is my paper

Pith reviewed 2026-05-18 06:24 UTC · model grok-4.3

classification 🧮 math.GR math.AGmath.AT

keywords n-valued monoidscoset addition lawsprojective dualitycubic curvesFermat curvesdiscriminantsprojective linealgebraic groups

0 comments

The pith

Projective duality composed with inversion induces a shift between algebraic n-valued coset monoids on the complex projective line.

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

The paper establishes connections between algebraic n-valued monoids, discriminants, and projective duality. It shows that applying projective duality and then the map sending z to 1/z shifts the family of n-valued coset monoids on CP1 from dimension n to n-1. The work solves the description of coset n-valued addition laws that arise from cubic curves. This leads to the conclusion that these laws are given by polynomials, unlike the series that appear in formal groups on general cubic curves.

Core claim

The composition of projective duality followed by the Möbius transformation zmapsto 1/z defines a shift operation from M_n(CP1) to M_{n-1}(CP1) in the family of algebraic n-valued coset monoids. Projective duality maps the Fermat curve x^n + y^n = z^n to the curve defined by p_{n-1}(z^n; x^n, y^n) = 0, where the polynomial p_n defines the addition law. The coset n-valued addition laws constructed from cubic curves are all given by polynomials.

What carries the argument

The shift operation on the family of algebraic n-valued coset monoids {M_n(CP1)} induced by projective duality followed by z to 1/z, which also maps Fermat curves to the addition curves via the polynomial p_n.

If this is right

All coset n-valued addition laws from cubic curves can be expressed using polynomials.
Projective duality provides an explicit map between the curves defining these monoids and Fermat curves.
The family of monoids is linked by this recursive shift operation for each n.
The addition laws are algebraic and finite, distinguishing them from general formal group laws on cubics.

Where Pith is reading between the lines

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

This polynomial form may enable direct algebraic computations of the monoid operations without series expansions.
The duality construction could be tested on explicit examples of cubic curves to verify the shift for small n.

Load-bearing premise

The n-valued coset monoids on CP1 are assumed to be well-defined algebraic objects whose structure is preserved by projective duality in a manner that produces the described shift operation.

What would settle it

An explicit construction of a coset n-valued addition law derived from a cubic curve whose law requires a non-polynomial power series would falsify the claim that all such laws are polynomials.

read the original abstract

In this work, we establish connections between the theory of algebraic $n$-valued monoids and groups and the theories of discriminants and projective duality. We show that the composition of projective duality followed by the M\"obius transformation $z\mapsto 1/z$ defines a shift operation $\mathbb{M}_n(\mathbb{C}P^1)\mapsto \mathbb{M}_{n-1}(\mathbb{C}P^1)$ in the family of algebraic $n$-valued coset monoids $\{\mathbb{M}_{n}(\mathbb{C}P^1)\}_{n\in\mathbb{N}}$. We also show that projective duality sends each Fermat curve $x^n+y^n=z^n$ $(n\ge 2)$ to the curve $p_{n-1}(z^n; x^n, y^n)=0$, where the polynomial $p_n(z;x,y)$ defines the addition law in the monoid $\mathbb{M}_n(\mathbb{C}P^1)$. We solve the problem of describing coset $n$-valued addition laws constructed from cubic curves. As a corollary, we obtain that all such addition laws are given by polynomials, whereas the addition laws of formal groups on general cubic curves are given by series.

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

Projective duality plus z to 1/z gives a shift on these n-valued monoids, and the cubic case yields explicit polynomial addition laws.

read the letter

The main point to take away is that the authors use projective duality composed with the Möbius transformation z to 1/z to define a shift between families of algebraic n-valued coset monoids on CP1, and they give a complete description of the addition laws arising from cubic curves, showing these are polynomials. They do this by showing how duality maps Fermat curves to the zero sets of the polynomials that encode the addition. The calculations are algebraic identities that hold over the complex numbers, which makes the claims checkable in principle. This approach gives a geometric mechanism for organizing these monoids. This is new in the sense that the shift operation and the polynomial classification for the coset case do not appear in the prior work they cite. It separates the projective monoid setting from the usual formal group laws on cubics, which generally require series expansions. The corollary about polynomials versus series is a clean observation. The softer parts are around the foundational definitions. The constructions assume that the n-valued monoids are already well-defined and that duality preserves the structure in the required way. One might want to see explicit examples for small n to confirm the shift works as stated. The link to discriminants mentioned in the title seems less central in the provided claims, though it may be used in the proofs. This paper is for researchers working on multi-valued algebraic structures or explicit laws in projective geometry and algebraic groups. A reader who wants concrete polynomial examples rather than general theory would get the most from it. The explicit nature of the results means it deserves a serious referee who can verify the identities and check for any edge cases in the classification. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper connects algebraic n-valued monoids and groups on CP^1 to discriminants and projective duality. It constructs a shift M_n(CP^1) to M_{n-1}(CP^1) via projective duality composed with the Möbius map z ↦ 1/z. It shows duality sends Fermat curves x^n + y^n = z^n to the zero set of p_{n-1}(z^n; x^n, y^n), where p_n encodes the monoid addition law. The central result describes coset n-valued addition laws arising from cubic curves and concludes that these laws are polynomials (in contrast to the power series for formal groups on general cubics).

Significance. If the derivations hold, the work supplies explicit algebraic identities over C that solve the classification of coset n-valued addition laws on cubic curves and cleanly separate the polynomial case from the formal-group series case. The constructions of the shift and the image of Fermat curves under duality are presented as direct consequences of standard projective geometry, providing a concrete bridge between n-valued monoid theory and classical tools. This explicitness and the resulting polynomial characterization constitute the main strengths.

minor comments (2)

The abstract and introduction use the family notation {M_n(CP^1)} without an early, self-contained definition of what constitutes a coset n-valued monoid; adding this would improve accessibility for readers outside the immediate subfield.
The polynomial p_n(z; x, y) is central to the addition law and the duality statement; an explicit low-degree example (e.g., for n=2 or n=3) with coefficients displayed would make the later claims easier to verify at a glance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our work and for recommending minor revision. The referee's summary accurately captures the main contributions, including the shift from n-valued to (n-1)-valued coset monoids via projective duality and the Möbius transformation, the image of Fermat curves under duality, and the polynomial nature of addition laws arising from cubic curves (as opposed to power series in the general formal-group case).

Circularity Check

0 steps flagged

No significant circularity; derivation relies on algebraic identities and standard transformations

full rationale

The paper's central results follow from applying projective duality composed with the Möbius map z ↦ 1/z to define a shift on the family {M_n(CP¹)}, mapping Fermat curves x^n + y^n = z^n to the zero set of the polynomial p_{n-1} that encodes the addition law, and deriving polynomial addition laws for coset n-valued monoids on cubic curves via direct algebraic identities over ℂ. These steps are explicit constructions and corollaries that do not reduce to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations; the distinction from formal-group series is localized to the projective setting without circular reduction. The derivation is therefore self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard axioms of projective geometry and the definition of algebraic n-valued coset monoids; no free parameters, new entities, or ad-hoc assumptions are indicated in the abstract.

axioms (2)

standard math Standard properties of projective duality acting on curves in projective space
Invoked to map Fermat curves to the polynomial p_{n-1} and to define the shift operation on the monoid family.
domain assumption Existence and algebraic structure of the family of n-valued coset monoids on CP¹
The statements about the shift M_n to M_{n-1} and the addition laws presuppose this family is well-defined.

pith-pipeline@v0.9.0 · 5765 in / 1575 out tokens · 40676 ms · 2026-05-18T06:24:58.656057+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/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

We show that the composition of projective duality followed by the Möbius transformation z↦1/z defines a shift operation M_n(CP¹)↦M_{n-1}(CP¹) ... projective duality sends each Fermat curve x^n+y^n=z^n to the curve p_{n-1}(z^n;x^n,y^n)=0
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

the polynomial p_n(z;x,y) ... defines the addition law in the monoid M_n(CP¹)

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.