Showing 1–50 of 55 results for author: Kimura, T

$q$-deformation of random partitions, determinantal structure, and Riemann-Hilbert problem

Authors: Taro Kimura

Abstract: We study $q$-deformation of the probability measure on partitions, i.e., $q$-deformed random partitions. We in particular consider the $q$-Plancherel measure and show a determinantal formula for the correlation function using a $q$-deformation of the discrete Bessel kernel. We also investigate Riemann-Hilbert problems associated with the corresponding orthogonal polynomials and obtain $q$-Painlev{… ▽ More We study $q$-deformation of the probability measure on partitions, i.e., $q$-deformed random partitions. We in particular consider the $q$-Plancherel measure and show a determinantal formula for the correlation function using a $q$-deformation of the discrete Bessel kernel. We also investigate Riemann-Hilbert problems associated with the corresponding orthogonal polynomials and obtain $q$-Painlev{é} equations from the $q$-difference Lax formalism. △ Less

Submitted 2 March, 2025; originally announced March 2025.

Comments: 23 pages

Gauge origami and quiver W-algebras III: Donaldson--Thomas $qq$-characters

Authors: Taro Kimura, Go Noshita

Abstract: We further develop the BPS/CFT correspondence between quiver W-algebras/$qq$-characters and partition functions of gauge origami. We introduce $qq$-characters associated with multi-dimensional partitions with nontrivial boundary conditions which we call Donaldson--Thomas (DT) $qq$-characters. They are operator versions of the equivariant DT vertices of toric Calabi--Yau three and four-folds. Moreo… ▽ More We further develop the BPS/CFT correspondence between quiver W-algebras/$qq$-characters and partition functions of gauge origami. We introduce $qq$-characters associated with multi-dimensional partitions with nontrivial boundary conditions which we call Donaldson--Thomas (DT) $qq$-characters. They are operator versions of the equivariant DT vertices of toric Calabi--Yau three and four-folds. Moreover, we revisit the construction of the D8 $qq$-characters with no boundary conditions and give a quantum algebraic derivation of the sign rules of the magnificent four partition function. We also show that under the proper sign rules, the D6 and D8 $qq$-characters with no boundary conditions all commute with each other and discuss its physical interpretation. △ Less

Submitted 23 March, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 66+13 pages, v2: published version

Gauge origami and quiver W-algebras II: Vertex function and beyond quantum $q$-Langlands correspondence

Authors: Taro Kimura, Go Noshita

Abstract: We continue the study of generalized gauge theory called gauge origami, based on the quantum algebraic approach initiated in [arXiv:2310.08545]. In this article, we in particular explore the D2 brane system realized by the screened vertex operators of the corresponding W-algebra. The partition function of this system given by the corresponding conformal block is identified with the vertex function… ▽ More We continue the study of generalized gauge theory called gauge origami, based on the quantum algebraic approach initiated in [arXiv:2310.08545]. In this article, we in particular explore the D2 brane system realized by the screened vertex operators of the corresponding W-algebra. The partition function of this system given by the corresponding conformal block is identified with the vertex function associated with quasimaps to Nakajima quiver varieties and generalizations, that plays a central role in the quantum $q$-Langlands correspondence. Based on the quantum algebraic perspective, we address three new aspects of the correspondence: (i) Direct equivalence between the electric and magnetic blocks by constructing stable envelopes from the chamber structure of the vertex operators, (ii) Double affine generalization of quantum $q$-Langlands correspondence, and (iii) Conformal block realization of the origami vertex function associated with intersection of quasimaps, that realizes the higher-rank multi-leg Pandharipande-Thomas vertices of 3-fold and 4-fold. △ Less

Submitted 28 May, 2025; v1 submitted 25 April, 2024; originally announced April 2024.

Comments: 31 pages, typos corrected, references added

Gauge origami and quiver W-algebras

Authors: Taro Kimura, Go Noshita

Abstract: We explore the quantum algebraic formalism of the gauge origami system in $\mathbb{C}^{4}$, where D2/D4/D6/D8-branes are present. We demonstrate that the contour integral formulas have free field interpretations, leading to the operator formalism of $qq$-characters associated with each D-brane. The $qq$-characters of D2 and D4-branes correspond to screening charges and generators of the affine qui… ▽ More We explore the quantum algebraic formalism of the gauge origami system in $\mathbb{C}^{4}$, where D2/D4/D6/D8-branes are present. We demonstrate that the contour integral formulas have free field interpretations, leading to the operator formalism of $qq$-characters associated with each D-brane. The $qq$-characters of D2 and D4-branes correspond to screening charges and generators of the affine quiver W-algebra, respectively. On the other hand, the $qq$-characters of D6 and D8-branes represent novel types of $qq$-characters, where monomial terms are characterized by plane partitions and solid partitions. The composition of these $qq$-characters yields the instanton partition functions of the gauge origami system, eventually establishing the BPS/CFT correspondence. Additionally, we demonstrate that the fusion of $qq$-characters of D-branes in lower dimensions results in higher-dimensional D-brane $qq$-characters. We also investigate quadratic relations among these $qq$-characters. Furthermore, we explore the relationship with the representations, $q$-characters, and the Bethe ansatz equations of the quantum toroidal $\mathfrak{gl}_{1}$. This connection provides insights into the Bethe/Gauge correspondence of the gauge origami system from both gauge-theoretic and quantum-algebraic perspectives. We finally present conjectures regarding generalizations to general toric Calabi-Yau four-folds. These generalizations imply the existence of an extensive class of $qq$-characters, which we call BPS $qq$-characters. These BPS $qq$-characters offer a new systematic approach to derive a broader range of BPS/CFT correspondence and Bethe/Gauge correspondence. △ Less

Submitted 23 May, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 149+36 pages, v2: fixed typos and added references, published version

Band Flattening and Overlap Fermion

Authors: Taro Kimura, Masataka Watanabe

Abstract: We show that, for each symmetry class based on the tenfold way classification, the effective Dirac operator obtained by integrating out the additional bulk direction takes a value in the corresponding classifying space, from which we obtain the flat band Hamiltonian. We then obtain the overlap Dirac operator for each symmetry class and establish the Ginsparg--Wilson relation associated with… ▽ More We show that, for each symmetry class based on the tenfold way classification, the effective Dirac operator obtained by integrating out the additional bulk direction takes a value in the corresponding classifying space, from which we obtain the flat band Hamiltonian. We then obtain the overlap Dirac operator for each symmetry class and establish the Ginsparg--Wilson relation associated with $\mathcal{C}$ and $\mathcal{T}$ symmetries, and also the mod-two index theorem. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 29 pages

Double Quiver Gauge Theory and BPS/CFT Correspondence

Authors: Taro Kimura

Abstract: We provide a formalism using the $q$-Cartan matrix to compute the instanton partition function of quiver gauge theory on various manifolds. Applying this formalism to eight dimensional setups, we introduce the notion of double quiver gauge theory characterized by a pair of quivers. We also explore the BPS/CFT correspondence in eight dimensions based on the $q$-Cartan matrix formalism. We provide a formalism using the $q$-Cartan matrix to compute the instanton partition function of quiver gauge theory on various manifolds. Applying this formalism to eight dimensional setups, we introduce the notion of double quiver gauge theory characterized by a pair of quivers. We also explore the BPS/CFT correspondence in eight dimensions based on the $q$-Cartan matrix formalism. △ Less

Submitted 8 June, 2023; v1 submitted 7 December, 2022; originally announced December 2022.

Journal ref: SIGMA 19 (2023), 039, 32 pages

Universal Cusp Scaling in Random Partitions

Authors: Taro Kimura, Ali Zahabi

Abstract: We study the universal scaling limit of random partitions obeying the Schur measure. Extending our previous analysis [arXiv:2012.06424], we obtain the higher-order Pearcey kernel describing the multi-critical behavior in the cusp scaling limit. We explore the gap probability associated with the higher Pearcey kernel, and derive the coupled nonlinear differential equation and the asymptotic behavio… ▽ More We study the universal scaling limit of random partitions obeying the Schur measure. Extending our previous analysis [arXiv:2012.06424], we obtain the higher-order Pearcey kernel describing the multi-critical behavior in the cusp scaling limit. We explore the gap probability associated with the higher Pearcey kernel, and derive the coupled nonlinear differential equation and the asymptotic behavior in the large gap limit. △ Less

Submitted 31 January, 2024; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 41 pages, v2: presentation improved, typos corrected, v3: minor corrections

Higgsing $qq$-character and irreducibility

Authors: Taro Kimura

Abstract: We show that the $qq$-character of the irreducible highest weight module for finite-type and affine quivers is obtained by Higgsing, specialization of the equivariant parameters of the associated framing space in the quiver variety. We show that the $qq$-character of the irreducible highest weight module for finite-type and affine quivers is obtained by Higgsing, specialization of the equivariant parameters of the associated framing space in the quiver variety. △ Less

Submitted 31 March, 2024; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 28 pages, v2. presentation improved

Virasoro Constraint for Uglov Matrix Model

Authors: Osama Khlaif, Taro Kimura

Abstract: We study the root of unity limit of $(\textbf{q}, \textbf{t})$-deformed Virasoro matrix models, for which we call the resulting model Uglov matrix model. We derive the associated Virasoro constraints on the partition function and find agreement of the central charge with the expression obtained from the level-rank duality associated with the parafermion CFT. We study the root of unity limit of $(\textbf{q}, \textbf{t})$-deformed Virasoro matrix models, for which we call the resulting model Uglov matrix model. We derive the associated Virasoro constraints on the partition function and find agreement of the central charge with the expression obtained from the level-rank duality associated with the parafermion CFT. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 15 pages

Intersecting Defects and Supergroup Gauge Theory

Authors: Taro Kimura, Fabrizio Nieri

Abstract: We consider 5d supersymmetric gauge theories with unitary groups in the $Ω$-background and study codim-2/4 BPS defects supported on orthogonal planes intersecting at the origin along a circle. The intersecting defects arise upon implementing the most generic Higgsing (geometric transition) to the parent higher dimensional theory, and they are described by pairs of 3d supersymmetric gauge theories… ▽ More We consider 5d supersymmetric gauge theories with unitary groups in the $Ω$-background and study codim-2/4 BPS defects supported on orthogonal planes intersecting at the origin along a circle. The intersecting defects arise upon implementing the most generic Higgsing (geometric transition) to the parent higher dimensional theory, and they are described by pairs of 3d supersymmetric gauge theories with unitary groups interacting through 1d matter at the intersection. We explore the relations between instanton and generalized vortex calculus, pointing out a duality between intersecting defects subject to the $Ω$-background and a deformation of supergroup gauge theories, the exact supergroup point being achieved in the self-dual or unrefined limit. Embedding our setup into refined topological strings and in the simplest case when the parent 5d theory is Abelian, we are able to identify the supergroup theory dual to the intersecting defects as the supergroup version of refined Chern-Simons theory via open/closed duality. We also discuss the BPS/CFT side of the correspondence, finding an interesting large rank duality with super-instanton counting. △ Less

Submitted 21 September, 2021; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: v1: 50 pages; v2: 51 pages, added more references, minor comments and report n; v3: published version

Report number: DESY 21-060

A refinement of Sato-Tate conjecture

Authors: Taro Kimura

Abstract: We propose a refined version of the Sato-Tate conjecture about the spacing distribution of the angle determined for each prime number. We also discuss its implications on $L$-function associated with elliptic curves in the relation to random matrix theory. We propose a refined version of the Sato-Tate conjecture about the spacing distribution of the angle determined for each prime number. We also discuss its implications on $L$-function associated with elliptic curves in the relation to random matrix theory. △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: 6 pages

Instanton Counting, Quantum Geometry and Algebra

Authors: Taro Kimura

Abstract: The aim of this memoir for "Habilitation à Diriger des Recherches" is to present quantum geometric and algebraic aspects of supersymmetric gauge theory, which emerge from non-perturbative nature of the vacuum structure induced by instantons. We start with a brief summary of the equivariant localization of the instanton moduli space, and show how to obtain the instanton partition function and its g… ▽ More The aim of this memoir for "Habilitation à Diriger des Recherches" is to present quantum geometric and algebraic aspects of supersymmetric gauge theory, which emerge from non-perturbative nature of the vacuum structure induced by instantons. We start with a brief summary of the equivariant localization of the instanton moduli space, and show how to obtain the instanton partition function and its generalization to quiver gauge theory and supergroup gauge theory in three ways: the equivariant index formula, the contour integral formula, and the combinatorial formula. We then explore the geometric description of $\mathcal{N} = 2$ gauge theory based on Seiberg-Witten geometry together with its string/M-theory perspective. Through its relation to integrable systems, we show how to quantize such a geometric structure via the $Ω$-deformation of gauge theory. We also discuss the underlying quantum algebraic structure arising from the supersymmetric vacua. We introduce the notion of quiver W-algebra constructed through double quantization of Seiberg-Witten geometry, and show its specific features: affine quiver W-algebras, fractional quiver W-algebras, and their elliptic deformations. △ Less

Submitted 8 July, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: Habilitation memoir. 308 pages; v2. minor updates, typos corrected; v3. reference updated, typos corrected. This is a preprint of the following work: Taro Kimura, Instanton Counting, Quantum Geometry and Algebra, 2021, Springer, reproduced with permission of Springer Nature Switzerland AG. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-76190-5

Universal edge scaling in random partitions

Authors: Taro Kimura, Ali Zahabi

Abstract: We establish the universal edge scaling limit of random partitions with the infinite-parameter distribution called the Schur measure. We explore the asymptotic behavior of the wave function, which is a building block of the corresponding kernel, based on the Schr{ö}dinger-type differential equation. We show that the wave function is in general asymptotic to the Airy function and its higher-order a… ▽ More We establish the universal edge scaling limit of random partitions with the infinite-parameter distribution called the Schur measure. We explore the asymptotic behavior of the wave function, which is a building block of the corresponding kernel, based on the Schr{ö}dinger-type differential equation. We show that the wave function is in general asymptotic to the Airy function and its higher-order analogs in the edge scaling limit. We construct the corresponding higher-order Airy kernel and the Tracy-Widom distribution from the wave function in the scalins limit, and discuss its implication to the multicritical phase transition in the large size matrix model. We also discuss the limit shape of random partitions through the semi-classical analysis of the wave function. △ Less

Submitted 11 May, 2021; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: 15 pages; minor changes, published version

Journal ref: Lett. Math. Phys. 111 (2021) 48

Branes, quivers and wave-functions

Authors: Taro Kimura, Miłosz Panfil, Yuji Sugimoto, Piotr Sułkowski

Abstract: We consider a large class of branes in toric strip geometries, both non-periodic and periodic ones. For a fixed background geometry we show that partition functions for such branes can be reinterpreted, on one hand, as quiver generating series, and on the other hand as wave-functions in various polarizations. We determine operations on quivers, as well as $SL(2,\mathbb{Z})$ transformations, which… ▽ More We consider a large class of branes in toric strip geometries, both non-periodic and periodic ones. For a fixed background geometry we show that partition functions for such branes can be reinterpreted, on one hand, as quiver generating series, and on the other hand as wave-functions in various polarizations. We determine operations on quivers, as well as $SL(2,\mathbb{Z})$ transformations, which correspond to changing positions of these branes. Our results prove integrality of BPS multiplicities associated to this class of branes, reveal how they transform under changes of polarization, and imply all other properties of brane amplitudes that follow from the relation to quivers. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Comments: 42 pages, 15 figures

Report number: CALT-2020-049, USTC-ICTS/PCFT-20-40

Journal ref: SciPost Phys. 10, 051 (2021)

Time-based Handover Skipping in Cellular Networks: Spatially Stochastic Modeling and Analysis

Authors: Kiichi Tokuyama, Tatsuaki Kimura, Naoto Miyoshi

Abstract: Handover (HO) management has attracted attention of research in the context of wireless cellular communication networks. One crucial problem of HO management is to deal with increasing HOs experienced by a mobile user. To address this problem, HO skipping techniques have been studied in recent years. In this paper, we propose a novel HO skipping scheme, namely, time-based HO skipping. In the propo… ▽ More Handover (HO) management has attracted attention of research in the context of wireless cellular communication networks. One crucial problem of HO management is to deal with increasing HOs experienced by a mobile user. To address this problem, HO skipping techniques have been studied in recent years. In this paper, we propose a novel HO skipping scheme, namely, time-based HO skipping. In the proposed scheme, HOs of a user are controlled by a certain fixed period of time, which we call skipping time. The skipping time can be managed as a system parameter, thereby enabling flexible operation of HO skipping. We analyze the transmission performance of the proposed scheme on the basis of a stochastic geometry approach. In the scenario where a user performs the time-based HO skipping, we derive the analytical expressions for two performance metrics: the HO rate and the expected data rate. The analysis results demonstrate that the scenario with the time-based HO skipping outperforms the scenario without HO skipping particularly when the user moves fast. Furthermore, we reveal that there is a unique optimal skipping time maximizing the transmission performance, which we obtain approximately. △ Less

Submitted 24 August, 2020; originally announced August 2020.

Comments: 28 pages, 15 figures

ACM Class: C.4; G.3; H.1.1

Integrating over quiver variety and BPS/CFT correspondence

Authors: Taro Kimura

Abstract: We show the vertex operator formalism for the quiver gauge theory partition function and the $qq$-character of highest-weight module on quiver, both associated with the integral over the quiver variety. We show the vertex operator formalism for the quiver gauge theory partition function and the $qq$-character of highest-weight module on quiver, both associated with the integral over the quiver variety. △ Less

Submitted 6 October, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: 16 pages; minor changes, typos corrected

Journal ref: Lett. Math. Phys. 110 (2020) 1237-1255

Twisted reduction of quiver W-algebras

Authors: Taro Kimura, Vasily Pestun

Abstract: We consider the $k$-twisted Nekrasov-Shatashvili limit (NS$_k$ limit) of 5d (K-theoretic) and 6d (elliptic) quiver gauge theory, where one of the multiplicative equivariant parameters is taken to be the $k$-th root of unity. We obtain the extended center of the associated $q$-deformed quiver W-algebras constructed by our formalism [arXiv:1512.08533; arXiv:1608.04651; arXiv:1705.04410], which provi… ▽ More We consider the $k$-twisted Nekrasov-Shatashvili limit (NS$_k$ limit) of 5d (K-theoretic) and 6d (elliptic) quiver gauge theory, where one of the multiplicative equivariant parameters is taken to be the $k$-th root of unity. We obtain the extended center of the associated $q$-deformed quiver W-algebras constructed by our formalism [arXiv:1512.08533; arXiv:1608.04651; arXiv:1705.04410], which provides gauge theoretic proof of Bouwknegt-Pilch's statement on the relation to the representation ring of quantum affine algebra. △ Less

Submitted 9 May, 2019; originally announced May 2019.

Comments: 25 pages

Constructive a priori error estimates for a full discrete approximation of periodic solutions for the heat equation

Authors: Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao

Abstract: We consider the constructive a priori error estimates for a full discrete numerical solution of the heat equation with time-periodic condition. We consider the constructive a priori error estimates for a full discrete numerical solution of the heat equation with time-periodic condition. △ Less

Submitted 12 April, 2019; originally announced April 2019.

A subgeometric convergence formula for finite-level M/G/1-type Markov chains: via a block-decomposition-friendly solution for the Poisson equation of deviation matrix

Authors: Hiroyuki Masuyama, Yosuke Katsumata, Tatsuaki Kimura

Abstract: This paper studies the subgeometric convergence of the stationary distribution in taking the infinite-level limit of a finite-level M/G/1-type Markov chain, that is, in letting the upper boundary level go to infinity. This study is performed through the fundamental deviation matrix, which is a block-decomposition-friendly solution for the Poisson equation of the deviation matrix. The fundamental d… ▽ More This paper studies the subgeometric convergence of the stationary distribution in taking the infinite-level limit of a finite-level M/G/1-type Markov chain, that is, in letting the upper boundary level go to infinity. This study is performed through the fundamental deviation matrix, which is a block-decomposition-friendly solution for the Poisson equation of the deviation matrix. The fundamental deviation matrix yields a difference formula for the respective stationary distributions of the finite-level chain and the corresponding infinite-level chain. The difference formula plays a crucial role in deriving the main result of this paper: a subgeometric convergence formula for the infinite-level limit of the stationary distribution of the finite-level chain. △ Less

Submitted 3 September, 2022; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: This paper has been submitted to Applied Probability Journals

Constructive error analysis of a full-discrete finite element method for the heat equation

Authors: Kouji Hashimoto, Mitsuhiro T. Nakao, Takuma Kimura, Teruya Minamoto

Abstract: In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the error analysis, we use the constructive error estimates proposed ny Nakao et. all in 2013, this work is considered as an extention of that paper. We emphasize that concerned scheme seems to be a quite normal Galerkin metho… ▽ More In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the error analysis, we use the constructive error estimates proposed ny Nakao et. all in 2013, this work is considered as an extention of that paper. We emphasize that concerned scheme seems to be a quite normal Galerkin method and easy to implement for evolutionary equations comparing with previous one. In the constructive error estimates, we effectively use the numerical computations with guaranteed accuracy. △ Less

Submitted 12 October, 2018; v1 submitted 19 June, 2018; originally announced June 2018.

Quantum Field Theory, Quantum Geometry, and Quantum Algebras

Authors: Taro Kimura

Abstract: We demonstrate how one can see quantization of geometry, and quantum algebraic structure in supersymmetric gauge theory. We demonstrate how one can see quantization of geometry, and quantum algebraic structure in supersymmetric gauge theory. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: 1+13 pages in Japanese; a draft for Suurikagaku (Mathematical Sciences) No. 653

Fractional quiver W-algebras

Authors: Taro Kimura, Vasily Pestun

Abstract: We introduce quiver gauge theory associated with the non-simply-laced type fractional quiver, and define fractional quiver W-algebras by using construction of arXiv:1512.08533 and arXiv:1608.04651 with representation of fractional quivers. We introduce quiver gauge theory associated with the non-simply-laced type fractional quiver, and define fractional quiver W-algebras by using construction of arXiv:1512.08533 and arXiv:1608.04651 with representation of fractional quivers. △ Less

Submitted 18 April, 2018; v1 submitted 11 May, 2017; originally announced May 2017.

Comments: 22 pages; typos corrected; presentation improved; minor changes, published version

Journal ref: Lett. Math. Phys. 108 (2018) 2425-2451

Double quantization of Seiberg-Witten geometry and W-algebras

Authors: Taro Kimura

Abstract: We show that the double quantization of Seiberg-Witten spectral curve for $Γ$-quiver gauge theory defines the generating current of W$(Γ)$-algebra in the free field realization. We also show that the partition function is given as a correlator of the corresponding W$(Γ)$-algebra, which is equivalent to the AGT relation under the gauge/quiver (spectral) duality. We show that the double quantization of Seiberg-Witten spectral curve for $Γ$-quiver gauge theory defines the generating current of W$(Γ)$-algebra in the free field realization. We also show that the partition function is given as a correlator of the corresponding W$(Γ)$-algebra, which is equivalent to the AGT relation under the gauge/quiver (spectral) duality. △ Less

Submitted 8 January, 2018; v1 submitted 22 December, 2016; originally announced December 2016.

Comments: 31 pages, contribution to proceedings for 2016 von Neumann Symposium on Topological Recursion and its Influence in Analysis, Geometry, and Topology, 4-8 July 2016, Charlotte, NC; typos corrected, refs. updated

Journal ref: Proc. Symp. Pure Math. 100 (2018) 405-431

Quiver elliptic W-algebras

Authors: Taro Kimura, Vasily Pestun

Abstract: We define elliptic generalization of W-algebras associated with arbitrary quiver using the formalism of arXiv:1512.08533 applied to six-dimensional quiver gauge theory compactified on elliptic curve. We define elliptic generalization of W-algebras associated with arbitrary quiver using the formalism of arXiv:1512.08533 applied to six-dimensional quiver gauge theory compactified on elliptic curve. △ Less

Submitted 20 March, 2018; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: 20 pages; typo corrected, ref. added; minor changes, published version

Journal ref: Lett. Math. Phys. 108 (2018) 1383-1405

Quiver W-algebras

Authors: Taro Kimura, Vasily Pestun

Abstract: For a quiver with weighted arrows we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al., and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented by Nekrasov is isomorphic to the definition of the W-algebra in the operator formalism as a commutant of screening charges in the free field representation. Be… ▽ More For a quiver with weighted arrows we define gauge-theory K-theoretic W-algebra generalizing the definition of Shiraishi et al., and Frenkel and Reshetikhin. In particular, we show that the qq-character construction of gauge theory presented by Nekrasov is isomorphic to the definition of the W-algebra in the operator formalism as a commutant of screening charges in the free field representation. Besides, we allow arbitrary quiver and expect interesting applications to representation theory of generalized Borcherds-Kac-Moody Lie algebras, their quantum affinizations and associated W-algebras. △ Less

Submitted 20 March, 2018; v1 submitted 28 December, 2015; originally announced December 2015.

Comments: 26 pages; typo corrected, ref. added; minor changes, published version

Journal ref: Lett. Math. Phys. 108 (2018) 1351-1381

Subexponential Asymptotics of the Stationary Distributions of GI/G/1-Type Markov Chains

Authors: Tatsuaki Kimura, Hiroyuki Masuyama, Yutaka Takahashi

Abstract: This paper considers the subexponential asymptotics of the stationary distributions of GI/G/1-type Markov chains in two cases: (i) the phase transition matrix in non-boundary levels is stochastic; and (ii) it is strictly substochastic. For the case (i), we present a weaker sufficient condition for the sub exponential asymptotics than those given in the literature. As for the case (ii), the subexpo… ▽ More This paper considers the subexponential asymptotics of the stationary distributions of GI/G/1-type Markov chains in two cases: (i) the phase transition matrix in non-boundary levels is stochastic; and (ii) it is strictly substochastic. For the case (i), we present a weaker sufficient condition for the sub exponential asymptotics than those given in the literature. As for the case (ii), the subexponential asymptotics has not been studied, as far as we know. We show that the subexponential asymptotics in the case (ii) is different from that in the case (i). We also study the locally subexponential asymptotics of the stationary distributions in both cases (i) and (ii). △ Less

Submitted 21 June, 2016; v1 submitted 21 October, 2014; originally announced October 2014.

Comments: This is a revised version of the paper published in Stochastic Models vol. 29, no. 2, pp. 190--293, 2013

Journal ref: Stochastic Models vol. 29, no. 2, pp. 190--293, 2013

Towards U(N|M) knot invariant from ABJM theory

Authors: Bertrand Eynard, Taro Kimura

Abstract: We study U(N|M) character expectation value with the supermatrix Chern-Simons theory, known as the ABJM matrix model, with emphasis on its connection to the knot invariant. This average just gives the half BPS circular Wilson loop expectation value in ABJM theory, which shall correspond to the unknot invariant. We derive the determinantal formula, which gives U(N|M) character expectation values in… ▽ More We study U(N|M) character expectation value with the supermatrix Chern-Simons theory, known as the ABJM matrix model, with emphasis on its connection to the knot invariant. This average just gives the half BPS circular Wilson loop expectation value in ABJM theory, which shall correspond to the unknot invariant. We derive the determinantal formula, which gives U(N|M) character expectation values in terms of U(1|1) averages for a particular type of character representations. This means that the U(1|1) character expectation value is a building block for all the U(N|M) averages, and in particular, by an appropriate limit, for the U(N) invariants. In addition to the original model, we introduce another supermatrix model obtained through the symplectic transform, which is motivated by the torus knot Chern-Simons matrix model. We obtain the Rosso-Jones-type formula and the spectral curve for this case. △ Less

Submitted 5 December, 2016; v1 submitted 31 July, 2014; originally announced August 2014.

Comments: 1+36 pages, 4 figures, 1 table; typos corrected, minor changes

Report number: IPHT-T14/088, CRM-3338, RIKEN-MP-90 MSC Class: 81T60; 81T45; 57M27; 14H81

Adams operations on the virtual K-theory of P(1,n)

Authors: Takashi Kimura, Ross Sweet

Abstract: We analyze the structure of the virtual (orbifold) K-theory ring of the complex orbifold P(1,n) and its virtual Adams (or power) operations, by using the non-Abelian localization theorem of Edidin-Graham. In particular, we identify the group of virtual line elements and obtain a natural presentation for the virtual K-theory ring in terms of these virtual line elements. This yields a surjective hom… ▽ More We analyze the structure of the virtual (orbifold) K-theory ring of the complex orbifold P(1,n) and its virtual Adams (or power) operations, by using the non-Abelian localization theorem of Edidin-Graham. In particular, we identify the group of virtual line elements and obtain a natural presentation for the virtual K-theory ring in terms of these virtual line elements. This yields a surjective homomorphism from the virtual K-theory ring of P(1,n) to the ordinary K-theory ring of a crepant resolution of the cotangent bundle of P(1,n) which respects the Adams operations. Furthermore, there is a natural subring of the virtual K-theory ring of P(1,n) which is isomorphic to the ordinary K-theory ring of the resolution. This generalizes the results of Edidin-Jarvis-Kimura who proved the latter for n=2,3. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 29 pages

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

Euler Products beyond the Boundary

Authors: Taro Kimura, Shin-ya Koyama, Nobushige Kurokawa

Abstract: We investigate the behavior of the Euler products of the Riemann zeta function and Dirichlet L-functions on the critical line. A refined version of the Riemann hypothesis, which is named "the Deep Riemann Hypothesis" (DRH), is examined. We also study various analogs for global function fields. We give an interpretation for the nontrivial zeros from the viewpoint of statistical mechanics. We investigate the behavior of the Euler products of the Riemann zeta function and Dirichlet L-functions on the critical line. A refined version of the Riemann hypothesis, which is named "the Deep Riemann Hypothesis" (DRH), is examined. We also study various analogs for global function fields. We give an interpretation for the nontrivial zeros from the viewpoint of statistical mechanics. △ Less

Submitted 16 July, 2013; v1 submitted 3 October, 2012; originally announced October 2012.

Comments: 16 pages, 20 figures; discussion in Sec. 3 extended; references added; figures and discussion added; references added

Report number: RIKEN-MP-54 MSC Class: 11M06

Journal ref: Lett. Math. Phys. 104 (2014) 1-19

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

Light-tailed asymptotics of stationary tail probability vectors of Markov chains of M/G/1 type

Authors: Tatsuaki Kimura, Kentaro Daikoku, Hiroyuki Masuyama, Yutaka Takahashi

Abstract: This paper studies the light-tailed asymptotics of the stationary tail probability vectors of a Markov chain of M/G/1 type. Almost all related studies have focused on the typical case, where the transition block matrices in the non-boundary levels have a dominant impact on the decay rate of the stationary tail probability vectors and their decay is aperiodic. In this paper, we study not only the t… ▽ More This paper studies the light-tailed asymptotics of the stationary tail probability vectors of a Markov chain of M/G/1 type. Almost all related studies have focused on the typical case, where the transition block matrices in the non-boundary levels have a dominant impact on the decay rate of the stationary tail probability vectors and their decay is aperiodic. In this paper, we study not only the typical case but also atypical cases such that the stationary tail probability vectors decay periodically and/or their decay rate is determined by the tail distribution of jump sizes from the boundary level. We derive light-tailed asymptotic formulae for the stationary tail probability vectors by locating the dominant poles of the generating function of the sequence of those vectors. Further we discuss the positivity of the dominant terms of the obtained asymptotic formulae. △ Less

Submitted 3 September, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: This is a revised version of the paper published in Stochastic Models vol. 26, no. 4, pp. 505-548, 2010

MSC Class: 60K25; 60J10

Journal ref: Stochastic Models, vol. 26, no. 4, pp. 505-548, 2010

Topological Recursion Relations on $\bar{\cal M}_{3,2}$

Authors: Takashi Kimura, Xiaobo Liu

Abstract: In this paper, we give some new genus-3 universal equations for Gromov-Witten invariants of compact symplectic manifolds. These equations were obtained by studying new relations in the tautological ring of the moduli space of 2-pointed genus-3 stable curves. A byproduct of our search for genus-3 equations is a new genus-2 universal equation for Gromov-Witten invariants. In this paper, we give some new genus-3 universal equations for Gromov-Witten invariants of compact symplectic manifolds. These equations were obtained by studying new relations in the tautological ring of the moduli space of 2-pointed genus-3 stable curves. A byproduct of our search for genus-3 equations is a new genus-2 universal equation for Gromov-Witten invariants. △ Less

Submitted 11 June, 2015; v1 submitted 21 April, 2011; originally announced April 2011.

Comments: 48 pages, LaTex file

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

The Full Orbifold $K$-theory of Abelian Symplectic Quotients

Authors: Rebecca Goldin, Megumi Harada, Tara S. Holm, Takashi Kimura

Abstract: In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises… ▽ More In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold $K$-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of weighted projective spaces, we show that the associated invariant is torsion-free. △ Less

Submitted 27 April, 2009; v1 submitted 29 December, 2008; originally announced December 2008.

Comments: 18 pages

MSC Class: 19L47; 53D20

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

Index Theorems on Torsional Geometries

Authors: Tetsuji Kimura

Abstract: We study various topological invariants on a torsional geometry in the presence of a totally anti-symmetric torsion H under the closed condition dH = 0, which appears in string theory compactification scenarios. By using the identification between the Clifford algebra on the geometry and the canonical quantization condition of fermions in quantum mechanics, we construct N=1 quantum mechanical si… ▽ More We study various topological invariants on a torsional geometry in the presence of a totally anti-symmetric torsion H under the closed condition dH = 0, which appears in string theory compactification scenarios. By using the identification between the Clifford algebra on the geometry and the canonical quantization condition of fermions in quantum mechanics, we construct N=1 quantum mechanical sigma model in the Hamiltonian formalism. We extend this model to N=2 system, equipped with the totally anti-symmetric tensor associated with the torsion on the target space geometry. Next we construct transition elements in the Lagrangian path integral formalism and apply them to the analyses of the Witten indices in supersymmetric systems. We explicitly show the formulation of the Dirac index on the torsional manifold which has already been studied. We also formulate the Euler characteristic and the Hirzebruch signature on the torsional manifold. △ Less

Submitted 14 August, 2007; v1 submitted 17 April, 2007; originally announced April 2007.

Comments: 45 pages, the version to appear in JHEP

Report number: YITP-07-20

Journal ref: JHEP0708:048,2007

A Genus-3 Topological Recursion Relation

Authors: Takashi Kimura, Xiaobo Liu

Abstract: In this paper, we give a new genus-3 topological recursion relation for Gromov-Witten invariants of compact symplectic manifolds. This formula also applies to intersection numbers on moduli spaces of spin curves. A by-product of the proof of this formula is a new relation in the tautological ring of the moduli space of 1-pointed genus-3 stable curves. In this paper, we give a new genus-3 topological recursion relation for Gromov-Witten invariants of compact symplectic manifolds. This formula also applies to intersection numbers on moduli spaces of spin curves. A by-product of the proof of this formula is a new relation in the tautological ring of the moduli space of 1-pointed genus-3 stable curves. △ Less

Submitted 21 November, 2005; v1 submitted 22 February, 2005; originally announced February 2005.

Comments: Final version. To appear in Commmunications of Mathematical Physics. Corrected some typos and added a section on intersection numbers on moduli spaces of curves. LaTex file, 19 pages, 1 figure

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

Kahler Potentials on Toric Varieties

Authors: Tetsuji Kimura

Abstract: One has believed that low energy effective theories of the Higgs branch of gauged linear sigma models correspond to supersymmetric nonlinear sigma models, which have been already investigated by many works. In this paper we discuss a explicit derivation of supersymmetric nonlinear sigma models from gauged linear sigma models. In this process we construct Kahler potentials of some two-dimensional… ▽ More One has believed that low energy effective theories of the Higgs branch of gauged linear sigma models correspond to supersymmetric nonlinear sigma models, which have been already investigated by many works. In this paper we discuss a explicit derivation of supersymmetric nonlinear sigma models from gauged linear sigma models. In this process we construct Kahler potentials of some two-dimensional toric varieties explicitly. Thus we will be able to study some algebraic varieties in the language of differential geometry. △ Less

Submitted 8 June, 2003; v1 submitted 9 May, 2003; originally announced May 2003.

Comments: 1+22 pages, 6 figures, typos corrected, some minor changes

Report number: KEK-TH-886, OU-HET 442

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

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

A Change of Coordinates on the Large Phase Space of Quantum Cohomology

Authors: Alexandre Kabanov, Takashi Kimura

Abstract: The Gromov-Witten invariants of a smooth, projective variety $V$, when twisted by the tautological classes on the moduli space of stable maps, give rise to a family of cohomological field theories and endow the base of the family with coordinates. We prove that the potential functions associated to the tautological $ψ$ classes (the large phase space) and the $κ$ classes are related by a change o… ▽ More The Gromov-Witten invariants of a smooth, projective variety $V$, when twisted by the tautological classes on the moduli space of stable maps, give rise to a family of cohomological field theories and endow the base of the family with coordinates. We prove that the potential functions associated to the tautological $ψ$ classes (the large phase space) and the $κ$ classes are related by a change of coordinates which generalizes a change of basis on the ring of symmetric functions. Our result is a generalization of the work of Manin--Zograf who studied the case where $V$ is a point. We utilize this change of variables to derive the topological recursion relations associated to the $κ$ classes from those associated to the $ψ$ classes. △ Less

Submitted 14 July, 1999; originally announced July 1999.

Comments: 24 pages, no figures

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)

