arXiv research

A new category generates 1D tangle invariants.

We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk'…

Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of…

We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its si…

We consider a category whose morphisms are bordisms of $n$-dimensional pseudomanifolds equipped with a certain additional structure (coloring). On the other hand, we consider the product $G$ of $(n+1)$ copies of infinite symmetric group. We show that unitary representations of $G$ produce functors from the category of …

We give a presentation of the $n$-dimensional oriented cobordism category $\text{Cob}_n$ with generators corresponding to diffeomorphisms and surgeries along framed spheres, and a complete set of relations. Hence, given a functor $F$ from the category of smooth oriented manifolds and diffeomorphisms to an arbitrary cat…

We prove that the stable moduli space of $(n-1)$-connected, $n$-parallelizable, $(2n+1)$-dimensional manifolds is homology equivalent to an infinite loopspace for $n \geq 4, n \neq 7$. The main novel ingredient is a version of the cobordism category incorporating surgery data in the form of Lagrangian subspaces.

Defines a universal state sum construction for various TQFTs.

Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $Σ_{g,d}$ of genus $g$ and $d$ boundary components that are all incoming. In this paper, we stu…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible simple objects. This paper gives a detailed exploration of "topological quantum …

Classical and quantum Chern-Simons with gauge group $\text{U}(1)^N$ were classified by Belov and Moore in \cite{belov_moore}. They studied both ordinary topological quantum field theories as well as spin theories. On the other hand a correspondence is well known between ordinary $(2+1)$-dimensional TQFTs and modular te…

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…

In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the main theorem of this article, we show that the classifying space $B\mathcal{C}_d^{…

The circle transfer $QΣ(LX_{hS^1})_+ \to QLX_+$ has appeared in several contexts in topology. In this note we observe that this map admits a geometric re-interpretation as a morphism of cobordism categories of 0-manifolds and 1-cobordisms. Let $C_1(X)$ denote the 1-dimensional cobordism category and let $Circ(X) \subse…

In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfa…

We construct a functor $AC(-,-)$ from the category of path connected spaces $X$ with a base point $x$ to the category of simply connected spaces. The following are the main results of the paper: (i) If $X$ is a Peano continuum then $AC(X,x)$ is a cell-like Peano continuum; (ii) If $X$ is $n-$dimensional then $AC(X, x)$…

For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of torus equivariant reflexive sheaves on X. We show, under a genericity assumption o…

We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional topological quantum field theory (TQFT). The invariant of $4$-manifolds generalizes s…

Classifies extended Abelian Chern-Simons theories using quadratic modules.

In this paper we will describe an approach to mirror symmetry for appropriate 1-dimensional DM stacks of arithmetic genus $g \leq 1$, called tcnc curves, which was developed by the author with Treumann and Zaslow in arXiv:1103.2462 . This involves introducing a conjectural sheaf-theoretic model for the Fukaya category …

We give a construction of the abelian Chern-Simons gauge theory from the point of view of a 2+1 dimensional topological quantum field theory. The definition of the quantum theory relies on geometric quantization ideas which have been previously explored in connection to the nonabelian Chern-Simons theory [JW,ADW]. We f…

TQFT invariants are either easy or hard to compute, depending on the TQFT type.

We consider contact elements in the sutured Floer homology of solid tori with longitudinal sutures, as part of the (1+1)-dimensional topological quantum field theory defined by Honda--Kazez--Matić in \cite{HKM08}. The $\Z_2$ $SFH$ of these solid tori forms a "categorification of Pascal's triangle", and contact structur…

Ideas of Rozansky and Witten, as developed by Kapranov, show that a complex symplectic manifold X gives rise to Vassiliev weight systems. In this paper we study these weight systems by using D(X), the derived category of coherent sheaves on X. The main idea (stated here a little imprecisely) is that D(X) is the categor…

Using the topologist sine curve we present a new functorial construction of cone-like spaces, starting in the category of all path-connected topological spaces with a base point and continuous maps, and ending in the subcategory of all simply connected spaces. If one starts by a noncontractible n-dimensional Peano cont…

Study of webs in quantum type C, proving equivalence to quantum representations.

We prove that if an (n-1)-dimensional torus acts symplectically on a 2n-dimensional manifold, then the action has a fixed point if and only if the action is Hamiltonian. One may regard it as a symplectic version of Frankel theorem. The case of n=2 is the well known theorem of McDuff. From the well known example of McDu…

New algebraic framework for studying surfaces in 3-manifolds.

The abstract discusses conjectures about virtual Legendrian knots and their relation to causality.

Chern-Simons and Reshetikhin-Turaev theories are shown equivalent.

We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackagi…

We develop a calculus of surgery data, called bridged links, which involves besides links also pairs of balls that describe one-handle attachements. As opposed to the usual link calculi of Kirby and others this description uses only elementary, local moves(namely modifications and isolated cancellations), and it is val…

We characterize those planar Peano continua that are homotopy equivalent to 1-dimensional sets. While many planar Peano continua are not homotopically 1-dimensional, we prove that each has fundamental group that embeds in the fundamental group of a 1-dimensional planar Peano continuum. We leave open the following quest…

Chern-Simons and Reshetikhin-Turaev theories are shown equivalent for U(1) gauge group.

New criteria for Cantor set tameness and wildness via projections.

Classifies a specific type of Lie groups related to Einstein geometry.

We introduce a novel systematic construction for integrable (3+1)-dimensional dispersionless systems using nonisospectral Lax pairs that involve contact vector fields. In particular, we present new large classes of (3+1)-dimensional integrable dispersionless systems associated to the Lax pairs which are polynomial and …

By studying modular invariance properties of some characteristic forms, we get some new anomaly cancellation formulas on $(4r-1)$ dimensional manifolds. As an application, we derive some results on divisibilities of the index of Toeplitz operators on $(4r-1)$ dimensional spin manifolds and some congruent formulas on ch…

We show some characterizations of hyperspheres in the $(n+1)$-dimensional Euclidean space ${\Bbb E}^{n+1}$ with intrinsic and extrinsic properties such as the $n$-dimensional area of the sections cut off by hyperplanes, the $(n+1)$-dimensional volume of regions between parallel hyperplanes, and the $n$-dimensional surf…

We establish some characterizations of elliptic hyperboloids (resp., ellipsoids) in the $(n+1)$-dimensional Euclidean space ${\Bbb E}^{n+1}$, using the $n$-dimensional area of the sections cut off by hyperplanes and the $(n+1)$-dimensional volume of regions between parallel hyperplanes. We also give a few characterizat…

We define the total energy-momenta for (4+1)-dimensional asymptotically anti-de Sitter spacetimes, and prove the positive energy theorem for such spacetimes.

Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle is a categorified version of a bundle: that is, one where the fiber is not a ma…

The problem of local feedback equivalence for 1-dimensional control systems of the 1-st order is considered. The algebra of differential invariants and criteria for the feedback equivalence for regular control systems are found.

CAT(0) spaces close to Euclidean spheres are homeomorphic to Euclidean spaces.

In this paper, using exclusively homotopy theoretical methods, we study degrees of maps between $(n-2)$-connected $(2n-1)$-dimensional Poincar\' e complexes which have torsion free integral homology. Necessary and sufficient algebraic conditions for the existence of map degrees between such Poincar\' e complexes are es…

Some aspects of the multidimensional soliton geometry are considered. It is shown that some simples (2+1)-dimensional equations are exact reductions of the Self-Dual Yang-Mills equation or its higher hierarchy.

Embeds complex into higher-dimensional pseudomanifold.