A note on Azumaya algebras and one-forms

Siqing Zhang

A note on Azumaya algebras and one-forms

T0 review · 0 major / 1 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read If X has a non-closed global one-form then the Azumaya algebra from crystalline differential operators fails to split on a degree one cover of X'.

desk verdict This note answers Petrov's question with a sufficient condition based on non-closed one-forms for non-splitting of the Azumaya algebra on a degree-one cover. read the letter →

arxiv 2605.30279 v1 pith:OS6DQVLC submitted 2026-05-28 math.AG math.NT

Siqing Zhang This is my paper

classification math.AGmath.NT

keywords Azumayaalgebrasone-formscrystallinedifferentialoperatorsFrobeniustwistsplittingcotangentbundlealgebraicvarieties

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the non-split Azumaya algebra induced over the cotangent bundle of the Frobenius twist X' remains non-split on at least one degree one cover precisely when the original variety X carries a non-closed global one-form. This identifies a concrete obstruction to splitting that depends on the differential forms present on X. A sympathetic reader cares because the result distinguishes varieties where the algebra must stay non-split from those where splitting on covers might occur, clarifying the link between global sections of the cotangent sheaf and the behavior of this algebra in positive characteristic. The argument proceeds by using the non-closed form to produce a section or obstruction that survives on the chosen cover.

What carries the argument

The Azumaya algebra induced by crystalline differential operators on the cotangent bundle of the Frobenius twist X', with its restriction to finite covers of X' controlled by the closedness of global one-forms on X.

What would settle it

An explicit smooth variety X possessing a non-closed global one-form together with a proof that its Azumaya algebra splits on every degree one cover of X'.

Watch

Extended reading notes

Core claim

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. We show that whenever X has a non-closed global one-form, there is a degree one cover of X' on which the Azumaya algebra does not split.

Load-bearing premise

The crystalline differential operators on X give rise to a non-split Azumaya algebra over the cotangent bundle of X'.

Editorial extensions

If this is right

The Azumaya algebra stays non-split on a degree one cover of X' exactly when X admits a non-closed global one-form.
This obstruction applies uniformly to every smooth variety X that satisfies the one-form condition.
The splitting or non-splitting on covers is thereby tied directly to whether global one-forms are closed.
The construction distinguishes cases where splitting occurs from those where the algebra must remain non-split.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same one-form obstruction could be checked on other Azumaya algebras constructed from differential operators.
Explicit computation of the relevant covers on low-dimensional varieties would make the non-splitting locus visible.
The result suggests examining whether non-closed higher-degree forms produce analogous obstructions.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The key point is that whenever the variety has a non-closed global one-form, the Azumaya algebra fails to split on some degree one cover of X'. This directly addresses the question without relying on extra assumptions beyond the standard setup for crystalline differential operators.

The paper does a good job keeping things short and focused. It takes the established non-splitting over the cotangent bundle and extends it by showing how a non-closed one-form prevents splitting after a simple cover. The logic in the abstract flows without circularity, and the stress-test confirms no internal problems. The novelty comes from supplying this sufficient condition rather than restating known results.

Soft spots are minor. The result is conditional on the existence of such a one-form, so it doesn't cover cases where all global one-forms are closed. It's also a note rather than a broad theory paper, so the impact stays within the specific question. Without seeing the full proof, it's hard to check every derivation step, but nothing suggests a load-bearing flaw. The background claim about the crystalline operators is presented as given, which is fine since the new part is the condition.

This paper is for algebraic geometers working on Azumaya algebras or p-adic phenomena in characteristic p. Someone following Petrov's work or similar questions would get value from it as a targeted resolution. It doesn't reorganize broader phenomena but resolves the targeted open question.

I would recommend sending it to peer review. It fills a specific gap with a clear statement, and the evidence from the abstract and logic holds up.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that if a smooth variety X over a field of positive characteristic admits a non-closed global one-form, then there exists a degree-one cover of the Frobenius twist X' such that the Azumaya algebra arising from the sheaf of crystalline differential operators on T^*X' remains non-split when pulled back to the cover. This conditional non-splitting result directly answers a question posed by Sasha Petrov, building on the established fact that the crystalline differential operators yield a non-split Azumaya algebra over T^*X'.

Significance. If correct, the note supplies a precise geometric criterion (existence of a non-closed global one-form) that obstructs splitting of this Azumaya algebra under finite covers. This contributes to the literature on Azumaya algebras in positive characteristic, their relation to differential operators, and questions of splitting behavior over Frobenius twists, potentially informing work on D-modules and noncommutative resolutions.

minor comments (1)

The abstract refers to 'a degree one cover of X''; the manuscript should clarify whether this means a cover of degree one (i.e., an isomorphism) or a cover of X' of degree one over X, and state the precise base field and characteristic assumptions in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our note and for recommending acceptance. The report accurately captures the main result and its relation to the question of Sasha Petrov.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation is self-contained

full rationale

The paper states a background fact (crystalline differential operators yield a non-split Azumaya algebra over T^*X') as established context from prior literature, then proves a conditional theorem: a non-closed global one-form on X implies existence of a degree-1 cover of X' where the Azumaya algebra remains non-split. This is a direct implication from properties of one-forms and the given Azumaya construction; no equations reduce to fitted inputs, no self-citations form the load-bearing step, and the result does not rename or smuggle in prior ansatzes by the same authors. The argument is independent of its own outputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Abstract-only review provides no explicit free parameters, new entities, or ad-hoc axioms beyond standard domain assumptions in algebraic geometry.

assumptions (1)

domain assumption Crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of X'.
Invoked in the first sentence as the starting point for the result.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A note on Azumaya algebras and one-forms." pith.science (2026). https://pith.science/paper/OS6DQVLC

@misc{pith2026260530279,
  author       = {Pith},
  title        = {Pith review of: A note on Azumaya algebras and one-forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OS6DQVLC}},
  note         = {Machine review of arXiv:2605.30279}
}

