Showing papers on "Equivariant map published in 2015"

Supersymmetric Casimir Energy and the Anomaly Polynomial

Abstract: We conjecture that for superconformal eld theories in even dimensions, the supersymmetric Casimir energy on a space with topology S 1 S D 1 is equal to an equivariant integral of the anomaly polynomial. The equivariant integration is dened with respect to the Cartan subalgebra of the global symmetry algebra that commutes with a given supercharge. We test our proposal extensively by computing the supersymmetric Casimir energy for large classes of superconformal eld theories, with and without known Lagrangian descriptions, in two, four and six dimensions.

The equivariant A-twist and gauged linear sigma models on the two-sphere

Abstract: We study two-dimensional $$ \mathcal{N}=\left(2,\;2\right) $$ supersymmetric gauged linear sigma models (GLSM) on the Ω-deformed sphere, S 2 , which is a one-parameter deformation of the A-twisted sphere. We provide an exact formula for the S 2 supersymmetric correlation functions using supersymmetric localization. The contribution of each instanton sector is given in terms of a Jeffrey-Kirwan residue on the Coulomb branch. In the limit of vanishing Ω-deformation, the localization formula greatly simplifies the computation of A-twisted correlation functions, and leads to new results for non-abelian theories. We discuss a number of examples and comment on the ϵ Ω-deformation of the quantum cohomology relations. Finally, we present a complementary Higgs branch localization scheme in the special case of abelian gauge groups.

Pin(2)-Equivariant Seiberg-Witten Floer homology and the Triangulation Conjecture

Abstract: We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov’s correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y #Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.

GL-equivariant modules over polynomial rings in infinitely many variables

Abstract: Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly. Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellen- berg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.

Exact results for boundaries and domain walls in 2d supersymmetric theories

Abstract: We apply supersymmetric localization to $$ \mathcal{N}=\left(2,2\right) $$ gauged linear sigma models on a hemisphere, with boundary conditions, i.e., D-branes, preserving B-type supersymmetries. We explain how to compute the hemisphere partition function for each object in the derived category of equivariant coherent sheaves, and argue that it depends only on its K theory class. The hemisphere partition function computes exactly the central charge of the D-brane, completing the well-known formula obtained by an anomaly inflow argument. We also formulate supersymmetric domain walls as D-branes in the product of two theories. In particular 4d line operators bound to a surface operator, corresponding via the AGT relation to certain defects in Toda CFT’s, are constructed as domain walls. Moreover we exhibit domain walls that realize the sl(2) affine Hecke algebra.

A Luna \'etale slice theorem for algebraic stacks

Abstract: We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

The equivariant A-twist and gauged linear sigma models on the two-sphere

Abstract: We study two-dimensional $\mathcal{N}=(2,2)$ supersymmetric gauged linear sigma models (GLSM) on the $\Omega$-deformed sphere, $S^2_\Omega$, which is a one-parameter deformation of the $A$-twisted sphere. We provide an exact formula for the $S^2_\Omega$ supersymmetric correlation functions using supersymmetric localization. The contribution of each instanton sector is given in terms of a Jeffrey-Kirwan residue on the Coulomb branch. In the limit of vanishing $\Omega$-deformation, the localization formula greatly simplifies the computation of $A$-twisted correlation functions, and leads to new results for non-abelian theories. We discuss a number of examples and comment on the $\epsilon_\Omega$-deformation of the quantum cohomology relations. Finally, we present a complementary Higgs branch localization scheme in the special case of abelian gauge groups.

Optimal bounds for the colored Tverberg problem

Abstract: We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in the general case. The proof is based on relative equivariant obstruction theory.

Characterization of large energy solutions of the equivariant wave map problem: II

Abstract: We consider $1$-equivariant wave maps from $\Bbb{R}^{1+2}\to\Bbb{S}^2$ of finite energy. We establish a classification of all degree one global solutions whose energies are less than three times the energy of the harmonic map~$Q$. In particular, for each global energy solution of topological degree one, we show that the solution asymptotically decouples into a rescaled harmonic map plus a radiation term. Together with a companion article (Part I), where we consider the case of finite-time blow up, this gives a characterization of all $1$-equivariant, degree~$1$ wave maps in the energy regime $[E(Q),3E(Q))$.

K\"ahler-Einstein metrics along the smooth continuity method

Abstract: We show that if a Fano manifold $M$ is K-stable with respect to special degenerations equivariant under a compact group of automorphisms, then $M$ admits a K\"ahler-Einstein metric. This is a strengthening of the solution of the Yau-Tian-Donaldson conjecture for Fano manifolds by Chen-Donaldson-Sun, and can be used to obtain new examples of K\"ahler-Einstein manifolds. We also give analogous results for twisted K\"ahler-Einstein metrics and Kahler-Ricci solitons.

Elliptic genera of ALE and ALF manifolds from gauged linear sigma models

