Source author record

Daniel Persson

Daniel Persson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

33works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

33 published item(s)

preprint2026arXiv

Steerable Neural ODEs on Homogeneous Spaces

We introduce steerable neural ordinary differential equations on homogeneous spaces $M=G/H$. These models constitute a novel geometric extension of manifold neural ordinary differential equations (NODEs) that transport associated feature vectors transforming under the local symmetry group $H$. We interpret features as sections of associated vector bundles over $M$, and describe their evolution as parallel transport. This results in a coupled system of ODEs consisting of a flow equation on $M$ and a steering equation acting on features. We show that steerable NODEs are $G$-equivariant whenever the vector field generating the flow and the connection governing parallel transport are both $G$-invariant. Furthermore, we demonstrate how steerable NODEs incorporate existing NODE models and continuous normalizing flows on Lie groups. Our framework provides the geometric foundation for learning continuous-time equivariant dynamics of general vector-valued features on homogeneous spaces.

preprint2022arXiv

Equivariance versus Augmentation for Spherical Images

We analyze the role of rotational equivariance in convolutional neural networks (CNNs) applied to spherical images. We compare the performance of the group equivariant networks known as S2CNNs and standard non-equivariant CNNs trained with an increasing amount of data augmentation. The chosen architectures can be considered baseline references for the respective design paradigms. Our models are trained and evaluated on single or multiple items from the MNIST or FashionMNIST dataset projected onto the sphere. For the task of image classification, which is inherently rotationally invariant, we find that by considerably increasing the amount of data augmentation and the size of the networks, it is possible for the standard CNNs to reach at least the same performance as the equivariant network. In contrast, for the inherently equivariant task of semantic segmentation, the non-equivariant networks are consistently outperformed by the equivariant networks with significantly fewer parameters. We also analyze and compare the inference latency and training times of the different networks, enabling detailed tradeoff considerations between equivariant architectures and data augmentation for practical problems. The equivariant spherical networks used in the experiments are available at https://github.com/JanEGerken/sem_seg_s2cnn .

preprint2021arXiv

A reduction principle for Fourier coefficients of automorphic forms

We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are `Levi-distinguished' Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $\mathbb{K}$-distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In follow-up papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of their top Fourier coefficients.

preprint2021arXiv

Eulerianity of Fourier coefficients of automorphic forms

We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also establish a `hidden' invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, and deduce Eulerianity for a large class of Fourier and Fourier-Jacobi coefficients. In particular, we prove Eulerianity for parabolic Fourier coefficients with characters of maximal rank for a class of Eisenstein series in minimal and next-to-minimal representations of groups of ADE-type that are of interest in string theory.

preprint2020arXiv

Emergent Sasaki-Einstein geometry and AdS/CFT

We consider supergravity in five-dimensional Anti-De Sitter space $AdS_{5}$ with minimal supersymmetry, encoded by a Sasaki-Einstein metric on a five-dimensional compact manifold $M$. Our main result reveals how the Sasaki-Einstein metric emerges from a canonical state in the dual CFT, defined by a superconformal gauge theory in four dimensional Minkowski space $\mathbb{R}^{3,1}$in the t'Hooft limit where the rank $N$ tends to infinity. We obtain explicit finite $N-$approximations to the Sasaki-Einstein metric, expressed in terms of a canonical (i.e. background free) BPS-state on the gauge theory side. We also provide a string theory interpretation of the BPS-state in question, which sheds new light on the previously noted intriguing duality of giant gravitons.

preprint2020arXiv

Fun with $F_{24}$

We study some special features of $F_{24}$, the holomorphic $c=12$ superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of "physical" states of a chiral superstring compactified on $F_{24}$, and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an $\mathcal{N}=1$ supercurrent on $F_{24}$, with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how $F_{24}$, with any such choice of supercurrent, can be obtained via orbifolding from another distinguished $c=12$ holomorphic SCFT, the $\mathcal{N}=1$ supersymmetric version of the chiral CFT based on the $E_8$ lattice.

preprint2016arXiv

Fricke S-duality in CHL models

