Showing 1–46 of 46 results for author: Nikolaus, T

An Alternative to Spherical Witt Vectors

Authors: Thomas Nikolaus, Maria Yakerson

Abstract: We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I = \mathrm{fib}(\mathbb{S}[R] \to R)$. This generalizes a construction of Cuntz and Deninger. We also use this to give a description of the category of p-complete… ▽ More We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I = \mathrm{fib}(\mathbb{S}[R] \to R)$. This generalizes a construction of Cuntz and Deninger. We also use this to give a description of the category of p-complete modules over the spherical Witt vectors and a universal property for spherical Witt vectors as an $\mathbb{E}_1$-ring. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 7 pages

Maps between spherical group rings

Authors: Shachar Carmeli, Thomas Nikolaus, Allen Yuan

Abstract: We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to B$. We also prove generalizations where the sphere is replaced by other ring spectra, e.g. we give a formula for the strict units in group rings of the form… ▽ More We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to B$. We also prove generalizations where the sphere is replaced by other ring spectra, e.g. we give a formula for the strict units in group rings of the form $R[A]$ for $A$ a finite $p$-group and $R$ $p$-completely chromatically complete. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: 41 pages, comments welcome

Report number: CPH-GEOTOP-DNRF151

On the $K$-theory of $\mathbf{Z}/p^n$

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well a… ▽ More We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Witt vectors with coefficients and TR

Authors: Emanuele Dotto, Achim Krause, Thomas Nikolaus, Irakli Patchkoria

Abstract: We give a new construction of $p$-typical Witt vectors with coefficients in terms of ghost maps and show that this construction is isomorphic to the one defined in terms of formal power series from the authors' previous paper. We show that our construction recovers Kaledin's polynomial Witt vectors in the case of vector spaces over a perfect field of characteristic $p$. We then identify the compon… ▽ More We give a new construction of $p$-typical Witt vectors with coefficients in terms of ghost maps and show that this construction is isomorphic to the one defined in terms of formal power series from the authors' previous paper. We show that our construction recovers Kaledin's polynomial Witt vectors in the case of vector spaces over a perfect field of characteristic $p$. We then identify the components of the $p$-typical TR with coefficients, originally defined by Lindenstrauss and McCarthy and later reworked by the second and third authors in joint work with McCandless, with the $p$-typical Witt vectors with coefficients. This extends a celebrated result of Hesselholt and Hesselholt-Madsen relating the components of TR with the Witt vectors. As an application, we given an algebraic description of the components of the Hill-Hopkins-Ravenel norm for cyclic $p$-groups in terms of $p$-typical Witt vectors with coefficients. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 51 pages

Prismatic cohomology relative to $δ$-rings

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: We develop prismatic and syntomic cohomology relative to a $δ$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $δ$-ring. We give several possible definitions of our new version of prismatic cohomology… ▽ More We develop prismatic and syntomic cohomology relative to a $δ$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $δ$-ring. We give several possible definitions of our new version of prismatic cohomology: a site theoretic definition, one using prismatic crystals, and a stack theoretic definition. These are equivalent under mild syntomicity hypotheses. As an application, we note how the theory of prismatic cohomology of filtered rings arises naturally in this context. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Polygonic spectra and TR with coefficients

Authors: Achim Krause, Jonas McCandless, Thomas Nikolaus

