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 $G$-orbits is an affine scheme in the following two cases: (I) $G$ is finite; (II) $k$ is a field, and $G$ is linearly reductive. An emphasize is put on the more difficult generalization in the second case; the replaced assumption then is that an affine algebraic super-group $G$ over an arbitrary field has an integral. Those super-groups which satisfy the assumption are characterized, and are seen to form a large class if $\operatorname{char}k=0$. Hopf-algebraic techniques including bosonization are applied to prove the results.
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surfaces are surfaces invariant under affine rotations. In this paper, we analyze several properties of algebraic affine rotation surfaces and, by using some notions and results from affine differential g…
We observe algebraic derivations on an affine domain B defined over an algebraically closed field of characteristic 0, which are called locally finite derivations in commutative and non-commutative contexts in other references. We observe the graded ring structure which the algebraic derivation defines on B, and give characterizations of a polynomial ring in two variables in terms of algebraic derivations.
We classify commutative algebraic monoid structures on normal affine surfaces over an algebraically closed field of characteristic zero. The answer is given in two languages: comultiplications and Cox coordinates. The result follows from a more general classification of commutative monoid structures of rank 0, n-1 or n on a normal affine variety of dimension n.
Let $X$ be a smooth affine algebraic variety over the field of complex numbers which is contractible. Then every algebraic $G$-torsor on $X$ is algebraically trivial if $G$ is a semi-simple algebraic group. We also show that if $X$ is a smooth affine algebraic variety such that $Ω^1_X$ is trivial and $X$ is topologically simply connected with $H^i(X,{\mathbb Z})=0$ for $i=1,2$ and $3$, then every algebraic $G$-torsor on $X$ is algebraically trivial for a semi-simple algebraic group $G$.
We prove that the Picard group of a connected affine algebraic group $G$ is isomorphic to the fundamental group of the derived subgroup of the reductive algebraic group $G/{\mathscr R}_u(G)$, where ${\mathscr R}_u(G)$ is the unipotent radical of $G$.
We extend the Altmann-Hausen presentation of normal affine algebraic C-varieties endowed with effective torus actions to the real setting. In particular, we focus on actions of quasi-split real tori, in which case we obtain a simpler presentation.
A connected component of an affine algebraic group is called periodic if all its elements have finite order. We give a characterization of periodic components in terms of automorphisms with finite number of fixed points. It is also discussed which connected groups have finite extensions with periodic components. The results are applied to the study of the normalizer of a maximal torus in a simple algebraic group.
Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group over $K$ is affine if and only if the associated $K$-analytic space is Stein; that is, rigid analytic embeddings of it in an affine space may always be chosen to be given by algebraic functions. Arguably curiously, the corresponding statement over the complex numbers is false.
We study commutative associative polynomial operations $\mathbb{A}^n\times\mathbb{A}^n\to\mathbb{A}^n$ with unit on the affine space $\mathbb{A}^n$ over an algebraically closed field of characteristic zero. A classification of such operations is obtained up to dimension 3. Several series of operations are constructed in arbitrary dimension. Also we explore a connection between commutative algebraic monoids on affine spaces and additive actions on toric varieties.
We prove that an algebraic group over a field $k$is affine precisely when its Picard group is torsion, and show that in this case the Picard group is finite when $k$ is perfect, and the product of a finite group of order prime to $p$ and a $p$-primary group of finite exponent when $k$ is imperfect of characteristic $p$.
Formulated problems concern the following topics: (1) Birationally nonequivalent linear actions; (2) Cayley degrees of simple algebraic groups; (3) Singularities of two-dimensional quotients.
The affine line minus one point is the underlying space of the algebraic torus of dimension one. However the fibration of an affine algebraic threefold by the affine line minus one point is not always the quotient morphism of the threefold by the algebraic torus. We investigate the structure of affine algebraic threefolds having fibrations by the affine line minus one point. Our results cover not only algebro-geometric but also topological properties of the threefolds. We also consider when the fibration by the affine line minus one point becomes the quotient morphism by an algebraic torus of …
These notes are based on the lecture courses given at the Ruhr-Universit{ä}t-Bochum (03--08.02.1997) and at the Universit{é} Paul Sabatier (Toulouse, 08-12.01.1996).
Let $Y$ be the underlying variety of a connected affine algebraic group. We prove that two embeddings of the affine line $\mathbb{C}$ into $Y$ are the same up to an automorphism of $Y$ provided that $Y$ is not isomorphic to a product of a torus $(\mathbb{C}^\ast)^k$ and one of the three varieties $\mathbb{C}^3$, $\operatorname{SL}_2$, and $\operatorname{PSL}_2$.
For a smooth manifold $X$ equipped with a volume form, let $\dL$ be the Lie algebra of volume preserving smooth vector fields on $X$. A. Lichnerowicz proved that the abelianization of $\dL$ is a finite-dimensional vector space, and that its dimension depends only on the topology of $X$. In this paper we provide analogous results for some classical examples of non-singular complex affine algebraic varieties that admit a nowhere-zero algebraic form of top degree (which plays the role of a volume form).
Affine difference algebraic groups are a generalization of affine algebraic groups obtained by replacing algebraic equations with algebraic difference equations. We show that the isomorphism theorems from abstract group theory have meaningful analogs for these groups and we establish a Jordan-Hölder type theorem that allows us to decompose any affine difference algebraic group into almost-simple affine difference algebraic groups. We also characterize almost-simple affine difference algebraic groups via almost-simple affine algebraic groups.
In this first work dedicated to the generalisation of classic algebraic geometry to non algebraically closed fields and axiomatisable classes of fields, we develop the foundations for equiresidual algebraic geometry (EQAG), i.e. algebraic geometry over any commutative field $k$, algebraically closed or not. This is possible thanks to the existence in non algebraically closed fields of many normic forms, i.e. homogeneous polynomials with no non-trivial zero rational in $k$, and relies on an equiresidual generalisation of Hilbert's Nullstellensatz and the Jacobson radical in finitely presented $…
We propose a novel sufficient condition establishing that a piecewise affine variety has the same topology as a variety of the sphere $\mathbb{S}^n$ defined by positively homogeneous $C^1$ functions. This covers the case of $C^1$ varieties in the projective space $\mathbb{P}^n$. We prove that this condition is sufficient in the case of codimension one and arbitrary dimension. We describe an implementation working for homogeneous polynomials in arbitrary dimension and codimension and give experimental evidences that our condition might still be sufficient in codimension greater than one.
Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on de…
We construct algebraic families of exotic affine 3-spheres, that is, smooth affine threefolds diffeomorphic to a non-degenerate smooth complex affine quadric of dimension 3 but non algebraically isomorphic to it. We show in particular that for every smooth topologically contractible affine surface S with trivial automorphism group, there exists a canonical smooth family of pairwise non isomorphic exotic affine 3-spheres parametrized by the closed points of S.
We prove that, under mild hypothesis, every normal algebraic space which satisfies the $1$-resolution property is quasi-affine. More generally, we show that for algebraic stacks satisfying similar hypotheses, the 1-resolution property guarantees the existence of a finite flat cover by a quasi-affine scheme.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.
For the coordinate algebras of connected affine algebraic groups, we explore the problem of finding a presentation by generators and relations canonically determined by the group structure.
Let $\AAutH (X)$ be the subgroup of the group $\AutH (X)$ of holomorphic automorphisms of a normal affine algebraic surface $X$ generated by elements of flows associated with complete algebraic vector fields. Our main result is a classification of all normal affine algebraic surfaces $X$ quasi-homogeneous under $\AAutH (X)$ in terms of the dual graphs of the boundaries $\bX \setminus X$ of their SNC-completions $\bX$.
In this work we show that the homogeneous space of an affine algebraic group $G$ by a one-dimensional unipotent subgroup $H$ is affine if and only if the subgroup is not contained in any reductive subgroup of $G$.
For ring of differential operators on smooth affine algebraic variety over perfect field of prime characteristic a set of algebra generators and a set of defining relations are found explicitly.
A closed subgroup H of the affine, algebraic group G is called observable if G/H is a quasi-affine algebraic variety. In this paper we define the notion of an observable subgroup of the affine, algebraic monoid M. We prove that a subgroup H of G is observable in M if and only if H is closed in M and there are "enough" H-semiinvariant functions in K[M]. We show also that a closed, normal subgroup H of G (the unit group of M) is observable in M if and only if it is closed in M. In such a case there exists a determinant $χ: M \to K$ such that $H\subset ker(χ)$. As an application, we show that in …
For a closed real algebraic plane affine curve dividing its complexification and equipped with a complex orientation, the Whitney number is expressed in terms of behavior of its complexification at infinity.
Let M be an irreducible normal algebraic monoid with unit group G. It is known that G admits a Rosenlicht decomposition, G=G_antG_aff, where G_ant is the maximal anti-affine subgroup of G, and G_aff the maximal normal connected affine subgroup of G. In this paper we show that this decomposition extends to a decomposition M=G_antM_aff, where M_aff is the affine submonoid M_aff=\bar{G_aff}. We then use this decomposition to calculate $\mathcal{O}(M)$ in terms of $\mathcal{O}(M_aff)$ and G_aff, G_ant\subset G. In particular, we determine when M is an anti-affine monoid, that is when $\mathcal{O}(…
We study seminormalization of affine complex varieties. We show that polynomials on the seminormalization correspond to the rational functions which are continuous for the Euclidean topology. We further study this type of functions which can be seen as complex regulous functions, a class of functions recently introduced in real algebraic geometry, or as the algebraic counterpart of c-holomorphic functions.
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total spaces of nontrivial homogeneous $\mathbb{A}^{1}$-bundles over the punctured plane are classified up to $\mathbb{G}_{m}$-equivariant algebraic isomorphism and a criterion for nonisomorphy is given. In fact…
By an exotic algebraic structure on the affine space ${\bf C}^n$ we mean a smooth affine algebraic variety which is diffeomorphic to ${\bf R}^{2n}$ but not isomorphic to ${\bf C}^n$. This is a survey of the recent developement on the subject, which emphasizes its analytic aspects and points out some open problems.
We say that an algebraic group $G$ over a field is anti-affine if every regular function on $G$ is constant. We obtain a classification of these groups, with applications to the structure of algebraic groups in positive characteristics, and to the construction of many counterexamples to Hilbert's fourteenth problem.
We give a classification of normal affine surfaces admitting an algebraic group action with an open orbit. In particular an explicit algebraic description of the affine coordinate rings and the defining equations of such varieties is given. By our methods we recover many known results, e.g. the classification of normal affine surfaces with a `big' open orbit of Gizatullin and Popov or some of the classification results of Danilov-Gizatullin, Bertin and others.
We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines.
In 2021, Dzhunusov and Zaitseva classified two-dimensional normal affine commutative algebraic monoids. In this work, we extend this classification to noncommutative monoid structures on normal affine surfaces. We prove that two-dimensional algebraic monoids are toric. We also show how to find all monoid structures on a normal toric surface. Every such structure is induced by a comultiplication formula involving Demazure roots. We also give descriptions of opposite monoids, quotient monoids, and boundary divisors.
We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global functions). The interest of this result is given by the fact that the classification of smooth group k-schemes is reduced to the classification of quasi-abelian varieties and of certain affine group schemes.
An irreducible algebraic decomposition $\cup_{i=0}^{d}X_i=\cup_{i=0}^{d} (\cup_{j=1}^{d_i}X_{ij})$ of an affine algebraic variety X can be represented as an union of finite disjoint sets $\cup_{i=0}^{d}W_i=\cup_{i=0} ^{d}(\cup_{j=1}^{d_i}W_{ij})$ called numerical irreducible decomposition (cf. [14],[15],[17],[18],[19],[21],[22],[23]). $W_i$ corresponds to a pure i-dimensional $X_i$, and $W_{ij}$ presents an i- dimensional irreducible component $X_{ij}$. Modifying this concepts by using partially Gröbner bases, local dimension, and the "Zero Sum Relation" we present in this paper an implementat…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a subcategory defined by simple algebraic (normal) and topological (overconvergent) criteria. The affine manifold of a rigid space can be recovered either as a set of `Novikov field' points or as a universal Hausdorff quotient. After base change to any topological field, one obtains a `toric' analytic space that fibres over the affine manifold.
We impose a rather unknown algebraic structure called a `hyperstructure' to the underlying space of an affine algebraic group scheme. This algebraic structure generalizes the classical group structure and is canonically defined by the structure of a Hopf algebra of global sections. This paper partially generalizes the result of A.Connes and C.Consani
We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call proper polyhedral divisors on semiprojective varieties. Our theory extends classical cone constructions of Dolgachev, Demazure and Pinkham to the multigraded case, and it comprises the theory of affine toric varieties.
In this paper we generalize the algebraic density property to not necessarily smooth affine varieties relative to some closed subvariety containing the singular locus. This property implies the remarkable approximation results for holomorphic automorphisms of the Andersén-Lempert theory. We show that an affine toric variety X satisfies this algebraic density property relative to a closed T-invariant subvariety Y if and only if X-Y is different from T. For toric surfaces we are able to classify those which posses a strong version of the algebraic density property (relative to the singular locus…
