Related papers: Associative Local Function Rings
Let $I$ be an ideal of a local ring $(R,\mathfrak m)$ with $d = \dim R.$ For the local cohomology module $H^i_I(R)$ it is a well-known fact that it vanishes for $i > d$ and is an Artinian $R$-module for $i = d.$ In the case that the…
Using Grothendieck's "functor of points" approach to algebraic geometry, we define a new infinite-dimensional algebro-geometric flag space as a $k$-functor (for $k$ a ring) which maps a $k$-algebra $R$ to the set of certain well-ordered…
We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let…
Given an $E_1$-ring $A$ and a class $a \in \pi_{mk}(A)$ satisfying a suitable hypothesis, we define a map of $E_1$-rings $A\to A(\sqrt[m]{a})$ realizing the adjunction of an $m$th root of $a$. We define a form of logarithmic THH for…
Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By…
Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. We show in this paper that, for an integer $t$, if the local cohomology module $H^{i}_\mathfrak{a}(M)$ with respect to an ideal $\frak a$ is finitely…
For a given algebraically closed field $k$ of characteristic $p>0$ we consider the set ${\mathcal C}_k$, of graded isomorphism classes of {\em standard graded pairs} $(R, I)$, where $R$ is a standard graded ring over the field and $I$ is a…
The 2-adic ring $C^*$-algebra $\mathcal{Q}_2$ is the universal $C^*$-algebra generated by a unitary and an isometry satisfying certain relations. It contains a canonical copy of the Cuntz algebra $\mathcal{O}_2$. We show that…
One says that a ring homomorphism $R \rightarrow S$ is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element $f\in S$, there is a unique smallest ideal of $R$ whose extension to $S$…
Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are…
Let $A$ be an $n$-dimensional algebra over a field $k$ and $a(A)$ its quantum symmetry semigroup. We prove that the automorphisms group ${\rm Aut}_{\rm Alg} (A)$ of $A$ is isomorphic to the group $U \bigl( G(a (A)^{\rm o} ) \bigl)$ of all…
Let M be an orientable topological manifold of dimension m, m greater or equal to 5, with fundamental group $\Gamma$. Let S(M) be the topological structure set, endowed with the group structure induced by its identification with Ranicki's…
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset…
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…
If $A$ is an algebra with finite right global dimension, then for any automorphism $\alpha$ and $\alpha$-derivation $\delta$ the right global dimension of $A[t; \alpha, \delta]$ satisfies \[ \text{rgld} \, A \le \text{rgld} \, A[t; \alpha,…
Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of…
We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with…
We consider the adjoint representation of a Hopf algebra $H$ focusing on the locally finite part, $H_{\text{adfin}}$, defined as the sum of all finite-dimensional subrepresentations. For virtually cocommutative $H$ (i.e., $H$ is finitely…
For every algebraically closed field $k$ and natural number $r$, we construct several algebraic varieties (over $k$) whose birational automorphism group contains every finite nilpotent group of class at most $2$, rank at most $r$ whose…
If O is a reduced operad in symmetric spectra, an O-algebra I can be viewed as analogous to the augmentation ideal of an augmented algebra. Implicit in the literature on Topological Andre-Quillen homology is that such an I admits a…