Showing 1–27 of 27 results for author: Jarvis, T J

eGAD! double descent is explained by Generalized Aliasing Decomposition

Authors: Mark K. Transtrum, Gus L. W. Hart, Tyler J. Jarvis, Jared P. Whitehead

Abstract: A central problem in data science is to use potentially noisy samples of an unknown function to predict values for unseen inputs. In classical statistics, predictive error is understood as a trade-off between the bias and the variance that balances model simplicity with its ability to fit complex functions. However, over-parameterized models exhibit counterintuitive behaviors, such as "double desc… ▽ More A central problem in data science is to use potentially noisy samples of an unknown function to predict values for unseen inputs. In classical statistics, predictive error is understood as a trade-off between the bias and the variance that balances model simplicity with its ability to fit complex functions. However, over-parameterized models exhibit counterintuitive behaviors, such as "double descent" in which models of increasing complexity exhibit decreasing generalization error. Others may exhibit more complicated patterns of predictive error with multiple peaks and valleys. Neither double descent nor multiple descent phenomena are well explained by the bias-variance decomposition. We introduce a novel decomposition that we call the generalized aliasing decomposition (GAD) to explain the relationship between predictive performance and model complexity. The GAD decomposes the predictive error into three parts: 1) model insufficiency, which dominates when the number of parameters is much smaller than the number of data points, 2) data insufficiency, which dominates when the number of parameters is much greater than the number of data points, and 3) generalized aliasing, which dominates between these two extremes. We demonstrate the applicability of the GAD to diverse applications, including random feature models from machine learning, Fourier transforms from signal processing, solution methods for differential equations, and predictive formation enthalpy in materials discovery. Because key components of the GAD can be explicitly calculated from the relationship between model class and samples without seeing any data labels, it can answer questions related to experimental design and model selection before collecting data or performing experiments. We further demonstrate this approach on several examples and discuss implications for predictive modeling and data science. △ Less

Submitted 2 June, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Chebyshev Subdivision and Reduction Methods for Solving Multivariable Systems of Equations

Authors: Erik Parkinson, Kate Wall, Jane Slagle, Daniel Treuhaft, Xander de la Bruere, Samuel Goldrup, Timothy Keith, Peter Call, Tyler J. Jarvis

Abstract: We present a new algorithm for finding isolated zeros of a system of real-valued functions in a bounded interval in $\mathbb{R}^n$. It uses the Chebyshev proxy method combined with a mixture of subdivision, reduction methods, and elimination checks that leverage special properties of Chebyshev polynomials. We prove the method has R-quadratic convergence locally near simple zeros of the system. We… ▽ More We present a new algorithm for finding isolated zeros of a system of real-valued functions in a bounded interval in $\mathbb{R}^n$. It uses the Chebyshev proxy method combined with a mixture of subdivision, reduction methods, and elimination checks that leverage special properties of Chebyshev polynomials. We prove the method has R-quadratic convergence locally near simple zeros of the system. We also analyze the temporal complexity and the numerical stability of the algorithm and provide numerical evidence in dimensions up to three that the method is both fast and accurate on a wide range of problems. The algorithm should also work well in higher dimensions. Our tests show that the algorithm outperforms other standard methods on this problem of finding all real zeros in a bounded domain. Our Python implementation of the algorithm is publicly available on GitHub. △ Less

Submitted 24 October, 2024; v1 submitted 4 January, 2024; originally announced January 2024.

MSC Class: 65H10

Analysis of Normal-Form Algorithms for Solving Systems of Polynomial Equations

Authors: Suzanna Parkinson, Hayden Ringer, Kate Wall, Erik Parkinson, Lukas Erekson, Daniel Christensen, Tyler J. Jarvis

Abstract: We examine several of the normal-form multivariate polynomial rootfinding methods of Telen, Mourrain, and Van Barel and some variants of those methods. We analyze the performance of these variants in terms of their asymptotic temporal complexity as well as speed and accuracy on a wide range of numerical experiments. All variants of the algorithm are problematic for systems in which many roots are… ▽ More We examine several of the normal-form multivariate polynomial rootfinding methods of Telen, Mourrain, and Van Barel and some variants of those methods. We analyze the performance of these variants in terms of their asymptotic temporal complexity as well as speed and accuracy on a wide range of numerical experiments. All variants of the algorithm are problematic for systems in which many roots are very close together. We analyze performance on one such system in detail, namely the 'devastating example' that Noferini and Townsend used to demonstrate instability of resultant-based methods. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: Associated code available at https://github.com/tylerjarvis/eigen_rootfinding