Abstract: We introduce the notion of a polygonic spectrum which is designed to axiomatize the structure on topological Hochschild homology $\mathrm{THH}(R,M)$ of an $\mathbb{E}_1$-ring $R$ with coefficients in an $R$-bimodule $M$. For every polygonic spectrum $X$, we define a spectrum $\mathrm{TR}(X)$ as the map** spectrum from the polygonic version of the sphere spectrum $\mathbb{S}$ to $X$. In particula… ▽ More We introduce the notion of a polygonic spectrum which is designed to axiomatize the structure on topological Hochschild homology $\mathrm{THH}(R,M)$ of an $\mathbb{E}_1$-ring $R$ with coefficients in an $R$-bimodule $M$. For every polygonic spectrum $X$, we define a spectrum $\mathrm{TR}(X)$ as the map** spectrum from the polygonic version of the sphere spectrum $\mathbb{S}$ to $X$. In particular if applied to $X = \mathrm{THH}(R,M)$ this gives a conceptual definition of $\mathrm{TR}(R,M)$. Every cyclotomic spectrum gives rise to a polygonic spectrum and we prove that TR agrees with the classical definition of TR in this case. We construct Frobenius and Verschiebung maps on $\mathrm{TR}(X)$ by exhibiting $\mathrm{TR}(X)$ as the $\mathbb{Z}$-fixedpoints of a quasifinitely genuine $\mathbb{Z}$-spectrum. The notion of quasifinitely genuine $\mathbb{Z}$-spectra is a new notion that we introduce and discuss inspired by a similar notion over $\mathbb{Z}$ introduced by Kaledin. Besides the usual coherences for genuine spectra, this notion additionally encodes that $\mathrm{TR}(X)$ admits certain infinite sums of Verschiebung maps. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 61 pages, comments are welcome

Report number: MPIM-Bonn-2023

L-theory of $C^*$-algebras

Authors: Markus Land, Thomas Nikolaus, Marco Schlichting

Abstract: 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… ▽ More 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. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 39 pages

Report number: CPH-GEOTOP-DNRF151

On the K-theory of $\mathbb{Z}/p^n$ -- announcement

Authors: Benjamin Antieau, Achim Krause, Thomas Nikolaus

Abstract: 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 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. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: Comments welcome!

K-theory and polynomial functors

Authors: Clark Barwick, Saul Glasman, Akhil Mathew, Thomas Nikolaus

Abstract: 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 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)$. △ Less

Submitted 18 May, 2022; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: v2: added new section on THH(F_p) and other minor corrections

Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind ring… ▽ More We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-dévissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi. △ Less

Submitted 27 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 63 pages v2: minor improvements, updated references. v3: slightly reorganised the discussions of quadratic surgery for ring spectra, and the devissage sequence; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25; 19G38 (Primary); 11E39; 11E81; 19D25 (Secondary)

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such al… ▽ More We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra. △ Less

Submitted 13 July, 2023; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 170 pages v4: rewrote the discussion of Poincaré categories of Tate objects, and added new result to Appendix A on the relation between localisations of ring spectra and almost mathematics; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25 (Primary); 11E39; 11E81; 19D25 (Secondary)

Hermitian K-theory for stable $\infty$-categories I: Foundations

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In this article we lay the foundations of our approach by considering Lurie… ▽ More This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In this article we lay the foundations of our approach by considering Lurie's notion of a Poincaré $\infty$-category, which permits an abstract counterpart of unimodular forms called Poincaré objects. We analyse the special cases of hyperbolic and metabolic Poincaré objects, and establish a version of Ranicki's algebraic Thom construction. For derived $\infty$-categories of rings, we classify all Poincaré structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincaré structures on $\infty$-categories of parametrised spectra, recovering the visible signature of a Poincaré duality space. We conduct a thorough investigation of the global structural properties of Poincaré $\infty$-categories, showing in particular that they form a bicomplete, closed symmetric monoidal $\infty$-category. We also study the process of tensoring and cotensoring a Poincaré $\infty$-category over a finite simplicial complex, a construction featuring prominently in the definition of the L- and Grothendieck-Witt spectra that we consider in the next instalment. Finally, we define already here the 0-th Grothendieck-Witt group of a Poincaré $\infty$-category using generators and relations. We extract its basic properties, relating it in particular to the 0-th L- and algebraic K-groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications. △ Less

Submitted 27 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 178 pages v2: minor improvements, updated references. v3: slightly reorganised the discussion of periodicity; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25 (Primary); 11E39; 11E81; 19D25 (Secondary)

On the homotopy type of L-spectra of the integers

Authors: Fabian Hebestreit, Markus Land, Thomas Nikolaus

Abstract: We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothen… ▽ More We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothendieck--Witt theory. △ Less