We consider four dimensional CHL models with sixteen spacetime supersymmetries obtained from orbifolds of type IIA superstring on K3 x T^2 by a Z_N symmetry acting (possibly) non-geometrically on K3. We show that most of these models (in particular, for geometric symmetries) are self-dual under a weak-strong duality acting on the heterotic axio-dilaton modulus S by a "Fricke involution" S --> -1/NS. This is a novel symmetry of CHL models that lies outside of the standard SL(2,Z)-symmetry of the parent theory, heterotic strings on T^6. For self-dual models this implies that the lattice of purely electric charges is N-modular, i.e. isometric to its dual up to a rescaling of its quadratic form by N. We verify this prediction by determining the lattices of electric and magnetic charges in all relevant examples. We also calculate certain BPS-saturated couplings and verify that they are invariant under the Fricke S-duality. For CHL models that are not self-dual, the strong coupling limit is dual to type IIA compactified on T^6/Z_N, for some Z_N-symmetry preserving half of the spacetime supersymmetries.

preprint2016arXiv

Monstrous BPS-Algebras and the Superstring Origin of Moonshine

We provide a physics derivation of Monstrous moonshine. We show that the McKay-Thompson series $T_g$, $g\in \mathbb{M}$, can be interpreted as supersymmetric indices counting spacetime BPS-states in certain heterotic string models. The invariance groups of these series arise naturally as spacetime T-duality groups and their genus zero property descends from the behaviour of these heterotic models in suitable decompactification limits. We also show that the space of BPS-states forms a module for the Monstrous Lie algebras $\mathfrak{m}_g$, constructed by Borcherds and Carnahan. We argue that $\mathfrak{m}_g$ arise in the heterotic models as algebras of spontaneously broken gauge symmetries, whose generators are in exact correspondence with BPS-states. This gives $\mathfrak{m}_g$ an interpretation as a kind of BPS-algebra.

preprint2016arXiv

Spin-polarized currents and noise in NS junctions with Yu-Shiba-Rusinov impurities

Conventional superconductors disordered by magnetic impurities demonstrate physical properties drastically different from their pristine counterparts. In our previous work [Phys. Rev. B 92, 245430 (2015)] we explored spectral and thermodynamic properties of such systems for two extreme cases: completely random and ferromagnetically aligned impurity magnetic moments. Here we consider transport properties of these systems, and show that they have a potential to be used in superconducting spintronic devices. Each magnetic impurity contributes a Yu-Shiba-Rusinov (YSR) bound state to the spectrum, residing at sub-gap energies. Provided the YSR states form metallic bands, we demonstrate that the tunneling current carried by these states can be highly spin-polarized when the impurities are ferromagnetically ordered. The spin polarization can be switched by simply tuning the bias voltage. Moreover, even when the impurity spins are completely uncorrelated, one can still achieve almost 100% spin polarization of the current, if the tunnel interface is spin-active. We compute electric current and noise, varying parameters of the interface between tunneling and fully transparent regimes, and analyze the relative role of single-particle and Andreev reflection processes.

preprint2015arXiv

Fivebrane instantons, topological wave functions and hypermultiplet moduli spaces

We investigate quantum corrections to the hypermultiplet moduli space M in Calabi-Yau compactifications of type II string theories, with particular emphasis on instanton effects from Euclidean NS5-branes. Based on the consistency of D- and NS5-instanton corrections, we determine the topology of the hypermultiplet moduli space at fixed string coupling, as previewed in arXiv:1009.3026. On the type IIB side, we compute corrections from (p,k)-fivebrane instantons to the metric on M (specifically, the correction to the complex contact structure on its twistor space Z) by applying S-duality to the D-instanton sum. For fixed fivebrane charge k, the corrections can be written as a non-Gaussian theta series, whose summand for k=1 reduces to the topological A-model amplitude. By mirror symmetry, instanton corrections induced from the chiral type IIA NS5-brane are similarly governed by the wave function of the topological B-model. In the course of this investigation we clarify charge quantization for coherent sheaves and find hitherto unnoticed corrections to the Heisenberg, monodromy and S-duality actions on M, as well as to the mirror map for Ramond-Ramond fields and D-brane charges.

