Related papers: An Additivity theorem for cobordism categories
We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…
We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…
In this paper we introduce a special kind of relative (co)resolutions associated to a pair of classes of objects in an abelian category $\mathcal{C}.$ We will see that, by studying these relative (co)resolutions, we get a possible…
We introduce a four-term long exact sequence that relates the cohomology of a smooth variety admitting a projective morphism onto a projective base to the cohomology of the open set obtained by removing the preimage of a general linear…
The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's…
In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based…
Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…
This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to…
Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete K\"ahler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle…
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…
We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of…
We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong…
This paper extends the notion of geometric control in algebraic K-theory from additive categories with split exact sequences to other exact structures. In particular, we construct exact categories of modules over a Noetherian ring filtered…
Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…
We prove a geometrical version of Herbert's theorem by considering the self-intersection immersions of a self-transverse immersion up to bordism. This generalises Herbert's theorem to additional cohomology theories and gives a commutative…
Additive deformations of bialgebras in the sense of J. Wirth, i.e. deformations of the multiplication map fulfilling a certain compatibility condition w.r.t. the coalgebra structure, can be generalized to braided bialgebras. The theorems…
We prove a Verdier Hypercovering Theorem for cohomology theories arising from motivic spectra. This allows us to construct for smooth quasi-projective complex varieties a natural morphism from etale algebraic to Hodge filtered complex…
Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on…
We prove a super-version of Nest-Tsygan's algebraic index theorem. This work is inspired by the appearance of the same cobordism invariants in three related stories: index theory, trace methods in the deformation theory of algebras, and…