To each local field (including the real or complex numbers) we associate a quantum dilogarithm and show that it satisfies a pentagon identity and some symmetries. Using an angled version of these quantum dilogarithms, we construct three generalized TQFTs in 2+1 dimensions, one given by a face state-integral and two given by edge state-integrals. Their partition functions rise to distributional invariants of 3-manifolds with torus boundary, conjecturally related to point counting of the $A$-polynomial curve. The partition function of one of these face generalized TQFTs for the case of the real numbers can be expressed either as a multidimensional Barnes-Mellin integral or as a period on a curve which is conjecturally the $A$-polynomial curve.
We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instanc…
We construct quantum invariants of 3-manifolds based on a $\mathfrak{sl}_3$ matrix dilogarithm proposed by Kashaev. This matrix dilogarithm is an $\mathfrak{sl}_3$ analogue of the (cyclic) quantum dilogarithm used to define Kashaev's invariants as well as Baseilhac and Benedetti's quantum hyperbolic invariants. % In this article, we show that the $\mathfrak{sl}_3$ matrix dilogarithm can be considered as a 6$j$-symbol associated to modules of a quantum group related to $U_q(\mathfrak{sl}_3)$. Moreover, we show that the quantum invariants aforementioned allow to define a $\mathfrak{sl}_3$ versio…
We give parallel constructions of an invariant R(W,f), based on the classical Rogers dilogarithm, and of quantum hyperbolic invariants (QHI), based on the Faddeev-Kashaev quantum dilogarithms, for flat PSL(2,C)-bundles f over closed oriented 3-manifolds W. All these invariants are explicitely computed as a sum or state sums over the same hyperbolic ideal tetrahedra of the idealization of any fixed simplicial 1-cocycle description of (W,f) of a special kind, called a D-triangulation. R(W,f) recovers the volume and the Chern-Simons invariant of f, and we conjecture that it determines the semi-cl…
The quantum dilogarithm function of Faddeev is a special function that plays a key role as the building block of quantum invariants of knots and 3-manifolds, of quantum Teichmüller theory and of complex Chern-Simons theory. Motivated by conjectures on resurgence and recent interest in wall-crossing phenomena, we prove that the Borel summation of a formal power series solution of a linear difference equation produces Faddeev's quantum dilogarithm. Along the way, we give an explicit formula for the meromorphic function in Borel plane, locate its poles and residues, and describe the Stokes phenom…
We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $πm(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$…
Quantum invariants like the colored Jones polynomial are algebraic in nature but are conjectured to detect important information about the geometry of links. In this thesis we explore these connections using an enhanced version of the RT construction. Our invariants take the holonomy of a flat connection on the link complement as input, so we call them holonomy invariants. The case of trivial holonomy recovers the ordinary RT construction. We consider holonomy representations into $\operatorname{SL}_2(\mathbb C)$, which are closely related to hyperbolic geometry. In order to define our invaria…
It is well-known to the experts that multi-dimensional state integrals of products of Faddeev's quantum dilogarithm which arise in Quantum Topology can be written as finite sums of products of basic hypergeometric series in q=e^{2πiτ} and \tilde{q}=e^{-2πi/τ}. We illustrate this fact by giving a detailed proof for a family of one-dimensional integrals which includes state-integral invariants of 4_1 and 5_2 knots.
We construct {\it quantum hyperbolic invariants} (QHI) for triples $(W,L,ρ)$, where $W$ is a compact closed oriented 3-manifold, $ρ$ is a flat principal bundle over $W$ with structural group $PSL(2,\mc)$, and $L$ is a non-empty link in $W$. These invariants are based on the Faddeev-Kashaev's {\it quantum dilogarithms}, interpreted as matrix valued functions of suitably decorated hyperbolic ideal tetrahedra. They are explicitely computed as state sums over the decorated hyperbolic ideal tetrahedra of the {\it idealization} of any fixed {\it $\Dd$-triangulation}; the $\Dd$-triangulations are sim…
We introduce systems of objects and operators in linear monoidal categories called $\hat Ψ$-systems. A $\hat Ψ$-system satisfying several additional assumptions gives rise to a topological invariant of triples (a closed oriented 3-manifold $M$, a principal bundle over $M$, a link in $M$). This construction generalizes the quantum dilogarithmic invariant of links appearing in the original formulation of the volume conjecture. We conjecture that all quantum groups at odd roots of unity give rise to $\hat Ψ$-systems and we verify this conjecture in the case of the Borel subalgebra of quantum $sl_…
We define the notion of spectral network on manifolds of dimension $\le 3$. For a manifold $X$ equipped with a spectral network, we construct equivalences between Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over $X$ and Chern-Simons invariants of flat ${\mathbb C}^\times$-bundles over ramified double covers $\widetilde X$. Applications include a new viewpoint on dilogarithmic formulas for Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over triangulated 3-manifolds, and an explicit description of Chern-Simons lines of flat ${\mathrm {SL}}(2,{…
We study quantum invariant Z(M) for cusped hyperbolic 3-manifold M. We construct this invariant based on oriented ideal triangulation of M by assigning to each tetrahedron the quantum dilogarithm function, which is introduced by Faddeev in studies of the modular double of the quantum group. Following Thurston and Neumann-Zagier, we deform a complete hyperbolic structure of M, and correspondingly we define quantum invariant Z(M_u). This quantum invariant is shown to give the Neumann--Zagier potential function in the classical limit, and the A-polynomial can be derived from the potential functio…
We review the Reshetikhin-Turaev approach to construction of non-compact knot invariants involving R-matrices associated with infinite-dimensional representations, primarily those made from Faddeev's quantum dilogarithm. The corresponding formulas can be obtained from modular transformations of conformal blocks as their Kontsevich-Soibelman monodromies and are presented in the form of transcendental integrals, where the main issue is manipulation with integration contours. We discuss possibilities to extract more explicit and handy expressions which can be compared with the ordinary (compact) …
In this paper we give a re-normalization of the Reshetikhin-Turaev quantum invariants of links, by modified quantum dimensions. In the case of simple Lie algebras these modified quantum dimensions are proportional to the usual quantum dimensions. More interestingly we will give two examples where the usual quantum dimensions vanish but the modified quantum dimensions are non-zero and lead to non-trivial link invariants. The first of these examples is a class of invariants arising from Lie superalgebras previously defined by the first two authors. These link invariants are multivariable and gen…
Let Z^{LMO} be the 3-manifold invariant of [LMO]. It is shown that Z^{LMO}(M)=1, if the first Betti number of M, b_{1}(M), is greater than 3. If b_{1}(M)=3, then Z^{LMO}(M) is completely determined by the cohomology ring of M. A relation of Z^{LMO} with the Rozansky-Witten invariants Z_{X}^{RW}[M] is established at a physical level of rigour. We show that Z_{X}^{RW}[M] satisfies appropriate connected sum properties suggesting that the generalized Casson invariant ought to be computable from the LMO invariant.
We define an extended Bloch group and show it is naturally isomorphic to H_3(PSL(2,C)^δ;Z). Using the Rogers dilogarithm function this leads to an exact simplicial formula for the universal Cheeger-Chern-Simons class on this homology group. It also leads to an independent proof of the analytic relationship between volume and Chern-Simons invariant of hyperbolic 3-manifolds conjectured by Neumann and Zagier [Topology 1985] and proved by Yoshida [Invent. Math. 1985] as well as effective formulae for the Chern-Simons invariant of a hyperbolic 3-manifold.
We define an extended Bloch group and show it is isomorphic to $H_3(PSL(2,C)^δ;Z)$. Using the Rogers dilogarithm function this leads to an exact simplicial formula for the universal Cheeger-Simons class on this homology group. It also leads to an independent proof of the analytic relationship between volume and Chern-Simons invariant of hyperbolic manifolds conjectured in \cite{neumann-zagier} and proved in \cite{yoshida}, as well as an effective formula for the Chern-Simons invariant of a hyperbolic manifold.
We construct a new family, indexed by the odd integers $N\geq 1$, of $(2+1)$-dimensional quantum field theories called {\it quantum hyperbolic field theories} (QHFT), and we study its main structural properties. The QHFT are defined for (marked) $(2+1)$-bordisms supported by compact oriented 3-manifolds $Y$ with a properly embedded framed tangle $L_\Ff$ and an {\it arbitrary} $PSL(2,\C)$-character $ρ$ of $Y \setminus L_\Ff$ (covering, for example, the case of hyperbolic cone manifolds). The marking of QHFT bordisms includes a specific set of parameters for the space of pleated hyperbolic struc…
The t-invariant can be considered as the Turaev-Viro invariant of order 5 computed for integer colors only. We compute all values of the t-invariant for Seifert manifolds with base sphere and three singular fibers. As a result we show that the manifolds parameters modulo five define the value of the t-invariant. Partially we show that there are 12 distinct values of the t-invariant for these manifolds. Some examples show that the t-invariant for these manifolds is not defined by the first homology group.
We establish a framework for extending invariants of sutured manifolds to invariants of pairs of sutured manifolds who differ by attaching a basic slice along a torus boundary component. In the particular case of (bordered-)sutured Floer homology we show that this recovers the bordered-sutured Floer homology of a corresponding bordered-sutured three-manifold - though the framework is broad enough that it should be applicable in the setting of other invariants of sutured manifolds.
We introduce a generalization of the Dijkgraaf-Witten invariants for cusped or compact oriented 3-manifolds. We show that the generalized DW invariants distinguish some pairs of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same Turaev-Viro invariants. We also present an example of a pair of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same homology groups, whereas with distinct generalized DW invariants.
Motivated by the Turaev-Viro invariant of 3-manifolds, we construct a formal topological invariant of closed, oriented 3-manifolds involving spherical tetrahedra as an application of the asymptotic formula of 6j symbols for the Quantum Enveloping Algebra of sl(2). This invariant can be considered as a spherical version of a formal invariant of Ponzano-Regge and Korepanov defined via Euclidean tetrahedra.
We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.
On a smooth closed oriented $4$-manifold $M$ with a smooth action of a finite group $G$ on a Spin$^c$ structure, $G$-monopole invariant is defined by "counting" $G$-invariant solutions of Seiberg-Witten equations for any $G$-invariant Riemannian metric on $M$. We compute $G$-monopole invariants on some $G$-manifolds. For example, the connected sum of $k$ copies of a 4-manifold with nontrivial mod 2 Seiberg-Witten invariant has nonzero $\Bbb Z_k$-monopole invariant mod 2, where the $\Bbb Z_k$-action is given by cyclic permutations of $k$ summands.
Generalized Donaldson invariants of 4-manifolds are defined, using moduli spaces of anti-self-dual connections with structure group SU(N) or PSU(N). Some values of the invariants are calculated for the case that the 4-manifold arises by the knot-complement construction of Fintushel and Stern. The results are consistent with predictions of Marino and Moore.
We extend Turaev's definition of torsion invariants of 3-dimensional manifolds equipped with non-singular vector fields, by allowing (suitable) tangency circles to the boundary, and manifolds with non-zero Euler characteristic. We show that these invariants apply in particular to (the exterior of) Legendrian links in contact 3-manifolds. Our approach uses a combinatorial encoding of vector fields, based on standard spines. In this paper we extend this encoding from closed manifolds to manifolds with boundary.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.
We introduce a new topological invariant, which is a nonnegative integer, of compact manifolds with boundaries associated with a kind of decomposition of them. Let M and N be m-dimensional compact connected manifolds with boundaries. The new invariant of any boundary union of M and N is less than or equal to that of M (resp. that of N).
Graduate School of Science, University of Tokyo（东京大学理学研究科）；Kavli IPMU (WPI), UTIAS, The University of Tokyo（理化学研究所 Kavli 宇宙物理数学统一研究所（WPI），东京大学理工学术研究院）；Center for Interdisciplinary Theoretical and Mathematical Sciences, RIKEN（理化学研究所交叉理论科学中心）；Trans-Scale Quantum Science Institute, University of Tokyo（东京大学跨尺度量子科学研究所）
The Hausmann-Weinberger invariant of a group G is the minimal Euler characteristic of a closed orientable 4-manifold M with fundamental group G. We compute this invariant for finitely generated free abelian groups and estimate the invariant for all finitely generated abelian groups.
In this note, we exhibit infinite families of tight non-fillable contact manifolds supported by planar open books with vanishing Heegaard Floer contact invariants. Moreover, we also exhibit an infinite such family where the supported manifold is hyperbolic.
These are mostly expository notes based on the course of lectures on arithmetic invariants of hyperbolic manifolds given at the workshop associated with the final "Volume Conference," held at Columbia University, June 2009. Some new results are included.
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
We propose a modification of the three-manifold invariant based on the use of Euclidean metric values ascribed to the elements of manifold triangulation. We thus obtain a nontrivial invariant that can, in particular, distinguish non-homeomorphic lens spaces.
A new quantum gauge model is proposed. From this quantum gauge model we derive a quantum invariant of 3-manifolds. We show that this quantum invariant of 3-manifolds gives a classification of closed (orientable and connected) 3-manifolds. From this classification we then prove the Poincaré conjecture.
If a real value invariant of compact combinatorial manifolds (with or without boundary) depends only on the number of simplices in each dimension on the manifold, then the invariant is completely determined by Euler characteristics of the manifold and its boundary. So essentially, Euler characteristic is the unique invariant of this type.
We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.
New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on compact 4-manifolds of constant negative sectional curvature.
We give a surgery formula for the torsions and Seiberg-Witten invariants associated with $Spin^c$-structures on 3-manifolds. We use the technique of Reidemeister-type torsions and their refinements.
We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.
We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises th…
Crowley and Nordström introduced an invariant of $G_2$-structures on the tangent bundle of a closed 7-manifold, taking values in the integers modulo 48. Using the spectral description of this invariant due to Crowley, Goette and Nordström, we compute it for many of the closed torsion-free $G_2$-manifolds defined by Joyce's generalized Kummer construction.
In this paper we study an invariant for oriented three-manifolds with $b_1>0$, which is defined using Heegaard splittings and the theta divisor of a Riemann surface. The paper is divided into two parts, the first of which gives the definition of the invariant, and the second of which identifies it with more classical (torsion) invariants of three-manifolds. Its close relationship with Seiberg-Witten theory is also addressed.
We prove that any quasitoric manifold $M^{2n}$ admits a $T^n$-invariant almost complex structure if and only if $M$ admits a positive omniorientation. In particular, we show that all obstructions to existence of $T^n$-invariant almost complex structure on $M^{2n}$ arise from cohomology of underlying polytope - and hence are trivial.
The aim of this paper is to calculate the eta invariants and the dimensions of the spaces of harmonic spinors of an infinite family of closed flat manifolds. It consits of some flat manifolds M with cyclic holonomy groups.
This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing result for the invariants of symplectic four-manifolds, which leads to new proofs of the indecomposability theorem for symplectic four-manifolds and the symplectic Thom conjecture. As a new application, we generalize the indecomposability theorem to splittings of four-manifolds along a certain class of three-manifolds obtained by plumbings of spheres. This …
We consider quantum invariants of 3-manifolds associated with arbitrary simple Lie algebras. Using the symmetry principle we show how to decompose the quantum invariant as the product of two invariants, one of them is the invariant corresponding to the projective group. We then show that the projective quantum invariant is always an algebraic integer, if the quantum parameter is a prime root of unity. We also show that the projective quantum invariant of rational homology 3-spheres has a perturbative expansion a la Ohtsuki. The presentation of the theory of quantum 3-manifold is self-contained…
We show that the renormalized quantum invariants of links and graphs in the 3-sphere, derived from tensor categories in ["Modified quantum dimensions and re-normalized link invariants", arXiv:0711.4229] lead to modified 6j-symbols and to new state sum 3-manifold invariants. We give examples of categories such that the associated standard Turaev-Viro 3-manifold invariants vanish but the secondary invariants may be non-zero. The categories in these examples are pivotal categories which are neither ribbon nor semi-simple and have an infinite number of simple objects.
Using H. Donnelly result from the article "Eta Invariants for G-Spaces" we calculate the eta invariants of the signature operator for almost all 7-dimensional flat manifolds with cyclic holonomy group. In all cases this eta invariants are an integer numbers. The article was motivated by D. D. Long and A. Reid article "On the geometric boundaries of hyperbolic 4-manifolds, Geom. Topology 4, 2000, 171-178