Submitted 25 May, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: v3: Removed an erroneous (but for the paper irrelevant) remark in the appendix. An erratum is available from the webpages of the authors

Report number: CPH-SYM-DNRF92

On the Beilinson fiber square

Authors: Benjamin Antieau, Akhil Mathew, Matthew Morrow, Thomas Nikolaus

Abstract: Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded p… ▽ More Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded pieces with the syntomic cohomology of Fontaine-Messing. △ Less

Submitted 29 September, 2021; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: many minor updates based on referee reports; new, simplified proof of integral comparison theorem for syntomic cohomology

MSC Class: 14F30; 14F40; 19D55; 19E15

Witt vectors with coefficients and characteristic polynomials over non-commutative rings

Authors: Emanuele Dotto, Achim Krause, Thomas Nikolaus, Irakli Patchkoria

Abstract: 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 projec… ▽ More 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). △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 39 pages

Bökstedt periodicity and quotients of DVRs

Authors: Achim Krause, Thomas Nikolaus

Abstract: In this note we compute the topological Hochschild homology of quotients of DVRs. Along the way we give a short argument for Bökstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of THH (resp. logarithmic THH) of complete DVRs originally due to Lindenstrauss-Madsen (resp. Hesselholt-Madsen). In this note we compute the topological Hochschild homology of quotients of DVRs. Along the way we give a short argument for Bökstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of THH (resp. logarithmic THH) of complete DVRs originally due to Lindenstrauss-Madsen (resp. Hesselholt-Madsen). △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 35 pages

Topological cyclic homology

Authors: Lars Hesselholt, Thomas Nikolaus

Abstract: This survey of topological cyclic homology is a chapter in the Handbook on Homotopy Theory. We give a brief introduction to topological cyclic homology and the cyclotomic trace map following Nikolaus-Scholze, followed by a proof of Bökstedt periodicity that closely resembles Bökstedt's original unpublished proof. We explain the extension of Bökstedt periodicity by Bhatt-Morrow-Scholze from perfect… ▽ More This survey of topological cyclic homology is a chapter in the Handbook on Homotopy Theory. We give a brief introduction to topological cyclic homology and the cyclotomic trace map following Nikolaus-Scholze, followed by a proof of Bökstedt periodicity that closely resembles Bökstedt's original unpublished proof. We explain the extension of Bökstedt periodicity by Bhatt-Morrow-Scholze from perfect fields to perfectoid rings and use this to give a purely p-adic proof of Bott periodicity. Finally, we evaluate the cofiber of the assembly map in p-adic topological cyclic homology for the cyclic group of order p and a perfectoid ring of coefficients. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: Chapter in Handbook of Homotopy Theory

Algebraic $K$-theory of planar cuspidal curves

Authors: Lars Hesselholt, Thomas Nikolaus

Abstract: In this paper, we evaluate the algebraic $K$-groups of a planar cuspidal curve over a perfect $\mathbb{F}_p$-algebra relative to the cusp point. A conditional calculation of these groups was given earlier by Hesselholt, assuming a conjecture on the structure of certain polytopes. Our calculation here, however, is unconditional and illustrates the advantage of the new setup for topological cyclic h… ▽ More In this paper, we evaluate the algebraic $K$-groups of a planar cuspidal curve over a perfect $\mathbb{F}_p$-algebra relative to the cusp point. A conditional calculation of these groups was given earlier by Hesselholt, assuming a conjecture on the structure of certain polytopes. Our calculation here, however, is unconditional and illustrates the advantage of the new setup for topological cyclic homology by Nikolaus-Scholze, which is used throughout. The only input necessary for our calculation is the evaluation by the Buenos Aires Cyclic Homology group and by Larsen of the structure of Hochschild complex of the coordinate ring as a mixed complex, that is, as an object of the infinity category of chain complexes with circle action. △ Less

Submitted 16 July, 2019; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 9 pages

Cartier modules and cyclotomic spectra

Authors: Benjamin Antieau, Thomas Nikolaus

Abstract: 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 de… ▽ More 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. △ Less