MSC Class: 65H04

A Brief Survey of FJRW Theory

Authors: Tyler J. Jarvis, Amanda Francis

Abstract: In this paper we describe some of the constructions of FJRW theory. We also briefly describe its relation to Saito-Givental theory via Landau-Ginzburg mirror symmetry and its relation to Gromov-Witten theory via the Landau-Ginzburg/Calabi-Yau correspondence. We conclude with a discussion of some of the recent results in the field. In this paper we describe some of the constructions of FJRW theory. We also briefly describe its relation to Saito-Givental theory via Landau-Ginzburg mirror symmetry and its relation to Gromov-Witten theory via the Landau-Ginzburg/Calabi-Yau correspondence. We conclude with a discussion of some of the recent results in the field. △ Less

Submitted 8 March, 2016; v1 submitted 4 March, 2015; originally announced March 2015.

MSC Class: 14B05; 32S25; 14J81; 57R56; 14J81; 14N35; 53D45; 32S40; 32S55

A plethora of inertial products

Authors: Dan Edidin, Tyler J. Jarvis, Takashi Kimura

Abstract: For a smooth Deligne-Mumford stack X we describe a large number of inertial products on K(IX) and A*(IX) and corresponding inertial Chern characters. We do this by developing a theory of inertial pairs. Each inertial pair determines an inertial product on K(IX) and an inertial product on A*(IX) and Chern character ring homomorphisms between them. We show that there are many inertial pairs; indee… ▽ More For a smooth Deligne-Mumford stack X we describe a large number of inertial products on K(IX) and A*(IX) and corresponding inertial Chern characters. We do this by developing a theory of inertial pairs. Each inertial pair determines an inertial product on K(IX) and an inertial product on A*(IX) and Chern character ring homomorphisms between them. We show that there are many inertial pairs; indeed, every vector bundle V on X defines two new inertial pairs. We recover, as special cases, the orbifold products of Chen-Run, Abramovich-Graber-Vistoli, Jarvis-Kaufmann-Kimura, and Edidin-Jarvis-Kimura and the virtual product of Gonzalez-Lupercio-Segovia-Uribe-Xicotencatl. We also introduce an entirely new product we call the localized orbifold product, which is defined on the complexification of K(IX). The inertial products developed in this paper are used in a subsequent paper to describe a theory of inertial Chern classes and power operations in inertial K-theory. These constructions provide new manifestations of mirror symmetry, in the spirit of the Hyper-Kaehler Resolution Conjecture. △ Less

Submitted 27 January, 2015; v1 submitted 10 September, 2012; originally announced September 2012.

Comments: 20 pages. Several minor errors corrected. To appear in Annals of K-Theory

MSC Class: 55N32; 55N15 (Primary); 14N35; 53D45; 57R18; 19L10; 19L47 (Secondary)

Journal ref: AKT 1 (2016) 85-108

Chern Classes and Compatible Power Operations in Inertial K-theory

Authors: Dan Edidin, Tyler J. Jarvis, Takashi Kimura

Abstract: Let [X/G] be a smooth Deligne-Mumford quotient stack. In a previous paper the authors constructed a class of exotic products called inertial products on K(I[X/G]), the Grothendieck group of vector bundles on the inertia stack I[X/G]. In this paper we develop a theory of Chern classes and compatible power operations for inertial products. When G is diagonalizable these give rise to an augmented… ▽ More Let [X/G] be a smooth Deligne-Mumford quotient stack. In a previous paper the authors constructed a class of exotic products called inertial products on K(I[X/G]), the Grothendieck group of vector bundles on the inertia stack I[X/G]. In this paper we develop a theory of Chern classes and compatible power operations for inertial products. When G is diagonalizable these give rise to an augmented $λ$-ring structure on inertial K-theory. One well-known inertial product is the virtual product. Our results show that for toric Deligne-Mumford stacks there is a $λ$-ring structure on inertial K-theory. As an example, we compute the $λ$-ring structure on the virtual K-theory of the weighted projective lines P(1,2) and P(1,3). We prove that after tensoring with C, the augmentation completion of this $λ$-ring is isomorphic as a $λ$-ring to the classical K-theory of the crepant resolutions of singularities of the coarse moduli spaces of the cotangent bundles $T^*P(1,2)$ and $T^*P(1,3)$, respectively. We interpret this as a manifestation of mirror symmetry in the spirit of the Hyper-Kaehler Resolution Conjecture. △ Less

Submitted 26 October, 2015; v1 submitted 10 September, 2012; originally announced September 2012.

