-
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.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Mathematical Analysis of Redistricting in Utah
Authors:
Annika King,
Jacob Murri,
Jake Callahan,
Adrienne Russell,
Tyler J. Jarvis
Abstract:
We discuss difficulties of evaluating partisan gerrymandering in the congressional districts in Utah and the failure of many common metrics in Utah. We explain why the Republican vote share in the least-Republican district (LRVS) is a good indicator of the advantage or disadvantage each party has in the Utah congressional districts. Although the LRVS only makes sense in settings with at most one c…
▽ More
We discuss difficulties of evaluating partisan gerrymandering in the congressional districts in Utah and the failure of many common metrics in Utah. We explain why the Republican vote share in the least-Republican district (LRVS) is a good indicator of the advantage or disadvantage each party has in the Utah congressional districts. Although the LRVS only makes sense in settings with at most one competitive district, in that setting it directly captures the extent to which a given redistricting plan gives advantage or disadvantage to the Republican and Democratic parties. We use the LRVS to evaluate the most common measures of partisan gerrymandering in the context of Utah's 2011 congressional districts. We do this by generating large ensembles of alternative redistricting plans using Markov chain Monte Carlo methods. We also discuss the implications of this new metric and our results on the question of whether the 2011 Utah congressional plan was gerrymandered.
△ Less
Submitted 19 July, 2022; v1 submitted 12 July, 2021;
originally announced July 2021.
-
A general algorithm for calculating irreducible Brillouin zones
Authors:
Jeremy J. Jorgensen,
John E. Christensen,
Tyler J. Jarvis,
Gus L. W. Hart
Abstract:
Calculations of properties of materials require performing numerical integrals over the Brillouin zone (BZ). Integration points in density functional theory codes are uniformly spread over the BZ (despite integration error being concentrated in small regions of the BZ) and preserve symmetry to improve computational efficiency. Integration points over an irreducible Brillouin zone (IBZ), a rotation…
▽ More
Calculations of properties of materials require performing numerical integrals over the Brillouin zone (BZ). Integration points in density functional theory codes are uniformly spread over the BZ (despite integration error being concentrated in small regions of the BZ) and preserve symmetry to improve computational efficiency. Integration points over an irreducible Brillouin zone (IBZ), a rotationally distinct region of the BZ, do not have to preserve crystal symmetry for greater efficiency. This freedom allows the use of adaptive meshes with higher concentrations of points at locations of large error, resulting in improved algorithmic efficiency. We have created an algorithm for constructing an IBZ of any crystal structure in 2D and 3D. The algorithm uses convex hull and half-space representations for the BZ and IBZ to make many aspects of construction and symmetry reduction of the BZ trivial. The algorithm is simple, general, and available as open-source software.
△ Less
Submitted 23 January, 2022; v1 submitted 12 April, 2021;
originally announced April 2021.
-
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.
-
Tandem Blocks in Deep Convolutional Neural Networks
Authors:
Chris Hettinger,
Tanner Christensen,
Jeffrey Humpherys,
Tyler J. Jarvis
Abstract:
Due to the success of residual networks (resnets) and related architectures, shortcut connections have quickly become standard tools for building convolutional neural networks. The explanations in the literature for the apparent effectiveness of shortcuts are varied and often contradictory. We hypothesize that shortcuts work primarily because they act as linear counterparts to nonlinear layers. We…
▽ More
Due to the success of residual networks (resnets) and related architectures, shortcut connections have quickly become standard tools for building convolutional neural networks. The explanations in the literature for the apparent effectiveness of shortcuts are varied and often contradictory. We hypothesize that shortcuts work primarily because they act as linear counterparts to nonlinear layers. We test this hypothesis by using several variations on the standard residual block, with different types of linear connections, to build small image classification networks. Our experiments show that other kinds of linear connections can be even more effective than the identity shortcuts. Our results also suggest that the best type of linear connection for a given application may depend on both network width and depth.
△ Less
Submitted 31 May, 2018;
originally announced June 2018.
-
Forward Thinking: Building and Training Neural Networks One Layer at a Time
Authors:
Chris Hettinger,
Tanner Christensen,
Ben Ehlert,
Jeffrey Humpherys,
Tyler Jarvis,
Sean Wade
Abstract:
We present a general framework for training deep neural networks without backpropagation. This substantially decreases training time and also allows for construction of deep networks with many sorts of learners, including networks whose layers are defined by functions that are not easily differentiated, like decision trees. The main idea is that layers can be trained one at a time, and once they a…
▽ More
We present a general framework for training deep neural networks without backpropagation. This substantially decreases training time and also allows for construction of deep networks with many sorts of learners, including networks whose layers are defined by functions that are not easily differentiated, like decision trees. The main idea is that layers can be trained one at a time, and once they are trained, the input data are mapped forward through the layer to create a new learning problem. The process is repeated, transforming the data through multiple layers, one at a time, rendering a new data set, which is expected to be better behaved, and on which a final output layer can achieve good performance. We call this forward thinking and demonstrate a proof of concept by achieving state-of-the-art accuracy on the MNIST dataset for convolutional neural networks. We also provide a general mathematical formulation of forward thinking that allows for other types of deep learning problems to be considered.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
Forward Thinking: Building Deep Random Forests
Authors:
Kevin Miller,
Chris Hettinger,
Jeffrey Humpherys,
Tyler Jarvis,
David Kartchner
Abstract:
The success of deep neural networks has inspired many to wonder whether other learners could benefit from deep, layered architectures. We present a general framework called forward thinking for deep learning that generalizes the architectural flexibility and sophistication of deep neural networks while also allowing for (i) different types of learning functions in the network, other than neurons,…
▽ More
The success of deep neural networks has inspired many to wonder whether other learners could benefit from deep, layered architectures. We present a general framework called forward thinking for deep learning that generalizes the architectural flexibility and sophistication of deep neural networks while also allowing for (i) different types of learning functions in the network, other than neurons, and (ii) the ability to adaptively deepen the network as needed to improve results. This is done by training one layer at a time, and once a layer is trained, the input data are mapped forward through the layer to create a new learning problem. The process is then repeated, transforming the data through multiple layers, one at a time, rendering a new dataset, which is expected to be better behaved, and on which a final output layer can achieve good performance. In the case where the neurons of deep neural nets are replaced with decision trees, we call the result a Forward Thinking Deep Random Forest (FTDRF). We demonstrate a proof of concept by applying FTDRF on the MNIST dataset. We also provide a general mathematical formulation that allows for other types of deep learning problems to be considered.
△ Less
Submitted 20 May, 2017;
originally announced May 2017.
-
The Moduli Space in the Gauged Linear Sigma Model
Authors:
Huijun Fan,
Tyler Jarvis,
Yongbin Ruan
Abstract:
This is a survey article for the mathematical theory of Witten's Gauged Linear Sigma Model, as developed recently by the authors. Instead of develo** the theory in the most general setting, in this paper we focus on the description of the moduli.
This is a survey article for the mathematical theory of Witten's Gauged Linear Sigma Model, as developed recently by the authors. Instead of develo** the theory in the most general setting, in this paper we focus on the description of the moduli.
△ Less
Submitted 2 August, 2017; v1 submitted 8 March, 2016;
originally announced March 2016.
-
A Mathematical Theory of the Gauged Linear Sigma Model
Authors:
Huijun Fan,
Tyler Jarvis,
Yongbin Ruan
Abstract:
We construct a mathematical theory of Witten's Gauged Linear Sigma Model (GLSM). Our theory applies to a wide range of examples, including many cases with non-Abelian gauge group. Both the Gromov-Witten theory of a Calabi-Yau complete intersection X and the Landau-Ginzburg dual (FJRW-theory) of X can be expressed as gauged linear sigma models. Furthermore, the Landau-Ginzburg/Calabi-Yau correspond…
▽ More
We construct a mathematical theory of Witten's Gauged Linear Sigma Model (GLSM). Our theory applies to a wide range of examples, including many cases with non-Abelian gauge group. Both the Gromov-Witten theory of a Calabi-Yau complete intersection X and the Landau-Ginzburg dual (FJRW-theory) of X can be expressed as gauged linear sigma models. Furthermore, the Landau-Ginzburg/Calabi-Yau correspondence can be interpreted as a variation of the moment map or a deformation of GIT in the GLSM. This paper focuses primarily on the algebraic theory, while a companion article will treat the analytic theory.
△ Less
Submitted 27 November, 2020; v1 submitted 5 June, 2015;
originally announced June 2015.
-
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.
-
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 develo** 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 develo** 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.
-
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.
-
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.
-
Landau-Ginzburg Mirror Symmetry for Orbifolded Frobenius Algebras
Authors:
Amanda Francis,
Tyler Jarvis,
Drew Johnson,
Rachel Suggs
Abstract:
We prove the Landau-Ginzburg Mirror Symmetry Conjecture at the level of (orbifolded) Frobenius algebras for a large class of invertible singularities, including arbitrary sums of loops and Fermats with arbitrary symmetry groups. Specifically, we show that for a quasi-homogeneous polynomial W and an admissible group G within the class, the Frobenius algebra arising in the FJRW theory of [W/G] is is…
▽ More
We prove the Landau-Ginzburg Mirror Symmetry Conjecture at the level of (orbifolded) Frobenius algebras for a large class of invertible singularities, including arbitrary sums of loops and Fermats with arbitrary symmetry groups. Specifically, we show that for a quasi-homogeneous polynomial W and an admissible group G within the class, the Frobenius algebra arising in the FJRW theory of [W/G] is isomorphic (as a Frobenius algebra) to the orbifolded Milnor ring of [W^T/G^T], associated to the dual polynomial W^T and dual group G^T.
△ Less
Submitted 10 November, 2011;
originally announced November 2011.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
The Behaviour of the Optical and X-ray Emission from Scorpius X-1
Authors:
B. J. McNamara,
T. E. Harrison,
R. T. Zavala,
Eduardo Galvan,
Javier Galvan,
T. Jarvis,
GeeAnn Killgore,
O. R. Mireles,
D. Olivares,
B. A. Rodriguez,
M. Sanchez,
Allison L. Silva,
E. Silva-Velarde,
M. R. Templeton
Abstract:
In 1970, Hiltner & Mook reported the results of the first multiyear study of the optical emission from Sco X-1. They found that the Sco X-1 B-magnitude histograms changed from year to year. Subsequent multi-wavelength campaigns confirmed the variable nature of these optical histograms and also found that the X-ray and optical emissions were only correlated when Sco X-1 was brighter than about B…
▽ More
In 1970, Hiltner & Mook reported the results of the first multiyear study of the optical emission from Sco X-1. They found that the Sco X-1 B-magnitude histograms changed from year to year. Subsequent multi-wavelength campaigns confirmed the variable nature of these optical histograms and also found that the X-ray and optical emissions were only correlated when Sco X-1 was brighter than about B = 12.6. Models had suggested that the optical emission from this source arose from X-rays reprocessed in an accretion disk surrounding the central neutron star. It was therefore difficult to explain why the optical and X-ray fluxes were not more closely correlated. In 1994 and 1995, two new simultaneous optical and X-ray campaigns on Sco X-1 were conducted with the Burst and Transient Source Experiment on the Compton Gamma Ray Observatory and the 1 m Yale telescope at Cerro Tololo Inter-American Observatory. Using these data and models by Psaltis, Lamb & Miller, it is now possible to provide a qualitative picture of how the X-ray and optical emissions from Sco X-1 are related. Differences in the B-magnitude histograms are caused by variations in the mass accretion rate and the relatively short time period usually covered by optical investigations. The tilted Gamma pattern seen in plots of the simultaneous X-ray and optical emission from Sco X-1 arises from (1) the nearly linear relation between the optical B magnitude and the mass accretion rate in the range 13.3 > B > 12.3 and an asymptotic behaviour in the B magnitude outside this range, and (2) a double-valued relation between the X-ray emission and mass accretion rate along the normal branch and the lower flaring branch of this source.
△ Less
Submitted 25 February, 2003;
originally announced February 2003.
-
The origin of cyclic period changes in close binaries: the case of the Algol binary WW Cygni
Authors:
Robert T. Zavala,
Bernard J. McNamara,
Thomas E. Harrison,
Eduardo Galvan,
Javier Galvan,
Thomas Jarvis,
GeeAnn Killgore,
Omar R. Mireles,
Diana Olivares,
Brian A. Rodriguez,
Matthew Sanchez,
Allison L. Silva,
Andrea L. Silva,
Elena Silva-Velarde
Abstract:
Years to decade-long cyclic orbital period changes have been observed in several classes of close binary systems including Algols, W Ursae Majoris and RS Canum Venaticorum systems, and the cataclysmic variables. The origin of these changes is unknown, but mass loss, apsidal motion, magnetic activity, and the presence of a third body have all been proposed. In this paper we use new CCD observatio…
▽ More
Years to decade-long cyclic orbital period changes have been observed in several classes of close binary systems including Algols, W Ursae Majoris and RS Canum Venaticorum systems, and the cataclysmic variables. The origin of these changes is unknown, but mass loss, apsidal motion, magnetic activity, and the presence of a third body have all been proposed. In this paper we use new CCD observations and the century-long historical record of the times of primary eclipse for WW Cygni to explore the cause of these period changes. WW Cygni is an Algol binary whose orbital period undergoes a 56 year cyclic variation with an amplitude of approximately 0.02 days. We consider and reject the hypotheses of mass transfer, mass loss, apsidal motion and the gravitational influence of an unseen companion as the cause for these changes. A model proposed by Applegate, which invokes changes in the gravitational quadrupole moment of the convective and rotating secondary star, is the most likely explanation of this star's orbital period changes. This finding is based on an examination of WW Cygni's residual O-C curve and an analysis of the period changes seen in 66 other Algols. Variations in the gravitational quadrupole moment are also considered to be the most likely explanation for the cyclic period changes observed in several different types of binary systems.
△ Less
Submitted 7 March, 2002;
originally announced March 2002.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