Intersection Numbers on the Moduli Spaces of Stable Maps in Genus 0

Authors: Alexandre Kabanov, Takashi Kimura

Abstract: Let $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection number… ▽ More Let $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a special case. △ Less

Submitted 21 March, 1998; v1 submitted 1 January, 1998; originally announced January 1998.

Comments: LaTeX2e with Postscript figures, 29 pages, reference added

Intersection Numbers and Rank One Cohomological Field Theories in Genus One

Authors: Alexandre Kabanov, Takashi Kimura

Abstract: We obtain a simple, recursive presentation of the tautological (κ, ψ, and λ) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating functions for their intersection numbers which allow us to prove a simple relationship between the genus zero and genus one potentials. As an application, we describe the… ▽ More We obtain a simple, recursive presentation of the tautological (κ, ψ, and λ) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating functions for their intersection numbers which allow us to prove a simple relationship between the genus zero and genus one potentials. As an application, we describe the moduli space of normalized, even, rank one cohomological field theories in genus one in coordinates which are additive under taking tensor products. Our results simplify and generalize those of Kaufmann, Manin, and Zagier. △ Less

Submitted 26 June, 1997; v1 submitted 5 June, 1997; originally announced June 1997.

Comments: LaTeX2e, 31 pages, 15 postscript figs; Minor changes in revised version

Report number: Max Planck Preprint 97-61 MSC Class: 14H10 (Primary) 14D20; 32G15; 81T40 (Secondary)

Journal ref: Commun.Math.Phys. 194 (1998) 651-674