Comments: Many improvements. Special thanks to the referee for helpful suggestions. To appear in Annals of K-Theory. arXiv admin note: text overlap with arXiv:1202.0603

MSC Class: 14N35; 53D45 (Primary); 19L10; 19L47; 55N15; 14H10 (Secondary)

Journal ref: AKT 2 (2017) 73-130

New Products, Chern Classes, and Power Operations in Orbifold K-theory

Authors: Dan Edidin, Tyler J. Jarvis, Takashi Kimura

Abstract: Withdrawn by the authors because the results of this paper are subsumed within and improved by the two papers 1. A plethora of inertial products and 2. Chern Classes and Compatible Power Operations in Inertial K-theory Withdrawn by the authors because the results of this paper are subsumed within and improved by the two papers 1. A plethora of inertial products and 2. Chern Classes and Compatible Power Operations in Inertial K-theory △ Less

Submitted 10 September, 2012; v1 submitted 2 February, 2012; originally announced February 2012.

Comments: Withdrawn by the authors because the results of this paper are subsumed within and improved by the two papers 1. A plethora of inertial products and 2. Chern Classes and Compatible Power Operations in Inertial K-theory

MSC Class: Primary: 14N35; 53D45. Secondary:19L10; 19L47; 55N15; 14H10

Quantum Singularity Theory for A_{r-1} and r-Spin Theory

Authors: Huijun Fan, Tyler J. Jarvis, Yongbin Ruan

Abstract: We give a review of the quantum singularity theory of Fan-Jarvis-Ruan and the r-spin theory of Jarvis-Kimura-Vaintrob and describe the work of Abramovich-Jarvis showing that for the singularity A_{r-1} = x^r the stack of A_{r-1}-curves of is canonically isomorphic to the stack of r-spin curves. We prove that the A_{r-1}-theory satisfies all the axioms of Jarvis-Kimura-Vaintrob for an r-spin virtua… ▽ More We give a review of the quantum singularity theory of Fan-Jarvis-Ruan and the r-spin theory of Jarvis-Kimura-Vaintrob and describe the work of Abramovich-Jarvis showing that for the singularity A_{r-1} = x^r the stack of A_{r-1}-curves of is canonically isomorphic to the stack of r-spin curves. We prove that the A_{r-1}-theory satisfies all the axioms of Jarvis-Kimura-Vaintrob for an r-spin virtual class. Therefore, the results of Lee, Faber-Shadrin-Zovonkine, and Givental all apply to the A_{r-1}-theory. In particular, this shows that the Witten Integrable Hierarchies Conjecture is true for the A_{r-1}-theory; that is, the total descendant potential function of the A_{r-1}-theory satisfies the r-th Gelfand-Dikii hierarchy. △ Less

Submitted 30 November, 2010; originally announced December 2010.

MSC Class: Primary: 14N35; 53D45; Secondary: 32S05; 37K10; 37K20; 35Q53

Witten's D_4 Integrable Hierarchies Conjecture

Authors: Huijun Fan, Amanda Francis, Tyler J. Jarvis, Evan Merrell, Yongbin Ruan

Abstract: We prove that the total descendant potential functions of the theory of Fan-Jarvis-Ruan-Witten for D_4 with symmetry group <J> and D_4^T with symmetry group G_{max}, respectively, are both tau-functions of the D_4 Kac-Wakimoto/Drinfeld-Sokolov hierarchy. This completes the proof, begun in [FJR], of the Witten Integrable Hierarchies Conjecture for all simple (ADE) singularities. We prove that the total descendant potential functions of the theory of Fan-Jarvis-Ruan-Witten for D_4 with symmetry group <J> and D_4^T with symmetry group G_{max}, respectively, are both tau-functions of the D_4 Kac-Wakimoto/Drinfeld-Sokolov hierarchy. This completes the proof, begun in [FJR], of the Witten Integrable Hierarchies Conjecture for all simple (ADE) singularities. △ Less

Submitted 5 June, 2014; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: Corrected several errors and added more details in proofs and exposition

MSC Class: 14N35; 53D45; 32S05; 37K10; 37K20; 35Q53

Integral Models of Extremal Rational Elliptic Surfaces

Authors: Tyler J. Jarvis, William E. Lang, Jeremy R. Ricks