read the original abstract

The crystalline differential operators on a smooth variety X give rise to a non-split Azumaya algebra over the cotangent bundle of the Frobenius twist X'. In some cases, this Azumaya algebra splits when restricted to finite covers of X'. In this short note, we show that, whenever X has a non-closed global one-form, there is a degree one cover of X' on which the Azumaya algebra does not split, answering a question of Sasha Petrov.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

13 extracted references · 2 canonical work pages

[1]

Bezrukavnikov, I

R. Bezrukavnikov, I. Mirkovic, and D. Rumynin,Localization of modules for a semisimple Lie algebra in prime characteristic, Ann. of Math.167(2008), 945–991

2008
[2]

Bezrukavnikov and A

R. Bezrukavnikov and A. Braverman,Geometric Langlands correspondence forD-modules in prime characteristic: theGL(n)case, Pure Appl. Math. Q.3(2007), no. 1, 153–179

2007
[3]

M. A. de Cataldo and S. Zhang,Logarithmic non-abelian Hodge theory for curves in prime character- istic, preprint, arXiv:2501.09850, 2025

work page arXiv 2025
[4]

Deligne and L

P. Deligne and L. Illusie,Rel` evements modulop 2 et d´ ecomposition du complexe de de Rham, Invent. Math.89(1987), no. 2, 247–270

1987
[5]

Groechenig,Moduli of flat connections in positive characteristic, Math

M. Groechenig,Moduli of flat connections in positive characteristic, Math. Res. Lett.23(2016), no. 4, 989–1047

2016
[6]

Hao,A Simpson correspondence for abelian varieties in positive characteristic, Ph.D

Y. Hao,A Simpson correspondence for abelian varieties in positive characteristic, Ph.D. thesis, Freie Universit¨ at Berlin, 2019. Available at arXiv:1910.12405

work page arXiv 2019
[7]

Heuer,Ap-adic Simpson correspondence for smooth proper rigid varieties, Invent

B. Heuer,Ap-adic Simpson correspondence for smooth proper rigid varieties, Invent. Math.240(2025), 261–312

2025
[8]

N. M. Katz,Nilpotent connections and the monodromy theorem: applications of a result of Turrittin, Publ. Math. IHES39(1970), 175–232

1970

Show all 13 references

[9]

Mumford,Pathologies of modular algebraic surfaces, Amer

D. Mumford,Pathologies of modular algebraic surfaces, Amer. J. Math.83(1961), no. 2, 339–342

1961
[10]

Complex andp-Adic Simpson Correspondence

A. Petrov,Non-abelian Hodge theory in positive characteristic, after Ogus–Vologodsky, notes for the workshop “Complex andp-Adic Simpson Correspondence”, University of Maryland, November 2025, version of May 4, 2026. Available athttps://math.mit.edu/~apetrov/papers/pdf/Maryland_OV.pdf

2025
[11]

Ogus and V

A. Ogus and V. Vologodsky,Nonabelian Hodge theory in characteristicp, Publ. Math. IHES106 (2007), 1–138

2007
[12]

Takeda,Vector fields and differential forms on generalized Raynaud surfaces, Tohoku Math

Y. Takeda,Vector fields and differential forms on generalized Raynaud surfaces, Tohoku Math. J.44 (1992), 359–364

1992
[13]

Tziolas,Topics in group schemes and surfaces in positive characteristic, Ann

N. Tziolas,Topics in group schemes and surfaces in positive characteristic, Ann. Univ. Ferrara70 (2024), 891–954. Department of Mathematics, Yale University, New Haven, CT, 06511, USA E-mail address:siqing.zhang.math@gmail.com

2024

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.

[1] [1]

Bezrukavnikov, I

R. Bezrukavnikov, I. Mirkovic, and D. Rumynin,Localization of modules for a semisimple Lie algebra in prime characteristic, Ann. of Math.167(2008), 945–991

2008

[2] [2]

Bezrukavnikov and A

R. Bezrukavnikov and A. Braverman,Geometric Langlands correspondence forD-modules in prime characteristic: theGL(n)case, Pure Appl. Math. Q.3(2007), no. 1, 153–179

2007

[3] [3]

M. A. de Cataldo and S. Zhang,Logarithmic non-abelian Hodge theory for curves in prime character- istic, preprint, arXiv:2501.09850, 2025

work page arXiv 2025

[4] [4]

Deligne and L

P. Deligne and L. Illusie,Rel` evements modulop 2 et d´ ecomposition du complexe de de Rham, Invent. Math.89(1987), no. 2, 247–270

1987

[5] [5]

Groechenig,Moduli of flat connections in positive characteristic, Math

M. Groechenig,Moduli of flat connections in positive characteristic, Math. Res. Lett.23(2016), no. 4, 989–1047

2016

[6] [6]

Hao,A Simpson correspondence for abelian varieties in positive characteristic, Ph.D

Y. Hao,A Simpson correspondence for abelian varieties in positive characteristic, Ph.D. thesis, Freie Universit¨ at Berlin, 2019. Available at arXiv:1910.12405

work page arXiv 2019

[7] [7]

Heuer,Ap-adic Simpson correspondence for smooth proper rigid varieties, Invent

B. Heuer,Ap-adic Simpson correspondence for smooth proper rigid varieties, Invent. Math.240(2025), 261–312

2025

[8] [8]

N. M. Katz,Nilpotent connections and the monodromy theorem: applications of a result of Turrittin, Publ. Math. IHES39(1970), 175–232

1970