Related papers: Big I-functions

Quotient inductive-inductive types (QIITs) are generalized inductive types which allow sorts to be indexed over previously declared sorts, and allow usage of equality constructors. QIITs are especially useful for algebraic descriptions of…

In this paper we study the threshold model of \emph{geometric inhomogeneous random graphs} (GIRGs); a generative random graph model that is closely related to \emph{hyperbolic random graphs} (HRGs). These models have been observed to…

As announced in [12], we develop a calculus of Fourier integral G-operators on any Lie groupoid G. For that purpose, we study convolability and invertibility of Lagrangian conic submanifolds of the symplectic groupoid T * G. We also…

We study genus zero wall-crossing for a family of moduli spaces introduced recently by Fan-Farvis-Ruan. The family has a wall and chamber structure relative to a positive rational parameter. For a Fermat quasi-homogeneous polynomial W (not…

This paper is a companion paper to [G4], where sharp estimates are proven for Fourier transforms of compactly supported functions built out of two-dimensional real-analytic functions. The theorems of [G4] are stated in a rather general…

We relate two fundamental enumerative functions, namely the $I$-functions in the quantum $K$-ring of $G(r,n)$ and of its cotangent bundle, by defining a $K$-theoretic operator on classes, called balancing. This operator lifts the…

We compute the genus-0 permutation-equivariant quantum K-theory of Fermat singularities, in parallel with the Givental-Lee theory for projective varieties. We extend Givental-Tonita's formalism of adelic Lagrangian cones to the singularity…

A conjecture of Aganagic and Vafa relates the open Gromov-Witten theory of $X=\mathcal{O}_{\mathbb{P}^{1}}(-1,-1)$ to the augmentation polynomial of Legendrian contact homology. We describe how to use this conjecture to compute genus zero,…

In this article we investigate the Duistermaat-Heckman theorem using the theory of hyperfunctions. In applications involving Hamiltonian torus actions on infinite dimensional manifolds, this more general theory seems to be necessary in…

Let $G$ be a connected semisimple algebraic group over an algebraically closed field $k$. In 1965 Steinberg proved that if $G$ is simply connected, then in $G$ there exists a closed irreducible cross-section of the set of closures of…

Let $(X,\om)$ be a symplectic manifold and $L$ be a Lagrangian submanifold diffeomorphic to $S^n$, $\R\P^n$, or a Lens space of a certain type. Using the symplectic cut and symplectic sum constructions, we express the open Gromov-Witten…

Let $G$ be a finite group acting transitively on a set $\Omega$. We study what it means for this action to be {\it quasirandom}, thereby generalizing Gowers' study of quasirandomness in groups. We connect this notion of quasirandomness to…

An important question arising from the Frobenius Coin Problem is to decide whether or not a given monetary sum S can be obtained from N coin denominations. We develop a new Generating Function G(x), where the coefficient of x^i is equal to…

This is the second in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive…

Given $\mathfrak{F}$ a coherent sheaf on a Noetherian integral algebraic stack $\mathfrak{P}$, we give two constructions of stacks $\widetilde{\mathfrak{P}}$, equipped with birational morphisms $p:\widetilde{\mathfrak{P}}\to \mathfrak{P}$…

In this note we consider a quotient \pi: X-> X/G, with G a finite group and X a smooth projective scheme such that X/G is smooth. We compare the equivariant derived category D^G(X) and the derived category of the quotient D(X/G) by giving…

Let $\mathcal{X}_1$ and $\mathcal{X}_2$ be smooth proper Deligne-Mumford stacks with projective coarse moduli spaces. We prove a formula for orbifold Gromov-Witten invariants of the product stack $\mathcal{X}_1\times \mathcal{X}_2$ in terms…

We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with…

For any finite abelian group G, the equivariant Gromov-Witten invariants of C^r/G can be viewed as a certain kind of abelian Hurwitz-Hodge integrals. In this note, we use Tseng's orbifold quantum Riemann-Roch theorem to express this kind of…

The intuitive notion of the Gromov invariant for maps from a Riemann surface to a Grassmannian is shown to agree with the definition in \cite{BDW}. Also, an induction on the genus is proved, which extends the results of \cite{BDW} to a…