Advertisement

Mathematische Zeitschrift

, Volume 281, Issue 3–4, pp 807–848 | Cite as

On autoequivalences of the \((\infty , 1)\)-category of \(\infty \)-operads

  • Dimitri AraEmail author
  • Moritz Groth
  • Javier J. Gutiérrez
Article

Abstract

We study the \((\infty , 1)\)-category of autoequivalences of \(\infty \)-operads. Using techniques introduced by Toën, Lurie, and Barwick and Schommer-Pries, we prove that this \((\infty , 1)\)-category is a contractible \(\infty \)-groupoid. Our calculation is based on the model of complete dendroidal Segal spaces introduced by Cisinski and Moerdijk. Similarly, we prove that the \((\infty , 1)\)-category of autoequivalences of non-symmetric \(\infty \)-operads is the discrete monoidal category associated to \(\mathbf {Z}/2\mathbf {Z}\). We also include a computation of the \((\infty ,1)\)-category of autoequivalences of \((\infty , n)\)-categories based on Rezk’s \(\Theta _n\)-spaces.

References

  1. 1.
    Ara, D.: Sur les \(\infty \)-groupoïdes de Grothendieck et une variante \(\infty \)-catégorique. PhD thesis, Université Paris Diderot—Paris 7. Supervised by G. Maltsiniotis (2010)Google Scholar
  2. 2.
    Ara, D.: The groupoidal analogue \(\widetilde{\Theta }\) to Joyal’s category \(\Theta \) is a test category. Appl. Categ. Struct. 20(6), 603–649 (2012)zbMATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    Ara, D.: Strict \(\infty \)-groupoids are Grothendieck \(\infty \)-groupoids. J. Pure Appl. Algeb. 217(12), 1237–1278 (2013)zbMATHCrossRefGoogle Scholar
  4. 4.
    Ara, D.: Higher quasi-categories vs higher Rezk spaces. J. K-Theory 14(3), 701–749 (2014)Google Scholar
  5. 5.
    Berger, C.: A cellular nerve for higher categories. Adv. Math. 169(1), 118–175 (2002)zbMATHMathSciNetCrossRefGoogle Scholar
  6. 6.
    Bergner, J.E.: A model category structure on the category of simplicial categories. Trans. Am. Math. Soc. 359(5), 2043–2058 (2007)zbMATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Bergner, J.E.: A survey of \((\infty ,1)\)-categories. In: Towards higher categories, vol. 152 of IMA Vol. Math. Appl., pp. 69–83. Springer, Berlin (2010)Google Scholar
  8. 8.
    Bousfield, A.K., Kan, D.M.: Homotopy limits, completions and localizations. Lecture Notes in Mathematics, Vol. 304. Springer-Verlag, (1972)Google Scholar
  9. 9.
    Berger, C., Moerdijk, I.: On an extension of the notion of Reedy category. Math. Z. 269(3–4), 977–1004 (2011)zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Barwick, C., Schommer-Pries, C.: On the unicity of the homotopy theory of higher categories. arXiv:1112.0040v4 [math.AT] (2013)
  11. 11.
    Boardman, J.M., Vogt, R.M.: Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, (1973)Google Scholar
  12. 12.
    Cisinski, D.-C., Moerdijk, I.: Dendroidal sets as models for homotopy operads. J. Topol. 4(2), 257–299 (2011)zbMATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    Cisinski, D.-C., Moerdijk, I.: Dendroidal Segal spaces and \(\infty \)-operads. J. Topol. 6(3), 675–704 (2013)zbMATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    Cisinski, D.-C., Moerdijk, I.: Dendroidal sets and simplicial operads. J. Topol. 6(3), 705–756 (2013)zbMATHMathSciNetCrossRefGoogle Scholar
  15. 15.
    Cordier, J.-M., Porter, T.: Vogt’s theorem on categories of homotopy coherent diagrams. Math. Proc. Camb. Philos. Soc. 100(1), 65–90 (1986)zbMATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Dugger, D., Spivak, D.I.: Mapping spaces in quasi-categories. Algeb. Geom. Topol. 11(1), 263–325 (2011)zbMATHMathSciNetCrossRefGoogle Scholar
  17. 17.
    Dugger, D.: Combinatorial model categories have presentations. Adv. Math. 164(1), 177–201 (2001)zbMATHMathSciNetCrossRefGoogle Scholar
  18. 18.
    Elmendorf, A.D., Mandell, M.A.: Rings, modules, and algebras in infinite loop space theory. Adv. Math. 205(1), 163–228 (2006)zbMATHMathSciNetCrossRefGoogle Scholar
  19. 19.
    Groth, M.: A Short Course on \(\infty \)-Categories. arXiv:1007.2925 [math.AT] (2015)
  20. 20.
    Heller, A.: Homotopy theories. Mem. Am. Math. Soc 71(383), vi+78 (1988)MathSciNetGoogle Scholar
  21. 21.
    Heuts, G., Hinich, V., Moerdijk, I.: The Equivalence Between Lurie’s Model and the Dendroidal Model for Infinity-Operads. arXiv:1305.3658 [math.AT] (2015)
  22. 22.
    Hirschhorn, P.S.: Model Categories and Their Localizations, Volume 99 of Mathematical Surveys and 1661 Monographs. American Mathematical Society (2003)Google Scholar
  23. 23.
    Hirschowitz, A., Simpson, C.: Descente pour les \(n\)-champs. arXiv:math/9807049v3 [math.AG], (2001)
  24. 24.
    Joyal, A.: Disks, Duality and \(\Theta \)-Categories. Preprint (1997)Google Scholar
  25. 25.
    Joyal, A.: Quasi-categories and Kan complexes. J. Pure Appl. Algeb. 175(1–3), 207–222 (2002)zbMATHMathSciNetCrossRefGoogle Scholar
  26. 26.
    Joyal, A.: Notes on Quasi-Categories. Preprint (2008)Google Scholar
  27. 27.
    Joyal, A.: The theory of quasi-categories and its applications. Lectures at the CRM (Barcelona). Preprint, (2008)Google Scholar
  28. 28.
    Lurie, J.: Derived Algebraic Geometry II: Noncommutative Algebra. arXiv:math/0702299v5 [math.CT] (2007)
  29. 29.
    Lurie, J.: Higher Topos Theory, Volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton (2009)Google Scholar
  30. 30.
    Lurie, J.: \((\text{ Infinity },2)\)-categories and the Goodwillie calculus I. Preprint, (2009)Google Scholar
  31. 31.
    Lurie, J.: Derived Algebraic Geometry V. VII–XIV, Preprints (2012)Google Scholar
  32. 32.
    Lurie, J.: Higher algebra. Preprint, (2013)Google Scholar
  33. 33.
    Moerdijk, I., Toën, B.: Simplicial methods for operads and algebraic geometry. In: Carles, C., Joachim, K. (eds) Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser/Springer Basel AG, Basel (2010)Google Scholar
  34. 34.
    Moerdijk, I., Weiss, I.: Dendroidal sets. Algeb. Geom. Topol. 7, 1441–1470 (2007)zbMATHMathSciNetCrossRefGoogle Scholar
  35. 35.
    Rezk, C.: A model for the homotopy theory of homotopy theory. Trans. Am. Math. Soc. 353(3), 973–1007 (2001)zbMATHMathSciNetCrossRefGoogle Scholar
  36. 36.
    Rezk, C.: A Cartesian presentation of weak \(n\)-categories. Geom. Topol. 14(1), 521–571 (2010)zbMATHMathSciNetCrossRefGoogle Scholar
  37. 37.
    Rezk, C.: Correction to “A Cartesian presentation of weak \(n\)-categories”. Geom. Topol. 14(4), 2301–2304 (2010)zbMATHMathSciNetCrossRefGoogle Scholar
  38. 38.
    Simpson, C: Some Properties of the Theory of \(n\)-Categories. arXiv:math/0110273v1 [math.CT] (2001)
  39. 39.
    Toën, B.: Vers une axiomatisation de la théorie des catégories supérieures. \(K\)-Theory 34(3), 233–263 (2005)Google Scholar
  40. 40.
    Toën, B., Vezzosi, G.: From HAG to DAG: derived moduli stacks. In: Axiomatic, enriched and motivic homotopy theory, volume 131 of NATO Sci. Ser. II Math. Phys. Chem., pp. 173–216. Kluwer (2004)Google Scholar
  41. 41.
    Toën, B., Vezzosi, G.: Homotopical algebraic geometry. I. Topos theory. Adv. Math. 193(2), 257–372 (2005)zbMATHMathSciNetCrossRefGoogle Scholar
  42. 42.
    Toën, B., Vezzosi, G.: Homotopical algebraic geometry. II. Geometric stacks and applications. Mem. Am. Math. Soc 193(902), x+224 (2008)Google Scholar
  43. 43.
    Weber, M.: Familial 2-functors and parametric right adjoints. Theory Appl. Categ. 18(22), 665–732 (2007)zbMATHMathSciNetGoogle Scholar
  44. 44.
    Weiss, I.: Dendroidal sets. PhD thesis, Utrecht University. Supervised by I. Moerdijk (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Dimitri Ara
    • 1
    Email author
  • Moritz Groth
    • 1
  • Javier J. Gutiérrez
    • 1
  1. 1.Institute for Mathematics, Astrophysics and Particle PhysicsRadboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations