In this paper we deal with a Hamiltonian action of a reductive algebraic group $G$ on an irreducible normal affine Poisson variety $X$. We study the invariant moment map $ψ_{G,X}:X\to \g$, that is, the composition of the moment map $μ_{G,X}:X\to g:=Lie(G)$ and the quotient morphism $g\to g\quo G$. We obtain some results on the dimensions of fibers of $ψ_{G,X}$ and the corresponding morphism of quotients $X\quo G\to g\quo G$. We also study the "Stein factorisation" of $ψ_{G,X}$. Namely, let $C_{G,X}$ denote the spectrum of the integral closure of $ψ_{G,X}^*(K[g]^G)$ in $K(X)^G$. We investigate the structure of the $g\quo G$-scheme $C_{G,X}$. Our results partially generalize those obtained by F. Knop in the case of the actions on cotangent bundles and symplectic vector spaces.
To any Hamiltonian action of a reductive algebraic group $G$ on a smooth irreducible symplectic variety $X$ we associate certain combinatorial invariants: Cartan space, Weyl group, weight and root lattices. For cotangent bundles our invariants essentially coincide with those arising in the theory of equivarant embeddings. Using our approach we establish some properties of the latter invariants.
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.
We study a generalization of the isomonodromic deformation to the case of connections with irregular singularities. We call this generalization Isostokes Deformation. A new deformation parameter arises: one can deform the formal normal forms of connections at irregular points. We study this part of the deformation, giving an algebraic description. Then we show how to use loop groups and hypercohomology to write explicit hamiltonians. We work on an arbitrary complete algebraic curve, the structure group is an arbitrary semisimiple group.
We develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group.
We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces.
This is the first of two papers devoted to showing how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures on the symplectic cohomology of open symplectic manifolds. Using the SFT of Hamiltonian mapping tori we show how to define a homotopy extension of the well-known Lie bracket on symplectic cohomology. Apart from discussing applications to the existence of closed Reeb orbits, we outline how the $L_{\infty}$-structure is conjecturally related via mirror symmetry to the extended deformation theory of compl…
Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1\times Z\times Z$, where $A^1$ is the affine line. (If Z is affine and smooth this is just the closure of the graph of the action map $G_m\times Z\to Z$.) In articles joint with D.Gaitsgory we use this set-up to prove a new result in the geometric theory of automorphic forms and to give a new proof of a very important theorem of T. Braden.
According to the classical theorem, every irreducible algebraic variety endowed with a nontrivial rational action of a connected linear algebraic group is birationally isomorphic to a product of another algebraic variety and ${\bf P}^s$ with positive $s$. We show that the classical proof of this theorem actually works only in characteristic $0$ and we give a characteristic free proof of it. To this end we prove and use a characterization of connected linear algebraic groups $G$ with the property that every rational action of $G$ on an irreducible algebraic variety is birationally equivalent to…
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.
The main result of this paper is the description of asymptotics along rays in weight space of traces of equivariant Toeplitz operators composed with quantomorphisms for torus actions. The main ingredient in the proof is the microlocal analysis of the equivariant Szego kernels.
In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group a…
We give an algebro-geometric classification of smooth real affine algebraic surfaces endowed with an effective action of the real algebraic circle group $\mathbb{S}^1$ up to equivariant isomorphisms. As an application, we show that every compact differentiable surface endowed with an action of the circle $S^1$ admits a unique smooth rational real quasi-projective model up to $\mathbb{S}^1$-equivariant birational diffeomorphism.
We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil's regularization theorem.
We obtain a version of the theorem of the square and a local structure result for actions of connected algebraic groups on seminormal varieties in characteristic 0, and arbitrary varieties in positive characteristics.
In the paper we describe obstructions for the existence of symplectic and Hamiltonian symplectic circle actions on closed compact manifolds in terms of Hirzebruch genera and relations between differential and homotopic invariants of such manifolds.
We obtain a global resolution for the sheaf of differential operators on smooth geometric quotients of free linear actions of algebraic groups. The terms of our resolution involve symmetric and alternating powers of vector bundles easily constructed geometrically from the algebraic group and the vector space on which it acts.
Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding into the projectivization of a $G$-linearized vector bundle on an abelian variety, quotient of $G$. This generalizes a classical result of Sumihiro for actions of smooth connected affine algebraic groups.
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.
Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as quotients, we obtain a more general existence result which, for example, settles the case of a finitely generated algebra of invariants. As an application, we provide a combinatorial GIT-type construction of categorial quotients for actions on, e.g. complete varieties with finitely generated Cox ring via lifting to the characteristic space.
We formalize and study several competing notions of versality for an action of a linear algebraic group on an algebraic variety X. Our main result is that these notions of versality are equivalent to various statements concerning rational points on twisted forms of X (existence of rational points, existence of a dense set of rational points, etc.) We give applications of this equivalence in both directions, to study versality of group actions and rational points on algebraic varieties. We obtain similar results on p-versality for a prime integer p. An appendix, containing a letter from J.-P. S…
For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control.
We extend the definition of algebraic entropy to endomorphisms of affine varieties. We calculate algebraic entropy of the action of elements of mapping class groups on various character varieties, and show that it is equal to a quantity we call the spectral radius, a generalization of the dilatation of a Pseudo-Anosov mapping class. Our calculations are compatible with all known calculations of the topological entropy of this action.
Given a faithful action of a finite group on an algebraic curve of genus at least 2, we prove that the induced action on the space of global holomorphic differentials is faithful as well, except in the following very special case: the given action is not tame, the genus of the quotient curve is 0 and the characteristic of the base field is 2.
In recent years, various notions of algebraic independence have emerged as a central and unifying theme in a number of areas of applied mathematics, including algebraic statistics and the rigidity theory of bar-and-joint frameworks. In each of these settings the fundamental problem is to determine the extent to which certain unknowns depend algebraically on given data. This has, in turn, led to a resurgence of interest in algebraic matroids, which are the combinatorial formalism for algebraic (in)dependence. We give a self-contained introduction to algebraic matroids together with examples hig…
We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric stabilizers and satisfy a rationality condition together with a technical condition which holds e.g. for G abelian or smooth. We describe in an Appendix various complicial bi-Waldhausen categories (in Thomason's terminology) modelling the equivariant K-theory of regular noetherian separated algebraic spaces.
Expansive algebraic Z^d-actions corresponding to ideals are characterized by the property that the complex variety of the ideal is disjoint from the multiplicative unit torus. For such actions it is known that the limit for the growth rate of periodic points exists and equals the entropy of the action. We extend this result to actions for which the complex variety intersects the multiplicative torus in a finite set. The main technical tool is the use of homoclinic points which decay rapidly enough to be summable.
In a work of T. Saito, the action of algebraic correspondences on the etale cohomology of varieties over local fields with semistable reduction is related to correspondences on smaller strata via weight spectral sequences. We give an intersection theoretic construction of these correspondences. Under a finiteness condition this enables us to compute them without involving the blow-ups of products, and prove their compatibility with compositions. These features are essential for the application to Shimura varieties.
A general framework for investigating topological actions of $Z^d$ on compact metric spaces was proposed by Boyle and Lind in terms of expansive behavior along lower-dimensional subspaces of $R^d$. Here we completely describe this expansive behavior for the class of algebraic $Z^d$-actions given by commuting automorphisms of compact abelian groups. The description uses the logarithmic image of an algebraic variety together with a directional version of Noetherian modules over the ring of Laurent polynomials in several commuting variables. We introduce two notions of rank for topological $Z^d$-…
