Showing 1–50 of 50 results for author: Kresch, A

Unramified Brauer group of quotient spaces by finite groups

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We provide a general algorithm for the computation of the unramified Brauer group of quotients of rational varieties by finite groups. We provide a general algorithm for the computation of the unramified Brauer group of quotients of rational varieties by finite groups. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 24 pages

Birational geometry of Deligne-Mumford stacks

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We investigate the birational geometry of Deligne-Mumford stacks and define new birational invariants in this context. We investigate the birational geometry of Deligne-Mumford stacks and define new birational invariants in this context. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 64 pages

Formal GAGA for gerbes

Authors: Andrew Kresch, Siddharth Mathur

Abstract: Fix an $I$-adically complete Noetherian ring $A$ and suppose $X$ is a proper $A$-scheme. This article concerns the relationship between the Brauer group of $X$ and that of the various $X_n$ where $X_n$ is the fiber over $A/I^{n+1}$. In particular, we answer a question of Grothendieck by showing that, in positive and mixed characteristic, there are examples of $X$ with nontrivial Brauer classes tha… ▽ More Fix an $I$-adically complete Noetherian ring $A$ and suppose $X$ is a proper $A$-scheme. This article concerns the relationship between the Brauer group of $X$ and that of the various $X_n$ where $X_n$ is the fiber over $A/I^{n+1}$. In particular, we answer a question of Grothendieck by showing that, in positive and mixed characteristic, there are examples of $X$ with nontrivial Brauer classes that restrict to zero on all the $X_n$. We characterize such behavior, prove this cannot happen in characteristic zero, and deduce a formal GAGA statement for Brauer classes. △ Less

Submitted 1 October, 2023; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 23 pages, second version. Changes include: restructuring of article, strengthening of approximation results, new result on formal GAGA for Brauer classes, and other minor refinements. Comments welcome

Burnside groups and orbifold invariants of birational maps

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We construct new invariants of equivariant birational isomorphisms taking values in equivariant Burnside groups. We construct new invariants of equivariant birational isomorphisms taking values in equivariant Burnside groups. △ Less

Submitted 11 August, 2022; originally announced August 2022.

Comments: 13 pages

Cohomology of finite subgroups of the plane Cremona group

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: An equivariant stable birational invariant of an action of a finite group on a smooth projective variety is the first cohomology group of the Picard module. Bogomolov-Prokhorov and Shinder computed this for actions of cyclic groups on rational surfaces, with maximal stabilizers, in terms of the geometry of the fixed point locus. Using the Brauer group of the quotient stack, we extend the computati… ▽ More An equivariant stable birational invariant of an action of a finite group on a smooth projective variety is the first cohomology group of the Picard module. Bogomolov-Prokhorov and Shinder computed this for actions of cyclic groups on rational surfaces, with maximal stabilizers, in terms of the geometry of the fixed point locus. Using the Brauer group of the quotient stack, we extend the computation to more general actions and relate it to the equivariant Burnside group formalism. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 17 pages

Equivariant Burnside groups and toric varieties

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study $G$-equivariant birational geometry of toric varieties, where $G$ is a finite group. We study $G$-equivariant birational geometry of toric varieties, where $G$ is a finite group. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Comments: 32 pages

Equivariant Burnside groups and representation theory

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We apply the equivariant Burnside group formalism to distinguish linear actions of finite groups, up to equivariant birationality. Our approach is based on De Concini-Procesi models of subspace arrangements. We apply the equivariant Burnside group formalism to distinguish linear actions of finite groups, up to equivariant birationality. Our approach is based on De Concini-Procesi models of subspace arrangements. △ Less

Submitted 1 August, 2021; originally announced August 2021.

Comments: 38 pages

Equivariant Burnside groups: structure and operations

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We introduce and study functorial and combinatorial constructions concerning equivariant Burnside groups. We introduce and study functorial and combinatorial constructions concerning equivariant Burnside groups. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 20 pages

Arithmetic properties of equivariant birational types

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study arithmetic properties of equivariant birational types introduced by Kontsevich, Pestun, and the second author. We study arithmetic properties of equivariant birational types introduced by Kontsevich, Pestun, and the second author. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 12 pages

Symbols and equivariant birational geometry in small dimensions

