Related papers: The Bloch-Ogus Theorem over DVR

Let R be an unramified regular local ring of mixed characteristic, D an Azumaya R-algebra, K the fraction field of R, Nrd the reduced norm homomorphism for the Azumaya R-algebra D. Let a be a unit in R. It is proved the following: suppose…

Let k be a field of characteristic zero, K an algebraic function field over k, and V a k-valuation ring of K. Zariski's theorem of local uniformization shows that there exist algebraic regular local rings R_i with quotient field K which are…

In this work, using a new geometrical approach we study to the existence of the fixed-point of mappings that independence of the smoothness, and also of their single-values or multi-values. This work proved the theorems that generalize in…

We define a generalization of the Brauer group $\operatorname{H}_\mathrm{B}^{n}(X)$ for an equi-dimensional scheme $X$ and $n>0$. In the case where $X$ is the spectrum of a local ring of a smooth algebra over a discrete valuation ring,…

Let D be a DVR of mixed characteristic. Let G be a reductive D-group scheme. Then the Grothendieck-Serre conjecture is true for the D-group scheme G and any geometrically regular local D-algebra R. Also we prove a version of…

We obtain Fuchs decomposition theorem for regular singular differential modules over a large class of differential rings. We provide a definition of regularity inspired by differential Galois theory and we deduce the classical equivalence…

We prove the exactness of the Nisnevich Gersten complex over a base under some conditions. We also obtain, as a consequence, a Nisnevich analogue of the Bloch-Ogus theorem for \'{e}tale cohomology in this setting.

This is a continuation of a previous paper by the same authors. In the former paper, it was proved that in order to obtain local uniformization for valuations centered on local domains, it is enough to prove it for rank one valuations. In…

We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the…

We study Ore localisation of differential graded algebras. Further we define dg-prime rings, dg-semiprime rings, and study the dg-nil radical of dg-rings. Then, we define dg-essential submodules, dg-uniform dimension, and apply all this to…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.

Let $\Delta+V$ be the discrete Schr\"odinger operator, where $\Delta$ is the discrete Laplacian on $\mathbb{Z}^d$ and potential $V:\mathbb{Z}^d\to \mathbb{C}$ is $\Gamma$-periodic with $\Gamma=q_1\mathbb{Z}\oplus q_2…

We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the…

We generalize the classical Blaschke Rolling Theorem to convex domains in Riemannian manifolds of bounded sectional curvature and arbitrary dimension. Our results are sharp and, in this sharp form, are new even in the model spaces of…

We prove R = T theorems for certain reducible residual Galois representations. We answer in the positive a question of Gross and Lubin on whether certain Hecke algebras T are discrete valuation rings. In order to prove these results we…

In this article we extend the Bloch-Wigner exact sequence over local rings, where their residue fields have more than nine elements. Moreover, we prove Van der Kallen's theorem on the presentation of the second $K$-group of local rings such…

The Rolling Ball Theorem asserts that given a convex body K in Euclidean space and having a smooth surface bd(K) with all principal curvatures not exceeding c>0 at all boundary points, K necessarily has the property that to each boundary…

The purpose of this paper is to give a proof of the real part of the Riemann-Roch-Grothendieck theorem for complex flat vector bundles at the differential form level in the even dimensional fiber case. The proof is, roughly speaking, an…

We introduce a new class of commutative noetherian DG-rings which generalizes the class of regular local rings. These are defined to be local DG-rings $(A,\bar{\mathfrak{m}})$ such that the maximal ideal $\bar{\mathfrak{m}} \subseteq…