Submitted 12 January, 2020; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: Final version; to appear in J. AMS

MSC Class: 14F30; 14L05; 13D03

Higher geometry for non-geometric T-duals

Authors: Thomas Nikolaus, Konrad Waldorf

Abstract: 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-commuta… ▽ More 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. △ Less

Submitted 6 May, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 57 pages, v2: typos corrected; v2 is the final and published version

Journal ref: Commun. Math. Phys. 374, 317-366 (2020)

On the Blumberg-Mandell Künneth theorem for TP

Authors: Benjamin Antieau, Akhil Mathew, Thomas Nikolaus

Abstract: We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories. We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories. △ Less

Submitted 30 July, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 20 pages, revised version. To appear in Selecta Mathematica

MSC Class: 14F30; 16E40; 19D55

The Balmer spectrum of the equivariant homotopy category of a finite abelian group

Authors: Tobias Barthel, Markus Hausmann, Niko Naumann, Thomas Nikolaus, Justin Noel, Nathaniel Stapleton

Abstract: For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^ω$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders}, by establishing (a corrected version of) their log$_p$-conjecture for abelian groups. We also work out the consequences for the chromatic type of fixed-points and esta… ▽ More For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^ω$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders}, by establishing (a corrected version of) their log$_p$-conjecture for abelian groups. We also work out the consequences for the chromatic type of fixed-points and establish a generalization of Kuhn's blue-shift theorem for Tate-constructions \cite{kuhn}. △ Less

Submitted 7 December, 2018; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: v3: minor changes, to appear in Inventiones Mathematicae

Report number: CPH-SYM-DNRF92 MSC Class: 55

Journal ref: Invent. Math. 216 (2019), 215-240

On topological cyclic homology

Authors: Thomas Nikolaus, Peter Scholze

Abstract: Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which… ▽ More Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $\varphi_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $\varphi_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations. △ Less

Submitted 7 September, 2018; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: 169 pages, 3 appendices, v2: minor updates, comments welcome!

MSC Class: 19D55; 16E40; 13D03; 55P42; 55P43; 55P91; 55P92

Localization of Cofibration Categories and Groupoid $C^*$-algebras

Authors: Markus Land, Thomas Nikolaus, Karol Szumiło

Abstract: We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns to a groupoid its groupoid $C^*$-algebra and thereby its topological $K$-theory spectrum. We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns to a groupoid its groupoid $C^*$-algebra and thereby its topological $K$-theory spectrum. △ Less

Submitted 13 September, 2016; originally announced September 2016.

MSC Class: 55U35; 46L80

Journal ref: Algebr. Geom. Topol. 17 (2017) 3007-3020

On the Relation between K- and L-Theory of $C^*$-Algebras

Authors: Markus Land, Thomas Nikolaus

Abstract: We prove the existence of a map of spectra $τ_A \colon kA \to lA$ between connective topological K-theory and connective algebraic L-theory of a complex $C^*$-algebra A which is natural in A and compatible with multiplicative structures. We determine its effect on homotopy groups and as a consequence obtain a natural equivalence $KA[1/2] \to LA[1/2]$ of periodic K- and L-theory spectra after inver… ▽ More We prove the existence of a map of spectra $τ_A \colon kA \to lA$ between connective topological K-theory and connective algebraic L-theory of a complex $C^*$-algebra A which is natural in A and compatible with multiplicative structures. We determine its effect on homotopy groups and as a consequence obtain a natural equivalence $KA[1/2] \to LA[1/2]$ of periodic K- and L-theory spectra after inverting 2. We show that this equivalence extends to K- and L-theory of real $C^*$-algebras. Using this we give a comparison between the real Baum-Connes conjecture and the L-theoretic Farrell-Jones conjecture. We conclude that these conjectures are equivalent after inverting 2 if and only if a certain completion conjecture in L-theory is true. △ Less

Submitted 3 November, 2017; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: 33 pages; final version, to appear in Mathematische Annalen

Stable $\infty$-Operads and the multiplicative Yoneda lemma

