Pith. sign in

REVIEW 2 major objections 3 minor 20 references

On Hodge--Witt cohomology of Drinfeld's upper half space over a finite field

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read The paper proves that at every Witt-vector level n, the local Hodge-Witt cohomology groups on Drinfeld's upper half space are generated as modules over Witt differential operators by finitely generated parabolic-stable submodules.

desk verdict The Witt-differential-operator framework is a genuine contribution and the main finite-generation theorem is likely true, but the proof's reduction to n=1 rests on a V-compatibility that (5.33) does not actually cover. read the letter →

arxiv 2506.06246 v1 pith:PFWFT7JW submitted 2025-06-06 math.AG math.NTmath.RT

classification math.AGmath.NTmath.RT MSC 14F3014F4014L3013N10
keywords Hodge-WittcohomologyDrinfeldupperhalfspaceWittdifferentialoperatorslocalgeneralizedSteinbergmodulesdeRham-WittcomplexfinitefieldsD-modulesinpositivecharacteristic
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

Over a finite field $k$, the Hodge-Witt cohomology groups $H^0(\mathcal{X}, W_n\Omega^i)$ of Drinfeld's upper half space $\mathcal{X} \subset \mathbb{P}^d_k$ carry an action of $G = \mathrm{GL}_{d+1}(k)$. The paper isolates the unknown part of these representations in local cohomology groups $\tilde{H}^{d-j}_{P_j}(\mathbb{P}^d_k, W_n\mathcal{O}_{\mathbb{P}^d_k})$, and introduces a sheaf of Witt differential operators $\mathcal{D}_{W_n(X)}$ to give those groups a module structure. The main result, Proposition 8.2 (for $\mathrm{char}(k) \neq 2$), shows each such local group is generated as a module over $D_n = \Gamma(\mathbb{P}^d_k, \mathcal{D}_{W_n(\mathbb{P}^d_k)})$ by a finitely generated $W_n(k)$-submodule stable under the parabolic $P_j$. Since the $D_n$-action is compatible with Verschiebung, the level-$n$ theorem reduces to the known level-one case; if this holds, the whole $H^0(\mathcal{X}, W_n\mathcal{O})$ is controlled by finite data together with Steinberg-type induced modules.

What carries the argument

The central object is the sheaf of Witt differential operators $\mathcal{D}_{W_n(X)}$: a quasi-coherent sheaf of $W_n(k)$-algebras on a smooth $k$-scheme $X$ whose local sections are obtained by lifting Hasse-Schmidt differential operators from characteristic $p$ to compatible lifts over $W_n(k)$ and then restricting them along the map $\tilde{w}_n: W_n(A) \to A_n$. It replaces the distribution algebra, which does not generate the relevant local cohomology in characteristic $p$. The load-bearing properties are Corollary 5.12, independence of the chosen lift, and Proposition 5.18, especially the Verschiebung relation (5.33); together they make the $D_n$-module structure well defined and permit the reduction to $n=1$. A second mechanism is the local-to-global spectral sequence from an acyclic resolution of the constant sheaf on the complementary hyperplane arrangement, which rewrites $H^0(\mathcal{X}, F)$ in terms of the local groups $\tilde{H}^{d-j}_{P_j}$ and generalized Steinberg modules.

What would settle it

