Related papers: Evaluating the Crane-Yetter Invariant

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

We provide, with proofs, a complete description of the authors' construction of state-sum invariants announced in [CY], and its generalization to an arbitrary (artinian) semisimple tortile category. We also discuss the relationship of these…

We prove a surgery formula for the ordinary Seiberg-Witten invariants, and surgery formulas for the families Seiberg-Witten invariants of families of $4$-manifolds obtained through fibrewise surgery. Our formula expresses the Seiberg-Witten…

A formula is given which computes the Seiberg-Witten invariant of a 3-orbifold from the invariant of the underlying manifold. As an application, we derive a formula for the Seiberg-Witten invariant of a non-K\"{a}hler complex surface, which…

Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…

We consider the Yamabe invariant of a compact orbifold with finitely many singular points. We prove a fundamental inequality for the estimate of the invariant from above, which also includes a criterion for the non-positivity of it.…

We introduce the notion of infinitesimal variations of mixed Hodge structures and invariants associated to them. We describe these invariants in the case of a pair $(X,Y)$ with $X$ a Fano 3-fold and $Y$ a smooth anticanonical K3 surface and…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

J.H.C. Whitehead introduced the concept of crossed modules in the early 20th century. These crossed modules are crucial for algebraic models of 2-type homotopy, which involve connected spaces with no higher than second-degree homotopy…

An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…

We study hyper-spheres, spheres and circles, with respect to an indefinite metric, in a tangent space on a 4-dimensional differentiable manifold. The manifold is equipped with a positive definite metric and an additional tensor structure of…

Since their introduction in 1994, the Seiberg-Witten invariants have become one of the main tools used in 4-manifold theory. In this thesis, we will use these invariants to identify sufficient conditions for a 3-manifold to fibre over a…

We introduce a fourth order CR invariant operator on pluriharmonic functions on a three-dimensional CR manifold, generalizing to the abstract setting the operator discovered by Branson, Fontana and Morpurgo. For a distinguished class of…

Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a…

By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open…

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…

After Bershadsky-Cecotti-Ooguri-Vafa, we introduce an invariant of Calabi-Yau threefolds, which we call the BCOV invariant and which we obtain using analytic torsion. We give an explicit formula for the BCOV invariant as a function on the…

For a system of ODEs defined on an open, convex domain $U$ containing a positively invariant set $\Gamma$, we prove that under appropriate hypotheses, $\Gamma$ is the graph of a $C^r$ function and thus a $C^r$ manifold. Because the…

Motivated by suggestions of Paolo Cotta-Ramusino's work at the physical level of rigor relating BF theory to the Donaldson polynomials, we provide a construction applicable to the Turaev/Viro and Crane/Yetter invariants of *a priori* finer…

Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including…