Related papers: Formalizing the Ring of Witt Vectors

This paper is lead by the question whether there is a nice structure theory of finitely generated modules over the Iwasawa algebra, i.e. the completed group algebra, R of a p-adic analytic group G. For G without any p-torsion element we…

Let $p$ be a prime, $W$ the ring of Witt vectors of a perfect field $k$ of characteristic $p$ and $\zeta$ a primitive $p$th root of unity. We introduce a new notion of calculus over $W$ that we call absolute calculus. It may be seen as a…

As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the…

We consider polynomials with integer coefficients and discuss their factorization properties in Z[[x]], the ring of formal power series over Z. We treat polynomials of arbitrary degree and give sufficient conditions for their reducibility…

The aim of this paper is to give an algebraic characterization of the rings $C(X,\mathbb{Q}_p)$ of all continuous $\mathbb{Q}_p$-valued functions on a compact space $X$. The characterization is similar to that of M. Stone from 1940 for the…

We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a normal crossings divisor. We show that there are only finitely many log crystalline $\mathbb…

Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension over $W(k)[\frac{1}{p}]$ of ramification degree $e$. Let $R_0$ be a relative base ring over $W(k)\langle t_1^{\pm 1}, \ldots, t_m^{\pm…

For $(R, R^{+})$ an analytic perfectoid ring in char $p$, let $A_{\text{inf}}(R^{+})$ be the ring of Witt vectors with the induced topology from $(R, R^{+})$. We prove that $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ is sheafy…

In [1], finite associative rings wih identity and such that the set of all zero-divisors form and ideal M, called the Jacobson Radical, of cube zero and square non-zero, were constructed for all the characteristics. These rings are…

We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a simple normal crossings divisor and fix positive integers $r$ and $f$. We show that the set of…

We define a p-adic character to be a continuous homomorphism from 1 + t\Fq[[t]] to \Zp^*. We use the ring of big Witt vectors over Fq to exhibit a bijection between p-adic characters and sequences (c_i) of elements in Zq, indexed by natural…

The main scope of this short paper is to provide a modification of the axioms given by Messmer and Wood for the theory of separably closed fields of positive characteristic and finite imperfectness degree. The original axioms failed to meet…

$p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic…

Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number…

We define the resultant of two power series with coefficients in the ring of integers of a $p$-adic field. In order to do this, we prove a universal version of the Weierstrass preparation theorem.

For a discrete valuation ring $R$ with quotient field $K$ and residue field $F$ both of characteristic not 2, we study low-dimensional quadratic forms with Witt class in the $n$-th power of the fundamental ideal of $F$ resp. $K$ and point…

We study some properties and perspectives of the Hurwitz series ring $H_R[[t]]$, for a commutative ring with identity $R$. Specifically, we provide a closed form for the invertible elements by means of the complete ordinary Bell…

The present paper studies Hecke rings derived by the automorphism groups of certain algebras $L_p$ over the ring of $p$-adic integers. Our previous work considered the case where $L_p$ is the Heisenberg Lie algebra (of dimension 3) over the…