BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Thomas Nikolaus appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of Bökstedt's calculation of $\mathrm{THH}(\mathbb{F}_p)$.
We establish a formula for the L-theory spectrum of real $C^*$-algebras from which we deduce a presentation of the L-groups in terms of the topological K-groups, extending all previously known results of this kind. Along the way, we extend the integral comparison map $τ\colon \mathrm{k} \to \mathrm{L}$ obtained in previous work by the first two authors to real $C^*$-algebras and interpret it using topological Grothendieck-Witt theory. Finally, we use our results to give an integral comparison between the Baum-Connes conjecture and the L-theoretic Farrell-Jones conjecture, and discuss our comparison map $τ$ in terms of the signature operator on oriented manifolds.
We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees.
We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of derived V-complete objects in the abelian category of p-typical Cartier modules.
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous formal properties and structure. One main result is that W(R) := W(R;R) is Morita invariant in R. For an R-linear endomorphism f of a finitely generated projective R-module we define a characteristic element $χ_f \in W(R)$. This element is a non-commutative analogue of the classical characteristic polynomial and we show that it has similar properties. The assignment $f \mapsto χ_f$ induces an isomorphism between a suitable completion of cyclic K-theory and W(R).
We investigate topological T-duality in the framework of non-abelian gerbes and higher gauge groups. We show that this framework admits the gluing of locally defined T-duals, in situations where no globally defined ("geometric") T-duals exists. The gluing results into new, higher-geometrical objects that can be used to study non-geometric T-duals, alternatively to other approaches like non-commutative geometry.
We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive $\infty$-operads obtained from $\mathcal{O}^\otimes$. We deduce that for a stably (resp. additively) symmetric monoidal $\infty$-category $\mathcal{C}$ the Yoneda embedding factors through the $\infty$-category of exact, contravariant functors from $\mathcal{C}$ to the $\infty$-category of spectra (resp. connective spectra) and admits a certain multiplicative refinement. As an application we prove that the identity functor Sp $\to$ Sp is initial among exact, lax symmetric monoidal endofunctors of the symmetric monoidal $\infty$-category Sp of spectra with smash product.
We define for every dendroidal set X a chain complex and show that this assignment determines a left Quillen functor. Then we define the homology groups $H_n(X)$ as the homology groups of this chain complex. This generalizes the homology of simplicial sets. Our main result is that the homology of X is isomorphic to the homology of the associated spectrum K(X) as discussed in earlier work of the authors. Since these homology groups are sometimes computable we can identify some spectra K(X) which we could not identify before.
We consider topological T-duality of torus bundles equipped with S^{1}-gerbes. We show how a geometry on the gerbe determines a reduction of its band to the subsheaf of S^{1}-valued functions which are constant along the torus fibres. We observe that such a reduction is exactly the additional datum needed for the construction of a T-dual pair. We illustrate the theory by working out the example of the canonical lifting gerbe on a compact Lie group which is a torus bundles over the associated flag manifold. It was a recent observation of Daenzer and van Erp (arXiv1211.0763) that for certain compact Lie groups and a particular choice of the gerbe, the T-dual torus bundle is given by the Langlands dual group.
The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a definition of K-groups K_n(D) for a dendroidal set D. These groups generalize the K-theory of symmetric monoidal (resp. permutative) categories and algebraic K-theory of rings. We establish some useful properties like invariance under the appropriate equivalences and long exact sequences which allow us to compute these groups in some examples. We show that the K-theory groups of D can be realized as homotopy groups of a K-theory spectrum K(D).
Dendroidal sets have been introduced as a combinatorial model for homotopy coherent operads. We introduce the notion of fully Kan dendroidal sets and show that there is a model structure on the category of dendroidal sets with fibrant objects given by fully Kan dendroidal sets. Moreover we show that the resulting homotopy theory is equivalent to the homotopy theory of connective spectra.
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of all classical examples of differential cohomology theories. These structures are naturally derived from a canonical decomposition of a sheaf into a homotopy invariant part and a piece which has a trivial evaluation on a point. In the classical examples the latter is the contribution of differential forms. This decomposition suggest a natural scheme to analyse new sheaves by determining these pieces and the gluing data. We perform this analysis for a variety of classical and not so classical examples.
We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian cohomology. We use our geometrical formulation in order to define a transgression map in non-abelian cohomology. This transgression map relates the degree one non-abelian cohomology of a smooth manifold (represented by non-abelian gerbes) with the degree zero non-abelian cohomology of the free loop space (represented by principal bundles). We prove several properties for this transgression map. For instance, it reduces - in case of a Lie 2-group with a single object - to the ordinary transgression in ordinary cohomology. We describe applications of our results to string manifolds: first, we obtain a new comparison theorem for different notions of string structures. Second, our transgression map establishes a direct relation between string structures and spin structure on the loop space.
We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects in C give rise to E_n-ring spectrum objects in C. In the case that C is the infinity-category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K-theory of rings and ring spectra. The main tool we use to establish these results is the theory of smashing localizations of presentable infinity-categories. In particular, we identify preadditive and additive infinity-categories as the local objects for certain smashing localizations. A central theme is the stability of algebraic structures under basechange; for example, we show Ring(D \otimes C) = Ring(D) \otimes C. Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in infinity-categories.
We construct a model for the string group as an infinite-dimensional Lie group. In a second step we extend this model by a contractible Lie group to a Lie 2-group model. To this end we need to establish some facts on the homotopy theory of Lie 2-groups. Moreover, we provide an explicit comparison of string structures for the two models and a uniqueness result for Lie 2-group models.
We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, introduced in [NSSa], in terms of categories of simplicial (pre)sheaves. First we show that over a cohesive site C and for G a presheaf of simplicial groups which is C-acyclic, G-principal infinity-bundles over any object in the infinity-topos over C are classified by hyper-Cech-cohomology with coefficients in G. Then we show that over a site C with enough points, principal infinity-bundles in the infinity-topos are presented by ordinary simplicial bundles in the sheaf topos that satisfy principality by stalkwise weak equivalences. Finally we discuss explicit details of these presentations for the discrete site (in discrete infinity-groupoids) and the smooth site (in smooth infinity-groupoids, generalizing Lie groupoids and differentiable stacks). In the companion article [NSSc] we use these presentations for constructing classes of examples of (twisted) principal infinity-bundles and for the discussion of various applications.
A weakly equivariant Hopf algebra is a Hopf algebra A with an action of a finite group G up to inner automorphisms. We show that each weakly equivariant Hopf algebra can be replaced by a Morita equivalent algebra B with a strict action of G and with a coalgebra structure that leads to a tensor equivalent representation category. However, the coproduct of this strictification cannot, in general, be chosen to be unital, so that a strictification of the G-action can only be found on a weak Hopf algebra B.
We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an algebraic model for oo-groupoids and algebraic quasi-categories as an algebraic model for (oo,1)-categories. We furthermore give an explicit proof of the homotopy hypothesis.
We explain some applications of bicategories in both classical and quantum field theory. This includes a modern perspective on some pioneering work of Max Kreuzer and Bert Schellekens on rational conformal field theory.
We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to our setting and show that the plus construction yields a 2-stackification for 2-prestacks. Finally we show that, for a 2-stack, the pullback functor along a Morita-equivalence of Lie groupoids is an equivalence of bicategories. Our results have direct applications to gerbes and 2-vector bundles. For instance, they allow to construct equivariant gerbes from local data and can be used to simplify the description of the local data. We illustrate the usefulness of our results in a systematic discussion of holonomies for unoriented surfaces.
Based on a weak action of a finite group J on a finite group G, we present a geometric construction of J-equivariant Dijkgraaf-Witten theory as an extended topological field theory. The construction yields an explicitly accessible class of equivariant modular tensor categories. For the action of a group J on a group G, the category is described as the representation category of a J-ribbon algebra that generalizes the Drinfel'd double of the finite group G.