On the Quantum Invariant for the Spherical Seifert Manifold

We study the Witten--Reshetikhin--Turaev SU(2) invariant for the Seifert manifold $S^3/\Gamma$ where $\Gamma$ is a finite subgroup of SU(2). We show that the WRT invariants can be written in terms of the Eichler integral of the modular forms with half-integral weight, and we give an exact asymptotic expansion of the invariants by use of the nearly modular property of the Eichler integral. We further discuss that those modular forms have a direct connection with the polyhedral group by showing that the invariant polynomials of modular forms satisfy the polyhedral equations associated to $\Gamma$.Comment: 36 page

A Contribution of the Trivial Connection to Jones Polynomial and Witten's Invariant of 3d Manifolds I

We use the Chern-Simons quantum field theory in order to prove a recently conjectured limitation on the 1/K expansion of the Jones polynomial of a knot and its relation to the Alexander polynomial. This limitation allows us to derive a surgery formula for the loop corrections to the contribution of the trivial connection to Witten's invariant. The 2-loop part of this formula coincides with Walker's surgery formula for Casson-Walker invariant. This proves a conjecture that Casson-Walker invariant is a 2-loop correction to the trivial connection contribution to Witten's invariant of a rational homology sphere. A contribution of the trivial connection to Witten's invariant of a manifold with nontrivial rational homology is calculated for the case of Seifert manifolds.Comment: 28 page

Odd Chern-Simons Theory, Lie Algebra Cohomology and Characteristic Classes

We investigate the generic 3D topological field theory within AKSZ-BV framework. We use the Batalin-Vilkovisky (BV) formalism to construct explicitly cocycles of the Lie algebra of formal Hamiltonian vector fields and we argue that the perturbative partition function gives rise to secondary characteristic classes. We investigate a toy model which is an odd analogue of Chern-Simons theory, and we give some explicit computation of two point functions and show that its perturbation theory is identical to the Chern-Simons theory. We give concrete example of the homomorphism taking Lie algebra cocycles to Q-characteristic classes, and we reinterpreted the Rozansky-Witten model in this light.Comment: 52 page

From Atiyah Classes to Homotopy Leibniz Algebras

A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore Kapranov proved that, for a K\"ahler manifold $X$, the Dolbeault resolution $\Omega^{\bullet-1}(T_X^{1,0})$ of $T_X[-1]$ is an $L_\infty$ algebra. In this paper, we prove that Kapranov's theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair $(L,A)$, i.e. a Lie algebroid $L$ together with a Lie subalgebroid $A$, we define the Atiyah class $\alpha_E$ of an $A$-module $E$ (relative to $L$) as the obstruction to the existence of an $A$-compatible $L$-connection on $E$. We prove that the Atiyah classes $\alpha_{L/A}$ and $\alpha_E$ respectively make $L/A[-1]$ and $E[-1]$ into a Lie algebra and a Lie algebra module in the bounded below derived category $D^+(\mathcal{A})$, where $\mathcal{A}$ is the abelian category of left $\mathcal{U}(A)$-modules and $\mathcal{U}(A)$ is the universal enveloping algebra of $A$. Moreover, we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of $L/A$ and $E$, and inducing the aforesaid Lie structures in $D^+(\mathcal{A})$.Comment: 36 page

Classical BV theories on manifolds with boundary

In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners. We present several examples including electrodynamics, Yang-Mills theory and topological field theories coming from the AKSZ construction, in particular, the Chern-Simons theory, the $BF$ theory, and the Poisson sigma model. This paper is the first step towards developing the perturbative quantization of such theories on manifolds with boundary in a way consistent with gluing.Comment: The second version has many typos corrected, references added. Some typos are probably still there, in particular, signs in examples. In the third version more typoes are corrected and the exposition is slightly change

Quantum Holonomy in Three-dimensional General Covariant Field Theory and Link Invariant

We consider quantum holonomy of some three-dimensional general covariant non-Abelian field theory in Landau gauge and confirm a previous result partially proven. We show that quantum holonomy retains metric independence after explicit gauge fixing and hence possesses the topological property of a link invariant. We examine the generalized quantum holonomy defined on a multi-component link and discuss its relation to a polynomial for the link.Comment: RevTex, 12 pages. The metric independence of path integral measure is justified and the case of multi-component link is discussed in detail. To be published in Physical Review

Strong Coupling Fixed Points of Current Interactions and Disordered Fermions in 2D