Authors: Thomas Nikolaus

Abstract: 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 Yoned… ▽ More 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. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Comments: 27 pages

The Beilinson regulator is a map of ring spectra

Authors: Ulrich Bunke, Thomas Nikolaus, Georg Tamme

Abstract: We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the… ▽ More We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the refinement of the regulator and the usual $K$-theory spectrum is the source. To prove this result we compute the space of maps from the motivic $K$-theory spectrum to the motivic spectrum that represents absolute Hodge cohomology using the motivic Snaith theorem. We identify those maps which admit an $E_\infty$-refinement and prove a uniqueness result for these refinements. △ Less

Submitted 29 May, 2018; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: final version, 40 pages

Journal ref: Adv. Math. 333 (2018) 41-86

Homology of dendroidal sets

Authors: Matija Bašić, Thomas Nikolaus

Abstract: 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 au… ▽ More 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. △ Less

Submitted 2 September, 2015; originally announced September 2015.

Comments: 21 pages

Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories

Authors: Thomas Nikolaus, Steffen Sagave

Abstract: We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories. We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories. △ Less

Submitted 10 March, 2017; v1 submitted 4 June, 2015; originally announced June 2015.

Comments: v3: 17 pages, references updated and exposition improved, accepted for publication in Algebraic and Geometric Topology

MSC Class: 55U35

Journal ref: Algebr. Geom. Topol. 17 (2017) 3189-3212

Lax colimits and free fibrations in $\infty$-categories

Authors: David Gepner, Rune Haugseng, Thomas Nikolaus

Abstract: We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of $\infty$-categories. As an application of these results, we prove that lax representable fu… ▽ More We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of $\infty$-categories. As an application of these results, we prove that lax representable functors are preserved under exponentiation, and also that the total space of a presentable Cartesian fibration between $\infty$-categories is presentable, generalizing a theorem of Makkai and Paré to the $\infty$-categorical setting. Lastly, in the appendix, we observe that pseudofunctors between (2,1)-categories give rise to functors between $\infty$-categories via the Duskin nerve. △ Less

Submitted 31 October, 2020; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 42 pages, v2: added a section on lax representable functors and fixed some mistakes, v3: accepted version

Journal ref: Documenta Mathematica 22 (2017) 1225-1266

Twisted differential cohomology

Authors: Ulrich Bunke, Thomas Nikolaus

Abstract: The main goal of the present paper is the construction of twisted generalized differential cohomology theories and the comprehensive statement of its basic functorial properties. Technically it combines the homotopy theoretic approach to (untwisted) generalized differential cohomology developed by Hopkins-Singer and later by the first author and D. Gepner with the oo-categorical treatement of twis… ▽ More The main goal of the present paper is the construction of twisted generalized differential cohomology theories and the comprehensive statement of its basic functorial properties. Technically it combines the homotopy theoretic approach to (untwisted) generalized differential cohomology developed by Hopkins-Singer and later by the first author and D. Gepner with the oo-categorical treatement of twisted cohomology by Ando-Blumberg-Gepner. We introduce the notion of a differential twist for a given generalized cohomology theory and construct twisted differential cohomology groups (resp. spectra). The main technical results of the paper are existence and uniqueness statements for differential twists. These results will be applied in a variety of examples, including K-theory, topological modular forms and other cohomology theories. △ Less

Submitted 12 June, 2014; originally announced June 2014.

Comments: 70 pages

Journal ref: Algebr. Geom. Topol. 19 (2019) 1631-1710

Differential cohomology theories as sheaves of spectra

Authors: Ulrich Bunke, Thomas Nikolaus, Michael Völkl

Abstract: 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 invar… ▽ More 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. △ Less

Submitted 13 November, 2013; originally announced November 2013.

Comments: 61 pages

MSC Class: 55P42

T-Duality via Gerby Geometry and Reductions

Authors: Ulrich Bunke, Thomas Nikolaus

Abstract: 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… ▽ More 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. △ Less

Submitted 13 June, 2015; v1 submitted 26 May, 2013; originally announced May 2013.

