Given a connected algebraic group G over an algebraically closed field and a G-homogeneous space X, we describe the Chow ring of G and the rational Chow ring of X, with special attention to the Picard group. Also, we investigate the Albanese and the "anti-affine" fibrations of G and X.
We show the vanishing of the second homotopy group of the étale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical theorem of Elie Cartan. Based on this result, we establish an explicit formula for the similarly completed second homotopy group of a homogeneous space.
The aim of this paper is to give another proof to a result on the image of a homogeneous quadratic map which is positive with respect to a homogeneous cone, given by Graczyk and Ishi in 2014. The new proof depends on a purely algebraic method, whereas the original depends on analytic arguments. This enables us to give explicit formulas of the basic relative invariants of homogeneous cones, obtained by the previous paper [J. Lie Theory 24 (2014), 1013--1032] without analytic arguments.
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.
Let $X$ be an algebraic variety such that the group $\text{Aut}(X)$ acts on $X$ transitively. We define the transitivity degree of $X$ as a maximal number $m$ such that the action of $\text{Aut}(X)$ on $X$ is $m$-transitive. If the action of $\text{Aut}(X)$ is $m$-transitive for all $m$, the transitivity degree is infinite. We compute the transitivity degree for all quasi-affine toric varieties and for many homogeneous spaces of algebraic groups. Also we discuss a conjecture and open questions related to this invariant.
We associate to every divisorial (e.g. smooth) variety $X$ with only constant invertible global functions and finitely generated Picard group a $Pic(X)$-graded homogeneous coordinate ring. This generalizes the usual homogeneous coordinate ring of the projective space and constructions of Cox and Kajiwara for smooth and divisorial toric varieties. We show that the homogeneous coordinate ring defines in fact a fully faithful functor. For normal complex varieties $X$ with only constant global functions, we even obtain an equivalence of categories. Finally, the homogeneous coordinate ring of a loc…
This file, provided as bibliographical information, contains the table of contents and editors' foreword from the proceedings of the July 1996 Warwick EuroConference on Algebraic Geometry.
In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any characteristic.
This is a survey paper about a selection of results in complex algebraic geometry that appeared in the recent and less recent litterature, and in which rational homogeneous spaces play a prominent r{ô}le. This selection is largely arbitrary and mainly reflects the interests of the author.
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling geometric constraints that are physically meaningful, real algebraic geometry is a core mathematical input for geometric constraint systems.
Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to Hilbert's theorem by showing that a structured cone of positive semidefinite matrices is generated by rank 1 elements.
Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then we show that the Lie algebra generated by completely integrable algebraic vector fields on $X$ coincides with the set of all algebraic vector fields. In particular, we show that apart from a few exceptions this fact is true for any homogeneous space of form $G/R$ where $G$ is a linear algebraic group and $R$ is its proper reductive subgroup.
Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps in the C^o (resp. C^infinity) topology if and only if it is homotopic to a regular map. Taking Y=S^p, the unit p-dimensional sphere, we obtain solutions of several problems that have been open since the 1980's and which concern approximation of maps with values in the unit spheres. This has several consequences for approximation of maps between unit spheres. …
Reflexive functors of modules naturally appear in Algebraic Geometry. In this paper we define a wide and elementary family of reflexive functors of modules, closed by tensor products and homomorphisms, in which Algebraic Geometry can be developed.
Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer coefficients. Moreover, the shifted periodic polynomial function, where $q^n$ is formally replaced with $q^n + 1$, is shown to have non-negative coefficients.
We give a new proof of the theorem stating that for any connected linear algebraic group G over an algebraically closed field k of characteristic 0 and for any closed connected subgroup H of G, the unramified Brauer group of G/H vanishes.
This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical invariants.
We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions.
Let $X$ be an affine algebraic variety endowed with an action of complexity one of an algebraic torus $\mathbb{T}$. It is well known that homogeneous locally nilpotent derivations on the algebra of regular functions $\mathbb{K}[X]$ can be described in terms of proper polyhedral divisors corresponding to $\mathbb{T}$-variety $X$. We prove that homogeneous locally nilpotent derivations commute if an only if some combinatorial criterion holds. These results are used to describe actions of unipotent groups of dimension two on affine $\mathbb{T}$-varieties.
Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational continuous functions on X.
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.
The extended weight semigroup of a homogeneous space G/H of a connected semisimple algebraic group G characterizes the spectra of the representations of G on the spaces of regular sections of homogeneous linear bundles over G/H, including the space of regular functions on G/H. We compute the extended weight semigroups for all strictly irreducible affine spherical homogeneous spaces G/H, where G is a simply connected non-simple semisimple complex algebraic group and H a connected closed subgroup of it. In all the cases we also find the highest weight functions corresponding to the indecomposabl…
Lecture notes of an algebraic geometry graduate course. The topics covered are as follows. Cohomology: ext sheaves and groups, cohomology with support, local cohomology, local duality. Duality: relative duality, Cohen-Macaulay schemes. Morphisms of schemes: flatness and base change and related topics. Hilbert and Quotient schemes.
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.
Tropical algebraic geometry is an active new field of mathematics that establishes and studies some very general principles to translate algebro-geometric problems into purely combinatorial ones. This expository paper gives an introduction to these new techniques with a special emphasis on the recent applications to problems in enumerative geometry.
This is a report on some of the main developments in birational geometry in the last few years focusing on the minimal model program, Fano varieties, singularities and related topics, in characteristic zero.
Motivated by Xing's method [7], we show that there exist [n,k,d] linear Hermitian codes over F_{q^2} with k+d>=n-3 for all sufficiently large q. This improves the asymptotic bound of Algebraic-Geometry codes from Hermitian curves given in [9,10].
Let G/P be a rational homogeneous variety, where P is a parabolic subgroup of a simple and simply connected linear algebraic group G defined over an algebraically closed field of characteristic zero. A homogeneous principal bundle over G/P is semistable (respectively, polystable) if and only if it is equivariantly semistable (respectively, equivariantly polystable). A stable homogeneous principal H-bundle (E_H ,ρ) is equivariantly stable, but the converse is not true in general. If a homogeneous principal H-bundle (E_H ,ρ) is not equivariantly stable but not stable, then E_H admits an action ρ…
Using a reduction of the Galois cohomology of a linear algebraic group $G$ to that of a certain finite subquotient, we give different formulas allowing the calculation of the unramified algebraic Brauer group of a homogeneous space $V=G\backslash G'$ with $G'$ semisimple and simply connected, both over a finite field and over an arbitrary field of characteristic $0$.
We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on ideas of Hauenstein and Sottile. Additionally, we construct a numerical tropical membership algorithm which uses the former algorithm as a subroutine. Based on recent results of Esterov, we give an algorithm which recursively solves a sparse polynomial system when the support of that system is either lacunary or triangular. Prior to explaining these results, w…
Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of the Tate-Shafarevich group. If $Y$ is such a principal homogeneous space of order $n$, we find strong restrictions on the $\mathbb{P}^{n-1}$ bundle over $B$ into which $Y$ embeds. Examples for small values of $n$ show that, in at least some cases, these restrictions are sharp. Finally, we determine these bundles in case $k$ has characteristic zero, $B = \mat…
We develop different formulas of algebraic and/or arithmetic nature allowing an explicit calculation, both over a finite field and over a field of characteristic 0, of the algebraic part of the unramified Brauer group of a homogeneous space G\G' under a semisiple simply connected linear group G' with finite stabilizer G. We also give examples of the calculations that can be done with these formulas.
Let $X$ be a connected affine homogenous space of a linear algebraic group $G$ over $\C$. (1) If $X$ is different from a line or a torus we show that the space of all algebraic vector fields on $X$ coincides with the Lie algebra generated by complete algebraic vector fields on $X$. (2) Suppose that $X$ has a $G$-invariant volume form $ω$. We prove that the space of all divergence-free (with respect to $ω$) algebraic vector fields on $X$ coincides with the Lie algebra generated by divergence-free complete algebraic vector fields on $X$ (including the cases when $X$ is a line or a torus). The pr…
Let G be a linear algebraic group over the field of real numbers R, and let Y be a right homogeneous space of G. We wish to find a real point of Y or to prove that Y has no real points. We describe a method to do that, implicitly using second nonabelian Galois cohomology. Our method is suitable for computer-assisted calculations.
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made possible because of the structure theory of affine algebraic groups. Further, we generalize our results for arbitrary connected algebraic groups and their homogeneous spaces. As an application of our methods, we give a structure result for quasi-reductive algebraic groups(i.e groups whose unipotent radical is trivial), upto isogeny.
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic group over $L$, the $q$-th Milnor $K$-theory group of $L$ is spanned by the images of the norms coming from finite extensions of $L$ over which $Z$ has a rational point. We also prove a variant of this result for imperfect fields.
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along the way we lay down foundations of algebraic geometry over arbitrary algebraic structures.
We prove the existence of strongly tame sets in affine algebraic homogenenous spaces of linear algebraic Lie groups. We also show that $(\mathbb{C}^n,A)$ for a discrete tame set enjoy the relative density property, and we provide examples of Stein manifolds admitting non-equivalent tame sets.