Let a connected reductive group G act on the smooth connected variety X. The cotangent bundle of X is a Hamiltonian G-variety. We show that its "total moment map" has connected fibers.
This is an expanded version of section 6 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.
Using sheaves of A^1-connected components, we prove that the Morel-Voevodsky singular construction on a reductive algebraic group fails to be A^1-local if the group does not satisfy suitable isotropy hypotheses. As a consequence, we show the failure of A^1-invariance of torsors for such groups on smooth affine schemes over infinite perfect fields. We also characterize A^1-connected reductive algebraic groups over a field of characteristic 0.
We show that $\mathbb A^1$-connectedness of a large class of varieties over a field $k$ can be characterized as the condition that their generic point can be connected to a $k$-rational point using (not necessarily naive) $\mathbb A^1$-homotopies. We also show that symmetric powers of $\mathbb A^1$-connected varieties (over an arbitrary field), as well as smooth proper models of them (over an algebraically closed field of characteristic $0$), are $\mathbb A^1$-connected. As an application of these results, we show that the standard norm varieties over a field $k$ of characteristic 0 become $\m…
We study the relationship between several notions of connectedness arising in ${\mathbb A}^1$-homotopy theory of smooth schemes over a field $k$: ${\mathbb A}^1$-connectedness, stable ${\mathbb A}^1$-connectedness and motivic connectedness, and we discuss the relationship between these notations and rationality properties of algebraic varieties. Motivically connected smooth proper $k$-varieties are precisely those with universally trivial $CH_0$. We show that stable ${\mathbb A}^1$-connectedness coincides with motivic connectedness, under suitable hypotheses on $k$. Then, we observe that there…
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of al…
Let k be a p-adic field. Some time ago, D. Harbater [9] proved that any finite group G may be realized as a regular Galois group over the rational function field in one variable k(t), namely there exists a finite field extension $F/k(t)$, Galois with group G, such that F is a regular extension of k (i.e. k is algebraically closed in F). Moreover, one may arrange that a given k-place of k(t) be totally split in F. Harbater proved this theorem for k an arbitrary complete valued field. Rather formal arguments ([10, §4.5]; \S2 hereafter) then imply that the theorem holds over any `large' field k. …
Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field.
In this paper we study some properties of fibers of the invariant moment map for a Hamiltonian action of a reductive group on an affine symplectic varieity. We prove that all fibers have equal dimension. Further, under some additional restrictions, we show that the quotients of fibers are irreducible normal schemes. This paper is an expanded version of Section 5 and Subsection 7.2 of AG/0612559v1.
Analytic and Algebraic Oka-1 Approximation for Smooth Projective Morphisms with Rationally Connected Fibers
Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院数学科学重点实验室);School of Mathematical Sciences, University of Chinese Academy of Sciences(中国科学院大学数学科学学院)
Let $X$ be a proper algebraic scheme over an algebraically closed field. We assume that a torus $T$ acts on $X$ such that the action has isolated fixed points. The $T$-graph of $X$ can be defined using the fixed points and the one dimensional orbits of the $T$-action. If the upper Borel subgroup of the general linear group with maximal torus $T$ acts on $X$, then we can define a second graph associated to $X$, called the $A$-graph of $X$. We prove that the $A$-graph of $X$ is connected if and only if $X$ is connected. We use this result to give a proof of Hartshorne's theorem on the connectedn…
Among connected linear algebraic groups, quasi-reductive groups generalize pseudo-reductive groups, which in turn form a useful relaxation of the notion of reductivity. We study quasi-reductive groups over non-archimedean local fields, focusing on aspects involving their locally compact topology. For such groups we construct valuated root data (in the sense of Bruhat--Tits) and we make them act nicely on affine buildings. We prove that they admit Iwasawa and Cartan decompositions, and we construct small compact open subgroups with an Iwahori decomposition. We also initiate the smooth represent…
In this paper we prove the topological uniqueness of maximal arrangements of a real plane algebraic curve with respect to three lines. More generally, we prove the topological uniqueness of a maximally arranged algebraic curve on a real toric surface. We use the moment map as a tool for studying the topology of real algebraic curves and their complexifications.
We study the moment maps of a smooth projective toric variety. In particular, we characterize when the moment map coming from the quotient construction is equal to a weighted Fubini-Study moment map. This leads to an investigation into polytopes with strict linear precision, and in the process we use results from and find remarkable connections between Symplectic Geometry, Geometric Modeling, Algebraic Statistics, and Algebraic Geometry.
This is a tutorial on some aspects of toric varieties related to their potential use in geometric modeling. We discuss projective toric varieties and their ideals, as well as real toric varieties and the algebraic moment map. In particular, we explain the relation between linear precision and the algebraic moment map. This builds on the introduction to toric varieties by David Cox: What is a Toric Variety? at http://www.cs.amherst.edu/~dac/lectures/tutorial.ps
We propose an algebraic method for proving estimates on moments of stochastic integrals. The method uses qualitative properties of roots of algebraic polynomials from certain general classes. As an application, we give a new proof of a variation of the Burkholder-Davis-Gundy inequality for the case of stochastic integrals with respect to real locally square integrable martingales. Further possible applications and extensions of the method are outlined.
The truncated moment problem consists of determining whether a given finitedimensional vector of real numbers y is obtained by integrating a basis of the vector space of polynomials of bounded degree with respect to a non-negative measure on a given set K of a finite-dimensional Euclidean space. This problem has plenty of applications e.g. in optimization, control theory and statistics. When K is a compact semialgebraic set, the duality between the cone of moments of non-negative measures on K and the cone of non-negative polynomials on K yields an alternative: either y is a moment vector, or …
If $S$ is a scheme of finite type over $k=\cc $, let $\Xx /S$ denote the big etale site of schemes over $S$. We introduce {\em presentable group sheaves}, a full subcategory of the category of sheaves of groups on $\Xx /S$ which is closed under kernel, quotient, and extension. Group sheaves which are representable by group schemes of finite type over $S$ are presentable; pullback and finite direct image preserve the notions of presentable group sheaves; over $S=Spec (k)$ then presentable group sheaves are just group schemes of finite type over $Spec(k)$; there is a notion of connectedness exte…
Given an action of a complex reductive Lie group G on a normal variety X, we show that every analytically Zariski-open subset of X admitting an analytic Hilbert quotient with projective quotient space is given as the set of semistable points with respect to some G-linearised Weil divisor on X. Applying this result to Hamiltonian actions on algebraic varieties we prove that semistability with respect to a momentum map is equivalent to GIT-semistability in the sense of Mumford and Hausen. It follows that the number of compact momentum map quotients of a given algebraic Hamiltonian G-variety is f…
Reconstructing real algebraic maps locally like moment-maps with prescribed images and compositions with the canonical projections to the $1$-dimensional real affine space
We prove that all moment varieties of univariate Gaussian mixtures have the expected dimension. Our approach rests on intersection theory and Terracini's classification of defective surfaces. The analogous identifiability result is shown to be false for mixtures of Gaussians in dimension three and higher. Their moments up to third order define projective varieties that are defective. Our geometric study suggests an extension of the Alexander-Hirschowitz Theorem for Veronese varieties to the Gaussian setting.
An algebraic geometry method is used to calculate the moments of the electron density of states as a function of the energy for lattices in the tight binding approximation. Interpreting the moments as the Mellin transform of the density allows writing down a formula for the density as an inverse Mellin transform. The method is illustrated by working out the density function for the two-dimensional square and honeycomb lattices.
This article reports on some recent progresses in Bessel moments, which represent a class of Feynman diagrams in 2-dimensional quantum field theory. Many challenging mathematical problems on these Bessel moments have been formulated as a vast set of conjectures, by David Broadhurst and collaborators, who work at the intersection of high energy physics, number theory and algebraic geometry. We present the main ideas behind our verifications of several such conjectures, which revolve around linear and non-linear sum rules of Bessel moments, as well as relations between individual Feynman diagram…