Abstract: Miranda and Persson classified all extremal rational elliptic surfaces in characteristic zero. We show that each surface in Miranda and Persson's classification has an integral model with good reduction everywhere (except for those of type X_{11}(j), which is an exceptional case), and that every extremal rational elliptic surface over an algebraically closed field of characteristic p > 0 can be ob… ▽ More Miranda and Persson classified all extremal rational elliptic surfaces in characteristic zero. We show that each surface in Miranda and Persson's classification has an integral model with good reduction everywhere (except for those of type X_{11}(j), which is an exceptional case), and that every extremal rational elliptic surface over an algebraically closed field of characteristic p > 0 can be obtained by reducing one of these integral models mod p. △ Less

Submitted 15 June, 2011; v1 submitted 12 August, 2009; originally announced August 2009.

Comments: 15 pages, minor revision. To appear in Communications in Algebra

MSC Class: 14J27; 14D05

Logarithmic trace and orbifold products

Authors: Dan Edidin, Tyler J. Jarvis, Takashi Kimura

Abstract: We give a purely equivariant construction of orbifold products for quotient Deligne-Mumford stacks [X/G] where G is an arbitrary linear algebraic group (not necessarily finite). The key to our construction is the definition of the "logarithmic trace" of an equivariant vector bundle. We also prove that there is an orbifold Chern character homomorphism which induces an isomorphism of a canonical… ▽ More We give a purely equivariant construction of orbifold products for quotient Deligne-Mumford stacks [X/G] where G is an arbitrary linear algebraic group (not necessarily finite). The key to our construction is the definition of the "logarithmic trace" of an equivariant vector bundle. We also prove that there is an orbifold Chern character homomorphism which induces an isomorphism of a canonical summand in the orbifold Grothendieck ring with the orbifold Chow ring. As an application we obtain an associative orbifold product on the Grothendieck ring of [X/G] (as opposed to its inerita stack) taken with complex coefficients. △ Less

Submitted 13 May, 2009; v1 submitted 29 April, 2009; originally announced April 2009.

Comments: 39 pages, references and a few remarks added

MSC Class: 14N35; 14L30; 55N91

Journal ref: Duke Math. J. 153, no. 3 (2010), 427-473

A representation-valued relative Riemann-Hurwitz theorem and the Hurwitz-Hodge bundle

Authors: Tyler J. Jarvis, Takashi Kimura

Abstract: We provide a formula describing the G-module structure of the Hurwitz-Hodge bundle for admissible G-covers in terms of the Hodge bundle of the base curve, and more generally, for describing the G-module structure of the push-forward to the base of any sheaf on a family of admissible G-covers. This formula can be interpreted as a representation-ring-valued relative Riemann-Hurwitz formula for fam… ▽ More We provide a formula describing the G-module structure of the Hurwitz-Hodge bundle for admissible G-covers in terms of the Hodge bundle of the base curve, and more generally, for describing the G-module structure of the push-forward to the base of any sheaf on a family of admissible G-covers. This formula can be interpreted as a representation-ring-valued relative Riemann-Hurwitz formula for families of admissible G-covers. △ Less

Submitted 28 July, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: Some errors corrected, and additional details provided. Moved several examples and applications to a subsequent paper

MSC Class: 14N35; 14H10; 53D45

The Witten equation and its virtual fundamental cycle

Authors: Huijun Fan, Tyler J. Jarvis, Yongbin Ruan

Abstract: We study a system of nonlinear elliptic PDEs associated with a quasi-homogeneous polynomial. These equations were proposed by Witten as the replacement for the Cauchy-Riemann equation in the singularity (Landau-Ginzburg) setting. We introduce a perturbation to the equation and construct a virtual cycle for the moduli space of its solutions. Then, we study the wall-crossing of the deformation of th… ▽ More We study a system of nonlinear elliptic PDEs associated with a quasi-homogeneous polynomial. These equations were proposed by Witten as the replacement for the Cauchy-Riemann equation in the singularity (Landau-Ginzburg) setting. We introduce a perturbation to the equation and construct a virtual cycle for the moduli space of its solutions. Then, we study the wall-crossing of the deformation of the virtual cycle under perturbation and match it to classical Picard-Lefschetz theory. An extended virtual cycle is obtained for the original equation. Finally, we prove that the extended virtual cycle satisfies a set of axioms similar to those of Gromov-Witten theory and r-spin theory. △ Less

Submitted 15 April, 2011; v1 submitted 24 December, 2007; originally announced December 2007.

Comments: Major revision. Additional axioms proved and additional details provided over previous version

MSC Class: 58J05; 53D45; 14H15; 32G13; 14N35

The Witten equation, mirror symmetry and quantum singularity theory

Authors: Huijun Fan, Tyler J. Jarvis, Yongbin Ruan