The all-orders beta function is used to study disordered Dirac fermions in 2D. The generic strong coupling fixed `points' of anisotropic current-current interactions at large distances are actually isotropic manifolds corresponding to subalgebras of the maximal current algebra at short distances. The IR theories are argued to be current algebra cosets. We illustrate this with the simple example of anisotropic su(2), which is the physics of Kosterlitz-Thouless transitions. We work out the phase diagram for the Chalker-Coddington network model which is in the universality class of the integer Quantum Hall transition. One massless phase is in the universality class of dense polymers.Comment: published version (Phys. Rev. B

Density of states for the π\pi-flux state with bipartite real random hopping only: A weak disorder approach

Gade [R. Gade, Nucl. Phys. B \textbf{398}, 499 (1993)] has shown that the local density of states for a particle hopping on a two-dimensional bipartite lattice in the presence of weak disorder and in the absence of time-reversal symmetry(chiral unitary universality class) is anomalous in the vicinity of the band center $\epsilon=0$ whenever the disorder preserves the sublattice symmetry. More precisely, using a nonlinear-sigma-model that encodes the sublattice (chiral) symmetry and the absence of time-reversal symmetry she argues that the disorder average local density of states diverges as $|\epsilon|^{-1}\exp(-c|\ln\epsilon|^\kappa)$ with $c$ some non-universal positive constant and $\kappa=1/2$ a universal exponent. Her analysis has been extended to the case when time-reversal symmetry is present (chiral orthogonal universality class) for which the same exponent $\kappa=1/2$ was predicted. Motrunich \textit{et al.} [O. Motrunich, K. Damle, and D. A. Huse, Phys. Rev. B \textbf{65}, 064206 (2001)] have argued that the exponent $\kappa=1/2$ does not apply to the typical density of states in the chiral orthogonal universality class. They predict that $\kappa=2/3$ instead. We confirm the analysis of Motrunich \textit{et al.} within a field theory for two flavors of Dirac fermions subjected to two types of weak uncorrelated random potentials: a purely imaginary vector potential and a complex valued mass potential. This model is believed to belong to the chiral orthogonal universality class. Our calculation relies in an essential way on the existence of infinitely many local composite operators with negative anomalous scaling dimensions.Comment: 30 pages, final version published in PR

Measures on Banach Manifolds and Supersymmetric Quantum Field Theory

We show how to construct measures on Banach manifolds associated to supersymmetric quantum field theories. These measures are mathematically well-defined objects inspired by the formal path integrals appearing in the physics literature on quantum field theory. We give three concrete examples of our construction. The first example is a family $\mu_P^{s,t}$ of measures on a space of functions on the two-torus, parametrized by a polynomial $P$ (the Wess-Zumino-Landau-Ginzburg model). The second is a family \mu_\cG^{s,t} of measures on a space \cG of maps from $\P^1$ to a Lie group (the Wess-Zumino-Novikov-Witten model). Finally we study a family $\mu_{M,G}^{s,t}$ of measures on the product of a space of connection s on the trivial principal bundle with structure group $G$ on a three-dimensional manifold $M$ with a space of \fg-valued three-forms on $M.$ We show that these measures are positive, and that the measures \mu_\cG^{s,t} are Borel probability measures. As an application we show that formulas arising from expectations in the measures \mu_\cG^{s,1} reproduce formulas discovered by Frenkel and Zhu in the theory of vertex operator algebras. We conjecture that a similar computation for the measures $\mu_{M,SU(2)}^{s,t},$ where $M$ is a homology three-sphere, will yield the Casson invariant of $M.$Comment: Minor correction

A unified Witten-Reshetikhin-Turaev invariant for integral homology spheres

We construct an invariant J_M of integral homology spheres M with values in a completion \hat{Z[q]} of the polynomial ring Z[q] such that the evaluation at each root of unity \zeta gives the the SU(2) Witten-Reshetikhin-Turaev invariant \tau_\zeta(M) of M at \zeta. Thus J_M unifies all the SU(2) Witten-Reshetikhin-Turaev invariants of M. As a consequence, \tau_\zeta(M) is an algebraic integer. Moreover, it follows that \tau_\zeta(M) as a function on \zeta behaves like an ``analytic function'' defined on the set of roots of unity. That is, the \tau_\zeta(M) for all roots of unity are determined by a "Taylor expansion" at any root of unity, and also by the values at infinitely many roots of unity of prime power orders. In particular, \tau_\zeta(M) for all roots of unity are determined by the Ohtsuki series, which can be regarded as the Taylor expansion at q=1.Comment: 66 pages, 8 figure