Related papers: Dagger closure in regular rings containing a field

A ring with an Auslander dualizing complex is a generalization of an Auslander-Gorenstein ring. We show that many results which hold for Auslander-Gorenstein rings also hold in the more general setting. On the other hand we give criteria…

In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

For a big class of smooth dagger spaces --- dagger spaces are 'rigid spaces with overconvergent structure sheaf' --- we prove finite dimensionality of de Rham cohomology. This is enough to obtain finiteness of Berthelot's rigid cohomology…

Let $A$ be a unital separable simple $C^*$-algebra with tracial rank zero and let $x, \, y\in A$ be two normal elements. We show that $x$ is in the closure of the convex full of the unitary obit of $y$ if and only if there exists a sequence…

We prove a case of the Grothendieck-Serre conjecture: let $R$ be a Noetherian semilocal flat algebra over a Dedekind domain such that all fibers of $R$ are geometrically regular; let $G$ be a simply-connected reductive $R$-group scheme…

Let $V$ be a complete discrete valuation ring, and let $G$ be either a word-hyperbolic group or a reductive $p$-adic group. We prove that the canonical morphism $V[G] \to V[G]^\dagger$ from the group algebra to its dagger completion is an…

We prove the following extension of Tits' simplicity theorem. Let $k$ be an infinite field, $G$ an algebraic group defined and quasi-simple over $k,$ and $G(k)$ the group of $k$-rational points of $G.$ Let $G(k)^+$ be the subgroup of $G(k)$…

An element in a ring $R$ is called clear if it is the sum of unit-regular element and unit. An associative ring is clear if every its element is clear. In this paper we defined clear rings and extended many results to wider class. Finally,…

A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g.…

Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…

First we identify the free algebras of the class of algebras of binary relations equipped with the composition and domain operations. Elements of the free algebras are pointed labelled finite rooted trees. Then we extend to the analogous…

We prove that the group $\mathrm{SAut}_{\mathrm{k}}(\mathbb{A}^2)$ is simple as an algebraic group of infinite dimension, over any infinite field $\mathrm{k}$, by proving that any closed normal subgroup is either trivial or the whole group.…

We study the connectedness property of the spectrum of forcing algebras over a noetherian ring. In particular we present for an integral base ring a geometric criterion for connectedness in terms of horizontal and vertical components of the…

Zhang twists are a common tool for deforming graded algebras over a field in a way that preserves important ring-theoretic properties. We generalize Zhang twists to the setting of closed monoidal categories equipped with their self-enriched…

Given a compactly generated triangulated category $\mathcal{T}$ equipped with an action of a graded-commutative Noetherian ring $R$, generalizing results of Letz, we prove a general result concerning the openness with respect to levels of…

We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…

In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…

A ring is rigid if there is no nonzero locally nilpotent derivation on it. In terms of algebraic geometry, a rigid coordinate ring corresponds to an algebraic affine variety which does not allow any nontrivial algebraic additive group…

In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free…