Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on gauge equivalence classes. This result extends work of Kontsevich, and our own earlier work, on deformation quantization of algebraic varieties.
Let X be a smooth algebraic variety over a field of characteristic 0. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf O_X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization map from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on equivalence classes.
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 prove the existence of tilting objects on generalized Brauer--Severi varieties, some relative flags and some twisted forms of relative flags. As an application we obtain tilting objects on certain homogeneous varieties of classical type and on certain twisted forms of homogeneous varieties of type $A_n$ and $C_n$.
In this paper we prove some vanishing theorems for the twisted Dolbeault cohomology of the complete flag varieties associated to a simple, simply connected algebraic group.
We introduce two new general methods to compute the Chow motives of twisted flag varieties and settle a 20-year-old conjecture of Markus Rost about the Rost invariant for groups of type E7.
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.
G. Pareschi and M. Popa give criterions for global generations and surjectivity of multiplication maps of global sections of coherent sheaves on abelian varieties in the theory of M-regularity. In this paper, we generalize some of their criterions via the M-regularity of $\mathbb{Q}$-twisted sheaves. As an application, we show that the M-regularity of a suitable $\mathbb{Q}$-twisted sheaf implies property $(N_p)$ and jet-ampleness for ample line bundles on abelian varieties.
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.
Let $G$ be a split semisimple algebraic group over a field and let $A^*$ be an oriented cohomology theory in the sense of Levine--Morel. We provide a uniform approach to the $A^*$-motives of geometrically cellular smooth projective $G$-varieties based on the Hopf algebra structure of $A^*(G)$. Using this approach we provide various applications to the structure of motives of twisted flag varieties.
The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semi-formal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semi-formal deformations are Noetherian and have polynomial growth. We propose constructions of semi-formal quantizations of…
In the present article we prove some results about the Morava K-theory. In particular, we construct an operation from the Morava K-theory to the Chow theory analogous to the second Chern class for Grothendieck's K0-theory. Furthermore, we investigate ordinary and equivariant oriented cohomology theories in the sense of Levine-Morel of projective quadrics, and discuss the Rost motives.
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…
Let $SL_{2n}$, $Sp_{2n}$, $E_6 = G^{sc}(E_6)$, $F_4 = G(F_4)$ be simply connected split algebraic groups over an arbitrary field $F$. Algebraic K-theory of affine homogeneous varieties $SL_{2n}/Sp_{2n}$ and $E_6/F_4$ is computed. Moreover, explicit elements that generate $K_*(SL_{2n}/Sp_{2n})$ and $K_*(E_6/F_4)$ as $K_*(F)$-algebras are provided. For some twisted forms of these varieties K-theory is also computed.
We construct quantizations of multiplicative hypertoric varieties using an algebra of q-difference operators on affine space, where q is a root of unity in C. The quantization defines a matrix bundle (i.e. Azumaya algebra) over the multiplicative hypertoric variety and admits an explicit finite étale splitting. The global sections of this Azumaya algebra is a hypertoric quantum group, and we prove a localization theorem. We introduce a general framework of Frobenius quantum moment maps and their Hamiltonian reductions; our results shed light on an instance of this framework.
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…
Let G be an adjoint simple algebraic group of inner type. We express the Chow motive (with integral coefficients) of some anisotropic projective G-homogeneous varieties in terms of motives of simpler G-homogeneous varieties, namely, those that correspond to maximal parabolic subgroups of G. We decompose the motive of a generalized Severi-Brauer variety SB_2(A), where A is a division algebra of degree 5, into a direct sum of two indecomposable motives. As an application we provide another counter-example to the uniqueness of a direct sum decomposition in the category of motives with integral co…
We describe, under certain conditions, the Newton-Okounkov body of a Bott-Samelson variety as a lattice polytope defined by an explicit list of inequalities. The valuation that we use to define the Newton-Okounkov body is different from that used previously in the literature. The polytope that arises is a special case of the Grossberg-Karshon twisted cubes studied by Grossberg and Karshon in connection to character formulae for irreducible $G$-representations and also studied previously by the authors in relation to certain toric varieties associated to Bott-Samelson varieties.
The universal curve p:C->\Mbar over the moduli space \Mbar of stable r-spin maps to a target Kähler manifold X carries a universal spinor bundle L->C. Therefore the moduli space \Mbar itself carries a natural K-theory class Rp_*L. We introduce a twisted r-spin Gromov-Witten potential of X enriched with Chern characters of Rp_*L. We show that the twisted potential can be reconstructed from the ordinary r-spin Gromov-Witten potential of X via an operator that assumes a particularly simple form in Givental's quantization formalism.
We study the depth properties of certain direct image sheaves on normal varieties. Let $f: Y\rightarrow X$ be a proper morphism of relative dimension $d$ from a smooth variety onto a normal variety such that the preimage $E$ of the singular locus of $X$ is a divisor. We show that for any integer $m>0$, the higher direct image $R^df_*ω^{\otimes m}_Y(aE)$ modulo the torsion subsheaf is $S_2$, provided that $a$ is sufficiently large. In case $f$ is birational, we give criteria on $a$ for the direct image $f_*ω_Y(aE)$ to coincide with $ω_X$. We also introduce an index measuring the singularities o…
We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
In this paper we prove that a finite product of Brauer--Severi varieties is categorical representable in dimension zero if and only if it admits a $k$-rational point if and only if it is rational over $k$. The same is true for certain isotropic involution varieties over a field $k$ of characteristic different from two. For finite products of generalized Brauer--Severi varieties, categorical representability in dimension zero is equivalent to the existence of a full exceptional collection. In this case however categorical representability in dimension zero is not equivalent to the existence of …
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric quantization) is the projective coordinate ring of the embedded manifold. This allows for generalization to the case of singular varieties. The set-up is explained in the first part of the contribution. The second part of the contribution is of tutorial nature. Necessary notions, concepts, and results of algebraic geometry appearing in this approach to quantiz…
The paper consists of two sections. The first section provides a new definition of mirror symmetry of abelian varieties making sense also over $p$-adic fields. The second section introduces and studies quantized theta-functions with two-sided multipliers, which are functions on non-commutative tori. This is an extension of an earlier work by the author. In the Introduction and in the Appendix the constructions of this paper are put into a wider context.
We analyze the asymptotic behavior of certain twisted orbital integrals arising from the study of affine Deligne-Lusztig varieties. The main tools include the Base Change Fundamental Lemma and $q$-analogues of the Kostant partition functions. As an application we prove a conjecture of Miaofen Chen and Xinwen Zhu, relating the set of irreducible components of an affine Deligne-Lusztig variety modulo the action of the $σ$-centralizer group to the Mirkovic-Vilonen basis of a certain weight space of a representation of the Langlands dual group.
Given a smooth projective toric variety $X_Σ$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_Σ)$ into the dg derived category of constructible sheaves on a torus $Sh(T^n, Λ_Σ)$. Recently, Kuwagaki \cite{Ku2} proved that the quasi-embedding is a quasi-equivalence, and generalized the result to toric stacks. Here we give a different proof in the smooth projective case, using non-characteristic deformation of sheaves to find twisted polytope sheaves that co-represent …
We give a complete list of smooth and rationally smooth normalized Schubert varieties in the twisted affine Grassmannian associated with a tamely ramified group and a special vertex of its Bruhat-Tits building. The particular case of the quasi-minuscule Schubert variety in the quasi-split but non-split form of ${\rm Spin}_8$ ("ramified triality") provides an input needed in the article by He-Pappas-Rapoport classifying Shimura varieties with good or semi-stable reduction.
We consider the set of forms of a toric variety over an arbitrary field: those varieties which become isomorphic to a toric variety after base field extension. In contrast to most previous work, we also consider arbitrary isomorphisms rather than just those that respect a torus action. We define an injective map from the set of forms of a toric variety to a non-abelian second cohomology set, which generalizes the usual Brauer class of a Severi-Brauer variety. Additionally, we define a map from the set of forms of a toric variety to the set of forms of a separable algebra along similar lines to…
I. Panin proved in the nineties that the algebraic K-theory of twisted projective homogeneous varieties can be expressed in terms of central simple algebras. Later, Merkurjev and Panin described the algebraic K-theory of toric varieties as a direct summand of the algebraic K-theory of separable algebras. In this article, making use of the recent theory of noncommutative motives, we extend Panin and Merkurjev-Panin computations from algebraic K-theory to every additive invariant. As a first application, we fully compute the cyclic homology (and all its variants) of twisted projective homogeneou…
Let $K/k$ be a finite Galois extension, $G=\text{Gal}(K/k)$, $Σ$ be a fan in a lattice $N$ and $X_Σ$ be an associated toric variety over $k$. It is well known that the set of $K/k$-forms of $X_Σ$ is in bijection with $H^1(G,\text{Aut}_Σ^T)$, where $\text{Aut}_Σ^T$ is an algebraic group of toric automorphisms of $X_Σ$. In this paper, we suggest an algorithm to compute $H^1(G,\text{Aut}_Σ^T)$ and find that followings can be classified via this algorithm : $K/k$-forms of all toric surfaces, $K/k$-forms of all 3-dimensional affine toric varieties with no torus factor, $K/k$-forms of all 3-dimensio…
Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the variety of Borel subgroups G/B over k. Following the Kostant-Kumar results on equivariant cohomology of flag varieties we establish an isomorphism between the Grothendieck groups of the h-motivic subcategory generated by E/B and the category of finitely generated projective modules of certain Hecke-type algebra H which depends on the root datum of G, on the torsor…
In this paper we investigate the relationship between twisted and untwisted character varieties via a specific instance of the Cohomological Hall algebra for moduli of objects in 3-Calabi-Yau categories introduced by Kontsevich and Soibelman. In terms of Donaldson--Thomas theory, this relationship is completely understood via the calculations of Hausel and Villegas of the E polynomials of twisted character varieties and untwisted character stacks. We present a conjectural lift of this relationship to the cohomological Hall algebra setting.
We extend the notion of absolute subsets of Betti moduli spaces of smooth algebraic varieties to the case of normal varieties. As a consequence we prove that twisted cohomology jump loci in rank one over a normal variety are a finite union of translated subtori. We show that the same holds for jump loci twisted by a unitary local system in the case where the underlying variety $X$ is projective with $H^1(X,\mathbb{Q})$ pure of weight one. Lastly, we study the interaction of these loci with Hodge theoretic data naturally associated to the representation variety of fundamental groups of smooth p…