Abstract: For any non-degenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a corresponding cohomological field theory associated to the singularity. This theory is analogous to Gromov-Witten theory and generalizes the theory of r-spin curves, which corresponds to the simple singularity A_{r-1}. We also resolve two outstanding conjectures of Wi… ▽ More For any non-degenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a corresponding cohomological field theory associated to the singularity. This theory is analogous to Gromov-Witten theory and generalizes the theory of r-spin curves, which corresponds to the simple singularity A_{r-1}. We also resolve two outstanding conjectures of Witten. The first conjecture is that ADE-singularities are self-dual; and the second conjecture is that the total potential functions of ADE-singularities satisfy corresponding ADE-integrable hierarchies. Other cases of integrable hierarchies are also discussed. △ Less

Submitted 26 July, 2012; v1 submitted 24 December, 2007; originally announced December 2007.

Comments: To appear in Annals of Mathematics. Includes resolution of the Witten ADE integrable hierarchies conjecture and Witten's ADE self-mirror conjecture. Several corrections and clarifications

MSC Class: 14B05; 32S40; 14N35; 53D45; 32S55

Stringy K-theory and the Chern character

Authors: Tyler J. Jarvis, Ralph Kaufmann, Takashi Kimura

Abstract: For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ring of G-invariants of the stringy K-theory of X is a subalgebra of the full or… ▽ More For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ring of G-invariants of the stringy K-theory of X is a subalgebra of the full orbifold K-theory of the the stack Y and is linearly isomorphic to the ``orbifold K-theory'' of Adem-Ruan (and hence Atiyah-Segal), but carries a different, ``quantum,'' product, which respects the natural group grading. We prove there is a ring isomorphism, the stringy Chern character, from stringy K-theory to stringy cohomology, and a ring homomorphism from full orbifold K-theory to Chen-Ruan orbifold cohomology. These Chern characters satisfy Grothendieck-Riemann-Roch for etale maps. We prove that stringy cohomology is isomorphic to Fantechi and Goettsche's construction. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results simplify the definitions of Fantechi-Goettsche's ring, of Chen-Ruan's orbifold cohomology, and of Abramovich-Graber-Vistoli's orbifold Chow. We conclude by showing that a K-theoretic version of Ruan's Hyper-Kaehler Resolution Conjecture holds for symmetric products. Our results hold both in the algebro-geometric category and in the topological category for equivariant almost complex manifolds. △ Less

Submitted 17 November, 2006; v1 submitted 13 February, 2005; originally announced February 2005.

Comments: Exposition improved and additional details provided. To appear in Inventiones Mathematicae

MSC Class: 19L47;53D45;55N15;14N35;55R65;57R20

Classification of Singular Fibres on Rational Elliptic Surfaces in Characteristic Three

Authors: Tyler J. Jarvis, William E. Lang, Nansen Petrosyan, Gretchen Rimmasch, Julie Rogers, Erin D. Summers

Abstract: We determine and list all possible configurations of singular fibres on rational elliptic surfaces in characteristic three. In total, we find that 267 distinct configurations exist. This result complements Miranda and Persson's classification in characteristic zero, and Lang's classification in characteristic two. We determine and list all possible configurations of singular fibres on rational elliptic surfaces in characteristic three. In total, we find that 267 distinct configurations exist. This result complements Miranda and Persson's classification in characteristic zero, and Lang's classification in characteristic two. △ Less

Submitted 12 March, 2005; v1 submitted 15 October, 2004; originally announced October 2004.

Comments: 40 Pages. Minor typos corrected

MSC Class: 14J27;14J26

Journal ref: Communications in Algebra 33: 4533--4566 (2005)

Geometry and analysis of spin equations

Authors: Huijun Fan, Tyler J. Jarvis, Yongbin Ruan

Abstract: We introduce W-spin structures on a Riemann surface and give a precise definition to the corresponding W-spin equations for any quasi-homogeneous polynomial W. Then, we construct examples of nonzero solutions of spin equations in the presence of Ramond marked points. The main result of the paper is a compactness theorem for the moduli space of the solutions of W-spin equations when W is a non-de… ▽ More We introduce W-spin structures on a Riemann surface and give a precise definition to the corresponding W-spin equations for any quasi-homogeneous polynomial W. Then, we construct examples of nonzero solutions of spin equations in the presence of Ramond marked points. The main result of the paper is a compactness theorem for the moduli space of the solutions of W-spin equations when W is a non-degenerate, quasi-homogeneous polynomial whose variables all have weight (or fractional degree) wt(x_i) < 1/2. In particular, the compactness theorem holds for the A,D, and E superpotentials. △ Less

