Related papers: On the p-typical de Rham-Witt complex over W(k)
We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes…
We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…
We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an…
Let $F$ be a field of characteristic $2$ and let $K/F$ be a purely inseparable extension of exponent $1$. We show that the extension is excellent for quadratic forms. Using the excellence we recover and extend results by Aravire and…
We construct the crystalline fundamental group of a semi-stable variety over a field of positive characteristic using the log De Rham-Witt complex and Navarro-Aznar's derived Thom-Whitney functor. This approach gives a relatively direct…
We prove $p$-complete arc-descent results for finite projective modules and perfect complexes over integral perfectoid rings. Using our results, we clarify a reduction argument in the proof of the classification of $p$-divisible groups over…
A short proof of the "Rigidity theorem" using the sheaf theoretic model for Hilbert modules over polynomial rings is given. The joint kernel for a large class of submodules is described. The completion $[\mathcal I]$ of a homogeneous…
Given an $F$-finite regular scheme $X$ of positive characteristic and a simple normal crossing divisor $E$ on $X$, we introduce a filtration on the de Rham-Witt complex $W_m\Omega^\bullet_{X\setminus E}$. When $X$ is the spectrum of a…
Let O be a complete discrete valuation ring of mixed characteristic and with finite residue field k. We study a natural morphism between the Greenberg algebra of O and the special fiber of the scheme of ramified Witt vectors over O. It is a…
Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…
We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism…
Let $V$ be a finite dimensional complex vector space and $W\subseteq \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. We prove that $V^{\reg}$ is a $K(\pi,1)$ space. This…
In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable…
Let R be a discrete valuation ring of unequal characteristic which contains a primitive p^2-th root of unity. If K is the fraction field of R, it is well known that (Z/p^2 Z)_K is isomorphic to \mu_{p^2,K}. We prove that any finite and flat…
Let $k$ be a perfect field of characteristic $p>2$, $R := W(k)[\![t_1, \dots, t_d]\!]$ be the power series ring over the Witt vectors, and $X$ be a smooth proper scheme over $R$. The main goal of this article is to extend classical…
Let $k$ be a perfect field of characteristic $p \geq 3$. We classify $p$-divisible groups over regular local rings of the form $W(k)[[t_1,...,t_r,u]]/(u^e+pb_{e-1}u^{e-1}+...+pb_1u+pb_0)$, where $b_0,...,b_{e-1}\in W(k)[[t_1,...,t_r]]$ and…
Let $ L((T^{-1}))$ be the space of (inverse) Laurent serieswith coefficients in some field $L$. It has a standard degree map and the induced topology. With its usual addition and a new product on this space which is continuous and preserves…
For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…
Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call…
Let H be a graded Hecke algebra with complex deformation parameters and Weyl group W. We show that the Hochschild, cyclic and periodic cyclic homologies of H are all independent of the parameters, and compute them explicitly. We use this to…