preprint2015arXiv

Fourier expansions of Kac-Moody Eisenstein series and degenerate Whittaker vectors

Motivated by string theory scattering amplitudes that are invariant under a discrete U-duality, we study Fourier coefficients of Eisenstein series on Kac-Moody groups. In particular, we analyse the Eisenstein series on $E_9(R)$, $E_{10}(R)$ and $E_{11}(R)$ corresponding to certain degenerate principal series at the values s=3/2 and s=5/2 that were studied in 1204.3043. We show that these Eisenstein series have very simple Fourier coefficients as expected for their role as supersymmetric contributions to the higher derivative couplings $R^4$ and $\partial^{4} R^4$ coming from 1/2-BPS and 1/4-BPS instantons, respectively. This suggests that there exist minimal and next-to-minimal unipotent automorphic representations of the associated Kac-Moody groups to which these special Eisenstein series are attached. We also provide complete explicit expressions for degenerate Whittaker vectors of minimal Eisenstein series on $E_6(R)$, $E_7(R)$ and $E_8(R)$ that have not appeared in the literature before.

preprint2015arXiv

Quantum hypermultiplet moduli spaces in N=2 string vacua: a review

The hypermultiplet moduli space M_H in type II string theories compactified on a Calabi-Yau threefold X is largely constrained by supersymmetry (which demands quaternion-Kählerity), S-duality (which requires an isometric action of SL(2, Z)) and regularity. Mathematically, M_H ought to encode all generalized Donaldson-Thomas invariants on X consistently with wall-crossing, modularity and homological mirror symmetry. We review recent progress towards computing the exact metric on M_H, or rather the exact complex contact structure on its twistor space.

preprint2015arXiv

Spectral properties of superconductors with ferromagnetically ordered magnetic impurities

We present a comprehensive theoretical study of thermodynamic properties of superconductors with a dilute concentration of magnetic impurities, with focus on how the properties of the superconducting host change if the magnetic moments of the impurities order ferromagnetically. Scattering off the magnetic impurities leads to the formation of a band of Yu-Shiba-Rusinov states within the superconducting energy gap that drastically influences superconductivity. In the magnetically ordered system, the magnetization displays a sudden drop as function of impurity density or magnetic moment amplitude. The drop occurs as the spin-polarized impurity band crosses the Fermi level and is associated with a quantum phase transition first put forward by Sakurai for the single impurity case. Taking into account that the background magnetic field created by the ordered impurity moments enters as a Zeeman shift, we find that the superconducting phase transition changes from second order to first order for high enough impurity concentration.

preprint2015arXiv

Wall-crossing, Rogers dilogarithm, and the QK/HK correspondence

When formulated in twistor space, the D-instanton corrected hypermultiplet moduli space in N=2 string vacua and the Coulomb branch of rigid N=2 gauge theories on $R^3 \times S^1$ are strikingly similar and, to a large extent, dictated by consistency with wall-crossing. We elucidate this similarity by showing that these two spaces are related under a general duality between, on one hand, quaternion-Kahler manifolds with a quaternionic isometry and, on the other hand, hyperkahler manifolds with a rotational isometry, further equipped with a hyperholomorphic circle bundle with a connection. We show that the transition functions of the hyperholomorphic circle bundle relevant for the hypermultiplet moduli space are given by the Rogers dilogarithm function, and that consistency across walls of marginal stability is ensured by the motivic wall-crossing formula of Kontsevich and Soibelman. We illustrate the construction on some simple examples of wall-crossing related to cluster algebras for rank 2 Dynkin quivers. In an appendix we also provide a detailed discussion on the general relation between wall-crossing and the theory of cluster algebras.

preprint2014arXiv

Charge transport in InAs nanowire Josephson junctions

