Elliptic arrangements of complex multiplication type

Alejandro Vargas; Luca Moci; Maddalena Pismataro; Roberto Pagaria

arxiv: 2506.19638 · v1 · submitted 2025-06-24 · 🧮 math.CO · math.AT

Elliptic arrangements of complex multiplication type

Luca Moci , Roberto Pagaria , Maddalena Pismataro , Alejandro Vargas This is my paper

Pith reviewed 2026-05-19 07:51 UTC · model grok-4.3

classification 🧮 math.CO math.AT

keywords elliptic arrangementsarithmetic matroidscomplex multiplicationEnd(E)-modulestoric arrangementsarithmetic Tutte polynomialEuler characteristicmatroids over rings

0 comments

The pith

The combinatorial data of elliptic arrangements on complex multiplication curves define arithmetic matroids over the endomorphism ring and allow the Euler characteristic to be read from the arithmetic Tutte polynomial.

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

This paper extends the notion of arrangements to elliptic curves equipped with complex multiplication. By treating intersections of the arrangement elements and their connected components as modules over the endomorphism ring of the curve, the authors show that the combinatorial information alone determines both an arithmetic matroid and a matroid over that ring. This construction produces arithmetic matroids that cannot be obtained from toric arrangements. As a consequence, the Euler characteristic of the complement of the arrangement can be computed as a specific evaluation of the associated arithmetic Tutte polynomial.

Core claim

We provide a natural definition of an elliptic arrangement, extending the classical framework to an elliptic curve E with complex multiplication. We analyse the intersections of elements of the arrangement and their connected components as End(E)-modules. Furthermore, we prove that the combinatorial data of elliptic arrangements define both an arithmetic matroid and a matroid over the ring End(E). In this way, we obtain a class of arithmetic matroids that is different from the class of arithmetic matroids realizable via toric arrangements. Finally, we show that the Euler characteristic of the complement is an evaluation of the arithmetic Tutte polynomial.

What carries the argument

The interpretation of intersections and connected components of the elliptic arrangement as modules over the endomorphism ring End(E) of the curve, which allows the definition of the arithmetic matroid structure from combinatorial data.

If this is right

The combinatorial data suffices to define the arithmetic matroid without needing the full geometric realization.
Elliptic arrangements provide examples of arithmetic matroids not arising from toric arrangements.
The arithmetic Tutte polynomial evaluates to the Euler characteristic of the complement of the arrangement.
Matroids over the ring End(E) can be constructed from these arrangements.

Where Pith is reading between the lines

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

Such matroids might admit natural representations or realizations over other rings with similar module structures.
Computations of Euler characteristics for these complements could be simplified using the Tutte polynomial evaluations.
This approach might extend to other abelian varieties with complex multiplication to produce further new classes of arithmetic matroids.

Load-bearing premise

The intersections of the arrangement elements and their connected components can be analyzed as modules over the endomorphism ring End(E).

What would settle it

A specific elliptic arrangement where the ranks or multiplicities derived from the End(E)-module structures violate the axioms of an arithmetic matroid, or where the computed Euler characteristic does not match the predicted value from the arithmetic Tutte polynomial.

read the original abstract

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 defines elliptic arrangements on CM curves, builds arithmetic matroids over End(E) that differ from toric ones, and ties the complement's Euler characteristic to an arithmetic Tutte polynomial evaluation.

read the letter

The main thing to know is that this work gives a clean extension of arrangement theory to elliptic curves with complex multiplication, producing arithmetic matroids that sit outside the toric class and linking the Euler characteristic directly to the arithmetic Tutte polynomial via that data. They define the arrangements on E, treat intersections and connected components as End(E)-modules, and extract both an arithmetic matroid and a matroid over the endomorphism ring from the combinatorial information. The distinction from toric arrangements follows from the different base ring, and the polynomial evaluation for the Euler characteristic closes the argument. The module analysis is the key step that makes the rest work, and it draws on standard matroid theory without circular moves. The flow from definition through the module structure to the matroid properties and the final evaluation looks direct and grounded. A minor soft spot is the lack of concrete low-rank examples or explicit module computations in the abstract, which would help confirm how sharply the new class separates in practice; the central claims still read as plausible on the given outline. This is aimed at people working on arithmetic matroids or combinatorial aspects of elliptic curves and algebraic geometry. A reader already comfortable with matroids over rings or toric arrangements will get the most out of it. The piece is focused and formally structured enough to deserve a serious referee.

Referee Report

0 major / 3 minor

Summary. The paper defines elliptic arrangements on an elliptic curve E with complex multiplication, analyzes intersections of arrangement elements and their connected components as End(E)-modules, proves that the resulting combinatorial data yields both an arithmetic matroid and a matroid over the ring End(E), establishes that this produces a class of arithmetic matroids distinct from those arising from toric arrangements, and shows that the Euler characteristic of the complement equals a specific evaluation of the arithmetic Tutte polynomial.

Significance. If the central claims hold, the work supplies a new, explicitly realized family of arithmetic matroids whose underlying ring is the endomorphism ring of a CM elliptic curve rather than Z, thereby enlarging the known examples beyond toric arrangements. The explicit translation of intersection data into End(E)-module ranks furnishes a concrete bridge between arrangement combinatorics and arithmetic matroid theory, while the identification of the Euler characteristic with a Tutte-polynomial evaluation supplies a combinatorial formula for a topological invariant. These features are strengths that could support further computations and comparisons with existing matroid constructions.

minor comments (3)

[matroid construction] In the definition of the rank function for the arithmetic matroid (around the transition from module analysis to matroid axioms), the dependence on the choice of generators for the End(E)-modules should be shown to be independent of that choice; a short invariance argument or reference to a standard lemma would clarify this step.
[comparison with toric arrangements] The statement that the class differs from toric-arrangement matroids is asserted via the different base ring, but a brief explicit example (e.g., a rank-2 arrangement on a CM curve whose arithmetic matroid is not realizable over Z) would make the distinction concrete.
[preliminaries] Notation for the connected components of intersections and their End(E)-module structures is introduced gradually; consolidating the key symbols in a single preliminary subsection would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, recognition of the significance of our construction, and recommendation of minor revision. The referee's description accurately reflects the paper's contributions regarding elliptic arrangements on CM curves, their realization as arithmetic matroids and matroids over End(E), distinction from toric examples, and the Euler characteristic formula.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external matroid theory

full rationale

The paper defines elliptic arrangements extending classical ones to CM elliptic curves E, then analyzes intersections and connected components as End(E)-modules to extract combinatorial data. This data is used to define an arithmetic matroid and a matroid over End(E), with the distinction from toric arrangements arising from the different base ring and the Euler characteristic shown as an arithmetic Tutte polynomial evaluation. These steps apply standard external matroid theory to the arrangement data without any self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The chain is independent and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard facts from the theory of elliptic curves and matroids rather than introducing new free parameters or invented entities; the main addition is the definition and the proofs of matroid structures.

axioms (1)

domain assumption Elliptic curves with complex multiplication have End(E) as an order in an imaginary quadratic field, allowing module structures on intersections.
Invoked when analysing intersections and connected components as End(E)-modules.

pith-pipeline@v0.9.0 · 5621 in / 1380 out tokens · 56299 ms · 2026-05-19T07:51:21.805726+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 prove that the combinatorial data of elliptic arrangements define both an arithmetic matroid and a matroid over the ring End(E). ... the Euler characteristic of the complement is an evaluation of the arithmetic Tutte polynomial.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

the number of connected components (or layers) in AS equals # tor coker πS ◦ A

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.