Inversion of adjunction for higher rational singularities
Pith reviewed 2026-05-18 07:32 UTC · model grok-4.3
The pith
Inversion of adjunction holds for higher rational singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove inversion of adjunction for higher rational singularities.
What carries the argument
Inversion of adjunction, the operation that transfers singularity information from a variety to an adjunction divisor while preserving higher rationality.
If this is right
- Singularity properties of a variety can be read off from those of its general members of a linear system.
- Resolution or minimal model arguments that work on divisors extend upward to the ambient space.
- Classification of singularities in families becomes possible by checking conditions on slices.
Where Pith is reading between the lines
- The result may simplify computations of discrepancies or log canonical thresholds in higher-dimensional examples.
- It could connect to other classes of singularities such as Du Bois or semi-log canonical ones through similar reduction steps.
Load-bearing premise
The standard definitions of higher rational singularities and the basic properties of adjunction on algebraic varieties continue to hold in the cases considered.
What would settle it
An explicit example of a higher rational singularity on a variety whose general hyperplane section fails to satisfy the expected singularity condition under adjunction.
read the original abstract
We prove inversion of adjunction for higher rational singularities.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves an inversion of adjunction statement for higher rational singularities on algebraic varieties, proceeding from the given definition of higher rational singularities via standard vanishing theorems and adjunction formulas.
Significance. If the argument is correct, the result supplies a useful extension of classical inversion of adjunction to a broader class of singularities, with potential applications to birational geometry and the minimal model program in characteristic zero.
minor comments (3)
- The abstract consists of a single sentence and does not indicate the dimension range, characteristic assumptions, or the precise statement of the inversion result being proved.
- Notation for the higher rational singularity condition and the adjunction morphism should be introduced with explicit references to the relevant definitions in §2 before being used in the main argument.
- The manuscript would benefit from a short comparison paragraph relating the new statement to the classical inversion of adjunction for rational singularities (e.g., in §1).
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript and for recognizing the potential utility of the result as an extension of classical inversion of adjunction, with applications to birational geometry and the minimal model program. The recommendation for minor revision is noted. No specific major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The paper supplies a self-contained proof of inversion of adjunction for higher rational singularities. The argument proceeds from the given definition of higher rational singularities via standard vanishing theorems and adjunction formulas in algebraic geometry; no circularity, missing base cases, or unstated restrictions on characteristic or dimension appear in the derivation. The central claim does not reduce to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. All steps rely on externally established tools in the field rather than internal redefinition.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.