Strongly semistable reduction of syzygy bundles on plane curves

Annette Werner; Marvin Anas Hahn

arxiv: 1907.02466 · v1 · pith:LY6GP2X7new · submitted 2019-07-04 · 🧮 math.AG · math.NT

Strongly semistable reduction of syzygy bundles on plane curves

Marvin Anas Hahn , Annette Werner This is my paper

Pith reviewed 2026-05-25 08:56 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords syzygy bundlesplane curvesstrongly semistable reductionMustafin varietiesp-adic Simpson correspondenceFermat curvevector bundle extensionsdegenerations

0 comments

The pith

Certain syzygy bundles on plane curves over p-adic fields have strongly semistable reduction.

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

The paper constructs degenerations of plane curves using Mustafin varieties so that the special fiber is a union of projective lines all passing through a single point. It then shows that syzygy bundles extend to vector bundles on these models that restrict to the trivial bundle on each line of the special fiber. This implies the bundles have strongly semistable reduction. The construction is applied to an example on the Fermat curve to show it has potentially strongly semistable reduction. This places the bundles in the category of Higgs bundles with zero field that correspond to continuous representations of the etale fundamental group via the p-adic Simpson correspondence.

Core claim

We use Mustafin varieties to find a large family of models of plane curves over the ring of integers with special fiber consisting of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamental open problem in p-adic Simpson theory to determine the category of Higgs bundles corresponding to continuous representations of the etale fundamental group of a curve. We apply our methods to a concrete example on the Fermat curve to

What carries the argument

Mustafin varieties providing degenerations of projective space that yield models of plane curves with special fiber a union of lines through one point, together with the vector bundle extensions that restrict trivially to each line.

If this is right

These syzygy bundles give rise to p-adic local systems.
The concrete syzygy bundle on the Fermat curve has potentially strongly semistable reduction.
A large family of plane curve models admit strongly semistable syzygy bundles.
Bundles with Higgs field zero and this reduction property fall into the category of continuous representations of the etale fundamental group.

Where Pith is reading between the lines

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

The construction supplies concrete instances of syzygy bundles that lie in the category determined by the p-adic Simpson correspondence.
The same degeneration technique could be checked on additional syzygy bundles suggested by Brenner.

Load-bearing premise

The existence of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point, together with the existence of vector bundle extensions whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber.

What would settle it

An explicit computation for a specific syzygy bundle showing that its reduction is not strongly semistable, or that no extension trivializes on every line component of any such special fiber.

read the original abstract

We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamental open problem in $p$-adic Simpson theory to determine the category of Higgs bundles corresponding to continuous representations of the \'etale fundamental group of a curve. Faltings' $p$-adic Simpson correspondence and work of Deninger and the second author shows that bundles with Higgs field zero and potentially strongly semistable reduction fall into this category. Hence the results in the present paper determine a class of syzygy bundles on plane curves giving rise to a $p$-adic local system. We apply our methods to a concrete example on the Fermat curve suggested by Brenner and prove that this bundle has potentially strongly semistable reduction.

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 builds explicit Mustafin models for syzygy bundles on plane curves that force strongly semistable reduction and verifies the Fermat case Brenner suggested.

read the letter

The main takeaway is that the authors produce a family of models of plane curves over the p-adic integers whose special fibers are unions of projective lines through a single point, then lift the syzygy bundle to a vector bundle on the model that restricts trivially to each line. That triviality implies the desired strongly semistable reduction. They carry this out for a range of curves and give a complete check for the Fermat curve example. The construction directly supplies bundles with zero Higgs field and potentially strongly semistable reduction, which by earlier work of Faltings and Deninger-Werner land in the category corresponding to continuous representations. That addresses one concrete piece of the open question in p-adic Simpson theory. The Fermat verification is the clearest payoff because it turns a suggested case into a proven one. The paper is careful to cite the relevant prior results on Mustafin varieties and on the correspondence, and the outline of the argument is internally consistent. The soft spot is that the abstract and stress-test note give no derivations or explicit extension classes, so the actual work of building the bundles and confirming they stay trivial on every component has to be checked in the body. If those steps rely on special properties of the curves or on base change that is not fully controlled, the generality claimed for the family could shrink. Still, the Fermat example is a self-contained claim that can be examined directly. This is for readers already working in p-adic nonabelian Hodge theory or degenerations of vector bundles on curves. A specialist who needs explicit examples rather than general existence statements will get usable material. The paper shows honest engagement with the literature and produces a verifiable statement, so it deserves a serious referee even if the proofs need tightening.

Referee Report

0 major / 2 minor

Summary. The paper constructs models of plane curves over the ring of integers via Mustafin varieties such that the special fiber is a union of projective lines meeting at a single point. On these models it considers vector bundle extensions whose generic fiber is a syzygy bundle and whose restriction to each component of the special fiber is trivial; the authors conclude that the syzygy bundles therefore admit strongly semistable reduction. The construction is applied to a concrete syzygy bundle on the Fermat curve (suggested by Brenner), yielding a proof of potentially strongly semistable reduction. The work is motivated by the open problem of classifying Higgs bundles corresponding to continuous representations of the étale fundamental group in p-adic Simpson theory, via the fact that bundles with zero Higgs field and potentially strongly semistable reduction lie in the image of Faltings' correspondence.

Significance. If the constructions are valid, the paper supplies an explicit family of syzygy bundles on plane curves that give rise to p-adic local systems, thereby furnishing concrete examples relevant to p-adic Simpson theory. The use of Mustafin varieties to produce the required degenerations is a technical contribution, and the verification for the Fermat-curve example provides a falsifiable, computable instance. The manuscript ships a self-contained construction together with an application that can be checked independently.

minor comments (2)

[§1] §1 (Introduction): the statement that the bundles 'become trivial when restricted to each projective line' should be accompanied by an explicit reference to the precise definition of the extension class or the cocycle used to glue the trivial bundles on the components.
The notation for the Mustafin variety and the special-fiber components (e.g., the indexing of the lines) is introduced without a preliminary diagram or table; adding a figure illustrating the configuration for the Fermat example would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

Minor self-citation in motivation only; core construction via Mustafin models is independent

full rationale

The derivation proceeds by explicit construction: Mustafin varieties yield models of plane curves whose special fiber is a union of lines through a point; vector bundles on the model with generic fiber the syzygy bundle and trivial restriction to each line are exhibited, from which strongly semistable reduction is concluded. The sole self-citation (to Deninger-Werner) appears only in the motivational paragraph linking the result to p-adic Simpson theory and is not used to justify the reduction property itself. No equations, definitions, or uniqueness claims reduce to a fit, a self-referential definition, or a prior result by the same authors. The central claim therefore rests on the construction rather than on any enumerated circular pattern.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

From the abstract alone no explicit free parameters, ad-hoc axioms, or invented entities are visible beyond the standard geometric objects (Mustafin varieties, syzygy bundles, projective lines). The central claim rests on the existence of the described models and the triviality of the extended bundles on the special-fiber components.

pith-pipeline@v0.9.0 · 5741 in / 1347 out tokens · 57178 ms · 2026-05-25T08:56:24.207113+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 use Mustafin varieties ... special fiber consists of multiple projective lines meeting in one point. ... vector bundles ... become trivial when restricted to each projective line ... strongly semistable reduction.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

bundles with Higgs field zero and potentially strongly semistable reduction fall into this category

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.