This is a continuation of math.AG/0609741. Let Y be an affine symplectic variety with a C^*-action with positive weights, and let π: X -> Y be its crepant resolution. Then πinduces a natural map PDef(X) -> PDef(Y) of Kuranishi spaces for the Poisson deformations of X and Y. In the Part I, we proved that PDef(X) and PDef(Y) are both non-singular, and this map is a finite surjective map. In this paper (Part II), we prove that it is a Galois covering. Markman already obtained a similar result in the compact case, which was a motivation of this paper. As an application, we shall construct explicitly the universal Poisson deformation of the normalization \tilde{O} of a nilpotent orbit closure \bar{O} in a complex simple Lie algebra when \tilde{O} has a crepant resolution.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, extends previous conjectures concerning their dimensions, and generalizes the superset method.
This note is based on my talk at ICCM 2013, Taipei. We give an exposition of the group-theoretic method and recent results on the questions of non-emptiness and dimension of affine Deligne-Lusztig varieties in affine flag varieties.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.
We study the Jordan-Hoelder series for nearby cycles on certain Shimura varieties and Rapoport-Zink local models, and on finite-dimensional pieces of Beilinson's deformation of the affine Grassmannian to the affine flag variety (and their p-adic analogues). We give a formula for the multiplicities of irreducible constituents in terms of certain cohomology groups, and we also provide an algorithm to compute multiplicities, in terms of the affine Hecke algebra.
We study affine Deligne-Lusztig varieties in the affine flag manifold of an algebraic group, and in particular the question, which affine Deligne-Lusztig varieties are non-empty. Under mild assumptions on the group, we provide a complete answer to this question in terms of the underlying affine root system. In particular, this proves the corresponding conjecture for split groups stated in Görtz et al. (2010). The question of non-emptiness of affine Deligne-Lusztig varieties is closely related to the relationship between certain natural stratifications of moduli spaces of abelian varieties in p…
This paper gives an explicit formula of the dimension of affine Deligne-Lusztig varieties associated with generic Newton point in terms of Demazure product of Iwahori-Weyl groups.
We construct Nakajima's quiver varieties of type A in terms of affine Grassmannians of type A. This gives a compactification of quiver varieties and a decomposition of affine Grassmannians into a disjoint union of quiver varieties. Consequently, singularities of quiver varieties, nilpotent orbits and affine Grassmannians are the same in type A. The construction also provides a geometric framework for skew $(GL(m), GL(n))$ duality and identifies the natural basis of weight spaces in Nakajima's construction with the natural basis of multiplicity spaces in tensor products which arises from affine…
We relate the geometry of Schubert varieties in twisted affine Grassmannian and the nilpotent varieties in symmetric spaces. This extends some results of Achar-Henderson in the twisted setting. We also get some applications to the geometry of the order 2 nilpotent varieties in certain classical symmetric spaces.
We develop a theory of affine flag varieties and of their Schubert varieties for reductive groups over a Laurent power series local field k((t)) with k a perfect field. This can be viewed as a generalization of the theory of affine flag varieties for loop groups to a "twisted case"; a consequence of our results is that our construction also includes the flag varieties for Kac-Moody Lie algebras of affine type. We also give a coherence conjecture on the dimensions of the spaces of global sections of the natural ample line bundles on the partial flag varieties attached to a fixed group over k((t…
We give a concrete description of the category of G-equivariant vector bundles on certain affine G-varieties (where G is a reductive linear algebraic group over an algebraically closed field of characteristic 0) in terms of linear algebra data.
Let $G$ be the Weil restriction of a general linear group. By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we obtain a stratification of the affine Deligne-Lusztig varieties for $G$ (in the affine Grassmannian) attached to a minuscule coweight and a basic element. As an application, we verify a conjecture by Chen and Zhu on irreducible components of affine Deligne-Lusztig varieties for $G$.
This paper deals with symplectic varieties which do not have symplectic resolutions. Some moduli spaces of semi-stable torsion-free sheaves on a K3 surface, and symplectic V-manifolds are such varieties. We shall prove local Torelli theorem for symplectic varieties. Some results on symplectic singularities are also included.
In this note we give a classification of all affine normal $SL_2$-varieties containing an open dense orbit over an algebraically closed field of characteristic zero. Such a classification was first obtained by Popov. Here we provide an alternative approach.
We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${\mathbb P}^2$ or ${\mathbb P}^1\times {\mathbb P}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaoka's generic semipositivity theorem.
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
We introduce the notion of a conical symplectic variety, and show that any symplectic resolution of such a variety is isomorphic to the Springer resolution of a nilpotent orbit in a semisimple Lie algebra, composed with a linear projection.
We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.
We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
This paper studies affine Deligne-Lusztig varieties $X_{\tw}(b)$ in the affine flag variety of a quasi-split tamely ramified group. We describe the geometric structure of $X_{\tw}(b)$ for a minimal length element $\tw$ in the conjugacy class of an extended affine Weyl group, generalizing one of the main results in \cite{HL} to the affine case. We then provide a reduction method that relates the structure of $X_{\tw}(b)$ for arbitrary elements $\tw$ in the extended affine Weyl group to those associated with minimal length elements. Based on this reduction, we establish a connection between the …
We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.
The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected reductive groups and their equivariant compactifications, and is closed under flat reduced degenerations. We classify them all, describe their degenerations, and establish a connection between these varieties and "reductive semigroups" which we also define. Finally, we construct a Hilbert scheme of embedded G-varieties by applying and generalizing a constru…
Let G be a connected complex reductive group. A well known theorem of I. Losev's says that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper, we use the combinatorial theory of spherical varieties and a smoothness criterion of R. Camus to characterize the weight monoids of smooth affine spherical varieties.
We study derived equivalences of Abelian varieties in terms of their associated symplectic data. For simple Abelian varieties over an algebraically closed field of characteristic zero we prove that the natural correspondence introduced by Orlov, which maps equivalences to symplectic isomorphisms, is surjective.
We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.
We study the global geometry of the ten dimensional O'Grady irreducible symplectic variety. We determine its second Betti number, its Beauville form and its Fujiki constant.
Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theo…
We prove that any ample class on a primitive symplectic variety that is locally trivial deformation of O'Grady's singular 6 dimensional example is proportional to the first Chern class of a uniruled divisor. This result answers a question of Lehn, Mongardi and Pacienza, extending their result for primitive symplectic varieties of this deformation type.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.
The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.
We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.
We show that the Andre motive of an irreducible, symplectic variety, which is deformation equivalent to the Hilbert scheme of points on a K3 surface, is an object the category generated by its motive truncated in degree two.
Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
We generalize Fujiki relation of Beauville-Bogomolov quadratic form on a projective symplectic variety. As an application, we study a fibre space structure of a projective symplectic variety.
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
We study the algebraic symplectic geometry of multiplicative quiver varieties, which are moduli spaces of representations of certain quiver algebras, introduced by Crawley-Boevey and Shaw, called multiplicative preprojective algebras. They are multiplicative analogues of Nakajima quiver varieties. They include character varieties of (open) Riemann surfaces fixing conjugacy class closures of the monodromies around punctures, when the quiver is "crab-shaped". We prove that, under suitable hypotheses on the dimension vector of the representations, or the conjugacy classes of monodromies in the ch…
If X is a symplectic variety emedded in an affine space as a complete intersection of homogeneous polynomials, then X coincides with the nilpotent variety of a semisimple Lie algebra.
Our concern in this paper is the dimension and inclusion relations of Schubert varieties in twisted partial affine flag varieties. In the end we apply our results to some local models of certain Schubert varieties.
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
We determine the set of connected components of closed affine Deligne-Lusztig varieties for hyperspecial maximal parahoric subgroups of unramified connected reductive groups. This extends the work by Viehmann for split reductive groups, and the work by Chen-Kisin-Viehmann on minuscule affine Deligne-Lusztig varieties.
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.
