Related papers: Van Kampen-Flores theorem and Stiefel-Whitney clas…

A conjecture of Fuglede states that a bounded measurable set D, of measure 1, can tile space by translations if and only if the Hilbert space L^2(D) has an orthonormal basis consisting of exponentials exp(i 2 pi lambda x). If D has the…

We find the orbifold analog of the topological relation recently found by Freed and Witten which restricts the allowed D-brane configurations of Type II vacua with a topologically non-trivial flat $B$-field. The result relies in Douglas…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N=(0,2) theories, we obtain a number of results, which include new 3d N=2 theories T[M_3]…

This expository paper describes sewing conditions in two-dimensional open/closed topological field theory. We include a description of the G-equivariant case, where G is a finite group. We determine the category of boundary conditions in…

Compact hyperkaehler manifolds are higher-dimensional generalizations of K3 surfaces. The classical Global Torelli theorem for K3 surfaces, however, does not hold in higher dimensions. More precisely, a compact hyperkaehler manifold is in…

In this paper we extend Witten-Helffer-Sj\"ostrand theory from selfadjoint Laplacians based on fiber wise Hermitian structures, to non-selfadjoint Laplacians based on fiber wise non-degenerate symmetric bilinear forms. As an application we…

We define a 2-normal surface to be one which intersects every 3-simplex of a triangulated 3-manifold in normal triangles and quadrilaterals, with one or two exceptions. The possible exceptions are a pair of octagons, a pair of unknotted…

The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs…

We prove that the associativity equations of two-dimensional topological quantum field theories are very natural reductions of the fundamental nonlinear equations of the theory of submanifolds in pseudo-Euclidean spaces and give a natural…

Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a…

In this work, we study topological properties of surface bundles, with an emphasis on surface bundles with a spin structure. We develop a criterion to decide whether a given manifold bundle has a spin structure and specialize it to surface…

In this paper we continue an earlier study of ends non-compact manifolds. The over-arching goal is to investigate and obtain generalizations of Siebenmann's famous collaring theorem that may be applied to manifolds having non-stable…

We give new and rather general gluing theorems for anti-self-dual (ASD) conformal structures, following the method suggested by Floer. The main result is a gluing theorem for pairs of conformally ASD manifolds `joined' across a common piece…

Watanabe disproved the 4-dimensional Smale conjecture by constructing topologically trivial $D^{4}$-bundles over spheres and showing that they are smoothly nontrivial using configuration space integrals. In this paper, we define a new…

We apply some methods of homology and K-theory to special classes of branes wrapping homologically nontrivial cycles. We treat the classification of four-geometries in terms of compact stabilizers (by analogy with Thurston's classification…

In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show…

We prove that, for a closed oriented smooth spin 4-manifold $X$ with non-zero signature, the Dehn twist about a $(+2)$- or $(-2)$-sphere in $X$ is not homotopic to any finite order diffeomorphism. In particular, we negatively answer the…

A smooth rigidity inequalitiy provides an explicit lower bound for the $(d+1)$-st derivatives of a smooth function $f$, which holds, if $f$ exhibits certain patterns, forbidden for polynomials of degree $d$. The main goal of the present…

We prove a version of Whitney's strong embedding theorem for isometric embeddings within the general setting of the Nash-Kuiper h-principle. More precisely, we show that any $n$-dimensional smooth compact manifold admits infinitely many…