Deformation classes of real Cayley M-octads

Sergey Finashin

arxiv: 1907.04792 · v1 · pith:7E43QSRKnew · submitted 2019-07-10 · 🧮 math.AG

Deformation classes of real Cayley M-octads

Sergey Finashin This is my paper

Pith reviewed 2026-05-24 23:31 UTC · model grok-4.3

classification 🧮 math.AG

keywords real projective spaceCayley octadsdeformation classesquadric intersectionsmonodromy groupsmirror symmetrycomplete intersectionsalgebraic geometry

0 comments

The pith

Real 8-point configurations from three quadrics in projective 3-space fall into exactly eight mirror-pairs of deformation classes.

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

The paper classifies 8-point sets in real projective 3-space that arise as the common zeros of three quadratic hypersurfaces and contain no four coplanar points. It shows that continuous real deformations preserving these conditions partition the configurations into precisely eight pairs related by mirror symmetry. The work further determines the relative positions among these eight pairs and computes the real monodromy groups that act by permuting the points inside each class.

Core claim

The space of real Cayley M-octads decomposes into exactly eight mirror-pairs of deformation classes. Each class is a connected component under real paths that keep the eight points as a complete intersection of three quadrics with no coplanar quadruple. The mutual positions of the pairs are described explicitly, and the real monodromy group is identified for every class.

What carries the argument

Deformation classes of real 8-point complete intersections of three quadrics without coplanar quadruples, paired by mirror symmetry and equipped with their real monodromy groups.

If this is right

All such real 8-point configurations belong to one of the eight enumerated classes up to deformation.
The real monodromy group of each class gives the possible continuous permutations of the eight points.
The mutual positions of the pairs determine which classes can be distinguished by real invariants.
Mirror symmetry pairs each class with a distinct partner that cannot be reached by real deformation.

Where Pith is reading between the lines

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

The finite number of classes suggests that the real moduli space of these octads has a discrete decomposition that might be computable by other methods such as tropical geometry.
The monodromy groups could be used to study the topology of the complement of the discriminant in the space of three quadrics.
Mirror pairs may correspond to choices of orientation or spin structure that become visible only after passing to the complexification.

Load-bearing premise

The eight points must remain a complete intersection of three quadrics in real projective 3-space with no four coplanar, and only real continuous paths that preserve these two conditions are allowed to connect configurations.

What would settle it

Exhibiting a real continuous path that joins two configurations assigned to different claimed pairs, or finding an additional deformation class outside the eight mirror-pairs, would falsify the classification.

read the original abstract

We study 8-point configurations in the real projective space forming an intersection locus of three quadrics and containing no coplanar quadruples. We found that there exists precisely 8 mirror-pairs of deformation classes of such configurations. We describe also the mutual position of these 8 pairs and find the real monodromy groups acting on the 8-point configurations, for each deformation class.

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 counts exactly eight mirror-pairs of real deformation classes for these 8-point complete intersections of three quadrics in RP^3 and computes the corresponding monodromy groups.

read the letter

The central finding is a clean enumeration: precisely eight mirror-pairs of deformation classes for 8-point sets in real projective 3-space that arise as intersections of three quadrics and contain no coplanar quadruple. The paper also records the mutual positions of these pairs and identifies the real monodromy groups that act on the configurations within each class. The conditions are stated explicitly, so the object of study is unambiguous from the outset. The count itself is presented as a direct outcome rather than something fitted or derived from free parameters. That makes the result falsifiable in principle once the deformation arguments are checked. The monodromy computation adds a concrete layer beyond the bare classification. The work stays tightly focused on this family of configurations. It does not claim broader consequences for real algebraic geometry at large, which keeps the scope honest. A potential soft spot is that the classification appears to rest on case analysis of real loci or topological invariants of the complement; without seeing the details it is impossible to judge how exhaustive the cases are or whether any real-component arguments have gaps. Still, nothing in the statement looks circular or self-referential. The paper is written for people already working on real point configurations, real moduli spaces, or monodromy in low-dimensional projective varieties. A reader who needs an explicit list of deformation types or monodromy data for these octads will get usable information. It is narrow enough that most people outside real algebraic geometry will not need it, but the claim is precise enough that a serious referee can evaluate the arguments without first having to reconstruct the whole setup. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript classifies the deformation classes of real 8-point configurations in RP^3 that arise as the complete intersection of three quadrics and have no four points coplanar. The central result is that there are exactly 8 mirror-pairs of such deformation classes. The paper further describes the mutual positions of these classes and computes the real monodromy groups for each class.

Significance. If the enumeration is correct, this provides a definitive classification of real Cayley octads under the stated conditions, which is a notable contribution to real algebraic geometry. The results on mutual positions and monodromy groups enhance the understanding of the topology and symmetries of these configurations. The use of deformation classes with respect to real paths preserving the intersection and non-coplanarity conditions is a standard and appropriate approach in the field.

minor comments (2)

[Abstract] Abstract: the statement of the count of 8 mirror-pairs is clear, but a one-sentence indication of the computational or topological tools used to establish the classification would help readers assess the result at a glance.
Ensure that any tables or figures listing the 8 pairs include explicit references back to the defining conditions (complete intersection of three quadrics, no coplanar quadruple) so that the enumeration remains traceable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance of the classification, and the recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; classification stands on independent geometric enumeration

full rationale

The paper presents a classification of deformation classes of 8-point complete intersections of three quadrics in RP^3 (with no coplanar quadruple) under real continuous deformations. The central count of 8 mirror-pairs is stated as a direct finding from the geometric setup and deformation conditions, which are explicitly part of the object definition rather than derived from fitted parameters or prior self-referential results. No equations or steps in the provided abstract reduce the count by construction to inputs, and no load-bearing self-citation or ansatz smuggling is visible. The derivation chain remains self-contained against external topological and algebraic geometry benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The classification rests on the standard definition of real projective space, the notion of complete intersection by quadrics, and the no-coplanar-quadruple condition; no free parameters or invented entities are visible in the abstract.

axioms (3)

domain assumption Ambient space is real projective 3-space RP^3.
Explicitly stated as the setting for the configurations.
domain assumption Configurations are complete intersections of three quadrics.
Core defining property of the 8-point sets studied.
domain assumption No four points are coplanar.
Condition imposed to exclude degenerate cases.

pith-pipeline@v0.9.0 · 5572 in / 1288 out tokens · 26590 ms · 2026-05-24T23:31:32.119247+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 echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

precisely 8 mirror-pairs of deformation classes of such configurations... in real projective space... intersection locus of three quadrics

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.