Authors: Brendan Hassett, Andrew Kresch, Yuri Tschinkel

Abstract: We discuss the equivariant Burnside group and related new invariants in equivariant birational geometry, with a special emphasis on applications in low dimensions. We discuss the equivariant Burnside group and related new invariants in equivariant birational geometry, with a special emphasis on applications in low dimensions. △ Less

Submitted 17 October, 2020; originally announced October 2020.

Comments: 40 pages

Equivariant birational types and Burnside volume

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group. We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 41 pages

Birational types of algebraic orbifolds

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We introduce a variant of the birational symbols group of Kontsevich, Pestun, and the second author, and use this to define birational invariants of algebraic orbifolds. We introduce a variant of the birational symbols group of Kontsevich, Pestun, and the second author, and use this to define birational invariants of algebraic orbifolds. △ Less

Submitted 4 November, 2019; v1 submitted 17 October, 2019; originally announced October 2019.

Comments: 20 pages

Fibrations in sextic del Pezzo surfaces with mild singularities

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study sextic del Pezzo surface fibrations via root stacks. We study sextic del Pezzo surface fibrations via root stacks. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Comments: 17 pages

Brauer groups of involution surface bundles

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We present an algorithm to compute the Brauer group of involution surface bundles over rational surfaces. We present an algorithm to compute the Brauer group of involution surface bundles over rational surfaces. △ Less

Submitted 14 September, 2018; originally announced September 2018.

Comments: 18 pages

Involution surface bundles over surfaces

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We construct models of involution surface bundles over algebraic surfaces, degenerating over normal crossing divisors, and with controlled singularities of the total space. We construct models of involution surface bundles over algebraic surfaces, degenerating over normal crossing divisors, and with controlled singularities of the total space. △ Less

Submitted 4 July, 2018; originally announced July 2018.

Comments: 23 pages

Stable rationality in smooth families of threefolds

Authors: Brendan Hassett, Andrew Kresch, Yuri Tschinkel

Abstract: We exhibit families of smooth projective threefolds with both stably rational and non stably rational fibers. We exhibit families of smooth projective threefolds with both stably rational and non stably rational fibers. △ Less

Submitted 16 February, 2018; originally announced February 2018.

Comments: 26 pages

Stable rationality of Brauer-Severi surface bundles

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: For sufficiently ample linear systems on rational surfaces we show that a very general associated Brauer-Severi surface bundle is not stably rational. For sufficiently ample linear systems on rational surfaces we show that a very general associated Brauer-Severi surface bundle is not stably rational. △ Less

Submitted 28 September, 2017; originally announced September 2017.

Comments: 11 pages

Models of Brauer-Severi surface bundles

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study Brauer-Severi surface bundles over smooth projective varieties via root stacks, with a view towards applications to failure of stable rationality. We study Brauer-Severi surface bundles over smooth projective varieties via root stacks, with a view towards applications to failure of stable rationality. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 50 pages

Equivariant versal deformations of semistable curves

Authors: Jarod Alper, Andrew Kresch

Abstract: We prove that given any $n$-pointed prestable curve $C$ of genus $g$ with linearly reductive automorphism group ${\rm Aut}(C)$, there exists an ${\rm Aut}(C)$-equivariant miniversal deformation of $C$ over an affine variety $W$. In other words, we prove that the algebraic stack $\mathfrak{M}_{g,n}$ parametrizing $n$-pointed prestable curves of genus $g$ has an étale neighborhood of $[C]$ isomorphi… ▽ More We prove that given any $n$-pointed prestable curve $C$ of genus $g$ with linearly reductive automorphism group ${\rm Aut}(C)$, there exists an ${\rm Aut}(C)$-equivariant miniversal deformation of $C$ over an affine variety $W$. In other words, we prove that the algebraic stack $\mathfrak{M}_{g,n}$ parametrizing $n$-pointed prestable curves of genus $g$ has an étale neighborhood of $[C]$ isomorphic to the quotient stack $[W / {\rm Aut}(C)]$. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Comments: 21 pages

Stable rationality and conic bundles

Authors: Brendan Hassett, Andrew Kresch, Yuri Tschinkel

Abstract: We study stable rationality properties of conic bundles over rational surfaces. We study stable rationality properties of conic bundles over rational surfaces. △ Less