Submitted 22 February, 2008; v1 submitted 22 September, 2004; originally announced September 2004.

Comments: AMSLaTeX; Minor errors corrected, exposition improved

MSC Class: 58J05; 53D45;14H15;32G13

Pointed Admissible G-Covers and G-equivariant Cohomological Field Theories

Authors: Tyler J. Jarvis, Ralph Kaufmann, Takashi Kimura

Abstract: For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT cont… ▽ More For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a cohomological field theory (CohFT), respectively. We prove that by taking the "quotient" by G, a G-CohFT reduces to a CohFT. We also prove that a G-CohFT contains a G-Frobenius algebra, a G-equivariant generalization of a Frobenius algebra, and that the "quotient" by G agrees with the obvious Frobenius algebra structure on the space of G-invariants, after rescaling the metric. We also introduce the moduli space of G-stable maps into a smooth, projective variety X with G action. Gromov-Witten-like invariants of these spaces provide the primary source of examples of G-CohFTs. Finally, we explain how these constructions generalize (and unify) the Chen-Ruan orbifold Gromov-Witten invariants of the global quotient [X/G] as well as the ring H*(X,G) of Fantechi and Goettsche. △ Less

Submitted 9 June, 2005; v1 submitted 25 February, 2003; originally announced February 2003.

Comments: Corrected proof of the trace axiom and made minor typo corrections. 13 figures. Uses Paul Taylor's diagrams package

MSC Class: 14N35; 53D45

Journal ref: Compositio Mathematica 141 (2005) 926-978

Orbifold quantum cohomology of the classifying space of a finite group

Authors: Tyler J. Jarvis, Takashi Kimura

Abstract: We work through, in detail, the orbifold quantum cohomology, with gravitational descendants, of the stack BG, the point modulo trivial action of a finite group G. We provide a simple description of algebraic structures on the state space of this theory. As a consequence, we find that multiple copies of commuting Virasoro algebras appear in this theory which completely determine the correlators o… ▽ More We work through, in detail, the orbifold quantum cohomology, with gravitational descendants, of the stack BG, the point modulo trivial action of a finite group G. We provide a simple description of algebraic structures on the state space of this theory. As a consequence, we find that multiple copies of commuting Virasoro algebras appear in this theory which completely determine the correlators of the theory. △ Less

Submitted 1 May, 2002; v1 submitted 4 December, 2001; originally announced December 2001.

Comments: For the Proceedings of the ``Mathematical Aspects of Orbifold String Theory'' conference in Madison, Wisconsin, May, 2001

MSC Class: 14N35; 53D45;20C05

Moduli of twisted spin curves

Authors: Dan Abramovich, Tyler J. Jarvis

Abstract: In this note we give a new, natural construction of a compactification of the stack of smooth r-spin curves, which we call the stack of stable twisted $r$-spin curves. This stack is identified with a special case of a stack of twisted stable maps of Abramovich and Vistoli. Realizations in terms of admissible G_m-spaces and Q-line bundles are given as well. The infinitesimal structure of this sta… ▽ More In this note we give a new, natural construction of a compactification of the stack of smooth r-spin curves, which we call the stack of stable twisted $r$-spin curves. This stack is identified with a special case of a stack of twisted stable maps of Abramovich and Vistoli. Realizations in terms of admissible G_m-spaces and Q-line bundles are given as well. The infinitesimal structure of this stack is described in a relatively straightforward manner, similar to that of usual stable curves. We construct representable morphisms from the stacks of stable twisted r-spin curves to the stacks of stable r-spin curves, and show that they are isomorphisms. Many delicate features of r-spin curves, including torsion free sheaves with power maps, arise as simple by-products of twisted spin curves. Various constructions, such as the d bar-operator of Seeley and Singer and Witten's cohomology class go through without complications in the setting of twisted spin curves. △ Less

Submitted 13 April, 2001; originally announced April 2001.

Comments: 10 pages, AMSLaTeX

MSC Class: 14H10

Stable Spin Maps, Gromov-Witten Invariants, and Quantum Cohomology

Authors: Tyler J. Jarvis, Takashi Kimura, Arkady Vaintrob

