Let X be an algebraic variety with a generically free action of a connected algebraic group G. Given an automorphism u of G, we will denote by X^u the same variety X with the G-action given by twisted by u. V. L. Popov asked if X and X^u are always G-equivariantly birationally isomorphic. We construct examples to show that this is not the case in general, but we prove that X and X^u are always stably birationally isomorphic, i.e., birationally isomorphic after taking products with an affine space with trivial G-action.
This paper investigates isomorphisms of Bergman fans of matroids respecting different fan structures, which we regard as matroid analogs of birational maps. We show that isomorphisms respecting the fine fan structure are induced by matroid isomorphisms. We introduce Cremona automorphisms of the coarse structure of Bergman fans, which are not induced by matroid automorphisms. We show that the automorphism group of the coarse fan structure is generated by matroid automorphisms and Cremona maps in the case of rank 3 matroids which are not parallel connections and for modularly complemented matroi…
We study K-equivalent birational maps which are resolved by a single blowup. Examples of such maps include standard flops and twisted Mukai flops. We give a criterion for such maps to be a standard flop or a twisted Mukai flop. As an application, we classify all such birational maps up to dimension 5.
The aim of this paper is to investigate the birational geometry of Generalized Severi-Brauer varieties. A conjecture of Amitsur states that two Severi-Brauer varieties $V(A)$ and $V(B)$ are birational if the underlying central simple algebras $A$ and $B$ are the same degree and generate the same cyclic subgroup of the Brauer group. We present a generalization of this conjecture to Generalized Severi-Brauer varieties, and show that in most cases we may reduce the new conjecture to the case where every subfield of the algebras is maximal, and in particular to the case where the algebras have pri…
We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with fixed degree. We prove that every 3-birational map can be described as a composition of tensorization by a fixed line bundle, Hecke transformations, dualization, taking pullback by an isomorphism between the curves and the action of the group of automorphisms of the Jacobian variety of the curve which fix the r-torsion. In particular, we prove a Torelli typ…
This paper explores the birational geometry of a general Horrocks-Mumford quintic threefold, describing the set of all minimal models up to marked isomorphism, the movable fan (the way in which the nef cones of all these models are arranged to form the movable cone), and the birational automorphism group. There are infinitely many models up to marked isomorphism, falling into just eight (unmarked-) isomorphism classes.
Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the complex reduced varieties (X \ U), (X \ V) are piecewise isomorphic.
We prove that, for 3 < m < n-1, the Grassmannian of m-dimensional subspaces of the space of skew-symmetric forms over a vector space of dimension n is birational to the Hilbert scheme of the degeneracy loci of m global sections of Omega(2), the twisted cotangent bundle on P^{n-1}. For 3=m<n-1 and n odd, this Grassmannian is proved to be birational to the set of Veronese surfaces parametrized by the Pfaffians of linear skew-symmetric matrices of order n.
In this paper we describe the birational geometry of Fano double spaces $V\stackrelσ{\to}{\mathbb P}^{M+1}$ of index 2 and dimension $\geqslant 8$ with at mostquadratic singularities of rank $\geqslant 8$, satisfying certain additional conditions of general position: we prove that these varieties have no structures of a rationally connected fibre space over a base of dimension $\geqslant 2$, that every birational map $χ\colon V\dashrightarrow V'$ onto the total space of a Mori fibre space $V'/{\mathbb P}^1$ induces an isomorphism $V^+\cong V'$ of the blow up $V^+$ of the variety $V$ along $σ^{…
In this paper we prove a refined version of Uchida's theorem on isomorphisms between absolute Galois groups of global fields in positive characteristics, where one "ignores" the information provided by a "small" set of primes.
We continue to study birational geometry of Fano fibrations $π\colon V\to {\mathbb P}^1$ the fibers of which are Fano double hypersurfaces of index 1. For a majority of families of this type, which do not satisfy the condition of sufficient twistedness over the base, we prove birational rigidity (in particular, it means that there are no other structures of a fibration into rationally connected varieties) and compute their groups of birational self-maps. We considerably improve the principal components of the method of maximal singularities, in the first place, the technique of counting multip…
We show that when a torus $T$ acts on a smooth variety $X$, the twisted HKR isomorphism is equivariant. The main consequence is that the Bezrukavnikov- Lachowska isomorphism, relating the Hochschild cohomology of the principal block of the small quantum group to certain sheaf cohomology groups on the Springer resolution $\widetilde{\mathcal{N}}$ , can be upgraded to a ring isomorphism by a twist.
Let ${\mathcal L}/{\mathcal K}$ be a finite Galois extension and let $X$ be an affine algebraic variety defined over ${\mathcal L}$. Weil's Galois descent theorem provides necessary and sufficient conditions for $X$ to be definable over ${\mathcal K}$, that is, for the existence of an algebraic variety $Y$ defined over ${\mathcal K}$ together with a birational isomorphism $R:X \to Y$ defined over ${\mathcal L}$. Weil's proof does not provide a method to construct the birational isomorphism $R.$ The aim of this paper is to give an explicit construction of $R$.
It is proved that on a smooth algebraic variety, fibered into cubic surfaces over the projective line and sufficiently ``twisted'' over the base, there is only one pencil of rational surfaces -- that is, this very pencil of cubics. In particular, this variety is non-rational; moreover, it can not be fibered into rational curves. The proof is obtained by means of the method of maximal singularities.
Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions…
We describe the birational correspondences, induced by the Fourier-Mukai functor, between moduli spaces of semistable sheaves on elliptic surfaces with sections, using the notion of $P$-stability in the derived category. We give explicit conditions to determine whether these correspondences are isomorphisms. This is indeed not true in general and we describe the cases where the birational maps are Mukai flops. Moreover, this construction provides examples of new compactifications of the moduli spaces of vector bundles via sheaves with torsion and via complexes. We finally get for any fixed dim…
We study twisted derived equivalences for schemes in the setting of spectral algebraic geometry. To this end, we introduce the notion of a twisted equivalence and show that a twisted equivalence for perfect spectral algebraic stacks admitting a quasi-finite presentation supplies an equivalence between the stacks, which compensate for the failure of twisted derived equivalences for non-affine schemes to provide an isomorphism of the schemes. In the case of (not necessarily connective) commutative ring spectra, we also prove a spectral analogue of Rickard's theorem, which shows that a derived eq…
The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory ana…
In this note we make a few remarks about the geometry of the holomorphic symplectic manifold Z constructed by C.Lehn, M.Lehn, C.Sorger and D. van Straten as a two-step contraction of the variety of twisted cubic curves on a cubic fourfold Y in P^5. We show that Z is birational to a component of a moduli space of stable sheaves in the Calabi-Yau subcategory of the derived category of Y. Using this description we deduce that the twisted cubics contained in a hyperplane section Y_H of Y give rise to a Lagrangian subvariety Z_H in Z. For a generic choice of the hyperplane, Z_H is birational to the…
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
In this paper, we study twisted algebraic $K$-theory from a motivic viewpoint. For a smooth variety $X$ over a field of characteristic zero and an Azumaya algebra $\mathcal{A}$ over $X$, we construct the $\mathcal{A}$-twisted motivic spectral sequence, by computing the slices of the motivic twisted algebraic $K$-theory spectrum as a twisted form of motivic cohomology. This generalizes previous results due to Kahn-Levine where $\mathcal{A}$ is assumed to be pulled back from a base field. Our methods use interaction between the slice filtration and birational geometry. Along the way, we prove a …
By a theorem of Bernhard Keller the de Rham cohomology of a smooth variety is isomorphic to the periodic cyclic homology of the differential graded category of perfect complexes on the variety. Both the de Rham cohomology and the cyclic homology can be twisted by the exponential of a regular function on the variety. We explain that the isomorphism holds true in the twisted setting and draw some conclusions on derived invariance of the algebraic Gauss-Manin systems associated with regular functions.
We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic weights is also obtained. These results are extended to the classification of birational equivalences which are defined over "big" open subsets (3-birational maps, i.e. birational maps giving an isomor…
In a previous paper the authors develop an intersection theory for subspaces of rational functions on an algebraic variety X over complex numbers. In this note, we first extend this intersection theory to an arbitrary algebraically closed ground field. Secondly we give an isomorphism between the group of b-divisors on the birational class of X and the Grothendieck group of the semigroup of subspaces of rational functions on X. The constructed isomorphism moreover preserves the intersection numbers. This provides an alternative approach to b-divisors and their intersection theory.
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…
This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theor…
We introduce relative twisted homology and cohomology groups associated with Euler type integrals of solutions to Lauricella's system $F_D(a,b,c)$ of hypergeometric differential equations. We define an intersection form between relative twisted homology groups and that between relative twisted cohomology groups, and show their compatibility. We prove that the relative twisted homology group is canonically isomorphic to the space of local solutions to $F_D(a,b,c)$ for any parameters $a,b,c$. Through this isomorphism, we study $\cF_D(a,b,c)$ by the relative twisted homology and cohomology groups…
We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,α) determines the scheme structure of X for αin the Brauer group of X, and that any equivalence between Coh(X,α) and Coh(Y,β) induces an isomorphism between X and Y. In conclusion we prove the saturatedness of D^b(X,α).
Given a triple cover p: X --> Y of varieties, we produce a new variety Z and a birational morphism f: Z --> X which is an isomorphism away from the fat-point ramification locus of p. The variety Z has a natural interpretation in terms of the data describing the triple cover, and the morphism f has an elegant geometric description.
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.
Motivated by the study of rationally connected fibrations (and the MRC quotient) we study different notions of birationally simple fibrations. We say a fibration of smooth projective varieties is Chow constant if pushforward induces an isomorphism on the Chow group of 0-cycles. Likewise we say a fibration is cohomologically constant if pullback induces an isomorphism on holomorphic p-forms for all p. Our main result is the construction of maximal Chow constant and cohomologically constant fibrations. The paper is largely self contained and we prove a number of basic properties of these fibrati…
Automorphisms of a perfect complex naturally have the structure of an $\infty$-group: the 1-morphisms are quasi-isomorphisms, the 2-morphisms are homotopies, etc. This article starts by proving some basic properties of this $\infty$-group. We go on to study the deformation theory of this stack of $\infty$-groups and give a criterion for this stack to be formally smooth. The classifying stack of this $\infty$-group classifies forms of a complex. We discuss a version of Hilbert 90 for perfect complexes.
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3, b_2-3). A Teichmuller space of $M$ is a space of complex structures on $M$ up to isotopies. We define a birational Teichmuller space by identifying certain points corresponding to bimeromorphically equivalent manifolds, and show that the period map gives an isomorphism of the birational Teichmuller space and the corresponding period space $SO(b_2-3, 3)/SO(2)\ti…