Submitted 29 March, 2015; originally announced March 2015.

Comments: 14 pages

The puzzle conjecture for the cohomology of two-step flag manifolds

Authors: Anders Skovsted Buch, Andrew Kresch, Kevin Purbhoo, Harry Tamvakis

Abstract: We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of t… ▽ More We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection of gashed puzzles that is analogous to the jeu de taquin algorithm but more complicated. △ Less

Submitted 24 June, 2016; v1 submitted 8 January, 2014; originally announced January 2014.

Comments: Final Version. 32 pages; 381 figures (best viewed in color)

MSC Class: Primary 05E05; Secondary 14N15; 14M15

On the moduli of degree 4 Del Pezzo surfaces

Authors: Brendan Hassett, Andrew Kresch, Yuri Tschinkel

Abstract: We study irreducibility of families of degree 4 Del Pezzo surface fibrations over curves. We study irreducibility of families of degree 4 Del Pezzo surface fibrations over curves. △ Less

Submitted 23 December, 2013; originally announced December 2013.

Comments: 36 pages

Effective computation of Picard groups and Brauer-Manin obstruction of degree two K3 surfaces over number fields

Authors: Brendan Hassett, Andrew Kresch, Yuri Tschinkel

Abstract: Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields. Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields. △ Less

Submitted 9 March, 2012; originally announced March 2012.

Comments: 15 pages

MSC Class: 14G25 (primary); 14F22; 14J28 (secondary)

A Giambelli formula for even orthogonal Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus… ▽ More Let X be an orthogonal Grassmannian parametrizing isotropic subspaces in an even dimensional vector space equipped with a nondegenerate symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in the singular and quantum cohomology ring of X as a polynomial in certain special Schubert classes. Our analysis reveals a surprising relation between the Schubert calculus on even and odd orthogonal Grassmannians. We also study eta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. △ Less

Submitted 29 March, 2012; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: 28 pages; added appendix gives geometric description of Schubert varieties, correcting errors in arXiv:0809.4966

MSC Class: 14N15 (Primary) 05E15; 14M15 (Secondary)

A compactification of the space of maps from curves

Authors: Bumsig Kim, Andrew Kresch, Yong-Geun Oh

Abstract: We construct a new compactification of the moduli space of maps from pointed nonsingular projective stable curves to a nonsingular projective variety with prescribed ramification indices at the points. It is shown to be a proper Deligne-Mumford stack equipped with a natural virtual fundamental class. We construct a new compactification of the moduli space of maps from pointed nonsingular projective stable curves to a nonsingular projective variety with prescribed ramification indices at the points. It is shown to be a proper Deligne-Mumford stack equipped with a natural virtual fundamental class. △ Less

Submitted 30 May, 2011; originally announced May 2011.

MSC Class: 14N35

Effectivity of Brauer-Manin obstructions on surfaces

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study Brauer-Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces over number fields. We study Brauer-Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces over number fields. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: 13 pages

MSC Class: 14G25 (primary); 14F22 (secondary)

Quantum Giambelli formulas for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2… ▽ More Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781. △ Less

Submitted 4 December, 2008; originally announced December 2008.

Comments: 11 pages

MSC Class: 14N35; 05E15; 14M15; 14N15

A Giambelli formula for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees… ▽ More Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials. △ Less

Submitted 4 August, 2010; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: 39 pages; improvements and corrections made to the exposition

MSC Class: 14N15 (Primary) 05E15; 14M15 (Secondary)

Quantum Pieri rules for isotropic Grassmannians

Authors: Anders S. Buch, Andrew Kresch, Harry Tamvakis

Abstract: We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class… ▽ More We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations. △ Less

Submitted 29 September, 2008; originally announced September 2008.

Comments: 59 pages, LaTeX, 6 figures

MSC Class: 14N35 (Primary) 14M15; 14N15 (Secondary)

Brauer-Manin obstructions to integral points

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study Brauer-Manin obstructions to integral points on open subsets of the projective plane. We study Brauer-Manin obstructions to integral points on open subsets of the projective plane. △ Less

Submitted 7 September, 2007; originally announced September 2007.

Comments: 5 pages

MSC Class: 14G25; 14F22

