Related papers: On some Rings of differentiable type

Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A \to B^G$ be an $R$-algebra map. Assume that $A$ is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes…

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct…

For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…

We study the notion of non-commumative higher dimensional local fields. A simplest example is the ring P of formal pseudo- differential operators. As an application we extend the KP hierarchy to the space $P^n$.

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of…

Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…

Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We…

Let $F$ be a field of characteristic $p>0$ and let $\Omega^n(F)$ be the $F$-vector space of $n$-differential forms over $F$. In this work we will study the behaviour of $\Omega^n(F)$ under iterated function field extensions of $p$-forms. We…

We characterize some types of FIP and FCP ring extensions $R \subset S$, where $S$ is not an integral domain and $R$ may not be an integral domain. In this paper S is mostly a product of rings related to R and also the idealization of an…

We determine necessary and sufficient conditions on the ring of differential operators of a finite purely inseparable field extension of positive characteristic for determining whether the extension is modular.

Let $F$ be a field, $p$ a prime number, $X$ an indeterminate over $F$, $D_n =F[X^{\frac{1}{p^n}}, X^{-\frac{1}{p^n}}]$ for each integer $n \geq 0$ and $D = \bigcup\limits_{n\in\mathbb{N}_0}D_n.$ Then $D$ is a one-dimensional B{\'e}zout…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…

Over a one-dimensional Gorenstein local domain $R$, let $E$ be the endomorphism ring of the maximal of $R$, viewed as a subring of the integral closure $\overline R$. If there exist finitely generated $R$-modules $M$ and $N$, neither of…

Let $\mathcal{G}=\mathrm{Spec}(A)$ be a finite and flat group scheme over the ring of algebraic integers $R$ of a number field $K$ and suppose that the generic fiber of $\mathcal{G}$ is the constant group scheme over $K$ for a finite group…

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…

It is shown that an elliptic scattering operator $A$ on a compact manifold with boundary with coefficients in the bounded operators of a bundle of Banach spaces of class (HT) and Pisier's property $(\alpha)$ has maximal regularity (up to a…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $\mathfrak{a}$ be a proper ideal of $R$ and $M$ be an $R$-complex in $\mathrm{D}(R)$. We prove that if $M\in\mathrm{D}^f_\sqsubset(R)$ (respectively,…