Comments: 57 pages (revised version)

MSC Class: 53C08

Universality of multiplicative infinite loop space machines

Authors: David Gepner, Moritz Groth, Thomas Nikolaus

Abstract: 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 machin… ▽ More 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. △ Less

Submitted 20 May, 2013; originally announced May 2013.

Comments: 27 pages

Journal ref: Algebr. Geom. Topol. 15 (2015) 3107-3153

Algebraic K-Theory of infinity-Operads

Authors: Thomas Nikolaus

Abstract: 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… ▽ More 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). △ Less

Submitted 3 September, 2014; v1 submitted 9 March, 2013; originally announced March 2013.

Comments: 22 pages, final version, accepted for publication in Journal of K-theory

Principal infinity-bundles - Presentations

Authors: Thomas Nikolaus, Urs Schreiber, Danny Stevenson

Abstract: 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-cohomolog… ▽ More 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. △ Less

Submitted 1 July, 2012; originally announced July 2012.

Comments: 55 pages

Journal ref: Journal of Homotopy and Related Structures, Volume 10, Issue 3 (2015), pages 565-622

Principal infinity-bundles -- General theory

Authors: Thomas Nikolaus, Urs Schreiber, Danny Stevenson

Abstract: The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric model for structured higher nonabelian cohomology and controls general fiber bundles in terms of associated bundles. For suitable choices of structure infinity-… ▽ More The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric model for structured higher nonabelian cohomology and controls general fiber bundles in terms of associated bundles. For suitable choices of structure infinity-group G these G-principal infinity-bundles reproduce the theories of ordinary principal bundles, of bundle gerbes/principal 2-bundles and of bundle 2-gerbes and generalize these to their further higher and equivariant analogs. The induced associated infinity-bundles subsume the notions of gerbes and higher gerbes in the literature. We discuss here this general theory of principal infinity-bundles, intimately related to the axioms of Giraud, Toen-Vezzosi, Rezk and Lurie that characterize infinity-toposes. We show a natural equivalence between principal infinity-bundles and intrinsic nonabelian cocycles, implying the classification of principal infinity-bundles by nonabelian sheaf hyper-cohomology. We observe that the theory of geometric fiber infinity-bundles associated to principal infinity-bundles subsumes a theory of infinity-gerbes and of twisted infinity-bundles, with twists deriving from local coefficient infinity-bundles, which we define, relate to extensions of principal infinity-bundles and show to be classified by a corresponding notion of twisted cohomology, identified with the cohomology of a corresponding slice infinity-topos. In a companion article [NSSb] we discuss explicit presentations of this theory in categories of simplicial (pre)sheaves by hyper-Cech cohomology and by simplicial weakly-principal bundles; and in [NSSc] we discuss various examples and applications of the theory. △ Less

Submitted 30 June, 2023; v1 submitted 1 July, 2012; originally announced July 2012.

Comments: 49 pages; v2: published version; v3: missing assumption added to Lemma 3.9

Journal ref: Journal of Homotopy and Related Structures, Volume 10, Issue 4 (2015), pages 749-801

Dendroidal sets as models for connective spectra

Authors: Matija Bašić, Thomas Nikolaus

Abstract: 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. 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. △ Less

Submitted 19 May, 2014; v1 submitted 30 March, 2012; originally announced March 2012.

Comments: 27 pages, final version, accepted for publication in Journal of K-theory

Lifting Problems and Transgression for Non-Abelian Gerbes

Authors: Thomas Nikolaus, Konrad Waldorf

Abstract: 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-abelia… ▽ More 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. △ Less

Submitted 8 May, 2013; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 33 pages. v2 contains several small improvements; the former sections 4, 5.1, and 5.2 that contained complimentary material have been deleted upon a referee's suggestion. v2 is the final and published version

MSC Class: 55R65 (Primary) 18G50; 22A22; 53C08; 55N05 (Secondary)

Journal ref: Adv. Math. 242 (2013) 50-79

Strictification of weakly equivariant Hopf algebras

Authors: Jennifer Maier, Thomas Nikolaus, Christoph Schweigert

