Related papers: On the p-typical de Rham-Witt complex over W(k)
Let $X$ be a smooth projective curve over a field $k$ with an action of a finite group $G$. A well-known result of Chevalley and Weil describes the $k[G]$-module structure of cohomologies of $X$ in the case when the characteristic of $k$…
We discuss some aspects of the deformed W-algebras W_{q,t}[g]. In particular, we derive an explicit formula for the Kac determinant, and discuss the center when t^2 is a primitive k-th root of unity. The relation of the structure of…
Since the results here have been superseded by another paper cowritten by the author, this article is available for reference purposes only. Fix a Dedekind domain $\mathcal{O}$ and a non-zero prime $\mathfrak{p}$ in it along with a…
Let $G$ be a cyclic $p$-group for some prime number $p>0$ and let $R$ be a complete discrete valuation ring in mixed characteristic. In this paper, we present a generalization of two results that characterize $RG$-permutation modules,…
We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain…
This paper introduces and systematically studies Weyl-type, Witt-type, and non-associative algebras defined over expolynomial rings -- commutative rings generated by exponential functions $e^{\alpha x}$, exponentials of exponentials $e^{\pm…
Let k be a perfect field of characteristic p and let $W_n(k)$ denote the p-typical Witt vectors of length n. For example, $W_n(\mathbb{F}_p)=\mathbb{Z}/p^n$. We study the algebraic K-theory of $W_n(k)$, and prove that $K(W_n(k))$ satisfies…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential…
We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued…
For an additive Waldhausen category linear over a ring $k$, the corresponding $K$-theory spectrum is a module spectrum over the $K$-theory spectrum of $k$. Thus if $k$ is a finite field of characteristic $p$, then after localization at $p$,…
Let $K$ be a complete discretely valued field whose residue field has characteristic different from $2$. Let $(D,\sigma)$ be a $K-$division algebra with involution of the first kind, and $h$ be a $K-$anisotropic $\epsilon$-hermitian form…
We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra…
We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…
The rings of $p$-typical Witt vectors are interpreted as spaces of vanishing cycles for some perverse sheaves over a disc. This allows to "localize"\ an isomorphism emerging in Drinfeld's theory of prismatization [Dr], Prop. 3.5.1, namely…
Let $\mathcal{W}$ be a complete local commutative Noetherian ring with residue field $k$ of positive characteristic $p$. We study the inverse problem for the versal deformation rings $R_{\mathcal{W}}(\Gamma,V)$ relative to $\mathcal{W}$ of…
Let R be a perfect F_p-algebra, equipped with the trivial norm. Let W(R) be the ring of p-typical Witt vectors over R, equipped with the p-adic norm. At the level of nonarchimedean analytic spaces (in the sense of Berkovich), we demonstrate…
We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…
We develop a method to compute the Ekedahl-Oort type of a curve C over a field k of characteristic p (which is the isomorphism type of the p-kernel group scheme J[p], where J is the Jacobian of C). Part of our method is general, in that we…
We characterize two objects by universal property: the derived de Rham complex and Hochschild homology together with its Hochschild-Kostant-Rosenberg (HKR) filtration. This involves endowing these objects with extra structure, built on…