Abstract: We introduce the stack of r-spin maps. These are stable maps into a variety V from n-pointed algebraic curves of genus g, with the additional data of an r-spin structure on the curve. We prove that this stack is a Deligne-Mumford stack, and we define analogs of the Gromov-Witten classes associated to these spaces. We show that these classes yield a cohomological field theory (CohFT) that is th… ▽ More We introduce the stack of r-spin maps. These are stable maps into a variety V from n-pointed algebraic curves of genus g, with the additional data of an r-spin structure on the curve. We prove that this stack is a Deligne-Mumford stack, and we define analogs of the Gromov-Witten classes associated to these spaces. We show that these classes yield a cohomological field theory (CohFT) that is the tensor product of the CohFT associated to the usual Gromov-Witten invariants of V and the r-spin CohFT. When r=2, our construction gives the usual Gromov-Witten invariants of V. Restricting to genus zero, we obtain the notion of an r-spin quantum cohomology of V, whose Frobenius structure is isomorphic to the tensor product of the Frobenius manifolds corresponding to the quantum cohomology of V and the r-th Gelfand-Dickey hierarchy (or, equivalently, the A_{r-1} singularity). We also prove a generalization of the descent property which, in particular, explains the appearance of the psi-classes in the definition of gravitational descendants. Finally, we compute the small phase space potential function when r=3 and V=CP^1. △ Less

Submitted 20 December, 2000; originally announced December 2000.

Comments: 37 pages, 4 figures. AMSLaTeX 2.0. Uses Paul Taylor's diagrams.tex

MSC Class: Primary: 14N35; 53D45. Secondary: 14H10

Journal ref: Commun. Math. Phys. 259(3), 511--543 (2005).

Gravitational Descendants and the Moduli Space of Higher Spin Curves

Authors: Tyler J. Jarvis, Takashi Kimura, Arkady Vaintrob

Abstract: The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a priori analog in the theory of Gromov-Witten invariants), in terms of the mult… ▽ More The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a priori analog in the theory of Gromov-Witten invariants), in terms of the multiplicativity of the virtual class. We prove that the Descent Axiom holds in the convex case, and consequently in genus zero. △ Less

Submitted 21 November, 2000; v1 submitted 6 September, 2000; originally announced September 2000.

Comments: 12 pages, minor changes

MSC Class: 14N35; 53D45; 14H10

Tensor products of Frobenius manifolds and moduli spaces of higher spin curves

Authors: Tyler J. Jarvis, Takashi Kimura, Arkady Vaintrob

Abstract: We review progress on the generalized Witten conjecture and some of its major ingredients. This conjecture states that certain intersection numbers on the moduli space of higher spin curves assemble into the logarithm of the tau function of a semiclassical limit of the r-th Gelfand-Dickey (or KdV_r) hierarchy. Additionally, we prove that tensor products of the Frobenius manifolds associated to s… ▽ More We review progress on the generalized Witten conjecture and some of its major ingredients. This conjecture states that certain intersection numbers on the moduli space of higher spin curves assemble into the logarithm of the tau function of a semiclassical limit of the r-th Gelfand-Dickey (or KdV_r) hierarchy. Additionally, we prove that tensor products of the Frobenius manifolds associated to such hierarchies admit a geometric interpretation in terms of moduli spaces of higher spin structures. We also elaborate upon the analogy to Gromov-Witten invariants of a smooth, projective variety. △ Less

Submitted 4 November, 1999; originally announced November 1999.

Comments: 20 pages

MSC Class: 14H10; 32G15; 81T40

The Picard Group of the Moduli of Higher Spin Curves

Authors: Tyler J. Jarvis

Abstract: This article treats the Picard group of the moduli (stack) of r-spin curves and its compactification. Generalized spin curves, or r-spin curves are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because they are the subject of a remarkable conjecture of E. Witten, and because of the similarities between the intersection… ▽ More This article treats the Picard group of the moduli (stack) of r-spin curves and its compactification. Generalized spin curves, or r-spin curves are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because they are the subject of a remarkable conjecture of E. Witten, and because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. We generalize results of Cornalba, giving relations between many of the elements of the Picard group of the stacks. These relations are important in the proof of the genus-zero case of Witten's conjecture given in math.AG/9905034. We use these relations to show that when 2 or 3 divides r, then the Picard group of the open stack has non-zero torsion. And finally, we work out some specific examples for small values of g and r. △ Less

Submitted 23 August, 1999; v1 submitted 16 August, 1999; originally announced August 1999.

Comments: AMS-LaTeX, 24 pages, one EPS figure, uses diagrams.tex. Minor errors and typos corrected

MSC Class: 14H10; 32G15

Journal ref: New York J. Math. 7 (2001) 23--47

Moduli Spaces of Higher Spin Curves and Integrable Hierarchies

Authors: Tyler J. Jarvis, Takashi Kimura, Arkady Vaintrob