Abstract: We compute the equivariant elliptic genera of several classes of ALE and ALF manifolds using localization in gauged linear sigma models. In the sigma model computation the equivariant action corresponds to chemical potentials for U(1) currents and the elliptic genera exhibit interesting pole structure as a function of the chemical potentials. We use this to decompose the answers into polar terms that exhibit wall crossing and universal terms. We compare our results to previous results on the large radius limit of the Taub-NUT elliptic genus and also discuss applications of our results to counting of BPS world-sheet spectrum of monopole strings in the 5d $$ \mathcal{N}=2 $$ super Yang-Mills theory and self-dual strings in the 6d $$ \mathcal{N}=\left(2,\ 0\right) $$ theories.

Vortex Partition Functions, Wall Crossing and Equivariant Gromov–Witten Invariants

Abstract: In this paper we identify the problem of equivariant vortex counting in a (2,2) supersymmetric two dimensional quiver gauged linear sigma model with that of computing the equivariant Gromov–Witten invariants of the GIT quotient target space determined by the quiver. We provide new contour integral formulae for the \({\mathcal{I}}\) and \({\mathcal{J}}\)-functions encoding the equivariant quantum cohomology of the target space. Its chamber structure is shown to be encoded in the analytical properties of the integrand. This is explained both via general arguments and by checking several key cases. We show how several results in equivariant Gromov–Witten theory follow just by deforming the integration contour. In particular, we apply our formalism to compute Gromov–Witten invariants of the \({\mathbb{C}^{3}/\mathbb{Z}_{n}}\) orbifold, of the Uhlembeck (partial) compactification of the moduli space of instantons on \({\mathbb{C}^{2}}\), and of A n and D n singularities both in the orbifold and resolved phases. Moreover, we analyse dualities of quantum cohomology rings of holomorphic vector bundles over Grassmannians, which are relevant to BPS Wilson loop algebrae.

On the Soliton Resolution for Equivariant Wave Maps to the Sphere

Abstract: We consider finite energy corotational wave maps with target manifold S2. We prove that for a sequence of times, they decompose as a sum of decoupled harmonic maps in the light cone, and a smooth wave map (in the blowup case) or a linear scattering term (in the global case), up to an error which tends to 0 in the energy space. © 2015 Wiley Periodicals, Inc.

5D Super Yang-Mills on Y p,q Sasaki-Einstein Manifolds

Abstract: On any simply connected Sasaki–Einstein five dimensional manifold one can construct a super Yang–Mills theory which preserves at least two supersymmetries. We study the special case of toric Sasaki–Einstein manifolds known as Y p,q manifolds. We use the localisation technique to compute the full perturbative part of the partition function. The full equivariant result is expressed in terms of a certain special function which appears to be a curious generalisation of the triple sine function. As an application of our general result we study the large N behaviour for the case of single hypermultiplet in adjoint representation and we derive the N 3-behaviour in this case.

K-Stability for Fano Manifolds with Torus Action of Complexity One

Abstract: We consider Fano manifolds admitting an algebraic torus action with general orbit of codimension one. Using a recent result of Datar and Szekelyhidi, we effectively determine the existence of Kahler-Ricci solitons for those manifolds via the notion of equivariant K-stability. This allows us to give new examples of Kahler-Einstein Fano threefolds, and Fano threefolds admitting a non-trivial Kahler-Ricci soliton.

Curve neighborhoods of schubert varieties

Abstract: A previous result of the authors with Chaput and Perrin states that the closure of the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space $G/P$ is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten invariant as well as a new proof of the quantum Chevalley formula and its equivariant generalization.We also recover a formula for the minimal degree of a rational curve between two given points in a cominuscule variety.

Equivariant Verlinde formula from fivebranes and vortices

Abstract: We study complex Chern-Simons theory on a Seifert manifold $M_3$ by embedding it into string theory. We show that complex Chern-Simons theory on $M_3$ is equivalent to a topologically twisted supersymmetric theory and its partition function can be naturally regularized by turning on a mass parameter. We find that the dimensional reduction of this theory to 2d gives the low energy dynamics of vortices in four-dimensional gauge theory, the fact apparently overlooked in the vortex literature. We also generalize the relations between 1) the Verlinde algebra, 2) quantum cohomology of the Grassmannian, 3) Chern-Simons theory on $\Sigma\times S^1$ and 4) index of a spin$^c$ Dirac operator on the moduli space of flat connections to a new set of relations between 1) the "equivariant Verlinde algebra" for a complex group, 2) the equivariant quantum K-theory of the vortex moduli space, 3) complex Chern-Simons theory on $\Sigma \times S^1$ and 4) the equivariant index of a spin$^c$ Dirac operator on the moduli space of Higgs bundles.

Controlled topological phases and bulk-edge correspondence

Abstract: In this paper, we introduce a variation of the notion of topological phase reflecting metric structure of the position space. This framework contains not only periodic and non-periodic systems with symmetries in Kitaev's periodic table but also topological crystalline insulators. We also define the bulk and edge indices as invariants taking values in the twisted equivariant $\mathrm{K}$-groups of Roe algebras as generalizations of existing invariants such as the Hall conductance or the Kane--Mele $\mathbb{Z}_2$-invariant. As a consequence, we obtain a new mathematical proof of the bulk-edge correspondence by using the coarse Mayer-Vietoris exact sequence.

