Classical theta constants vs. lattice theta series, and super string partition functions

Recently, various possible expressions for the vacuum-to-vacuum superstring amplitudes has been proposed at genus $g=3,4,5$. To compare the different proposals, here we will present a careful analysis of the comparison between the two main technical tools adopted to realize the proposals: the classical theta constants and the lattice theta series. We compute the relevant Fourier coefficients in order to relate the two spaces. We will prove the equivalence up to genus 4. In genus five we will show that the solutions are equivalent modulo the Schottky form and coincide if we impose the vanishing of the cosmological constant.Comment: 21 page

Gauge symmetry and W-algebra in higher derivative systems

The problem of gauge symmetry in higher derivative Lagrangian systems is discussed from a Hamiltonian point of view. The number of independent gauge parameters is shown to be in general {\it{less}} than the number of independent primary first class constraints, thereby distinguishing it from conventional first order systems. Different models have been considered as illustrative examples. In particular we show a direct connection between the gauge symmetry and the W-algebra for the rigid relativistic particle.Comment: 1+22 pages, 1 figure, LaTeX, v2; title changed, considerably expanded version with new results, to appear in JHE

Extending the Belavin-Knizhnik "wonderful formula" by the characterization of the Jacobian

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.Comment: 15 pages. Typos corrected, refs. and comments adde

Superpolynomials for toric knots from evolution induced by cut-and-join operators

The colored HOMFLY polynomials, which describe Wilson loop averages in Chern-Simons theory, possess an especially simple representation for torus knots, which begins from quantum R-matrix and ends up with a trivially-looking split W representation familiar from character calculus applications to matrix models and Hurwitz theory. Substitution of MacDonald polynomials for characters in these formulas provides a very simple description of "superpolynomials", much simpler than the recently studied alternative which deforms relation to the WZNW theory and explicitly involves the Littlewood-Richardson coefficients. A lot of explicit expressions are presented for different representations (Young diagrams), many of them new. In particular, we provide the superpolynomial P_[1]^[m,km\pm 1] for arbitrary m and k. The procedure is not restricted to the fundamental (all antisymmetric) representations and the torus knots, still in these cases some subtleties persist.Comment: 23 pages + Tables (51 pages

Geometric Hamiltonian Formalism for Reparametrization Invariant Theories with Higher Derivatives

Reparametrization invariant Lagrangian theories with higher derivatives are considered. We investigate the geometric structures behind these theories and construct the Hamiltonian formalism in a geometric way. The Legendre transformation which corresponds to the transition from the Lagrangian formalism to the Hamiltonian formalism is non-trivial in this case. The resulting phase bundle, i.e. the image of the Legendre transformation, is a submanifold of some cotangent bundle. We show that in our construction it is always odd-dimensional. Therefore the canonical symplectic two-form from the ambient cotangent bundle generates on the phase bundle a field of the null-directions of its restriction. It is shown that the integral lines of this field project directly to the extremals of the action on the configuration manifold. Therefore this naturally arising field is what is called the Hamilton field. We also express the corresponding Hamilton equations through the generilized Nambu bracket.Comment: 19 page

Challenges of beta-deformation

A brief review of problems, arising in the study of the beta-deformation, also known as "refinement", which appears as a central difficult element in a number of related modern subjects: beta \neq 1 is responsible for deviation from free fermions in 2d conformal theories, from symmetric omega-backgrounds with epsilon_2 = - epsilon_1 in instanton sums in 4d SYM theories, from eigenvalue matrix models to beta-ensembles, from HOMFLY to super-polynomials in Chern-Simons theory, from quantum groups to elliptic and hyperbolic algebras etc. The main attention is paid to the context of AGT relation and its possible generalizations.Comment: 20 page

3d-3d Correspondence Revisited

In fivebrane compactifications on 3-manifolds, we point out the importance of all flat connections in the proper definition of the effective 3d N=2 theory. The Lagrangians of some theories with the desired properties can be constructed with the help of homological knot invariants that categorify colored Jones polynomials. Higgsing the full 3d theories constructed this way recovers theories found previously by Dimofte-Gaiotto-Gukov. We also consider the cutting and gluing of 3-manifolds along smooth boundaries and the role played by all flat connections in this operation.Comment: 43 pages + 1 appendix, 6 figures Version 2: new appendix on flat connections in the 3d-3d correspondenc