Related papers: Formalizing the Ring of Witt Vectors

One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and…

We present a new framework for a broad class of affine Hecke algebra modules, and show that such modules arise in a number of settings involving representations of $p$-adic groups and $R$-matrices for quantum groups. Instances of such…

The mathematical basis of p-adic Higgs mechanism discussed in papers [email protected] 9410058-62 is considered in this paper. The basic properties of p-adic numbers, of their algebraic extensions and the so called canonical…

We construct inductively an equivariant compactification of the algebraic group ${\mathbb W}_n$ of Witt vectors of finite length over a field of characteristic $p>0$. We obtain smooth projective rational varieties $\bar{\mathbb W}_n$,…

We study some properties of quadratic forms with values in a field whose underlying vector spaces are endowed with the structure of right vector spaces over a division ring extension of that field. Some generalized notions of isotropy,…

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with…

We formalize the Wu-Ritt characteristic set method for the triangular decomposition of polynomial systems in the Lean 4 theorem prover. Our development includes the core algebraic notions of the method, such as polynomial initials, orders,…

Let (G, \mu) be a pair of a reductive group G over the p-adic integers and a minuscule cocharacter {\mu} of G defined over an unramified extension. We introduce and study "(G, \mu)-displays" which generalize Zink's Witt vector displays. We…

The positive half of the Witt algebra is the Lie algebra spanned by vector fields x^{m+1} d/dx acting as differentiations on the polynomial algebra Q[x] upon which the Soergel bimodule construction of triply graded link homology is based.…

Let $\mathfrak q$ be a Lie algebra over a field $\mathbb K$ and $p,\tilde p\in\mathbb K[t]$ two different normalised polynomials of degree at least 2. As vector spaces both quotient Lie algebras $\mathfrak q[t]/(p)$ and $\mathfrak…

Let G be the six dimensional linear algebraic k-group SL_2(W_2), where W_2 is the ring of Witt vectors of length two over the algebraically closed field k of characteristic p>2. Then the minimal dimension of a faithful rational…

We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a…

Let $X$ be an algebraic variety over the field of real numbers $\mathbb{R}$. We use the signature of a quadratic form to produce "higher" global signatures relating the derived Witt groups of $X$ to the singular cohomology of the real…

We describe a completely algebraic axiom system for intertwining operators of vertex algebra modules, using algebraic flat connections, thus formulating the concept of a {\em tree algebra}. Using the Riemann-Hilbert correspondence, we…

We study the constructible Witt theory of \'etale sheaves of $\Lambda$-modules on a scheme $X$ for coefficient rings $\Lambda$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our…

Structural properties of unitary groups over local, not necessarily commutative, rings are developed, with applications to the computation of the orders of these groups (when finite) and to the degrees of the irreducible constituents of the…

In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the…

This paper investigates the Witt groups of triangulated categories of sheaves (of modules over a ring R in which 2 is invertible) equipped with Poincare-Verdier duality. We consider two main cases, that of perfect complexes of sheaves on…

This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the…