Topics in higher ramification theory I

Franz-Viktor Kuhlmann

arxiv: 2503.13157 · v4 · pith:GEQ2ZPOOnew · submitted 2025-03-17 · 🧮 math.AC

Topics in higher ramification theory I

Franz-Viktor Kuhlmann This is my paper

Pith reviewed 2026-05-22 23:38 UTC · model grok-4.3

classification 🧮 math.AC

keywords ramification idealshigher ramification theorydefectArtin-Schreier extensionsKummer extensionsvalued fields

0 comments

The pith

Nontrivial defect in an extension of degree not a prime may not imply the existence of a nonprincipal ramification ideal.

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

The paper introduces the notion of ramification ideals in higher ramification theory for valued fields. It establishes general results for computing these ideals and explores their relationship to the defect of extensions. Explicit computations are provided for Artin-Schreier extensions and Kummer extensions of prime degree equal to the residue characteristic. An example demonstrates that nontrivial defect does not necessarily produce a nonprincipal ramification ideal when the degree of the extension is not prime.

Core claim

An example shows that in an extension of degree not a prime, nontrivial defect may occur without the ramification ideal being nonprincipal, indicating that the link between defect and nonprincipal ramification ideals is not universal across all degrees.

What carries the argument

Ramification ideals, studied through general computation methods and their connection to defect in higher ramification theory.

If this is right

Ramification ideals admit explicit computation via the general results developed in the theory.
Artin-Schreier extensions allow computation of ramification ideals both with and without defect.
Kummer extensions of prime degree equal to the residue characteristic likewise admit such computations.
Nonprincipal ramification ideals are not guaranteed solely by the presence of nontrivial defect when the extension degree is composite.

Where Pith is reading between the lines

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

The separation may require additional invariants to fully capture defect phenomena in composite-degree cases.
Similar examples could be sought in extensions outside the Artin-Schreier and Kummer classes.
The distinction might influence how ramification is tracked in towers of valued field extensions.

Load-bearing premise

The general results on computation of ramification ideals and their connection to defect are valid in the setting of valued fields with residue characteristic p.

What would settle it

A demonstration that every extension with nontrivial defect and non-prime degree has a nonprincipal ramification ideal would contradict the presented example.

read the original abstract

We introduce and study the notion of ramification ideals in higher ramification theory. After general results on their computation for finite extensions, we discuss their connection with the possibly nontrivial defect of the extensions. We compute them for Artin-Schreier extensions and Kummer extensions of prime degree equal to the residue characteristic, which may or may not have nontrivial defect. We present an example that shows that nontrivial defect in an extension of degree $p^2$, $p$ a prime, may not imply the existence of a nonprincipal ramification ideal.

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

Introduces ramification ideals with computations for Artin-Schreier and Kummer cases plus a counterexample where nontrivial defect does not force a nonprincipal ideal when degree is composite.

read the letter

The paper defines ramification ideals and works out explicit computations for them in Artin-Schreier extensions and Kummer extensions of degree p (residue characteristic), both with and without defect. It then gives an example of an extension of composite degree that has nontrivial defect yet still has a principal ramification ideal. That example is the clearest new piece; it separates defect from the expectation of non-principal ideals in a way that prior work had not pinned down for non-prime degrees. The general computation rules for the ideals look like they could be applied directly in other extensions of the same type. The link between the ideals and defect is made concrete rather than left at the level of abstract properties. The scope stays inside the standard setting of valued fields with residue characteristic p, which matches the usual framework for this kind of work. One limitation is that the results are developed mainly for the two families mentioned, so broader applicability will need checking in later papers. The example itself appears to be a direct counterexample rather than a reduction to earlier fitted quantities. This is written for people already working on defect and ramification in valued fields. A specialist who needs concrete tools for computing ramification data or who wants to test conjectures about when defect produces non-principal ideals will get usable material from it. I would send the paper to peer review; the new definition plus the explicit example give it enough substance to justify referee time.

Referee Report

0 major / 2 minor

Summary. The paper introduces the notion of ramification ideals within higher ramification theory for valued fields. It establishes general results on the computation of these ideals and their connection to the defect of extensions. Computations are provided for Artin-Schreier extensions and for Kummer extensions of prime degree equal to the residue characteristic p, both with and without defect. The central contribution is an explicit example demonstrating that a nontrivial defect in a field extension whose degree is not prime need not imply the existence of a nonprincipal ramification ideal.

Significance. If the general computation rules and the example are valid, the work supplies concrete tools for calculating ramification ideals and clarifies that the link between defect and nonprincipal ramification ideals is not automatic outside prime degree, which may aid further study of ramification in valued fields of residue characteristic p.

minor comments (2)

[Abstract] The abstract states the counterexample concerns an extension 'of degree not a prime'; the precise degree and the residue characteristic of the example should be stated explicitly in the introduction or the relevant section for immediate clarity.
Notation for the ramification ideal (e.g., any subscript or superscript conventions) should be introduced once in a dedicated paragraph or subsection before the general results are stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of its contributions on ramification ideals, their computation in Artin-Schreier and Kummer extensions, and the example separating nontrivial defect from nonprincipal ramification ideals in non-prime degree. We are pleased with the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces a new notion of ramification ideals, develops general computation results independently, connects them to defect, and applies the framework to Artin-Schreier/Kummer extensions plus a counterexample. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains are present in the described structure or abstract. The derivation remains self-contained with independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities beyond the new definition of ramification ideals can be identified.

pith-pipeline@v0.9.0 · 5580 in / 1056 out tokens · 24966 ms · 2026-05-22T23:38:05.550102+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 introduce and study the notion of ramification ideals in higher ramification theory. After general results on their computation, we discuss their connection with defect...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Proposition 3.20. There are Galois extensions of degree p² ... that have only one ramification group, and this ramification group is principal although the extension is not defectless.

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.