Related papers: Symplectic completion over smooth affine algebras

An associative division algebra D is said to be _affine_ over a central subfield k if D is finitely generated as a k-algebra. In 1956 Amitsur famously proved that, when k is uncountable, D cannot be k-affine unless D is algebraic over k. In…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

For a smooth quasi-affine variety $X$, the affine closure $\overline{T^*X} := \text{Spec}(\mathbb{K}[T^*X])$ contains $T^*X$ as an open subset, and its smooth locus carries a symplectic structure. A natural question is whether…

Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an…

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…

Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…

We prove that for a complete quasivariety $K$ of topological $E$-algebras of countable discrete signature $E$ and each submetrizable $ANR(k_\omega)$-space $X$ its free topological $E$-algebra $F_K(X)$ in the class $K$ is a submetrizable…

Let $R$ be a ring with unity. The clean graph $\text{Cl}(R)$ of a ring $R$ is the simple undirected graph whose vertices are of the form $(e,u)$, where $e$ is an idempotent element and $u$ is a unit of the ring $R$ and two vertices $(e,u)$,…

We prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic $p$ which give sufficient conditions for the algebras to be of the form $[R^{(-)}, R^{(-)}] / (Z(R)…

The classical Theorem of Mumford states that a topologically regular complex algebraic surface in $\mathbb{C}^3$ with an isolated singular point is smooth. We proof that any Lipschitz regular complex algebraic set is smooth. No restriction…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

A ring is called clean if every element is the sum of an invertible element and an idempotent. This paper investigates the cleanness of AW*-algebras. We prove that all finite AW*-algebras are clean, affirmatively solving a question posed by…

We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G…

This is a companion paper to math.AT/0609762. For a filtered colimit of commutative rings k=colim k_i, we prove that the homotopy theory of smooth and proper dg-algebras over k is the colimit of the homotopy theories of smooth and proper…

We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…

Let $\mathfrak{g}$ be a simple classical Lie algebra over $\mathbb{C}$ and $G$ be the adjoint group. Consider a nilpotent element $e\in \mathfrak{g}$, and the adjoint orbit $\mathbb{O}=Ge$. The formal slices to the codimension $2$ orbits in…

Let $\mathcal{G}$ be a smooth linear group scheme of finite type. For any positive integer $k$ and a finite field $\mathbb{F}$, let $W_k(\mathbb{F})$ be the ring of Witt vectors of length $k$ over $\mathbb{F}$. We show that the group…

Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…

We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant…

In this paper we give a description of hypersurfaces with trivial ring $AK(S)$, introduced by the second author as following. Let $X$ be an affine variety and let $G(X)$ be the group generated by all $\Bbb {C}^+$-actions on $X$. Then…