Pith. sign in

REVIEW 2 cited by

Extendability of differential forms via Cartier operators

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.13967 v4 pith:YKN2EOTG submitted 2022-07-28 math.AG

classification math.AG
keywords extensiontheoremlogarithmiccartierdifferentialformsholdsprove
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the logarithmic extension theorem for differential forms. As an application, we show that the logarithmic extension theorem holds for good quotients of smooth varieties by actions of reduced linearly reductive group schemes. In addition, the logarithmic extension theorem for one-forms holds for singularities of higher codimension under assumptions about Serre's condition. We also prove that tame quotients satisfy the regular extension theorem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Frobenius liftable hypersurfaces

    math.AG 2025-07 accept novelty 7.0 of 10

    Frobenius-liftable reduced divisors in projective space are exactly toric divisors, up to automorphism.

  2. On Steenbrink vanishing for rational singularities in positive characteristic

    math.AG 2025-07 conditional novelty 6.0 of 10

    A positive characteristic Steenbrink vanishing theorem is proved for rational singularities, giving the vanishing for strongly F-regular threefolds and Q-factorial klt threefolds in large characteristic.

Pith tools