Take $p=2$, $A=k[x]$, and work at Witt level 2; evaluate $(\partial^{[2]}_{1,2} \circ V - V \circ \partial^{[2]}_{1,1})(V([x]))$ in $W_2(A)$. Relation (5.33) forces this difference to be zero; a nonzero value would break the reduction of Proposition 8.2 to the level-one theorem, and with it the claimed $D_n$-generation of the local Hodge-Witt cohomology.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a finite-generation theorem for local Hodge-Witt cohomology at every Witt-vector level. Proposition 8.2 states that, assuming $\mathrm{char}(k) \neq 2$, the $P_j$-module $\tilde{H}^{d-j}_{P_j}(\mathbb{P}^d_k, W_n(\mathcal{O}_{\mathbb{P}^d_k}))$ admits a submodule $N_{n,j}$ that is finitely generated over $W_n(k)$, together with a $W_n(k)$-linear epimorphism of $D_n$-modules $\rho_{n,j}: D_n \otimes_{W_n(k)} N_{n,j} \twoheadrightarrow \tilde{H}^{d-j}_{P_j}(\mathbb{P}^d_k, W_n(\mathcal{O}_{\mathbb{P}^d_k}))$. The submodule is constructed explicitly from Verschiebung powers of Teichmüller monomials, and the proof uses the compatibility of the Witt differential operators with Verschiebung, in particular the identity $\partial_{j,n+1} \circ V = V \circ \partial_{j,n}$, to reduce every $n$ to the case $n=1$. Via the spectral sequence of Proposition 6.10, this identifies the global representation $H^0(\mathcal{X}, W_n\mathcal{O}_{\mathbb{P}^d_k})$ as an extension of induced generalized Steinberg modules over $W_n(k)$ by these finitely generated $D_n$-module pieces.

Load-bearing premise

The load-bearing premise is that lifting Hasse-Schmidt differential operators to the Witt vectors is well defined and respects Verschiebung: if the independence-of-lift statement (Corollary 5.12) or the identity $\partial_{j,n+1} \circ V = V \circ \partial_{j,n}$ failed, the $D_n$-module structure on the local cohomology groups would be ill defined and the reduction of Proposition 8.2 to $n=1$ would collapse.

Editorial extensions

If this is right

  • At every level $n$, the local group $\tilde{H}^{d-j}_{P_j}(\mathbb{P}^d_k, W_n\mathcal{O}_{\mathbb{P}^d_k})$ is a quotient of $D_n \otimes_{W_n(k)} N_{n,j}$ with $N_{n,j}$ finitely generated over $W_n(k)$, so the infinite size of that group comes entirely from the ring $D_n$.
  • By Proposition 6.10, $H^0(\mathcal{X}, W_n\mathcal{O}_{\mathbb{P}^d_k})$ is built from induced generalized Steinberg modules over $W_n(k)$ plus these finite $D_n$-generated local pieces, so the $W_n(k)[G]$-structure is determined by finite data and the local modules.
  • The Verschiebung compatibility reduces all $n>1$ instances to the $n=1$ theorem, so one characteristic-$p$ computation controls every Witt level.
  • The same lifted operators give a map $\mathrm{Dist}(G) \to \Gamma(\mathbb{P}^d_k, \mathcal{D}_{W_n(\mathbb{P}^d_k)})$, so the action of the distribution algebra on Hodge-Witt cohomology factors through Witt differential operators.

Reading between the lines

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

  • A consequence the paper leaves implicit: if Proposition 8.2 is correct, representation-theoretic invariants of the $W_n(k)[G]$-modules $H^0(\mathcal{X}, W_n\mathcal{O})$ can in principle be computed by linear algebra on the finite modules $N_{n,j}$ plus known Steinberg data.
  • The hypothesis $\mathrm{char}(k) \neq 2$ enters through an elementary lemma on Teichmüller powers of sums; at $p=2$ the geometric statement might still hold, but a different construction of $N_{n,j}$ would be needed.
  • The Witt differential operator sheaf suggests a modular analogue of Beilinson-Bernstein localization over $W_n(k)$, where representations of finite groups of Lie type could be studied through $\mathcal{D}_{W_n(X)}$-modules rather than through the distribution algebra alone.
  • It is plausible that the explicit monomial description of $N_{n,j}$ can be used to write an algorithm that, for fixed $p$, $d$, $n$, verifies the epimorphism by direct computation in the finite module.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper studies the Hodge–Witt cohomology of Drinfeld's upper half space over a finite field k. Its central object is the W_n(k)[G]-module H^0(X, W_nΩ^i_{P^d}), where G = GL_{d+1}(k). The paper develops, in Section 5, a theory of differential operators over p-typical Witt vectors: for a smooth k-scheme X it defines a quasi-coherent sheaf D_{W_n(X)} of W_n(k)-algebras, generated locally by lifted Hasse–Schmidt (divided-power) operators with a specific Φ-twisted coefficient action (Definition 5.21, equation (5.52)), and proves Frobenius, Verschiebung and restriction compatibilities for the pure divided-power generators (Proposition 5.18). In Section 6, Orlik's acyclic resolution is adapted to Witt schemes, giving a spectral sequence that expresses the cohomology of the Drinfeld space in terms of local cohomology groups and (dual) generalized Steinberg modules over W_n(k) (Proposition 6.10). The main theorem (Proposition 8.2) asserts that, for char(k) ≠ 2, the local cohomology group H̃^{d−j}_{P_j}(P^d_k, W_n(O_{P^d_k})) is generated as a module over D_n := Γ(P^d, D_{W_n(P^d)}) by a finitely generated W_n(k)[P_j]-submodule N_{n,j}, generalizing the n = 1 results of Orlik and Kuschkowitz. The proof is constructive: it checks the case n = 1 by an explicit generation algorithm and then claims that the general n follows from the Verschiebung compatibility (5.33).