We present an extensive experimental and theoretical study of the proximity effect in InAs nanowires connected to superconducting electrodes. We fabricate and investigate devices with suspended gate-controlled nanowires and nonsuspended nanowires, with a broad range of lengths and normal-state resistances. We analyze the main features of the current-voltage characteristics: the Josephson current, excess current, and subgap current as functions of length, temperature, magnetic field, and gate voltage, and compare them with theory. The Josephson critical current for a short-length device, L = 30 nm, exhibits a record high magnitude of 800 nA at low temperature that comes close to the theoretically expected value. The critical current in all other devices is typically reduced compared to the theoretical values. The excess current is consistent with the normal resistance data and agrees well with the theory. The subgap current shows a large number of structures; some of them are identified as subharmonic gap structures generated by multiple Andreev reflection. The other structures, detected in both suspended and nonsuspended devices, have the form of voltage steps at voltages that are independent of either the superconducting gap or length of the wire. By varying the gate voltage in suspended devices, we are able to observe a crossover from typical tunneling transport at large negative gate voltage, with suppressed subgap current and negative excess current, to pronounced proximity junction behavior at large positive gate voltage, with enhanced Josephson current and subgap conductance as well as a large positive excess current.

preprint2014arXiv

Generalised Mathieu Moonshine

The Mathieu twisted twining genera, i.e. the analogues of Norton's generalised Moonshine functions, are constructed for the elliptic genus of K3. It is shown that they satisfy the expected consistency conditions, and that their behaviour under modular transformations is controlled by a 3-cocycle in H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests that a holomorphic VOA may be underlying Mathieu Moonshine.

preprint2014arXiv

Massive MIMO with 1-bit ADC

We investigate massive multiple-input-multiple output (MIMO) uplink systems with 1-bit analog-to-digital converters (ADCs) on each receiver antenna. Receivers that rely on 1-bit ADC do not need energy-consuming interfaces such as automatic gain control (AGC). This decreases both ADC building and operational costs. Our design is based on maximal ratio combining (MRC), zero-forcing (ZF), and least squares (LS) detection, taking into account the effects of the 1-bit ADC on channel estimation. Through numerical results, we show good performance of the system in terms of mutual information and symbol error rate (SER). Furthermore, we provide an analytical approach to calculate the mutual information and SER of the MRC receiver. The analytical approach reduces complexity in the sense that a symbol and channel noise vectors Monte Carlo simulation is avoided.

preprint2014arXiv

Second Quantized Mathieu Moonshine

We study the second quantized version of the twisted twining genera of generalized Mathieu moonshine, and prove that they give rise to Siegel modular forms with infinite product representations. Most of these forms are expected to have an interpretation as twisted partition functions counting 1/4 BPS dyons in type II superstring theory on K3\times T^2 or in heterotic CHL-models. We show that all these Siegel modular forms, independently of their possible physical interpretation, satisfy an "S-duality" transformation and a "wall-crossing formula". The latter reproduces all the eta-products of an older version of generalized Mathieu moonshine proposed by Mason in the '90s. Surprisingly, some of the Siegel modular forms we find coincide with the multiplicative (Borcherds) lifts of Jacobi forms in umbral moonshine.

preprint2014arXiv

Small automorphic representations and degenerate Whittaker vectors

We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also use our formalism to calculate various local (real and p-adic) spherical vectors of minimal representations of the exceptional groups E_6, E_7, E_8 using global (adelic) degenerate Whittaker vectors, correctly reproducing existing results for such spherical vectors obtained by very different methods.

preprint2013arXiv

Generalised Moonshine and Holomorphic Orbifolds

Generalised moonshine is reviewed from the point of view of holomorphic orbifolds, putting special emphasis on the role of the third cohomology group H^3(G, U(1)) in characterising consistent constructions. These ideas are then applied to the case of Mathieu moonshine, i.e. the recently discovered connection between the largest Mathieu group M_24 and the elliptic genus of K3. In particular, we find a complete list of twisted twining genera whose modular properties are controlled by a class in H^3(M_24, U(1)), as expected from general orbifold considerations.

preprint2013arXiv

Quantized conductance and its correlation to the supercurrent in a nanowire connected to superconductors

We report conductance and supercurrent of InAs nanowires coupled to Al-superconducting electrodes with short channel lengths and good Ohmic contacts. The nanowires are suspended 15\,nm above a local gate electrode. The charge density in the nanowires can be controlled by a small change in the gate voltage. For large negative gate voltages, the number of conducting channels is reduced gradually and we observe a stepwise decrease of both conductance and critical current before the conductance vanishes completely.