Effectivity of Brauer-Manin obstructions

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study Brauer-Manin obstructions to the Hasse principle and to weak approximation with special regard to effectivity questions. We study Brauer-Manin obstructions to the Hasse principle and to weak approximation with special regard to effectivity questions. △ Less

Submitted 21 December, 2006; originally announced December 2006.

Comments: 24 pages

MSC Class: 14G25; 14F22

Stable Grothendieck polynomials and K-theoretic factor sequences

Authors: Anders S. Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis, Alexander Yong

Abstract: We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Litt… ▽ More We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials. △ Less

Submitted 20 January, 2006; originally announced January 2006.

Comments: 21 pages

MSC Class: 05E15 (Primary) 14M15; 19E08; 05E05 (Secondary)

Journal ref: Math. Ann. 340 (2008), no. 2, 359--382.

On the arithmetic of del Pezzo surfaces of degree 2

Authors: Andrew Kresch, Yuri Tschinkel

Abstract: We study the arithmetic of certain del Pezzo surfaces of degree 2. We produce examples of Brauer-Manin obstruction to the Hasse principle, coming from 2- and 4-torsion elements in the Brauer group. We study the arithmetic of certain del Pezzo surfaces of degree 2. We produce examples of Brauer-Manin obstruction to the Hasse principle, coming from 2- and 4-torsion elements in the Brauer group. △ Less

Submitted 23 February, 2004; originally announced February 2004.

Comments: 24 pages, to appear in Proc. London Math. Soc

MSC Class: 14G05; 12G05

Littlewood-Richardson rules for Grassmannians

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis

Abstract: We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules. We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 9 pages, LaTeX2e, to appear in Advances in Mathematics

MSC Class: 05E15 (Primary) 14M15 (Secondary)

Grothendieck polynomials and quiver formulas

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis, Alexander Yong

Abstract: Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alterna… ▽ More Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 13 pages, LaTeX2e

MSC Class: 05E15 (Primary) 14M15; 19E08 (Secondary)

Journal ref: Amer. J. Math., 127 (2005), 551--567.

Gromov-Witten invariants on Grassmannians

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis

Abstract: We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littl… ▽ More We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians. △ Less

Submitted 27 June, 2003; originally announced June 2003.

Comments: 15 pages, LaTeX2e, to appear in J. Amer. Math. Soc

MSC Class: 14N35 (Primary) 14M15; 14N15; 05E15 (Secondary)

Quantum cohomology of orthogonal Grassmannians

Authors: Andrew Kresch, Harry Tamvakis

Abstract: Let V be a vector space with a nondegenerate symmetric form and OG be the orthogonal Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(OG) and show that its product structure is determined by the ring of (P~)-polynomials. A "quantum Schubert calculus" is formulated, which includes quantum Pieri and Giambelli form… ▽ More Let V be a vector space with a nondegenerate symmetric form and OG be the orthogonal Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(OG) and show that its product structure is determined by the ring of (P~)-polynomials. A "quantum Schubert calculus" is formulated, which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing Gromov-Witten invariants. As an application, we show that the table of 3-point, genus zero Gromov-Witten invariants for OG coincides with that for a corresponding Lagrangian Grassmannian LG, up to an involution. △ Less

Submitted 24 June, 2003; originally announced June 2003.

Comments: 20 pages, LaTeX, to appear in Compositio Mathematica

MSC Class: 14M15 (Primary) 05E15 (Secondary)

Quantum cohomology of the Lagrangian Grassmannian

Authors: Andrew Kresch, Harry Tamvakis

Abstract: Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as al… ▽ More Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing the structure constants appearing in the quantum product of Schubert classes. △ Less

Submitted 24 June, 2003; originally announced June 2003.

Comments: 27 pages, LaTeX, to appear in Journal of Algebraic Geometry

MSC Class: 14M15 (Primary) 05E15 (Secondary)

On coverings of Deligne-Mumford stacks and surjectivity of the Brauer map

Authors: Andrew Kresch, Angelo Vistoli

Abstract: This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the case of quasi-projective moduli space, to reduce the question to one concerning Brauer groups of schemes. This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the case of quasi-projective moduli space, to reduce the question to one concerning Brauer groups of schemes. △ Less