Abstract: 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… ▽ More 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. △ Less

Submitted 4 May, 2012; v1 submitted 1 September, 2011; originally announced September 2011.

Comments: 16 pages, typos corrected

Report number: ZMP-HH/11-14; Hamburger Beitr\"age zur Mathematik Nr. 415

A Smooth Model for the String Group

Authors: Thomas Nikolaus, Christoph Sachse, Christoph Wockel

Abstract: 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 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. △ Less

Submitted 21 May, 2012; v1 submitted 21 April, 2011; originally announced April 2011.

Comments: 32 pages; v2: uniqueness result for 2-group models added (Th. 6.5), typo in title corrected; v3: construction of basic PU(H)-bundle discussed (Rem. 3.9), final version to appear in IMRN

Report number: [ZMP-HH/11-6], Hamburger Beitr\"age zur Mathematik 405

Journal ref: Int. Math. Res. Not. IMRN 16 (2013) 3678-3721

Four Equivalent Versions of Non-Abelian Gerbes

Authors: Thomas Nikolaus, Konrad Waldorf

Abstract: We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bijection between continuous and smooth non-abelian cohomology, and an explicit equ… ▽ More We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bijection between continuous and smooth non-abelian cohomology, and an explicit equivalence between bundle gerbes and principal 2-bundles as 2-stacks. △ Less

Submitted 17 July, 2013; v1 submitted 24 March, 2011; originally announced March 2011.

Comments: 65 pages, v2: minor corrections, new Corollary 7.2 about equivariant gerbes; v3: again minor corrections; v3 is the final and published version

MSC Class: Primary 55R65; Secondary 53C08; 55N05; 22A22

Journal ref: Pacific J. Math., 264-2 (2013), 355-420

Equivariant Modular Categories via Dijkgraaf-Witten Theory

Authors: Jennifer Maier, Thomas Nikolaus, Christoph Schweigert

Abstract: 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… ▽ More 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. △ Less

Submitted 23 August, 2011; v1 submitted 15 March, 2011; originally announced March 2011.

Comments: 52 pages, 3 figures, v2: typos corrected, v3: conventions concerning left and right actions fixed (mainly section 4)

Report number: ZMP-HH/11-3, Hamburger Beitraege zur Mathematik 402

Equivariance In Higher Geometry

Authors: Thomas Nikolaus, Christoph Schweigert

Abstract: 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 Morit… ▽ More 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. △ Less

Submitted 27 May, 2011; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: 42 pages, minor corrections

Report number: ZMP-HH/10-12, Hamburger Beitraege zur Mathematik Nr. 373

Journal ref: Adv. Math. , 226(4): 3367-3408, 2011

Algebraic models for higher categories

Authors: Thomas Nikolaus

Abstract: 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 h… ▽ More 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. △ Less

Submitted 30 May, 2011; v1 submitted 5 March, 2010; originally announced March 2010.

Comments: 23 pages, minor changes

Bundle Gerbes and Surface Holonomy

Authors: Jürgen Fuchs, Thomas Nikolaus, Christoph Schweigert, Konrad Waldorf

Abstract: Hermitian bundle gerbes with connection are geometric objects for which a notion of surface holonomy can be defined for closed oriented surfaces. We systematically introduce bundle gerbes by closing the pre-stack of trivial bundle gerbes under descent. Inspired by structures arising in a representation theoretic approach to rational conformal field theories, we introduce geometric structure that… ▽ More Hermitian bundle gerbes with connection are geometric objects for which a notion of surface holonomy can be defined for closed oriented surfaces. We systematically introduce bundle gerbes by closing the pre-stack of trivial bundle gerbes under descent. Inspired by structures arising in a representation theoretic approach to rational conformal field theories, we introduce geometric structure that is appropriate to define surface holonomy in more general situations: Jandl gerbes for unoriented surfaces, D-branes for surfaces with boundaries, and bi-branes for surfaces with defect lines. △ Less

Submitted 14 January, 2009; originally announced January 2009.

Comments: 25 pages