Significance. If the theorem holds, it is a genuine extension of the known n = 1 local-cohomology finiteness to all levels n, and the sheaf D_{W_n(X)} introduced in Section 5 is a useful formalism that is likely to be reusable beyond this paper. The paper also deserves credit for its explicit and self-contained treatment of the Illusie–Raynaud map (Proposition 3.12), the computation of the Hodge–Witt cohomology of projective space (Proposition 3.15), the computations for Witt line bundles (Section 4.1), and the detailed n = 1 generation algorithm in the proof of Proposition 8.2. The strategy of reducing n > 1 to n = 1 via Verschiebung compatibility is attractive, and the Φ-twisted coefficient convention in (5.52) appears to be designed precisely to make such a reduction work. However, I do not think the reduction is justified as written: the Verschiebung compatibility stated and proved in the paper covers only the pure divided-power operators, whereas the n = 1 algorithm uses coefficient-carrying operators; and the proof that N_{n,j} is a P_j-module relies on an assertion about the P_j-action on the model (8.5) that is not established.

major comments (2)
  1. [§8, proof of Proposition 8.2; §5.1, §5.2] The reduction of Proposition 8.2 to the case n = 1 is not justified as written. The proof says: "since operators in D_n are compatible with Verschiebung maps (by the (5.33)), we need to prove the proposition for n = 1." However, (5.33) is stated and proved only for the pure divided-power operators ∂[r]_{j,n+1} and for their products ∂[r]_{n+1} (via the concluding remark of Proposition 5.18). The n = 1 generation algorithm in Steps 1–3 uses operators of the form T^{p−1}_{ax} y^[p]_{xa}, i.e., a monomial coefficient followed by a divided-power derivative, and by Example 7.21 even the y_{il} themselves carry monomial coefficients for i < l (y_{ij} = −z^2 ∂). For a coefficient-carrying operator, the Verschiebung compatibility is not a formal consequence of (5.33): with f = V_l(g) and the naive coefficient action, (a·∂[p])(V_l g) = V_l(Φ^l(a)·∂[p]_1 g), where the coefficient is twisted by Frobenius, rather than V_l(a·∂[p]_1 g). If the Φ^{vp(r)−n}-twisted coefficient convention of (5.52) is meant to remedy this, then the needed identity V∘(a•∂[r]) = (a•∂[r])∘V for level-constant coefficients (Teichmüller coefficients, in particular), and for the products of such operators appearing in the lifts of y^[p], must be stated and proved; no such statement appears in Section 5. Moreover, when the lift [∂] of a global operator is written as Σ [b_r] ∂[r] in Proposition 7.15, the paper does not explicitly specify that the multiplication is taken in the sense of (5.52), so the compatibility cannot even be checked directly from the text. Since this compatibility is exactly what allows the n > 1 statement to follow from the n = 1 algorithm, the proof of the main theorem is incomplete as it stands. I expect the gap to be repairable — with the convention (5.52) the identity above is a natural and plausible statement — but it must be added to Section 5 and cited in Section 8.
  2. [§8, equation (8.10) and the definition of N_{n,j}] The proof that N_{n,j} is a P_j-module asserts, in (8.10), that for g ∈ P_j the image g.z^m of a monomial with m ∈ I_j is a finite k-linear combination of monomials z^{m'} with m' ∈ I_j. This does not match the natural substitution action for generic g ∈ P_j when d−j ≥ 2. For example, take d = 3, j = 0 and the element z_0^3 z_1^{−1} z_2^{−1} z_3^{−1} of N_{1,0}. For the unipotent g = I + E_{3,2} ∈ P_0, the substitution action sends this element to x_0^3 x_1^{−1} x_2^{−1}(x_3 − x_2)^{−1} = z_0^3 z_1^{−1} z_2^{−1} z_3^{−1} + z_0^3 z_1^{−1} z_3^{−2} + …, where the second term has exponent 0 in z_2 (so it is not even in I) and the subsequent terms have unbounded exponents. Thus either the P_j-action on the model of (8.5) is not the naive coordinate-substitution action — in which case (8.5) must be proved to be P_j-equivariant and the computation in (8.10) must be replaced by a computation in the correct model — or N_{1,j} is not stable under the ambient P_j-action, and the assertion that N_{n,j} is a P_j-module is unsupported. The statement of Proposition 8.2 only requires the existence of some finitely generated W_n(k)[P_j]-module, and since P_j(k) is finite the W_n(k)[P_j]-span of a finite set is finite, so this may be repairable; but the argument as written does not establish the claim.
minor comments (3)
  1. [Abstract; Lemma 4.2; Remark 5.22] There are several typos and undefined symbols: "half sp ace" in the abstract; "morhpism" in the statement of Lemma 4.2; and in Remark 5.22 the symbol "fDA" appears without definition (likely a formatting artifact for \widehat{D}_A).
  2. [§5.2, equation (5.52); §8] The coefficients a in (5.52) are taken from W(A) in Lemma 5.19, but Definition 5.21 and the argument in Section 8 use coefficients that are Teichmüller lifts of rational functions on coordinate charts (e.g., [z^{p−1}]). The paper should state explicitly that these coefficients are regarded as elements of W(A) and that the product in (7.23) is the •-product of (5.52); this is needed for the action to be well defined at all levels.
  3. [§6.5] Proposition 6.10 is stated in the introduction before the modules nSt_j and nυ^G_{P(d+1−j,1^j)} are introduced in Section 6.4; moving the relevant definitions earlier or adding forward references would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation reduces the n>1 case to n=1 via operator compatibilities proved in the same paper and an explicit n=1 generation algorithm.

full rationale

The central result, Proposition 8.2, is an existence and generation statement proved by construction. The submodule N_{n,j} is explicitly defined as k[z]^≤_n(I_j;1), and its P_j-stability is proved directly using Witt-vector identities. The reduction to the n=1 case is announced as a consequence of the Verschiebung compatibility (5.33) proved in Section 5 for divided-power operators; even if that reduction leaves some justification to be desired for coefficient-carrying operators such as T^{p-1}y^[p], this is a potential proof gap about compatibility, not a circular use of the theorem being proved. The n=1 case is not merely imported from the cited works of Orlik or Kuschkowitz: the proof of Proposition 8.2 contains an explicit multi-step algorithm showing that the operators y_{ab}, ..., y^{p-1}_{ab}, y^[p]_{ab} and T^{p-1}_{ax}y^[p]_{xa} generate all monomials in I. The citations to [Orl24] and [Kus16] appear as comparisons for n=1, and the statement of the proposition itself is not derived from them. The generalized Steinberg modules over W_n(k) are obtained by tensoring standard integral Steinberg modules with W_n(k), which is a routine construction rather than a disguised form of the target result. The spectral sequence in Proposition 6.10 is set up independently from Orlik's resolution and does not presuppose the surjectivity in Proposition 8.2. No equation is shown to be equivalent to its own input by construction, and no fitted parameter is relabeled as a prediction. The main mathematical weakness identified by the skeptic is a missing verification of Verschiebung compatibility for coefficient-carrying operators, which concerns soundness of the induction step rather than circularity. Accordingly the circularity score is 0.

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

Pure mathematics: no fitted constants. The paper's central claim rests on standard background (the de Rham-Witt complex of Illusie, the Cartier operator, smooth lifting theory) plus two external theorems used as benchmarks: the n=1 case ([Orl24], [Kus16]) and the freeness of generalized Steinberg modules ([SS91]). One new object is introduced: the sheaf D_{W_n(X)} of Witt differential operators, corroborated by Dodd's concurrent independent construction.

assumptions (5)
  • standard math Existence, uniqueness, and universal property of the de Rham-Witt complex (Illusie [Ill79])
    Sections 3.1 and 3.2 build on the Hodge-Witt modules W_nΩ^i without reproving their existence; the paper follows [Ill79] and [LZ04].
  • domain assumption The n=1 result: local cohomology of P^d with O-coefficients is generated as a D-module by a finitely generated P_j-submodule ([Orl24, Prop 3.11], [Kus16, Prop 2.5.1.3])
    Prop 8.2 reduces the n>1 statement to this known n=1 case; it is cited, not reproved in this paper, and provides the base of the induction through the Verschiebung compatibility.
  • standard math Smooth k-schemes admit compatible smooth lifts to W_n(k) (Corollary B.8, via EGA IV and SGA1 formal smoothness)
    Liftability is needed to define Witt differential operators in Section 5; the paper gives a proof sketch citing [SGA1, Theorem 6.3] for the gluing step.
  • standard math The inverse Cartier operator C^{-1} is injective (Katz [Kat70, Theorem 7.2])
    Used in the proof of Proposition 3.12 and in the claim about sums of exact forms a_i^{p^{n-i-1}} da_i; injectivity is loaded in from Katz, not proved.
  • domain assumption Generalized Steinberg modules v^G_{P_I}(Z) are finitely generated free Z-modules ([SS91, Proposition 6.13])
    Proposition 6.6 reproves this with a sketch that omits 'a bit of work' (exactness of (6.21)); full rigor therefore relies on the cited result, which is external to the paper.
invented entities (1)
  • Sheaf of Witt differential operators D_{W_n(X)} independent evidence
    purpose: A W_n(k)-algebra acting on W_n(O_X) and on local cohomology groups; it provides the operator calculus needed to state and prove the finite-generation theorem (Prop 8.2).
    Dodd [Dod24] independently and concurrently constructed an analogous theory of Witt differential operators (as disclosed in the introduction), giving independent corroboration that this is a well-posed object; there is no experimental or falsifiable handle since this is pure mathematics.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Hodge--Witt cohomology of Drinfeld's upper half space over a finite field." pith.science (2026). https://pith.science/paper/PFWFT7JW

@misc{pith2026250606246,
  author       = {Pith},
  title        = {Pith review of: On Hodge--Witt cohomology of Drinfeld's upper half space over a finite field},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PFWFT7JW}},
  note         = {Machine review of arXiv:2506.06246}
}
abstract

In this dissertation we study the Hodge-Witt cohomology of the $d$-dimensional Drinfeld's upper half space $\mathcal{X} \subset \mathbb{P}_k^d$ over a finite field $k$. We consider the natural action of the $k$-rational points $G$ of the linear group $\mathrm{GL}_{d+1}$ on $H^0(\mathcal{X},\mathrm{W}_n\Omega_{\mathbb{P}_k^d}^i)$, making them natural $\mathrm{W}_n(k)[G]$-modules. To study these representations, we introduce a theory of differential operators over the Witt vectors for smooth $k$-schemes $X$, through a quasi-coherent sheaf of $\mathrm{W}_n(k)$-algebras $\mathcal{D}_{\mathrm{W}_n(X)}$. We apply this theory to equip suitable local cohomology groups arising from $H^0(\mathcal{X},\mathrm{W}_n\mathcal{O}_{\mathbb{P}_k^d})$ with a $\Gamma(\mathbb{P}_k^d,\mathcal{D}_{\mathrm{W}_n(\mathbb{P}_k^d)})$-module structure. Those local cohomology groups are naturally modules over some parabolic subgroup of $\mathrm{GL}_{d+1}(k)$, and we prove that they are finitely generated $\Gamma(\mathbb{P}_k^d,\mathcal{D}_{\mathrm{W}_n(\mathbb{P}_k^d)})$-modules.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Localisation de g-modules

    [BB81] Alexandre Be ˘ilinson and Joseph Bernstein. “Localisation de g-modules”. In: C. R. Acad. Sci. Paris S´ er. I Math.292.1 (1981), pp. 15–18. [BER12] Pierre Berthelot, H´ el` ene Esnault, and Kay R¨ ulling. “Rational points over finite fields for regular models of algebraic varieties of Hodge type ≥ 1”. In: Ann. of Math. (2) 176.1 (2012), pp. 413–

  2. [3]

    Soci´ et´ e Math´ ematique de France, Paris, 2003, pp

    Documents Math´ ematiques (Paris) [Mathematical Documents (Paris)]. Soci´ et´ e Math´ ematique de France, Paris, 2003, pp. xviii+327. [SGA2] Alexander Grothendieck. Cohomologie locale des faisceaux coh´ erents et th´ eor` emes de Lefschetz locaux et globaux (SGA 2). Vol

  3. [13]

    Differential Forms on General Commutative Algebras

    [Rin63] George S. Rinehart. “Differential Forms on General Commutative Algebras”. In: Transactions of the American Mathematical Society 108.2 (1963), pp. 195–222. [Rom21] Anna Romanov. “Four examples of Beilinson-Bernstein localization”. In: Lie groups, number theory, and vertex algebras . Vol

  4. [32]

    On the multiplicative properties of the de Rham-Witt complex. II

    Publications Math´ ematiques. Institute des Hautes´Etudes Scientifiques., 1964-1967. [Eke85] Torsten Ekedahl. “On the multiplicative properties of the de Rham-Witt complex. II.” In: Arkiv f¨ or Matematik23.1-2 (1985), pp. 53 –102. [GK07] Elmar Grosse-Kl¨ onne. “On the crystalline cohomology of Deligne-Lusztig varieties”. In: Finite Fields Appl. 13.4 (2007...

  5. [34]

    Springer-Verlag, Berlin, 1994, pp

    Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)]. Springer-Verlag, Berlin, 1994, pp. xiv+292. [Mil13] James S. Milne. Lie Algebras, Algebraic Groups, and Lie Groups

  6. [50]

    Weierstrass points on schemes

    [TL95] Anders Thorup and Dan Laksov. “Weierstrass points on schemes.” In: Journal f¨ ur die reine und angewandte Mathematik 1995.460 (1995), pp. 127–164. [Tra98] William Nathaniel Traves. Differential operators and Nakai’s conjecture. Thesis (Ph.D.)–University of Toronto (Canada). ProQuest LLC, Ann Arbor, MI, 1998, p. 112

  7. [52]

    The big de Rham-Witt complex

    Graduate Texts in Mathematics. Springer- Verlag, New York-Heidelberg, 1977, pp. xvi+496. [Hes15] Lars Hesselholt. “The big de Rham-Witt complex”. In: Acta Math. 214.1 (2015), pp. 135–207. [HTT08] Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tanisaki. D-modules, perverse sheaves, and representation theory. Japanese. Vol

  8. [63]

    Equivariant Vector Bundles and Rigid Cohomology on Drinfeld’s Upper Half Space over a Finite Field

    Soci´ et´ e math´ ematique de France, 1979, pp. 113–163. [Kus16] Mark Kuschkowitz. “Equivariant Vector Bundles and Rigid Cohomology on Drinfeld’s Upper Half Space over a Finite Field”. In: PhD Dissertation, Wuppertal (2016). [LZ04] Andreas Langer and Thomas Zink. “De Rham–Witt cohomology for a proper and smooth morphism”. In: Journal of the Institute of M...

Show all 20 references
  1. [65]

    High order derivations I (Dedicated to Professor Keizo Asano on his 60th birthday)

    Student Mathematical Library. From a classical-experimental mathematician’s point of view. American Mathematical Society, Provi- dence, RI, 2012, pp. xxiv+504. [Nak70] Yoshikazu Nakai. “High order derivations I (Dedicated to Professor Keizo Asano on his 60th birthday)”. In: Os...

  2. [66]

    Vanishing theorems of Kodaira type for Witt canonical sheaves

    University Lecture Series. Notes prepared by John Faulkner and Robert Wilson, With a foreword by Robert R. Snapp. American Mathematical Society, Providence, RI, 2016, pp. xi+160. [Tan22] Hiromu Tanaka. “Vanishing theorems of Kodaira type for Witt canonical sheaves”. In: Select...

  3. [107]

    Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin

    Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2003, pp. xiv+576. 74 REFERENCES [Kat70] Nicholas M Katz. “Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin”. In: Publications math´ ematiques de l’IHES39 ...

  4. [236]

    Complexe de de Rham-Witt et cohomologie cristalline

    Progress in Mathematics. Birkh¨ auser Boston Inc. Boston MA, 2008, pp. xii+407. [Ill79] Luc Illusie. “Complexe de de Rham-Witt et cohomologie cristalline”. fr. In: Annales scien- tifiques de l’ ´Ecole Normale Sup´ erieure4e s´ erie, 12.4 (1979), pp. 501–661. [IR83] Luc Illusie...

  5. [278]

    2002, pp

    Cohomologies p-adiques et applications arithm´ etiques, I. 2002, pp. 51–125. [Sta] The Stacks project authors. The Stacks project . https://stacks.math.columbia.edu. [Ste16] Robert Steinberg. Lectures on Chevalley groups . corrected. Vol

  6. [508]

    On the perfection of schemes

    [BGA18] Alessandra Bertapelle and Cristian D. Gonz´ alez-Avil´ es. “On the perfection of schemes”. In: Expo. Math. 36.2 (2018), pp. 197–220. 27Note that this lift is affine, since any scheme admitting a surjective integral map from an affine scheme is affine (c.f. [Sta, Tag 05...

  7. [656]

    Coverings of p-adic symmetric domains

    [Dri76] V. G. Drinfeld. “Coverings of p-adic symmetric domains”. In: Funkcional. Anal. i Priloˇ zen. 10.2 (1976), pp. 29–40. issn: 0374-1990. [EGAIV] Alexander Grothendieck and Jean Dieudonn´ e. ´El´ ements de g´ eom´ etrie alg´ ebrique IV. Vol. 20, 24, 28,

  8. [768]

    Contemp. Math. Amer. Math. Soc., [Providence], RI, 2021, pp. 65–85. [SGA1] Revˆ etements ´ etales et groupe fondamental (SGA 1). Vol

  9. [1220]

    The global homological dimension of the ring of differential operators on a non- singular variety over a field of positive characteristic

    Lecture Notes in Math. Springer, Berlin, 1986, pp. 157–177. [Smi87] S.P Smith. “The global homological dimension of the ring of differential operators on a non- singular variety over a field of positive characteristic”. In: Journal of Algebra 107.1 (1987), pp. 98–105. REFERENC...

  10. [1578]

    Revisiting the de Rham–Witt complex

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1994, pp. iv+139. [BLM21] Bhargav Bhatt, Jacob Lurie, and Akhil Mathew. “Revisiting the de Rham–Witt complex”. In: Ast´ erisque424 (2021), pp. viii+165. [Bor08] James Borger. “The basic geometry of Witt vectors, I: The aff...

  11. [1962]

    Differential operators on the affine and projective lines in characteristic p >0

    North- Holland Publishing Co., Amsterdam, 1968, pp. vii+287. [Smi86] S. P. Smith. “Differential operators on the affine and projective lines in characteristic p >0”. In: S´ eminaire d’alg` ebre Paul Dubreil et Marie-Paule Malliavin, 37` eme ann´ ee (Paris, 1985). Vol

  12. [2024]

    Elliptic modules

    arXiv: 2308 . 03720 [math.AG]. url: https://arxiv.org/abs/2308.03720. [Dri74] V. G. Drinfeld. “Elliptic modules”. In: Mat. Sb. (N.S.) 94(136) (1974), pp. 594–627,

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.