Submitted 22 January, 2003; originally announced January 2003.

Comments: LaTeX, 7 pages

MSC Class: 14A20; 14F22; 14L30

Schubert Polynomials and Quiver Formulas

Authors: Anders Skovsted Buch, Andrew Kresch, Harry Tamvakis, Alexander Yong

Abstract: The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coeffic… ▽ More The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials and the Schubert polynomials of Lascoux and Schützenberger. △ Less

Submitted 19 November, 2002; originally announced November 2002.

Comments: 13 pages

MSC Class: 05E15; 14M15

Journal ref: Duke Math Journal, Volume 122, Issue 1, 125-143 (2004)

Curves of every genus with many points, II: Asymptotically good families

Authors: Noam D. Elkies, Everett W. Howe, Andrew Kresch, Bjorn Poonen, Joseph L. Wetherell, Michael E. Zieve

Abstract: We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive cons… ▽ More We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive constant d such that for every q we can choose c_q = d * (log q). We show also that there is a constant c > 0 such that for every q and every n > 0, and for every sufficiently large g, there is a genus-g curve over F_q that has at least c*g/n rational points and whose Jacobian contains a subgroup of rational points isomorphic to (Z/nZ)^r for some r > c*g/n. △ Less

Submitted 7 August, 2002; originally announced August 2002.

Comments: LaTeX, 18 pages

MSC Class: 14G05 (Primary) 11G20; 14G15 (Secondary)

Journal ref: Duke Math. J. 122, no. 2 (2004), 399--422

Double Schubert polynomials and degeneracy loci for the classical groups

Authors: Andrew Kresch, Harry Tamvakis

Abstract: We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) ca… ▽ More We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles. △ Less

Submitted 22 April, 2003; v1 submitted 1 November, 2000; originally announced November 2000.

Comments: 34 pages, LaTeX; final version

MSC Class: 14M15; 14C17; 05E15

Journal ref: Annales de l'Institut Fourier 52 (2002), 1681-1727

Hodge-theoretic obstruction to existence of quaternion algebras

Authors: Andrew Kresch

Abstract: The class in the Brauer group of a quaternion algebra over a field is 2-torsion. We study the following question: Which 2-torsion elements of the Brauer group of a complex function field are representable by quaternion algebras? Using intersection theory to show that a certain cohomology class (on a smooth projective model) is the class of an algebraic cycle, we arrive at an obstruction, defined… ▽ More The class in the Brauer group of a quaternion algebra over a field is 2-torsion. We study the following question: Which 2-torsion elements of the Brauer group of a complex function field are representable by quaternion algebras? Using intersection theory to show that a certain cohomology class (on a smooth projective model) is the class of an algebraic cycle, we arrive at an obstruction, defined on a subgroup of the 2-torsion of the Brauer group, to representability by quaternion algebras. For the function fields of some complex threefolds, the obstruction map is computed and found to be nontrivial. △ Less

Submitted 12 September, 2000; originally announced September 2000.

Comments: 9 pages, LaTeX

MSC Class: 16K50 (Primary) 14C17; 14F22 (Secondary)

Gromov-Witten invariants of a class of toric varieties

Authors: Andrew Kresch

Abstract: We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas which exist already for Grassmannian varieties, flag varieties, etc. We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas which exist already for Grassmannian varieties, flag varieties, etc. △ Less

Submitted 17 April, 2000; originally announced April 2000.

Comments: 22 pages, LaTeX, to appear in the Michigan Mathematical Journal, special volume in honor of William Fulton

MSC Class: 14N35

Standard conjectures for the arithmetic Grassmannian G(2,N) and Racah polynomials

Authors: Andrew Kresch, Harry Tamvakis

Abstract: We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Plücker embedding of $G$ in projective space. The analysis of the Hodge index inequalities involves estimates on certain Racah polynomials. We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Plücker embedding of $G$ in projective space. The analysis of the Hodge index inequalities involves estimates on certain Racah polynomials. △ Less

Submitted 28 March, 2000; originally announced March 2000.

Comments: 13 pages, LaTeX2e

MSC Class: 14G40; 14C17; 14M15; 33C45

Curves of every genus with many points, I: Abelian and toric families

Authors: Andrew Kresch, Joseph L. Wetherell, Michael E. Zieve

