Related papers: Foams with flat connections and algebraic K-theory

Cobordism groups of cooriented fold maps of codimension 1 are computed completely. Namely their odd torsion part coincides with that of the stable homotopy group of spheres in the same dimension, while the 2-primary part is the kernel of…

We study algebraic structures of certain submonoids of the monoid of homology cylinders over a surface and the homology cobordism groups, using Reidemeister torsion with non-commutative coefficients. The submonoids consist of ones whose…

We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between…

We consider the question of when a rational homology 3-sphere is rational homology cobordant to a connected sum of lens spaces. We prove that every rational homology cobordism class in the subgroup generated by lens spaces is represented by…

We demonstrate that the functorial properties of the symplectic field theory under strong cobordisms and surgery cobordisms can produce finite algebraic (planar) torsions from simple examples, which gives a unified treatment of most of the…

Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a…

We use the approach to generate spin foam models by an auxiliary field theory defined on a group manifold (as recently developed in quantum gravity and quantization of BF-theories) in the context of topological quantum field theories with a…

For the associative algebra $A(\mathfrak g)$ of an infinite-dimensional Lie algebra $\mathfrak g$, we introduce twisted fiber bundles over arbitrary compact topological spaces. Fibers of such bundles are given by elements of algebraic…

This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

We discuss algebraic vector bundles on smooth k-schemes X contractible from the standpoint of A^1-homotopy theory; when k = C, the smooth manifolds X(C) are contractible as topological spaces. The integral algebraic K-theory and integral…

This is the second paper of a series that develops a bordism-theoretic point of view on orientations in enumerative geometry. The first paper is arXiv:2312.06818. This paper focuses on those applications to gauge theory that can be…

The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic…

For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…

We study cobordisms of nested manifolds, which are manifolds together with embedded submanifolds, which can themselves have embedded submanifolds, etc. We identify a nested analog of the Pontryagin-Thom construction. Moreover, when the…

The paper is a continuation of the authors' work in which we considered foliations formed by the maximal dimensional K-orbits ($MD_5$-foliations) of connected $MD_5$-groups such that their Lie algebras have 4-dimensional commutative derived…

In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph…

In an earlier paper of the authors it was shown that the sheaf theoretically based recently developed abstract differential geometry of the first author can in an easy and natural manner incorporate singularities on arbitrary closed nowhere…

We develop a theory of smooth relative connections over the real path algebra $\mathbb{R}Q$ on smooth twisted quiver bundles. We give obstructions to the existence of a smooth relative connection on twisted quiver bundles. For tree-type…

Let V be a smooth variety defined over the real numbers. Every algebraic vector bundle on V induces a complex vector bundle on the underlying topological space V(C), and the involution coming from complex conjugation makes it a Real vector…