-
arXiv:2405.09606 [pdf, ps, other]
An Alternative to Spherical Witt Vectors
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
Submitted 15 May, 2024; originally announced May 2024.
Comments: 7 pages
-
arXiv:2405.06448 [pdf, ps, other]
Maps between spherical group rings
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
Submitted 10 May, 2024; originally announced May 2024.
Comments: 41 pages, comments welcome
Report number: CPH-GEOTOP-DNRF151
-
arXiv:2405.04329 [pdf, ps, other]
On the $K$-theory of $\mathbf{Z}/p^n$
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
Submitted 7 May, 2024; originally announced May 2024.
-
arXiv:2312.12971 [pdf, ps, other]
Witt vectors with coefficients and TR
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
Submitted 20 December, 2023; originally announced December 2023.
Comments: 51 pages
-
arXiv:2310.12770 [pdf, ps, other]
Prismatic cohomology relative to $δ$-rings
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
Submitted 19 October, 2023; originally announced October 2023.
-
arXiv:2302.07686 [pdf, ps, other]
Polygonic spectra and TR with coefficients
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
Submitted 15 February, 2023; originally announced February 2023.
Comments: 61 pages, comments are welcome
Report number: MPIM-Bonn-2023
-
arXiv:2208.10556 [pdf, ps, other]
L-theory of $C^*$-algebras
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
Submitted 22 August, 2022; originally announced August 2022.
Comments: 39 pages
Report number: CPH-GEOTOP-DNRF151
-
arXiv:2204.03420 [pdf, ps, other]
On the K-theory of $\mathbb{Z}/p^n$ -- announcement
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.
Submitted 7 April, 2022; originally announced April 2022.
Comments: Comments welcome!
-
arXiv:2102.00936 [pdf, ps, other]
K-theory and polynomial functors
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)$.
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
-
arXiv:2009.07225 [pdf, ps, other]
Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings
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
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)
-
arXiv:2009.07224 [pdf, ps, other]
Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity
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
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)
-
arXiv:2009.07223 [pdf, ps, other]
Hermitian K-theory for stable $\infty$-categories I: Foundations
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
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)
-
arXiv:2004.06889 [pdf, ps, other]
On the homotopy type of L-spectra of the integers
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
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
-
arXiv:2003.12541 [pdf, ps, other]
On the Beilinson fiber square
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
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
-
arXiv:2002.01538 [pdf, ps, other]
Witt vectors with coefficients and characteristic polynomials over non-commutative rings
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
Submitted 4 February, 2020; originally announced February 2020.
Comments: 39 pages
-
arXiv:1907.03477 [pdf, ps, other]
Bökstedt periodicity and quotients of DVRs
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).
Submitted 8 July, 2019; originally announced July 2019.
Comments: 35 pages
-
Topological cyclic homology
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
Submitted 22 May, 2019; originally announced May 2019.
Comments: Chapter in Handbook of Homotopy Theory
-
arXiv:1903.08295 [pdf, ps, other]
Algebraic $K$-theory of planar cuspidal curves
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
Submitted 16 July, 2019; v1 submitted 19 March, 2019; originally announced March 2019.
Comments: 9 pages
-
arXiv:1809.01714 [pdf, ps, other]
Cartier modules and cyclotomic spectra
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
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
-
arXiv:1804.00677 [pdf, ps, other]
Higher geometry for non-geometric T-duals
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
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)
-
arXiv:1710.05658 [pdf, ps, other]
On the Blumberg-Mandell Künneth theorem for TP
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.
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
-
arXiv:1709.04828 [pdf, ps, other]
The Balmer spectrum of the equivariant homotopy category of a finite abelian group
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
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
-
arXiv:1707.01799 [pdf, ps, other]
On topological cyclic homology
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
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
-
arXiv:1609.03805 [pdf, ps, other]
Localization of Cofibration Categories and Groupoid $C^*$-algebras
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.
Submitted 13 September, 2016; originally announced September 2016.
MSC Class: 55U35; 46L80
Journal ref: Algebr. Geom. Topol. 17 (2017) 3007-3020
-
arXiv:1608.02903 [pdf, ps, other]
On the Relation between K- and L-Theory of $C^*$-Algebras
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
Submitted 3 November, 2017; v1 submitted 9 August, 2016; originally announced August 2016.
Comments: 33 pages; final version, to appear in Mathematische Annalen
-
arXiv:1608.02901 [pdf, ps, other]
Stable $\infty$-Operads and the multiplicative Yoneda lemma
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
Submitted 9 August, 2016; originally announced August 2016.
Comments: 27 pages
-
The Beilinson regulator is a map of ring spectra
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
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
-
arXiv:1509.00702 [pdf, ps, other]
Homology of dendroidal sets
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
Submitted 2 September, 2015; originally announced September 2015.
Comments: 21 pages
-
Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories
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.
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
-
arXiv:1501.02161 [pdf, ps, other]
Lax colimits and free fibrations in $\infty$-categories
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
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
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
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
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
Submitted 13 November, 2013; originally announced November 2013.
Comments: 61 pages
MSC Class: 55P42
-
T-Duality via Gerby Geometry and Reductions
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
Submitted 13 June, 2015; v1 submitted 26 May, 2013; originally announced May 2013.
Comments: 57 pages (revised version)
MSC Class: 53C08
-
arXiv:1305.4550 [pdf, ps, other]
Universality of multiplicative infinite loop space machines
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
Submitted 20 May, 2013; originally announced May 2013.
Comments: 27 pages
Journal ref: Algebr. Geom. Topol. 15 (2015) 3107-3153
-
arXiv:1303.2198 [pdf, ps, other]
Algebraic K-Theory of infinity-Operads
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
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
-
arXiv:1207.0249 [pdf, ps, other]
Principal infinity-bundles - Presentations
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
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
-
arXiv:1207.0248 [pdf, ps, other]
Principal infinity-bundles -- General theory
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
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
-
arXiv:1203.6891 [pdf, ps, other]
Dendroidal sets as models for connective spectra
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.
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
-
arXiv:1112.4702 [pdf, ps, other]
Lifting Problems and Transgression for Non-Abelian Gerbes
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
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
-
Bicategories in field theories - an invitation
Abstract: 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.
Submitted 29 November, 2011; originally announced November 2011.
Comments: 14 pages, 2 figures. Contribution to the Memorial Volume for Max Kreuzer. Contains an introduction to the use of bicategories for non-experts, in particular to the results of http://arxiv.longhoe.net/abs/1004.4558 and http://arxiv.longhoe.net/abs/1103.2963
Report number: Hamburger Beitr\"age zur Mathematik 425
-
arXiv:1109.0236 [pdf, ps, other]
Strictification of weakly equivariant Hopf algebras
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
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
-
arXiv:1104.4288 [pdf, ps, other]
A Smooth Model for the String Group
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.
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
-
arXiv:1103.4815 [pdf, ps, other]
Four Equivalent Versions of Non-Abelian Gerbes
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
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
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
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
-
arXiv:1004.4558 [pdf, ps, other]
Equivariance In Higher Geometry
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
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
-
arXiv:1003.1342 [pdf, ps, other]
Algebraic models for higher categories
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
Submitted 30 May, 2011; v1 submitted 5 March, 2010; originally announced March 2010.
Comments: 23 pages, minor changes
-
arXiv:0901.2085 [pdf, ps, other]
Bundle Gerbes and Surface Holonomy
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
Submitted 14 January, 2009; originally announced January 2009.
Comments: 25 pages