Abstract: Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs they constructed curves with many points in infinitely many genera; however, their sequences of genera are somewhat sparse. In this paper, we prove that lim_{g-… ▽ More Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs they constructed curves with many points in infinitely many genera; however, their sequences of genera are somewhat sparse. In this paper, we prove that lim_{g-->infinity} N_q(g) = infinity. More precisely, we use abelian covers of P^1 to prove that liminf_{g-->infinity} N_q(g)/(g/log g) > 0, and we use curves on toric surfaces to prove that liminf_{g-->infty} N_q(g)/g^{1/3} > 0; we also show that these results are the best possible that can be proved with these families of curves. △ Less

Submitted 28 August, 2001; v1 submitted 9 December, 1999; originally announced December 1999.

Comments: LaTeX, 20 pages

MSC Class: 11G20; 14G05; 14G15

Journal ref: J. Algebra 250, no. 1 (2002), 353--370

Brauer groups and quotient stacks

Authors: D. Edidin, B. Hassett, A. Kresch, A. Vistoli

Abstract: A natural question is to determine which algebraic stacks are qoutient stacks. In this paper we give some partial answers and relate it to the old question of whether, for a scheme X, the natural map from the Brauer goup (equivalence classes of Azumaya algebras) to the cohomological Brauer group (the torsion subgroup of $H^2(X,{\mathbb G}_m)$ is surjective. A natural question is to determine which algebraic stacks are qoutient stacks. In this paper we give some partial answers and relate it to the old question of whether, for a scheme X, the natural map from the Brauer goup (equivalence classes of Azumaya algebras) to the cohomological Brauer group (the torsion subgroup of $H^2(X,{\mathbb G}_m)$ is surjective. △ Less

Submitted 12 February, 2001; v1 submitted 9 May, 1999; originally announced May 1999.

Comments: American J. Math, to appear. (Latex2e, 17pp)

Cycle groups for Artin stacks

Authors: Andrew Kresch

Abstract: We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties. We construct an algebraic homology functor for Artin stacks of finite type over a field, and we develop intersection-theoretic properties. △ Less

Submitted 28 October, 1998; originally announced October 1998.

Comments: LaTeX2e, 44 pages

MSC Class: 14C17

Canonical rational equivalence of intersections of divisors

Authors: Andrew Kresch

Abstract: We consider the operation of intersecting with a locally principal Cartier divisor (i.e., a Cartier divisor which is principal on some neighborhood of its support). We describe this operation explicitly on the level of cycles and rational equivalences and as a corollary obtain a formula for rational equivalence between intersections of two locally principal Cartier divisors. Such canonical ratio… ▽ More We consider the operation of intersecting with a locally principal Cartier divisor (i.e., a Cartier divisor which is principal on some neighborhood of its support). We describe this operation explicitly on the level of cycles and rational equivalences and as a corollary obtain a formula for rational equivalence between intersections of two locally principal Cartier divisors. Such canonical rational equivalence applies quite naturally to the setting of algebraic stacks. We present two applications: (i) a simplification of the development of Fulton-MacPherson-style intersection theory on Deligne-Mumford stacks, and (ii) invariance of a key rational equivalence under a certain group action (which is used in develo** the theory of virtual fundamental classes via intrinsic normal cones). △ Less

Submitted 4 December, 1997; v1 submitted 8 October, 1997; originally announced October 1997.

Comments: LaTeX2e, 14 pages; expanded intro; new first section fixes some errors

MSC Class: 14C17

Associativity relations in quantum cohomology

Authors: Andrew Kresch

Abstract: We describe interdependencies among the quantum cohomology associativity relations. We strengthen the first reconstruction theorem of Kontsevich and Manin by identifying a subcollection of the associativity relations which implies the full system of WDVV equations. This provides a tool for identifying non-geometric solutions to WDVV. We describe interdependencies among the quantum cohomology associativity relations. We strengthen the first reconstruction theorem of Kontsevich and Manin by identifying a subcollection of the associativity relations which implies the full system of WDVV equations. This provides a tool for identifying non-geometric solutions to WDVV. △ Less

Submitted 11 March, 1997; originally announced March 1997.

Comments: LaTeX2e, 22 pages

MSC Class: 14N10