-
Singular Spin Structures and Superstrings
Authors:
Marco Matone
Abstract:
There are two main problems in finding the higher genus superstring measure. The first one is that for $g\geq 5$ the super moduli space is not projected. Furthermore, the supermeasure is regular for $g\leq 11$, a bound related to the source of singularities due to the divisor in the moduli space of Riemann surfaces with even spin structure having holomorphic sections, such a divisor is called the…
▽ More
There are two main problems in finding the higher genus superstring measure. The first one is that for $g\geq 5$ the super moduli space is not projected. Furthermore, the supermeasure is regular for $g\leq 11$, a bound related to the source of singularities due to the divisor in the moduli space of Riemann surfaces with even spin structure having holomorphic sections, such a divisor is called the $θ$-null divisor. A result of this paper is the characterization of such a divisor. This is done by first extending the Dirac propagator, that is the Szegö kernel, to the case of an arbitrary number of zero modes, that leads to a modification of the Fay trisecant identity, where the determinant of the Dirac propagators is replaced by the product of two determinants of the Dirac zero modes. By taking suitable limits of points on the Riemann surface, this {\it holomorphic Fay trisecant identity} leads to identities that include points dependent rank 3 quadrics in $\mathbb{P}^{g-1}$. Furthermore, integrating over the homological cycles gives relations for the Riemann period matrix which are satisfied in the presence of Dirac zero modes. Such identities characterize the $θ$-null divisor. Finally, we provide the geometrical interpretation of the above points dependent quadrics and shows, via a new $θ$-identity, its relation with the Andreotti-Mayer quadric.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
On the Baker-Campbell-Hausdorff Theorem: non-convergence and prolongation issues
Authors:
Stefano Biagi,
Andrea Bonfiglioli,
Marco Matone
Abstract:
We investigate some topics related to the celebrated Baker-Campbell-Hausdorff Theorem: a non-convergence result and prolongation issues. Given a Banach algebra $\mathcal{A}$ with identity $I$, and given $X,Y\in \mathcal{A}$, we study the relationship of different issues: the convergence of the BCH series $\sum_n Z_n(X,Y)$, the existence of a logarithm of $e^Xe^Y$, and the convergence of the Mercat…
▽ More
We investigate some topics related to the celebrated Baker-Campbell-Hausdorff Theorem: a non-convergence result and prolongation issues. Given a Banach algebra $\mathcal{A}$ with identity $I$, and given $X,Y\in \mathcal{A}$, we study the relationship of different issues: the convergence of the BCH series $\sum_n Z_n(X,Y)$, the existence of a logarithm of $e^Xe^Y$, and the convergence of the Mercator-type series $\sum_n {(-1)^{n+1}}(e^Xe^Y-I)^n/n$ which provides a selected logarithm of $e^Xe^Y$. We fix general results and, by suitable matrix counterexamples, we show that various pathologies can occur, among which we provide a non-convergence result for the BCH series. This problem is related to some recent results, of interest in physics, on closed formulas for the BCH series: while the sum of the BCH series presents several non-convergence issues, these closed formulas can provide a prolongation for the BCH series when it is not convergent. On the other hand, we show by suitable counterexamples that an analytic prolongation of the BCH series can be singular even if the BCH series itself is convergent.
△ Less
Submitted 12 October, 2018; v1 submitted 25 May, 2018;
originally announced May 2018.
-
Wilson Loops on Riemann Surfaces, Liouville Theory and Covariantization of the Conformal Group
Authors:
Marco Matone,
Paolo Pasti
Abstract:
The covariantization procedure is usually referred to the translation operator, that is the derivative. Here we introduce a general method to covariantize arbitrary differential operators, such as the ones defining the fundamental group of a given manifold. We focus on the differential operators representing the sl(2,R) generators, which in turn, generate, by exponentiation, the two-dimensional co…
▽ More
The covariantization procedure is usually referred to the translation operator, that is the derivative. Here we introduce a general method to covariantize arbitrary differential operators, such as the ones defining the fundamental group of a given manifold. We focus on the differential operators representing the sl(2,R) generators, which in turn, generate, by exponentiation, the two-dimensional conformal transformations. A key point of our construction is the recent result on the closed forms of the Baker-Campbell-Hausdorff formula. In particular, our covariantization receipt is quite general. This has a deep consequence since it means that the covariantization of the conformal group is {\it always definite}. Our covariantization receipt is quite general and apply in general situations, including AdS/CFT. Here we focus on the projective unitary representations of the fundamental group of a Riemann surface, which may include elliptic points and punctures, introduced in the framework of noncommutative Riemann surfaces. It turns out that the covariantized conformal operators are built in terms of Wilson loops around Poincaré geodesics, implying a deep relationship between gauge theories on Riemann surfaces and Liouville theory.
△ Less
Submitted 2 June, 2015; v1 submitted 11 May, 2015;
originally announced May 2015.
-
Closed Form of the Baker-Campbell-Hausdorff Formula for the Generators of Semisimple Complex Lie Algebras
Authors:
Marco Matone
Abstract:
Recently it has been introduced an algorithm Baker-Campbell-Hausdorff (BCH) formula, which extends the Van-Brunt and Visser recent results, leading to new closed forms of BCH formula. More recently, it has been shown that there are {\it 13 types} of such commutator algebras. We show, by providing the explicit solutions, that these include the generators of the semisimple complex Lie algebras. More…
▽ More
Recently it has been introduced an algorithm Baker-Campbell-Hausdorff (BCH) formula, which extends the Van-Brunt and Visser recent results, leading to new closed forms of BCH formula. More recently, it has been shown that there are {\it 13 types} of such commutator algebras. We show, by providing the explicit solutions, that these include the generators of the semisimple complex Lie algebras. More precisely, for any pair, $X$, $Y$ of the Cartan-Weyl basis, we find $W$, linear combination of $X$, $Y$, such that $$ \exp(X) \exp(Y)=\exp(W) $$ The derivation of such closed forms follows, in part, by using the above mentioned recent results. The complete derivation is provided by considering the structure of of the root system. Furthermore, if $X$, $Y$ and $Z$ are three generators of the Cartan-Weyl basis, we find, for a wide class of cases, $W$, linear combination of $X$, $Y$ and $Z$, such that $$ \exp(X) \exp(Y) \exp(Z)=\exp(W) $$ It turns out that the relevant commutator algebras are {\it type 1c-i}, {\it type 4} and {\it type 5}. A key result concerns an iterative application of the algorithm leading to relevant extensions of the cases admitting closed forms of the BCH formula. Here we provide the main steps of such an iteration that will be developed in a forthcoming paper.
△ Less
Submitted 24 October, 2016; v1 submitted 20 April, 2015;
originally announced April 2015.
-
A Surprising Relation for the Effective Coupling Constants of N=2 Super Yang-Mills Theories
Authors:
Marco Matone
Abstract:
We show that the effective coupling constants $τ$ of supersymmetric gauge theories described by hyperelliptic curves do not distinguish between the lattices of the two kinds of heterotic string. In particular, the following relation $$ Θ_{D_{16}^+}(τ)=Θ_{E_8}^2(τ) $$ holds. This is reminiscent of the relation, by $T$-duality, of the two heterotic strings. We suggest that such a relation extends to…
▽ More
We show that the effective coupling constants $τ$ of supersymmetric gauge theories described by hyperelliptic curves do not distinguish between the lattices of the two kinds of heterotic string. In particular, the following relation $$ Θ_{D_{16}^+}(τ)=Θ_{E_8}^2(τ) $$ holds. This is reminiscent of the relation, by $T$-duality, of the two heterotic strings. We suggest that such a relation extends to all curves describing effective supersymmetric gauge theories.
△ Less
Submitted 1 April, 2015;
originally announced April 2015.
-
Classification of Commutator Algebras Leading to the New Type of Closed Baker-Campbell-Hausdorff Formulas
Authors:
Marco Matone
Abstract:
We show that there are {\it 13 types} of commutator algebras leading to the new closed forms of the Baker-Campbell-Hausdorff (BCH) formula $$\exp(X)\exp(Y)\exp(Z)=\exp({AX+BZ+CY+DI}) \ , $$ derived in arXiv:1502.06589, JHEP {\bf 1505} (2015) 113. This includes, as a particular case, $\exp(X) \exp(Z)$, with $[X,Z]$ containing other elements in addition to $X$ and $Z$. The algorithm exploits the ass…
▽ More
We show that there are {\it 13 types} of commutator algebras leading to the new closed forms of the Baker-Campbell-Hausdorff (BCH) formula $$\exp(X)\exp(Y)\exp(Z)=\exp({AX+BZ+CY+DI}) \ , $$ derived in arXiv:1502.06589, JHEP {\bf 1505} (2015) 113. This includes, as a particular case, $\exp(X) \exp(Z)$, with $[X,Z]$ containing other elements in addition to $X$ and $Z$. The algorithm exploits the associativity of the BCH formula and is based on the decomposition $\exp(X)\exp(Y)\exp(Z)=\exp(X)\exp({αY}) \exp({(1-α) Y}) \exp(Z)$, with $α$ fixed in such a way that it reduces to $\exp({\tilde X})\exp({\tilde Y})$, with $\tilde X$ and $\tilde Y$ satisfying the Van-Brunt and Visser condition $[\tilde X,\tilde Y]=\tilde u\tilde X+\tilde v\tilde Y+\tilde cI$. It turns out that $e^α$ satisfies, in the generic case, an algebraic equation whose exponents depend on the parameters defining the commutator algebra. In nine {\it types} of commutator algebras, such an equation leads to rational solutions for $α$. We find all the equations that characterize the solution of the above decomposition problem by combining it with the Jacobi identity.
△ Less
Submitted 23 June, 2015; v1 submitted 27 March, 2015;
originally announced March 2015.
-
An algorithm for the Baker-Campbell-Hausdorff formula
Authors:
Marco Matone
Abstract:
A simple algorithm, which exploits the associativity of the BCH formula, and that can be generalized by iteration, extends the remarkable simplification of the Baker-Campbell-Hausdorff (BCH) formula, recently derived by Van-Brunt and Visser. We show that if
$[X,Y]=uX+vY+cI$, $[Y,Z]=wY+zZ+dI$, and, consistently with the Jacobi identity, $[X,Z]=mX+nY+pZ+eI$, then…
▽ More
A simple algorithm, which exploits the associativity of the BCH formula, and that can be generalized by iteration, extends the remarkable simplification of the Baker-Campbell-Hausdorff (BCH) formula, recently derived by Van-Brunt and Visser. We show that if
$[X,Y]=uX+vY+cI$, $[Y,Z]=wY+zZ+dI$, and, consistently with the Jacobi identity, $[X,Z]=mX+nY+pZ+eI$, then $$ \exp(X)\exp(Y)\exp(Z)=\exp({aX+bY+cZ+dI}) $$ where $a$, $b$, $c$ and $d$ are solutions of four equations. In particular, the Van-Brunt and Visser formula $$\exp(X)\exp(Z)=\exp({aX+bZ+c[X,Z]+dI}) $$ extends to cases when $[X,Z]$ contains also elements different from $X$ and $Z$. Such a closed form of the BCH formula may have interesting applications both in mathematics and physics. As an application, we provide the closed form of the BCH formula in the case of the exponentiation of the Virasoro algebra, with ${\rm SL}_2({\rm C})$ following as a subcase. We also determine three-dimensional subalgebras of the Virasoro algebra satisfying the Van-Brunt and Visser condition. It turns out that the exponential form of ${\rm SL}_2({\rm C})$ has a nice representation in terms of its eigenvalues and of the
fixed points of the corresponding Möbius transformation. This may have applications in Uniformization theory and Conformal Field Theories.
△ Less
Submitted 27 April, 2015; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Finite Strings From Non-Chiral Mumford Forms
Authors:
Marco Matone
Abstract:
We show that there is an infinite class of partition functions with world-sheet metric, space-time coordinates and first order systems, that correspond to volume forms on the moduli space of Riemann surfaces and are free of singularities at the Deligne-Mumford boundary. An example is the partition function with 4=2(c_2+c_3+c_4-c_5) space-time coordinates, a $b$-$c$ system of weight 3, one of weigh…
▽ More
We show that there is an infinite class of partition functions with world-sheet metric, space-time coordinates and first order systems, that correspond to volume forms on the moduli space of Riemann surfaces and are free of singularities at the Deligne-Mumford boundary. An example is the partition function with 4=2(c_2+c_3+c_4-c_5) space-time coordinates, a $b$-$c$ system of weight 3, one of weight 4 and a beta-gamma system of weight 5. Such partition functions are derived from the mapping of the Mumford forms to non-factorized scalar forms on M_g introduced in arXiv:1209.6049.
△ Less
Submitted 18 October, 2012; v1 submitted 27 September, 2012;
originally announced September 2012.
-
Modular Invariant Regularization of String Determinants and the Serre GAGA Principle
Authors:
Marco Matone
Abstract:
Since any string theory involves a path integration on the world-sheet metric, their partition functions are volume forms on the moduli space of genus g Riemann surfaces M_g, or on its super analog. It is well known that modular invariance fixes strong constraints that in some cases appear only at higher genus. Here we classify all the Weyl and modular invariant partition functions given by the pa…
▽ More
Since any string theory involves a path integration on the world-sheet metric, their partition functions are volume forms on the moduli space of genus g Riemann surfaces M_g, or on its super analog. It is well known that modular invariance fixes strong constraints that in some cases appear only at higher genus. Here we classify all the Weyl and modular invariant partition functions given by the path integral on the world-sheet metric, together with space-time coordinates, b-c and/or beta-gamma systems, that correspond to volume forms on M_g. This was a long standing question, advocated by Belavin and Knizhnik, inspired by the Serre GAGA principle and based on the properties of the Mumford forms. The key observation is that the Bergman reproducing kernel provides a Weyl and modular invariant way to remove the point dependence that appears in the above string determinants, a property that should have its superanalog based on the super Bergman reproducing kernel. This is strictly related to the properties of the propagator associated to the space-time coordinates. Such partition functions Z[J] have well-defined asymptotic behavior and can be considered as a basis to represent a wide class of string theories. In particular, since non-critical bosonic string partition functions Z_D are volume forms on M_g, we suggest that there is a mapping, based on bosonization and degeneration techniques, from the Liouville sector to first order systems that may identify Z_D as a subclass of the Z[J]. The appearance of b-c and beta-gamma systems of any conformal weight shows that such theories are related to W algebras. The fact that in a large N 't Hooft-like limit 2D W_N minimal models CFTs are related to higher spin gravitational theories on AdS_3, suggests that the string partition functions introduced here may lead to a formulation of higher spin theories in a string context.
△ Less
Submitted 25 December, 2013; v1 submitted 26 September, 2012;
originally announced September 2012.
-
Extending the Belavin-Knizhnik "wonderful formula" by the characterization of the Jacobian
Authors:
Marco Matone
Abstract:
A long-standing question in string theory is to find the explicit expression of the bosonic measure, a crucial issue also in determining the superstring measure. Such a measure was known up to genus three. Belavin and Knizhnik conjectured an expression for genus four which has been proved in the framework of the recently introduced vector-valued Teichmueller modular forms. It turns out that for g>…
▽ More
A long-standing question in string theory is to find the explicit expression of the bosonic measure, a crucial issue also in determining the superstring measure. Such a measure was known up to genus three. Belavin and Knizhnik conjectured an expression for genus four which has been proved in the framework of the recently introduced vector-valued Teichmueller modular forms. It turns out that for g>3 the bosonic measure is expressed in terms of such forms. In particular, the genus four Belavin-Knizhnik "wonderful formula" has a remarkable extension to arbitrary genus whose structure is deeply related to the characterization of the Jacobian locus. Furthermore, it turns out that the bosonic string measure has an elegant geometrical interpretation as generating the quadrics in P^{g-1} characterizing the Riemann surface. All this leads to identify forms on the Siegel upper half-space that, if certain conditions related to the characterization of the Jacobian are satisfied, express the bosonic measure as a multiresidue in the Siegel upper half-space. We also suggest that it may exist a super analog on the super Siegel half-space.
△ Less
Submitted 5 September, 2012; v1 submitted 29 August, 2012;
originally announced August 2012.
-
Vector-Valued Modular Forms from the Mumford Form, Schottky-Igusa Form, Product of Thetanullwerte and the Amazing Klein Formula
Authors:
Marco Matone,
Roberto Volpato
Abstract:
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 tha…
▽ More
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 χ_{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, χ_{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.
△ Less
Submitted 9 November, 2012; v1 submitted 31 January, 2011;
originally announced February 2011.
-
Getting superstring amplitudes by degenerating Riemann surfaces
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We explicitly show how the chiral superstring amplitudes can be obtained through factorisation of the higher genus chiral measure induced by suitable degenerations of Riemann surfaces. This powerful tool also allows to derive, at any genera, consistency relations involving the amplitudes and the measure. A key point concerns the choice of the local coordinate at the node on degenerate Riemann sur…
▽ More
We explicitly show how the chiral superstring amplitudes can be obtained through factorisation of the higher genus chiral measure induced by suitable degenerations of Riemann surfaces. This powerful tool also allows to derive, at any genera, consistency relations involving the amplitudes and the measure. A key point concerns the choice of the local coordinate at the node on degenerate Riemann surfaces that greatly simplifies the computations. As a first application, starting from recent ansaetze for the chiral measure up to genus five, we compute the chiral two-point function for massless Neveu-Schwarz states at genus two, three and four. For genus higher than three, these computations include some new corrections to the conjectural formulae appeared so far in the literature. After GSO projection, the two-point function vanishes at genus two and three, as expected from space-time supersymmetry arguments, but not at genus four. This suggests that the ansatz for the superstring measure should be corrected for genus higher than four.
△ Less
Submitted 6 April, 2010; v1 submitted 17 March, 2010;
originally announced March 2010.
-
Superstring measure and non-renormalization of the three-point amplitude
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We show that a recently conjectured expression for the superstring three-point amplitude, in the framework of the Cacciatori, Dalla Piazza, van Geemen - Grushevsky ansatz for the chiral measure, fails to vanish at three-loop, in contrast with expectations from non-renormalization theorems. Based on analogous two-loop computations, we discuss the possibility of a non-trivial correction to the amp…
▽ More
We show that a recently conjectured expression for the superstring three-point amplitude, in the framework of the Cacciatori, Dalla Piazza, van Geemen - Grushevsky ansatz for the chiral measure, fails to vanish at three-loop, in contrast with expectations from non-renormalization theorems. Based on analogous two-loop computations, we discuss the possibility of a non-trivial correction to the amplitude and propose a natural candidate for such a contribution. Thanks to a new remarkable identity, it is reasonable to expect that the corrected three-point amplitude vanishes at three-loop, recovering the agreement with non-renormalization theorems.
△ Less
Submitted 29 August, 2008; v1 submitted 26 June, 2008;
originally announced June 2008.
-
The Singular Locus of the Theta Divisor and Quadrics through a Canonical Curve
Authors:
Marco Matone,
Roberto Volpato
Abstract:
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacob…
▽ More
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacobian torus defined in terms of Theta_s. It also identifies sections of line bundles on the moduli space of algebraic curves, closely related to the Mumford isomorphism, whose zero loci characterize special varieties in the framework of the Andreotti-Mayer approach to the Schottky problem, a result which also reproduces the only previously known case g=4. This new approach, based on the combinatorics of determinantal relations for two-fold products of holomorphic abelian differentials, sheds light on basic structures, and leads to the explicit expressions, in terms of theta functions, of the canonical basis of the abelian holomorphic differentials and of the constant defining the Mumford form. Furthermore, the metric on the moduli space of canonical curves, induced by the Siegel metric, which is shown to be equivalent to the Kodaira-Spencer map of the square of the Bergman reproducing kernel, is explicitly expressed in terms of the Riemann period matrix only, a result previously known for the trivial cases g=2 and g=3. Finally, the induced Siegel volume form is expressed in terms of the Mumford form.
△ Less
Submitted 11 October, 2007;
originally announced October 2007.
-
Determinantal Characterization of Canonical Curves and Combinatorial Theta Identities
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries…
▽ More
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.
△ Less
Submitted 13 January, 2012; v1 submitted 30 May, 2006;
originally announced May 2006.
-
Linear relations among holomorphic quadratic differentials and induced Siegel's metric on M_g
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siege…
▽ More
We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siegel metric, in terms of the period Riemann matrix only. By the Kodaira-Spencer map, the relations lead to an expression of the induced Siegel metric on M_g, that corresponds to the square of the Bergman reproducing kernel. A key role is played by distinguished bases for holomorphic differentials whose properties also lead to an immediate derivation of Fay's trisecant identity.
△ Less
Submitted 21 February, 2007; v1 submitted 27 June, 2005;
originally announced June 2005.
-
Higher genus superstring amplitudes from the geometry of moduli spaces
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We show that the higher genus 4-point superstring amplitude is strongly constrained by the geometry of moduli space of Riemann surfaces. A detailed analysis leads to a natural proposal which satisfies several conditions. The result is based on the recently derived Siegel induced metric on the moduli space of Riemann surfaces and on combinatorial products of determinants of holomorphic abelian di…
▽ More
We show that the higher genus 4-point superstring amplitude is strongly constrained by the geometry of moduli space of Riemann surfaces. A detailed analysis leads to a natural proposal which satisfies several conditions. The result is based on the recently derived Siegel induced metric on the moduli space of Riemann surfaces and on combinatorial products of determinants of holomorphic abelian differentials.
△ Less
Submitted 10 October, 2005; v1 submitted 27 June, 2005;
originally announced June 2005.
-
The Cocycle of the Quantum HJ Equation and the Stress Tensor of CFT
Authors:
Marco Matone
Abstract:
We consider two theorems formulated in the derivation of the Quantum Hamilton-Jacobi Equation from the EP. The first one concerns the proof that the cocycle condition uniquely defines the Schwarzian derivative. This is equivalent to show that the infinitesimal variation of the stress tensor "exponentiates" to the Schwarzian derivative. The cocycle condition naturally defines the higher dimension…
▽ More
We consider two theorems formulated in the derivation of the Quantum Hamilton-Jacobi Equation from the EP. The first one concerns the proof that the cocycle condition uniquely defines the Schwarzian derivative. This is equivalent to show that the infinitesimal variation of the stress tensor "exponentiates" to the Schwarzian derivative. The cocycle condition naturally defines the higher dimensional version of the Schwarzian derivative suggesting a role in the transformation properties of the stress tensor in higher dimensional CFT. The other theorem shows that energy quantization is a direct consequence of the existence of the quantum Hamilton-Jacobi equation under duality transformations as implied by the EP.
△ Less
Submitted 15 February, 2005;
originally announced February 2005.
-
Zamolodchikov relations and Liouville hierarchy in SL(2,R)_k WZNW model
Authors:
Gaetano Bertoldi,
Stefano Bolognesi,
Gaston Giribet,
Marco Matone,
Yu Nakayama
Abstract:
We study the connection between Zamolodchikov operator-valued relations in Liouville field theory and in the SL(2,R)_k WZNW model. In particular, the classical relations in SL(2,R)_k can be formulated as a classical Liouville hierarchy in terms of the isotopic coordinates, and their covariance is easily understood in the framework of the AdS_3/CFT_2 correspondence. Conversely, we find a closed e…
▽ More
We study the connection between Zamolodchikov operator-valued relations in Liouville field theory and in the SL(2,R)_k WZNW model. In particular, the classical relations in SL(2,R)_k can be formulated as a classical Liouville hierarchy in terms of the isotopic coordinates, and their covariance is easily understood in the framework of the AdS_3/CFT_2 correspondence. Conversely, we find a closed expression for the classical Liouville decoupling operators in terms of the so called uniformizing Schwarzian operators and show that the associated uniformizing parameter plays the same role as the isotopic coordinates in SL(2,R)_k. The solutions of the j-th classical decoupling equation in the WZNW model span a spin j reducible representation of SL(2,R). Likewise, we show that in Liouville theory solutions of the classical decoupling equations span spin j representations of SL(2,R), which is interpreted as the isometry group of the hyperbolic upper half-plane. We also discuss the connection with the Hamiltonian reduction of SL(2,R)_k WZNW model to Liouville theory.
△ Less
Submitted 22 September, 2004;
originally announced September 2004.
-
The Liouville Geometry of N=2 Instantons and the Moduli of Punctured Spheres
Authors:
Gaetano Bertoldi,
Stefano Bolognesi,
Marco Matone,
Luca Mazzucato,
Yu Nakayama
Abstract:
We study the instanton contributions of N=2 supersymmetric gauge theory and propose that the instanton moduli space is mapped to the moduli space of punctured spheres. Due to the recursive structure of the boundary in the Deligne-Knudsen-Mumford stable compactification, this leads to a new recursion relation for the instanton coefficients, which is bilinear. Instanton contributions are expressed…
▽ More
We study the instanton contributions of N=2 supersymmetric gauge theory and propose that the instanton moduli space is mapped to the moduli space of punctured spheres. Due to the recursive structure of the boundary in the Deligne-Knudsen-Mumford stable compactification, this leads to a new recursion relation for the instanton coefficients, which is bilinear. Instanton contributions are expressed as integrals on M_{0,n} in the framework of the Liouville F-models. This also suggests considering instanton contributions as a kind of Hurwitz numbers and also provides a prediction on the asymptotic form of the Gromov-Witten invariants.
We also interpret this map in terms of the geometric engineering approach to the gauge theory, namely the topological A-model, as well as in the noncritical string theory framework. We speculate on the extension to nontrivial gravitational background and its relation to the uniformization program. Finally we point out an intriguing analogy with the self-dual YM equations for the gravitational version of SU(2) where surprisingly the same Hauptmodule of the SW solution appears.
△ Less
Submitted 13 June, 2004; v1 submitted 12 May, 2004;
originally announced May 2004.
-
The Affine Connection of Supersymmetric SO(N)/Sp(N) Theories
Authors:
Marco Matone
Abstract:
We study the covariance properties of the equations satisfied by the generating functions of the chiral operators R and T of supersymmetric SO(N)/Sp(N) theories with symmetric/antisymmetric tensors. It turns out that T is an affine connection. As such it cannot be integrated along cycles on Riemann surfaces. This explains the discrepancies observed by Kraus and Shigemori. Furthermore, by means o…
▽ More
We study the covariance properties of the equations satisfied by the generating functions of the chiral operators R and T of supersymmetric SO(N)/Sp(N) theories with symmetric/antisymmetric tensors. It turns out that T is an affine connection. As such it cannot be integrated along cycles on Riemann surfaces. This explains the discrepancies observed by Kraus and Shigemori. Furthermore, by means of the polynomial defining the Riemann surface, seen as quadratic-differential, one can construct an affine connection that added to T leads to a new generating function which can be consistently integrated. Remarkably, thanks to an identity, the original equations are equivalent to equations involving only one-differentials. This provides a geometrical explanation of the map recently derived by Cachazo in the case of Sp(N) with antisymmetric tensor. Finally, we suggest a relation between the Riemann surfaces with rational periods which arise in studying the Laplacian on special Riemann surfaces and the integrality condition for the periods of T.
△ Less
Submitted 31 October, 2003; v1 submitted 29 July, 2003;
originally announced July 2003.
-
Eigenfunctions of the Laplacian Acting on Degree Zero Bundles over Special Riemann Surfaces
Authors:
Marco Matone
Abstract:
We find an infinite set of eigenfunctions for the Laplacian with respect to a flat metric with conical singularities and acting on degree zero bundles over special Riemann surfaces of genus greater than one. These special surfaces correspond to Riemann period matrices satisfying a set of equations which lead to a number theoretical problem. It turns out that these surfaces precisely correspond t…
▽ More
We find an infinite set of eigenfunctions for the Laplacian with respect to a flat metric with conical singularities and acting on degree zero bundles over special Riemann surfaces of genus greater than one. These special surfaces correspond to Riemann period matrices satisfying a set of equations which lead to a number theoretical problem. It turns out that these surfaces precisely correspond to branched covering of the torus. This reflects in a Jacobian with a particular kind of complex multiplication.
△ Less
Submitted 13 November, 2003; v1 submitted 7 May, 2001;
originally announced May 2001.
-
The Instanton Universal Moduli Space of N=2 Supersymmetric Yang-Mills Theory
Authors:
Marco Matone
Abstract:
We use the recursive structure of the compactification of the instanton moduli space of N=2 Super Yang-Mills theory with gauge group SU(2), to construct, by inductive limit, a universal moduli space which includes all the multi-instanton moduli spaces. Furthermore, with the aim of understanding the field theoretic structure of the strong coupling expansion, we perform the Borel sum which acts on…
▽ More
We use the recursive structure of the compactification of the instanton moduli space of N=2 Super Yang-Mills theory with gauge group SU(2), to construct, by inductive limit, a universal moduli space which includes all the multi-instanton moduli spaces. Furthermore, with the aim of understanding the field theoretic structure of the strong coupling expansion, we perform the Borel sum which acts on the parameter defining such a universal moduli space.
△ Less
Submitted 28 June, 2001; v1 submitted 4 May, 2001;
originally announced May 2001.
-
Multi-Instanton Measure from Recursion Relations in N=2 Supersymmetric Yang-Mills Theory
Authors:
Marco Matone
Abstract:
By using the recursion relations found in the framework of N=2 Super Yang-Mills theory with gauge group SU(2), we reconstruct the structure of the instanton moduli space and its volume form for all winding numbers. The construction is reminiscent of the Deligne-Knudsen-Mumford compactification and uses an analogue of the Wolpert restriction phenomenon which arises in the case of moduli spaces of…
▽ More
By using the recursion relations found in the framework of N=2 Super Yang-Mills theory with gauge group SU(2), we reconstruct the structure of the instanton moduli space and its volume form for all winding numbers. The construction is reminiscent of the Deligne-Knudsen-Mumford compactification and uses an analogue of the Wolpert restriction phenomenon which arises in the case of moduli spaces of Riemann surfaces.
△ Less
Submitted 1 April, 2001; v1 submitted 29 March, 2001;
originally announced March 2001.
-
The Concept of a Noncommutative Riemann Surface
Authors:
G. Bertoldi,
J. M. Isidro,
M. Matone,
P. Pasti
Abstract:
We consider the compactification M(atrix) theory on a Riemann surface Sigma of genus g>1. A natural generalization of the case of the torus leads to construct a projective unitary representation of pi_1(Σ), realized on the Hilbert space of square integrable functions on the upper half--plane. A uniquely determined gauge connection, which in turn defines a gauged sl_2(R) algebra, provides the cen…
▽ More
We consider the compactification M(atrix) theory on a Riemann surface Sigma of genus g>1. A natural generalization of the case of the torus leads to construct a projective unitary representation of pi_1(Σ), realized on the Hilbert space of square integrable functions on the upper half--plane. A uniquely determined gauge connection, which in turn defines a gauged sl_2(R) algebra, provides the central extension. This has a geometric interpretation as the gauge length of a geodesic triangle, and corresponds to a 2-cocycle of the 2nd Hochschild cohomology group of the Fuchsian group uniformizing Sigma. Our construction can be seen as a suitable double-scaling limit N\to\infty, k\to-\infty of a U(N) representation of pi_1(Sigma), where k is the degree of the associated holomorphic vector bundle, which can be seen as the higher-genus analog of 't Hooft's clock and shift matrices of QCD. We compare the above mentioned uniqueness of the connection with the one considered in the differential-geometric approach to the Narasimhan-Seshadri theorem provided by Donaldson. We then use our infinite dimensional representation to construct a C^\star-algebra which can be interpreted as a noncommutative Riemann surface Sigma_θ. Finally, we comment on the extension to higher genus of the concept of Morita equivalence.
△ Less
Submitted 22 March, 2000;
originally announced March 2000.
-
Noncommutative Riemann Surfaces
Authors:
G. Bertoldi,
J. M. Isidro,
M. Matone,
P. Pasti
Abstract:
We compactify M(atrix) theory on Riemann surfaces Sigma with genus g>1. Following [1], we construct a projective unitary representation of pi_1(Sigma) realized on L^2(H), with H the upper half-plane. As a first step we introduce a suitably gauged sl_2(R) algebra. Then a uniquely determined gauge connection provides the central extension which is a 2-cocycle of the 2nd Hochschild cohomology group…
▽ More
We compactify M(atrix) theory on Riemann surfaces Sigma with genus g>1. Following [1], we construct a projective unitary representation of pi_1(Sigma) realized on L^2(H), with H the upper half-plane. As a first step we introduce a suitably gauged sl_2(R) algebra. Then a uniquely determined gauge connection provides the central extension which is a 2-cocycle of the 2nd Hochschild cohomology group. Our construction is the double-scaling limit N\to\infty, k\to-\infty of the representation considered in the Narasimhan-Seshadri theorem, which represents the higher-genus analog of 't Hooft's clock and shift matrices of QCD. The concept of a noncommutative Riemann surface Sigma_θis introduced as a certain C^\star-algebra. Finally we investigate the Morita equivalence.
△ Less
Submitted 15 March, 2000;
originally announced March 2000.
-
Equivalence Principle, Higher Dimensional Moebius Group and the Hidden Antisymmetric Tensor of Quantum Mechanics
Authors:
Gaetano Bertoldi,
Alon E. Faraggi,
Marco Matone
Abstract:
We show that the recently formulated Equivalence Principle (EP) implies a basic cocycle condition both in Euclidean and Minkowski spaces, which holds in any dimension. This condition, that in one-dimension is sufficient to fix the Schwarzian equation [6], implies a fundamental higher dimensional Moebius invariance which in turn univocally fixes the quantum version of the Hamilton-Jacobi equation…
▽ More
We show that the recently formulated Equivalence Principle (EP) implies a basic cocycle condition both in Euclidean and Minkowski spaces, which holds in any dimension. This condition, that in one-dimension is sufficient to fix the Schwarzian equation [6], implies a fundamental higher dimensional Moebius invariance which in turn univocally fixes the quantum version of the Hamilton-Jacobi equation. This holds also in the relativistic case, so that we obtain both the time-dependent Schroedinger equation and the Klein-Gordon equation in any dimension. We then show that the EP implies that masses are related by maps induced by the coordinate transformations connecting different physical systems. Furthermore, we show that the minimal coupling prescription, and therefore gauge invariance, arises quite naturally in implementing the EP. Finally, we show that there is an antisymmetric two-tensor which underlies Quantum Mechanics and sheds new light on the nature of the Quantum Hamilton-Jacobi equation.
△ Less
Submitted 20 July, 2000; v1 submitted 28 September, 1999;
originally announced September 1999.
-
Modular Invariance and Structure of the Exact Wilsonian Action of N=2 SYM
Authors:
Marco Matone
Abstract:
We construct modular invariants on the moduli space of quantum vacua of N=2 SYM with gauge group SU(2). We also introduce a nonchiral function K which is expressed in terms of the Seiberg-Witten and Poincare' metrics. It turns out that K has all the expected properties of the next to leading term in the Wilsonian effective action whose modular properties are considered in the framework of the di…
▽ More
We construct modular invariants on the moduli space of quantum vacua of N=2 SYM with gauge group SU(2). We also introduce a nonchiral function K which is expressed in terms of the Seiberg-Witten and Poincare' metrics. It turns out that K has all the expected properties of the next to leading term in the Wilsonian effective action whose modular properties are considered in the framework of the dimensional regularization.
△ Less
Submitted 25 February, 1997; v1 submitted 25 October, 1996;
originally announced October 1996.
-
Solving N=2 SYM by Reflection Symmetry of Quantum Vacua
Authors:
G. Bonelli,
M. Matone,
M. Tonin
Abstract:
The recently rigorously proved nonperturbative relation between u and the prepotential, underlying N=2 SYM with gauge group SU(2), implies both the reflection symmetry $\overline{u(τ)}=u(-\barτ)$ and $u(τ+1)=-u(τ)$ which hold exactly. The relation also implies that $τ$ is the inverse of the uniformizing coordinate u of the moduli space of quantum vacua. In this context, the above quantum symmetr…
▽ More
The recently rigorously proved nonperturbative relation between u and the prepotential, underlying N=2 SYM with gauge group SU(2), implies both the reflection symmetry $\overline{u(τ)}=u(-\barτ)$ and $u(τ+1)=-u(τ)$ which hold exactly. The relation also implies that $τ$ is the inverse of the uniformizing coordinate u of the moduli space of quantum vacua. In this context, the above quantum symmetries are the key points to determine the structure of the moduli space. It turns out that the functions a(u) and a_D(u), which we derive from first principles, actually coincide with the solution proposed by Seiberg and Witten. We also consider some relevant generalizations.
△ Less
Submitted 25 February, 1997; v1 submitted 6 October, 1996;
originally announced October 1996.
-
Nonperturbative Relations in N=2 SUSY Yang-Mills and WDVV equation
Authors:
G. Bonelli,
M. Matone
Abstract:
We find the nonperturbative relation between $\langle {\rm tr} φ^2 \rangle$, $\langle {\rm tr} φ^3\rangle$ the prepotential ${\cal F}$ and the vevs $\langle φ_i\rangle$ in $N=2$ supersymmetric Yang-Mills theories with gauge group $SU(3)$. Nonlinear differential equations for ${\cal F}$ including the Witten -- Dijkgraaf -- Verlinde -- Verlinde equation are obtained. This indicates that $N=2$ SYM…
▽ More
We find the nonperturbative relation between $\langle {\rm tr} φ^2 \rangle$, $\langle {\rm tr} φ^3\rangle$ the prepotential ${\cal F}$ and the vevs $\langle φ_i\rangle$ in $N=2$ supersymmetric Yang-Mills theories with gauge group $SU(3)$. Nonlinear differential equations for ${\cal F}$ including the Witten -- Dijkgraaf -- Verlinde -- Verlinde equation are obtained. This indicates that $N=2$ SYM theories are essentially topological field theories and that should be seen as low-energy limit of some topological string theory. Furthermore, we construct relevant modular invariant quantities, derive canonical relations between the periods and investigate the structure of the beta function by giving its explicit form in the moduli coordinates. In doing this we discuss the uniformization problem for the quantum moduli space. The method we propose can be generalized to $N=2$ supersymmetric Yang-Mills theories with higher rank gauge groups.
△ Less
Submitted 1 August, 1996; v1 submitted 13 May, 1996;
originally announced May 1996.
-
Algebraic-geometrical formulation of two-dimensional quantum gravity
Authors:
G. Bonelli,
P. A. Marchetti,
M. Matone
Abstract:
We find a volume form on moduli space of double punctured Riemann surfaces whose integral satisfies the Painlevé I recursion relations of the genus expansion of the specific heat of 2D gravity. This allows us to express the asymptotic expansion of the specific heat as an integral on an infinite dimensional moduli space in the spirit of Friedan-Shenker approach. We outline a conjectural derivation…
▽ More
We find a volume form on moduli space of double punctured Riemann surfaces whose integral satisfies the Painlevé I recursion relations of the genus expansion of the specific heat of 2D gravity. This allows us to express the asymptotic expansion of the specific heat as an integral on an infinite dimensional moduli space in the spirit of Friedan-Shenker approach. We outline a conjectural derivation of such recursion relations using the Duistermaat-Heckman theorem.
△ Less
Submitted 14 February, 1995;
originally announced February 1995.
-
Nonperturbative 2D Gravity, Punctured Spheres and $Θ$-Vacua in String Theories
Authors:
G. Bonelli,
P. A. Marchetti,
M. Matone
Abstract:
We consider a model of 2D gravity with the coefficient of the Einstein-Hilbert action having an imaginary part $π/2$. This is equivalent to introduce a $Θ$-vacuum structure in the genus expansion whose effect is to convert the expansion into a series of alternating signs, presumably Borel summable. We show that the specific heat of the model has a physical behaviour. It can be represented nonper…
▽ More
We consider a model of 2D gravity with the coefficient of the Einstein-Hilbert action having an imaginary part $π/2$. This is equivalent to introduce a $Θ$-vacuum structure in the genus expansion whose effect is to convert the expansion into a series of alternating signs, presumably Borel summable. We show that the specific heat of the model has a physical behaviour. It can be represented nonperturbatively as a series in terms of integrals over moduli spaces of punctured spheres and the sum of the series can be rewritten as a unique integral over a suitable moduli space of infinitely punctured spheres. This is an explicit realization à la Friedan-Shenker of 2D quantum gravity. We conjecture that the expansion in terms of punctures and the genus expansion can be derived using the Duistermaat-Heckman theorem. We briefly analyze expansions in terms of punctured spheres also for multicritical models.
△ Less
Submitted 15 July, 1994;
originally announced July 1994.
-
Nonperturbative Model Of Liouville Gravity
Authors:
M. Matone
Abstract:
We obtain nonperturbative results in the framework of continuous Liouville theory. In particular, we express the specific heat ${\cal Z}$ of pure gravity in terms of an expansion of integrals on moduli spaces of punctured Riemann spheres. The integrands are written in terms of the Liouville action. We show that ${\cal Z}$ satisfies the Painlevé I.
We obtain nonperturbative results in the framework of continuous Liouville theory. In particular, we express the specific heat ${\cal Z}$ of pure gravity in terms of an expansion of integrals on moduli spaces of punctured Riemann spheres. The integrands are written in terms of the Liouville action. We show that ${\cal Z}$ satisfies the Painlevé I.
△ Less
Submitted 14 February, 1994;
originally announced February 1994.
-
Liouville Equation And Schottky Problem
Authors:
Marco Matone
Abstract:
An Ansatz for the Poincaré metric on compact Riemann surfaces is proposed. This implies that the Liouville equation reduces to an equation resembling a non chiral analogous of the higher genus relationships (KP equation) arising in the framework of Schottky's problem solution. This approach connects uniformization (Fuchsian groups) and moduli space theories with KP hierarchy. Besides its mathema…
▽ More
An Ansatz for the Poincaré metric on compact Riemann surfaces is proposed. This implies that the Liouville equation reduces to an equation resembling a non chiral analogous of the higher genus relationships (KP equation) arising in the framework of Schottky's problem solution. This approach connects uniformization (Fuchsian groups) and moduli space theories with KP hierarchy. Besides its mathematical interest, the Ansatz has some applications in the framework of quantum Riemann surfaces arising in 2D gravity.
△ Less
Submitted 13 October, 1993; v1 submitted 12 October, 1993;
originally announced October 1993.
-
Uniformization theory and 2D gravity I. Liouville action and intersection numbers
Authors:
M. Matone
Abstract:
This is the first part of an investigation concerning the formulation of 2D gravity in the framework of the uniformization theory of Riemann surfaces. As a first step in this direction we show that the classical Liouville action appears in the expression of the correlators of topological gravity. Next we derive an inequality involving the cutoff of 2D gravity and the background geometry. Another…
▽ More
This is the first part of an investigation concerning the formulation of 2D gravity in the framework of the uniformization theory of Riemann surfaces. As a first step in this direction we show that the classical Liouville action appears in the expression of the correlators of topological gravity. Next we derive an inequality involving the cutoff of 2D gravity and the background geometry. Another result, always related to uniformization theory, concerns a relation between the higher genus normal ordering and the Liouville action. Furthermore, we show that the chirally split anomaly of CFT is equivalent to the Krichever-Novikov cocycle. By means of the inverse map of uniformization we give a realization of the Virasoro algebra on arbitrary Riemann surfaces and find the eigenfunctions for {\it holomorphic} covariant operators defining higher order cocycles and anomalies which are related to $W$-algebras. Finally we attack the problem of considering the positivity of $e^σ$, with $σ$ the Liouville field, by proposing an explicit construction for the Fourier modes on compact Riemann surfaces.
△ Less
Submitted 13 November, 2003; v1 submitted 28 June, 1993;
originally announced June 1993.