Abstract: We prove the genus zero part of the generalized Witten conjecture relating moduli spaces of spin curves to Gelfand-Dickey hierarchies. That is, we show that intersection numbers on the moduli space of stable r-spin curves assemble into a generating function which yields a solution of the semiclassical limit of the KdV_r equations. We formulate axioms for a cohomology class on this moduli space w… ▽ More We prove the genus zero part of the generalized Witten conjecture relating moduli spaces of spin curves to Gelfand-Dickey hierarchies. That is, we show that intersection numbers on the moduli space of stable r-spin curves assemble into a generating function which yields a solution of the semiclassical limit of the KdV_r equations. We formulate axioms for a cohomology class on this moduli space which allow one to construct a cohomological field theory of rank $r-1$ in all genera. In genus zero it produces a Frobenius manifold which is isomorphic to the Frobenius manifold structure on the base of the versal deformation of the A_{r-1} singularity. We prove analogs of the puncture, dilaton, and topological recursion relations by drawing an analogy with the construction of Gromov-Witten invariants and quantum cohomology. △ Less

Submitted 9 February, 2000; v1 submitted 5 May, 1999; originally announced May 1999.

Comments: 65 pages, postscript figures, AMS-LaTeX, uses Paul Taylor's diagrams.tex. Exposition improved. Many minor corrections made

MSC Class: 14H10; 32G15; 81T40

Journal ref: Compositio Mathematica 126:157-212 (2001)

Geometry of the moduli of higher spin curves

Authors: Tyler J. Jarvis

Abstract: This article treats various aspects of the geometry of the moduli of r-spin curves and its compactification. Generalized spin curves, or r-spin curves, are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable map… ▽ More This article treats various aspects of the geometry of the moduli of r-spin curves and its compactification. Generalized spin curves, or r-spin curves, are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. In particular, these spaces are the subject of a remarkable conjecture of E. Witten relating their intersection theory to the Gelfand-Dikii (rth KdV) heirarchy. There is also a W-algebra conjecture for these spaces, analogous to the Virasoro conjecture of quantum cohomology. We construct a smooth compactification of the stack of smooth r-spin curves, describe the geometric meaning of its points, and prove that it is projective. We also prove that when r is odd and g>1, the compactified stack of spin curves and its coarse moduli space are irreducible, and when r is even and g>1, the stack is the disjoint union of two irreducible components. We give similar results for n-pointed spin curves, as required for Witten's conjecture, and also generalize to the n-pointed case the classical fact that when g=1, the moduli of r-spin curves is the disjoint union of d(r) components, where d(r) is the number of positive divisors of r. These irreducibility properties are important in the study of the Picard group of the stack, and also in the study of the cohomological field theory related to Witten's conjecture (see math.AG/9905034). △ Less

Submitted 8 July, 1999; v1 submitted 23 September, 1998; originally announced September 1998.

Comments: Exposition improved; results expanded to include all genera; important changes in the geometric description of the compactifying moduli problem. Results on the Picard group moved to a different paper. 25 pages; 3 postscript figures; AMS-LaTeX; uses Paul Taylor's diagrams.tex

MSC Class: Primary 14H10; 32G15 Secondary 32G81; 81T40; 14M30

Torsion-Free Sheaves and Moduli of Generalized Spin Curves

Authors: Tyler J. Jarvis

Abstract: This article treats compactifications of the space of generalized spin curves. Generalized spin curves, or $r$-spin curves, are pairs $(X,L)$ with $X$ a smooth curve and $L$ a line bundle whose r-th tensor power is isomorphic to the canonical bundle of $X.$ These are a natural generalization of $2$-spin curves (algebraic curves with a theta-characteristic), which have been of interest recently,… ▽ More This article treats compactifications of the space of generalized spin curves. Generalized spin curves, or $r$-spin curves, are pairs $(X,L)$ with $X$ a smooth curve and $L$ a line bundle whose r-th tensor power is isomorphic to the canonical bundle of $X.$ These are a natural generalization of $2$-spin curves (algebraic curves with a theta-characteristic), which have been of interest recently, in part because of their applications to fermionic string theory. Three different compactifications over $\Bbb{Z}[1/r],$ all using torsion-free sheaves, are constructed. All three yield algebraic stacks, one of which is shown to have Gorenstein singularities that can be described explicitly, and one of which is smooth. All three compactifications generalize constructions of Deligne and Cornalba done for the case when $r=2.$ △ Less

Submitted 21 February, 1995; originally announced February 1995.

Comments: AMS-LaTeX, 31 pages, uses amscd.sty