preprint2012arXiv

Scaling up MIMO: Opportunities and Challenges with Very Large Arrays

This paper surveys recent advances in the area of very large MIMO systems. With very large MIMO, we think of systems that use antenna arrays with an order of magnitude more elements than in systems being built today, say a hundred antennas or more. Very large MIMO entails an unprecedented number of antennas simultaneously serving a much smaller number of terminals. The disparity in number emerges as a desirable operating condition and a practical one as well. The number of terminals that can be simultaneously served is limited, not by the number of antennas, but rather by our inability to acquire channel-state information for an unlimited number of terminals. Larger numbers of terminals can always be accommodated by combining very large MIMO technology with conventional time- and frequency-division multiplexing via OFDM. Very large MIMO arrays is a new research field both in communication theory, propagation, and electronics and represents a paradigm shift in the way of thinking both with regards to theory, systems and implementation. The ultimate vision of very large MIMO systems is that the antenna array would consist of small active antenna units, plugged into an (optical) fieldbus.

preprint2011arXiv

Automorphic Instanton Partition Functions on Calabi-Yau Threefolds

We survey recent results on quantum corrections to the hypermultiplet moduli space M in type IIA/B string theory on a compact Calabi-Yau threefold X, or, equivalently, the vector multiplet moduli space in type IIB/A on X x S^1. Our main focus lies on the problem of resumming the infinite series of D-brane and NS5-brane instantons, using the mathematical machinery of automorphic forms. We review the proposal that whenever the low-energy theory in D=3 exhibits an arithmetic "U-duality" symmetry G(Z) the total instanton partition function arises from a certain unitary automorphic representation of G, whose Fourier coefficients reproduce the BPS-degeneracies. For D=4, N=2 theories on R^3 x S^1 we argue that the relevant automorphic representation falls in the quaternionic discrete series of G, and that the partition function can be realized as a holomorphic section on the twistor space Z over M. We also offer some comments on the close relation with N=2 wall crossing formulae.

preprint2011arXiv

Borcherds Algebras and N=4 Topological Amplitudes

