We review the relationship between the largest Mathieu group and various modular objects, including recent progress on the relation to mock modular forms. We also review the connections between these mathematical structures and string theory on K3 surfaces.
We study the inclusion system of the quantum deformed 2 dimensional Yang-Mills root module to the graded root module of the U-dual modular group. The irreducible representation of the U-dual modular group is the quantum deformed black brane throat. We expose the isomorphism between coherent superposition of the topological amplitude and the space of the automorphic forms of the U-dual modular group.
Saturday, January 21, 2012
Sunday, January 15, 2012
Imaginary Geometry I: Interacting SLEs
Fix constants \chi >0 and \theta \in [0,2\pi), and let h be an instance of the Gaussian free field on a planar domain. We study flow lines of the vector field e^{i(h/\chi+\theta)} starting at a fixed boundary point of the domain. Considering all \theta \in [0,2\pi), one obtains a family of curves that look locally like SLE_\kappa, with \kappa \in (0,4), where \chi = 2/\kappa^{1/2} - \kappa^{1/2}/2, which we interpret as the rays of a random geometry with purely imaginary curvature. We extend the fundamental existence and uniqueness results about these paths to the case that the paths intersect the boundary. We also show that flow lines of different angles cross each other at most once but (in contrast to what happens when h is smooth) may bounce off of each other after crossing. Flow lines of the same angle started at different points merge into each other upon intersecting, forming a tree structure. We construct so-called counterflow lines (SLE_{16/\kappa}) within the same geometry using ordered "light cones" of points accessible by angle-restricted trajectories and develop a robust theory of flow and counterflow line interaction. The theory leads to new results about SLE. For example, we prove that SLE_\kappa(\rho) processes are almost surely continuous random curves, even when they intersect the boundary, and establish Duplantier duality for general SLE_{16/\kappa}(\rho) processes.
Imaginary geometry II: reversibility of SLE_κ(ρ_1;ρ_2) for κ\in (0,4)
Given a simply connected planar domain D, distinct points x,y \in \partial D, and \kappa >0, the Schramm-Loewner evolution SLE_\kappa is a random continuous non-self-crossing path in the closure of D from x to y. The SLE_\kappa(\rho_1;\rho_2) processes, defined for \rho_1, \rho_2 > -2, are in some sense the most natural generalizations of SLE_\kappa. When \kappa \leq 4, we prove that the law of the time-reversal of an \SLE_\kappa(\rho_1;\rho_2) from x to y is, up to parameterization, an SLE_\kappa(\rho_2;\rho_1) from y to x. This assumes that the "force points" used to define SLE_\kappa(\rho_1;\rho_2) are immediately to the left and right of the SLE seed. A generalization to arbitrary (and arbitrarily many) force points applies whenever the path does not (or is conditioned not to) hit the boundary of D except at the endpoints. The time-reversal symmetry has a particularly natural interpretation when the paths are coupled with the Gaussian free field and viewed as rays of a random geometry. It allows us to couple two instances of the Gaussian free field (with different boundary conditions) so that their difference is almost surely constant on either side of the path. In a fairly general sense, adding appropriate constants to the two sides of a ray reverses its orientation.
Imaginary geometry III: reversibility of SLE_κ for κ\in (4,8)
Suppose that D is a planar Jordan domain and x and y are distinct boundary points of D. Fix \kappa \in (4,8) and let \eta\ be an SLE_\kappa process from x to y in D. We prove that the law of the time-reversal of \eta is, up to reparameterization, an SLE_\kappa process from y to x in D. More generally, we prove that SLE_\kappa(\rho_1;\rho_2) processes are reversible if and only if both \rho_i are at least \kappa/2-4, which is the critical threshold at or below which such curves are boundary filling. Our result supplies the missing ingredient needed to show that for all \kappa \in (4,8) the so-called conformal loop ensembles CLE_\kappa\ are canonically defined, with almost surely continuous loops. It also provides an interesting way to couple two Gaussian free fields (with different boundary conditions) so that their difference is piecewise constant and the boundaries between the constant regions are SLE_\kappa curves.
Tuesday, January 10, 2012
A non-commuting twist in the partition function
We compute a twisted index for an orbifold theory when the twist generating group does not commute with the orbifold group. The twisted index requires the theory to be defined on moduli spaces that are compatible with the twist. This is carried out for CHL models at special points in the moduli space where they admit dihedral symmetries. The commutator subgroup of the dihedral groups are cyclic groups that are used to construct the CHL orbifolds. The residual reflection symmetry is chosen to act as a `twist' on the partition function. The reflection symmetries do not commute with the orbifolding group and hence we refer to this as a non-commuting twist. We count the degeneracy of half-BPS states using the twisted partition function and find that the contribution comes mainly from the untwisted sector. We show that the generating function for these twisted BPS states are related to the Mathieu group M_{24}.
Monday, January 2, 2012
Twisted elliptic genus for K3 and Borcherds product
We further discuss the relation between the elliptic genus of K3 surface and the Mathieu group M24. We find that some of the twisted elliptic genera for K3 surface, defined for conjugacy classes of the Mathieu group M24, can be represented in a very simple manner in terms of the eta-product of the corresponding conjugacy classes. It is shown that our formula is a consequence of the identity between the Borcherds product and additive lift of some Siegel modular forms.
Saturday, December 24, 2011
Asymptotical behaviour of roots of infinite Coxeter groups I
Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset can be built from the intersection with Q of the lines passing through two positive roots, and we establish that it is dense in E.
Friday, December 23, 2011
N=2 Quantum Field Theories and Their BPS Quivers
We explore the relationship between four-dimensional N=2 quantum field theories and their associated BPS quivers. For a wide class of theories including super-Yang-Mills theories, Argyres-Douglas models, and theories defined by M5-branes on punctured Riemann surfaces, there exists a quiver which implicitly characterizes the field theory. We study various aspects of this correspondence including the quiver interpretation of flavor symmetries, gauging, decoupling limits, and field theory dualities. In general a given quiver describes only a patch of the moduli space of the field theory, and a key role is played by quantum mechanical dualities, encoded by quiver mutations, which relate distinct quivers valid in different patches. Analyzing the consistency conditions imposed on the spectrum by these dualities results in a powerful and novel mutation method for determining the BPS states. We apply our method to determine the BPS spectrum in a wide class of examples, including the strong coupling spectrum of super-Yang-Mills with an ADE gauge group and fundamental matter, and trinion theories defined by M5-branes on spheres with three punctures.
Tuesday, December 13, 2011
Equivalence of Three Wall Crossing Formulae
The wall crossing formula of Kontsevich and Soibelman gives an implicit relation between the BPS indices on two sides of the wall of marginal stability by equating two symplectomorphisms constructed from the indices on two sides of the wall. The wall crossing formulae of Manschot, Pioline and the author give two apparently different explicit expressions for the BPS index on one side of the wall in terms of the BPS indices on the other side. We prove the equivalence of all the three formulae.
Thursday, December 8, 2011
Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations
We investigate the connections between flavored quivers, dimer models, and BPS pyramids for generic toric Calabi-Yau threefolds from various perspectives. We introduce a purely field theoretic definition of both finite and infinite pyramids in terms of quivers with flavors. These pyramids are associated to the counting of BPS invariants for generic toric Calabi-Yau threefolds. We discuss how cluster transformations provide an efficient recursive method for computing pyramid partition functions and show that the recursion is equivalent to the multidimensional octahedron recurrence. Transitions between different pyramids are related to Seiberg dualities, and we offer complimentary characterizations of these transitions in terms of the motion of zonotopes and duality webs. Our methods apply to completely general geometries including those with vanishing 4-cycles, which are associated to chiral quivers, thus overcoming one of the main limitations in the existing literature. We illustrate our ideas with explicit results for the infinite family of L^{a,b,c} geometries, dP_2, pseudo-dP_2, and dP_3. The counting of pyramid partitions for dP_1 gives rise to the Somos-4 sequence, while dP_2 and pseudo-dP_2 generate the Somos-5 sequence. Our results for dP_3 reproduce and extend those previously obtained for this theory, which were originally obtained from dimer shuffling.
Friday, December 2, 2011
Homological algebra of knots and BPS states
It is known that knot homologies admit a physical description as spaces of open BPS states. We study operators and algebras acting on these spaces. This leads to a very rich story, which involves wall crossing phenomena, algebras of closed BPS states acting on spaces of open BPS states, and deformations of Landau-Ginzburg models. One important application to knot homologies is the existence of "colored differentials" that relate homological invariants of knots colored by different representations. Based on this structure, we formulate a list of properties of the colored HOMFLY homology that categorifies the colored HOMFLY polynomial. By calculating the colored HOMFLY homology for symmetric and anti-symmetric representations, we find a remarkable "mirror symmetry" between these triply-graded theories.
Thursday, December 1, 2011
Large N duality, lagrangian cycles, and algebraic knots
We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed in the case of algebraic knots. We use this explicit construction to explain a recent conjecture relating study of stable pairs on algebraic curves with HOMFLY polynomials. Furthermore, for torus knots, using the explicit construction of the Lagrangian cycle, we also give a direct A-model computation and recover the HOMFLY polynomial for this case.
Monday, November 21, 2011
Line operators on S^1$\times$R^3 and quantization of the Hitchin moduli space
We perform an exact localization calculation for the expectation values of Wilson-'t Hooft line operators in N=2 gauge theories on S^1xR^3. The expectation values are naturally expressed in terms of the complexified Fenchel-Nielsen coordinates, and form a quantum mechanically deformed algebra of functions on the associated Hitchin moduli space by Moyal multiplication. We propose that these expectation values are the Weyl transform of the Verlinde operators, which act on Liouville/Toda conformal blocks as difference operators. We demonstrate our proposal explicitly in SU(N) examples.
Thursday, November 17, 2011
Topological string amplitudes for the local half K3 surface
We study topological string amplitudes for the local half K3 surface. We develop a method of computing higher genus amplitudes along the lines of the direct integration formalism, making full use of the Seiberg-Witten curve expressed in terms of modular forms and E_8-invariant Jacobi forms. The Seiberg-Witten curve was constructed previously for the low-energy effective theory of the non-critical E-string theory in R^4 x T^2. We clarify how the amplitudes are written as polynomials in a finite number of generators expressed in terms of the Seiberg-Witten curve. We determine the coefficients of the polynomials by solving the holomorphic anomaly equation and the gap condition and construct the amplitudes explicitly up to genus three. The results encompass topological string amplitudes for all local del Pezzo surfaces.
Wednesday, November 16, 2011
Vector-Valued Modular Forms from the Mumford Form, Schottky-Igusa Form, Product of Thetanullwerte and the Amazing Klein Formula
Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular forms, defined on the Teichmuller space, naturally appears from the Mumford forms, a question directly related to the Schottky problem. In this framework we show that the discriminant of the quadric associated to the complex curves of genus 4 is proportional to the square root of the products of Thetanullwerte \chi_{68}, which is a proof of the recently rediscovered Klein `amazing formula'. Furthermore, it turns out that the coefficients of such a quadric are derivatives of the Schottky-Igusa form evaluated at the Jacobian locus, implying new theta relations involving the latter, \chi_{68} and the theta series corresponding to the even unimodular lattices E_8\oplus E_8 and D_{16}^+. We also find, for g=4, a functional relation between the singular component of the theta divisor and the Riemann period matrix.
Tuesday, November 15, 2011
Small representations, string instantons, and Fourier modes of Eisenstein series (with an appendix by D. Ciubotaru and P. Trapa)
This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic functions on the rank d+1 symmetry group E_d+1. Of particular significance is the orbit content of the Fourier modes of these series when expanded in three different parabolic subgroups, corresponding to certain limits of string theory. This is of interest in the classification of a variety of instantons that correspond to minimal or next-to-minimal BPS orbits. In the limit of decompactification from D to D+1 dimensions many such instantons are related to charged 1/2-BPS or 1/4-BPS black holes with euclidean world-lines wrapped around the large dimension. In a different limit the instantons give nonperturbative corrections to string perturbation theory, while in a third limit they describe nonperturbative contributions in eleven-dimensional supergravity. A proof is given that these three distinct Fourier expansions have certain vanishing coefficients that are expected from string theory. In particular, the Eisenstein series for these special values of s have markedly fewer Fourier coefficients than typical ones. The corresponding mathematics involves showing that the wavefront sets of the Eisenstein series are supported on only certain coadjoint nilpotent orbits - just the minimal and trivial orbits in the 1/2-BPS case, and just the next-to-minimal, minimal and trivial orbits in the 1/4-BPS case. Thus as a byproduct we demonstrate that the next-to-minimal representations occur automorphically for E6, E7, and E8, and hence the first two nontrivial low energy coefficients are exotic theta-functions.
Saturday, November 12, 2011
Stability spaces and quantum dilogarithms for (Calabi-Yau) Dynkin quivers
We study the spaces of stability conditions (in the sense of Bridgeland) for the bounded derived category of a Dynkin quiver Q and the finite-dimensional derived category of the Calabi-Yau-N Ginzburg algebra (a.k.a. N-preprojective algebra) associated to Q. We prove that such spaces are simply connected. In the Calabi-Yau case, we provide a topological realization of almost completed cluster tilting objects. Moreover, we give a combinatorial proof of the existence of Donanldson-Thomas invariants for Dynkin quivers.
Tuesday, November 8, 2011
Duality Invariant Actions and Generalised Geometry
We construct the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation at lowest order and appropriate to spacetime dimensions four to seven. This leads to a non-linear realisation of the duality groups and introduces fields that depend on a generalised space which possess a generalised vielbein. We focus on the part of the generalised space on which the duality groups alone act and construct an invariant action.
Higher derivative type II string effective actions, automorphic forms and E11
By dimensionally reducing the ten-dimensional higher derivative type IIA string theory effective action we place constraints on the automorphic forms that appear in the effective action in lower dimensions. We propose a number of properties of such automorphic forms and consider the prospects that E11 can play a role in the formulation of the higher derivative string theory effective action.
Refined Hopf Link Revisited
We establish a relation between the refined Hopf link invariant and the S-matrix of the refined Chern-Simons theory. We show that the refined open string partition function corresponding to the Hopf link, calculated using the refined topological vertex, when expressed in the basis of Macdonald polynomials gives the S-matrix of the refined Chern-Simons theory.
Subscribe to:
Posts (Atom)