An Equivariant Main Conjecture in Iwasawa theory and applications

Abstract: We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivariant p-adic L-function. This is an integral, equivariant refinement of the classical Main Conjecture over totally real number fields proved by Wiles in 1990. Finally, we use these results and Iwasawa co-descent to prove refinements of the (imprimitive) Brumer-Stark Conjecture and the Coates-Sinnott Conjecture, away from their 2-primary components, in the most general number field setting. All of the above is achieved under the assumption that the relevant prime p is odd and that the appropriate classical Iwasawa mu-invariants vanish (as conjectured by Iwasawa.)

Reduction of SO(2) symmetry for spatially extended dynamical systems.

Abstract: Spatially extended systems, such as channel or pipe flows, are often equivariant under continuous symmetry transformations, with each state of the flow having an infinite number of equivalent solutions obtained from it by a translation or a rotation. This multitude of equivalent solutions tends to obscure the dynamics of turbulence. Here we describe the ``first Fourier mode slice,'' a very simple, easy to implement reduction of SO(2) symmetry. While the method exhibits rapid variations in phase velocity whenever the magnitude of the first Fourier mode is nearly vanishing, these near singularities can be regularized by a time-scaling transformation. We show that after application of the method, hitherto unseen global structures, for example, Kuramoto-Sivashinsky relative periodic orbits and unstable manifolds of traveling waves, are uncovered.

Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems

Abstract: Motivated by topological Tverberg-type problems and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without triple, quadruple, or, more generally, r-fold points. Specifically, we are interested in maps f from K to R^d that have no r-Tverberg points, i.e., no r-fold points with preimages in r pairwise disjoint simplices of K, and we seek necessary and sufficient conditions for the existence of such maps. We present a higher-multiplicity analogue of the completeness of the Van Kampen obstruction for embeddability in twice the dimension. Specifically, we show that under suitable restrictions on the dimensions, a well-known Deleted Product Criterion (DPC) is not only necessary but also sufficient for the existence of maps without r-Tverberg points. Our main technical tool is a higher-multiplicity version of the classical Whitney trick. An important guiding idea for our work was that sufficiency of the DPC, together with an old result of Ozaydin on the existence of equivariant maps, might yield an approach to disproving the remaining open cases of the long-standing topological Tverberg conjecture. Unfortunately, our proof of the sufficiency of the DPC requires a "codimension 3" proviso, which is not satisfied for when K is the N-simplex. Recently, Frick found an extremely elegant way to overcome this last "codimension 3" obstacle and to construct counterexamples to the topological Tverberg conjecture for d at least 3r+1 (r not a prime power). Here, we present a different construction that yields counterexamples for d at least 3r (r not a prime power).

The spectrum of the equivariant stable homotopy category of a finite group

Abstract: We study the spectrum of prime ideals in the tensor-triangulated category of compact equivariant spectra over a finite group. We completely describe this spectrum as a set for all finite groups. We also make significant progress in determining its topology and obtain a complete answer for groups of square-free order. For general finite groups, we describe the topology up to an unresolved indeterminacy, which we reduce to the case of p-groups. We then translate the remaining unresolved question into a new chromatic blue-shift phenomenon for Tate cohomology. Finally, we draw conclusions on the classification of thick tensor ideals.

\( \mathcal{N}=2 \) supersymmetric gauge theories on S2 × S2 and Liouville Gravity

Abstract: We consider $$ \mathcal{N}=2 $$ supersymmetric gauge theories on four manifolds admitting an isometry. Generalized Killing spinor equations are derived from the consistency of supersymmetry algebrae and solved in the case of four manifolds admitting a U(1) isometry. This is used to explicitly compute the supersymmetric path integral on S2 × S2 via equivariant localization. The building blocks of the resulting partition function are shown to contain the three point functions and the conformal blocks of Liouville Gravity.

Quantum kirwan morphism and gromov-witten invariants of quotients i

Abstract: 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 QH G (X) of a smooth polarized complex projective variety X with the action of a connected complex reductive group G to the orbifold quantum cohomology QH(X//G) of its geometric invariant theory quotient X//G, and prove that it intertwines the genus zero gauged Gromov–Witten potential of X with the genus zero Gromov–Witten graph potential of X//G. In this part we construct virtual fundamental classes on the moduli spaces used in the construction of the quantum Kirwan map and the gauged Gromov–Witten potential.

Equivariant Chern-Schwartz-MacPherson classes in partial flag varieties: interpolation and formulae

Abstract: Consider the natural torus action on a partial flag manifold $Fl$. Let $\Omega_I\subset Fl$ be an open Schubert variety, and let $c^{sm}(\Omega_I)\in H_T^*(Fl)$ be its torus equivariant Chern-Schwartz-MacPherson class. We show a set of interpolation properties that uniquely determine $c^{sm}(\Omega_I)$, as well as a formula, of `localization type', for $c^{sm}(\Omega_I)$. In fact, we proved similar results for a class $\kappa_I\in H_T^*(Fl)$ --- in the context of quantum group actions on the equivariant cohomology groups of partial flag varieties. In this note we show that $c^{SM}(\Omega_I)=\kappa_I$.