The perturbative spectrum of BPS-states in the E_8 x E_8 heterotic string theory compactified on T^2 is analysed. We show that the space of BPS-states forms a representation of a certain Borcherds algebra G which we construct explicitly using an auxiliary conformal field theory. The denominator formula of an extension G_{ext} \supset G of this algebra is then found to appear in a certain heterotic one-loop N=4 topological string amplitude. Our construction thus gives an N=4 realisation of the idea envisioned by Harvey and Moore, namely that the `algebra of BPS-states' controls the threshold corrections in the heterotic string.

preprint2011arXiv

Enhanced Gauge Groups in N=4 Topological Amplitudes and Lorentzian Borcherds Algebras

We continue our study of algebraic properties of N=4 topological amplitudes in heterotic string theory compactified on T^2, initiated in arXiv:1102.1821. In this work we evaluate a particular one-loop amplitude for any enhanced gauge group h \subset e_8 + e_8, i.e. for arbitrary choice of Wilson line moduli. We show that a certain analytic part of the result has an infinite product representation, where the product is taken over the positive roots of a Lorentzian Kac-Moody algebra g^{++}. The latter is obtained through double extension of the complement g= (e_8 + e_8)/h. The infinite product is automorphic with respect to a finite index subgroup of the full T-duality group SO(2,18;Z) and, through the philosophy of Borcherds-Gritsenko-Nikulin, this defines the denominator formula of a generalized Kac-Moody algebra G(g^{++}), which is an 'automorphic correction' of g^{++}. We explicitly give the root multiplicities of G(g^{++}) for a number of examples.

preprint2010arXiv

Arithmetic and Hyperbolic Structures in String Theory

This monograph is an updated and extended version of the author's PhD thesis. It consists of an introductory text followed by two separate parts which are loosely related but may be read independently of each other. In Part I we analyze certain hyperbolic structures arising when studying gravity in the vicinity of a spacelike singularity (the "BKL-limit"). In this limit, spatial points decouple and the dynamics exhibits ultralocal behaviour which may be described in terms of a (possibly chaotic) hyperbolic billiard. In all supergravities arising as low-energy limits of string theory or M-theory, the billiard dynamics takes place within the fundamental Weyl chambers of certain hyperbolic Kac-Moody algebras, suggesting that these algebras generate hidden infinite-dimensional symmetries of the theory. Part II of the thesis is devoted to a study of how (U-)dualities in string theory provide powerful constraints on perturbative and non-perturbative quantum corrections. These dualities are described by certain arithmetic groups G(Z) which are conjectured to be preserved in the effective action. The exact couplings are given by automorphic forms on the double quotient G(Z)\G/K. We discuss in detail various methods of constructing automorphic forms, with particular emphasis on non-holomorphic Eisenstein series. We provide detailed examples for the physically relevant cases of SL(2,Z) and SL(3,Z), for which we construct their respective Eisenstein series and compute their (non-abelian) Fourier expansions. We also show how these techniques can be applied to hypermultiplet moduli spaces in type II Calabi-Yau compactifications, and we provide a detailed analysis for the universal hypermultiplet.

preprint2010arXiv

Instanton Corrections to the Universal Hypermultiplet and Automorphic Forms on SU(2,1)

The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X, corresponding to the "universal hypermultiplet", is described at tree-level by the symmetric space SU(2,1)/(SU(2) x U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group SU(2,1;Z[i]), must remain unbroken in the exact metric -- including all perturbative and non perturbative quantum corrections. This assumption is expected to be valid when X admits complex multiplication by Z[i]. Based on this hypothesis, we construct an SU(2,1;Z[i])-invariant, non-holomorphic Eisenstein series, and tentatively propose that this Eisenstein series provides the exact contact potential on the twistor space over the universal hypermultiplet moduli space. We analyze its non-Abelian Fourier expansion, and show that the Abelian and non-Abelian Fourier coefficients take the required form for instanton corrections due to Euclidean D2-branes wrapping special Lagrangian submanifolds, and to Euclidean NS5-branes wrapping the entire Calabi-Yau threefold, respectively. While this tentative proposal fails to reproduce the correct one-loop correction, the consistency of the Fourier expansion with physics expectations provides strong support for the utility of the Picard modular group in constraining the quantum moduli space.

preprint2010arXiv

On the topology of the hypermultiplet moduli space in type II/CY string vacua

By analyzing qualitative aspects of NS5-brane instanton corrections, we determine the topology of the hypermultiplet moduli space M_H in Calabi-Yau compactifications of type II string theories at fixed value of the dilaton and of the Calabi-Yau metric. Specifically, we show that for fivebrane instanton couplings to be well-defined, translations along the intermediate Jacobian must induce non-trivial shifts of the Neveu-Schwarz axion which had thus far been overlooked. As a result, the Neveu-Schwarz axion parametrizes the fiber of a circle bundle, isomorphic to the one in which the fivebrane partition function is valued. In the companion paper arXiv:1010.5792, we go beyond the present analysis and take steps towards a quantitative description of fivebrane instanton corrections, using a combination of mirror symmetry, S-duality, topological string theory and twistor techniques.

preprint2010arXiv

Rigid Calabi-Yau threefolds, Picard Eisenstein series and instantons

Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that the remaining quantum duality group is an arithmetic Picard modular group PU(2,1;O_d). Based on this proposal we construct an Eisenstein series invariant under this duality group and study its non-Abelian Fourier expansion. This allows the prediction of non-perturbative effects, notably the contribution of D2- and NS5-brane instantons. The present work extends our previous analysis in 0909.4299 which was restricted to the special case of the Gaussian integers O_1=Z[i].

preprint2010arXiv

The automorphic NS5-brane

Understanding the implications of SL(2,Z) S-duality for the hypermultiplet moduli space of type II string theories has led to much progress recently in uncovering D-instanton contributions. In this work, we suggest that the extended duality group SL(3,Z), which includes both S-duality and Ehlers symmetry, may determine the contributions of D5 and NS5-branes. We support this claim by automorphizing the perturbative corrections to the "extended universal hypermultiplet", a five-dimensional universal SL(3,R)/SO(3) subspace which includes the string coupling, overall volume, Ramond zero-form and six-form and NS axion. Using the non-Abelian Fourier expansion of the Eisenstein series attached to the principal series of SL(3,R), first worked out by Vinogradov and Takhtajan 30 years ago, we extract the contributions of D(-1)-D5 and NS5-brane instantons, corresponding to the Abelian and non-Abelian coefficients, respectively. In particular, the contributions of k NS5-branes can be summarized into a vector of wave functions Ψ_{k,l}, l=0... k-1, as expected on general grounds. We also point out that for more general models with a symmetric moduli space G/K, the minimal theta series of G generates an infinite series of exponential corrections of the form required for "small" D(-1)-D1-D3-D5-NS5 instanton bound states. As a mathematical spin-off, we make contact with earlier results in the literature about the spherical vectors for the principal series of SL(3,R) and for minimal representations.

preprint2009arXiv

On the E10/Massive Type IIA Supergravity Correspondence

In this paper we investigate in detail the correspondence between E10 and Romans' massive deformation of type IIA supergravity. We analyse the dynamics of a non-linear sigma model for a spinning particle on the coset space E10/K(E10) and show that it reproduces the dynamics of the bosonic as well as the fermionic sector of the massive IIA theory, within the standard truncation. The mass deformation parameter corresponds to a generator of E10 outside the realm of the generators entering the usual D=11 analysis, and is naturally included without any deformation of the coset model for E10/K(E10). Our analysis thus provides a dynamical unification of the massless and massive versions of type IIA supergravity inside E10. We discuss a number of additional and general features of relevance in the analysis of any deformed supergravity in the correspondence to Kac-Moody algebras, including recently studied deformations where the trombone symmetry is gauged.

preprint2008arXiv

Coxeter group structure of cosmological billiards on compact spatial manifolds

We present a systematic study of the cosmological billiard structures of Einstein-p-form systems in which all spatial directions are compactified on a manifold of nontrivial topology. This is achieved for all maximally oxidised theories associated with split real forms, for all possible compactifications as defined by the de Rham cohomology of the internal manifold. In each case, we study the Coxeter group that controls the dynamics for energy scales below the Planck scale as well as the relevant billiard region. We compare and contrast them with the Weyl group and fundamental domain that emerge from the general BKL analysis. For generic topologies we find a variety of possibilities: (i) The group may or may not be a simplex Coxeter group; (ii) The billiard region may or may not be a fundamental domain. When it is not a fundamental domain, it can be described as a sequence of pairwise adjacent chambers, known as a gallery, and the reflections in the billiard walls provide a non-standard presentation of the Coxeter group. We find that it is only when the Coxeter group is a simplex Coxeter group, and the billiard region is a fundamental domain, that there is a correspondence between billiard walls and simple roots of a Kac-Moody algebra, as in the general BKL analysis. For each compactification we also determine whether or not the resulting theory exhibits chaotic dynamics.

preprint2008arXiv

Spacelike Singularities and Hidden Symmetries of Gravity

We review the intimate connection between (super-)gravity close to a spacelike singularity (the "BKL-limit") and the theory of Lorentzian Kac-Moody algebras. We show that in this limit the gravitational theory can be reformulated in terms of billiard motion in a region of hyperbolic space, revealing that the dynamics is completely determined by a (possibly infinite) sequence of reflections, which are elements of a Lorentzian Coxeter group. Such Coxeter groups are the Weyl groups of infinite-dimensional Kac-Moody algebras, suggesting that these algebras yield symmetries of gravitational theories. Our presentation is aimed to be a self-contained and comprehensive treatment of the subject, with all the relevant mathematical background material introduced and explained in detail. We also review attempts at making the infinite-dimensional symmetries manifest, through the construction of a geodesic sigma model based on a Lorentzian Kac-Moody algebra. An explicit example is provided for the case of the hyperbolic algebra E10, which is conjectured to be an underlying symmetry of M-theory. Illustrations of this conjecture are also discussed in the context of cosmological solutions to eleven-dimensional supergravity.