modeling stable one-types - niles johnson · modeling stable one-types ang elica osorno university...
TRANSCRIPT
![Page 1: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/1.jpg)
Modeling stable One-types
Angelica Osorno
University of Chicago
January 7, 2012
joint with Niles Johnson
Angelica Osorno (UofC) Stable 1-types January 7, 2012 1 / 13
![Page 2: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/2.jpg)
n-types
Definition
A homotopy n-type X is a space such that for all i ě n and x P X ,
πi pX , xq “ 0
.
Goal
Classify homotopy n-types algebraically.
A lot of work has been done in this field:
Whitehead: groups (connected 1-types), crossed modules (connected2-types)
Loday: cat-n-groups
Conduche: crossed modules of length two
Baues: identifying specific data
Angelica Osorno (UofC) Stable 1-types January 7, 2012 2 / 13
![Page 3: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/3.jpg)
n-types
Definition
A homotopy n-type X is a space such that for all i ě n and x P X ,
πi pX , xq “ 0
.
Goal
Classify homotopy n-types algebraically.
A lot of work has been done in this field:
Whitehead: groups (connected 1-types), crossed modules (connected2-types)
Loday: cat-n-groups
Conduche: crossed modules of length two
Baues: identifying specific data
Angelica Osorno (UofC) Stable 1-types January 7, 2012 2 / 13
![Page 4: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/4.jpg)
n-types
Definition
A homotopy n-type X is a space such that for all i ě n and x P X ,
πi pX , xq “ 0
.
Goal
Classify homotopy n-types algebraically.
A lot of work has been done in this field:
Whitehead: groups (connected 1-types), crossed modules (connected2-types)
Loday: cat-n-groups
Conduche: crossed modules of length two
Baues: identifying specific data
Angelica Osorno (UofC) Stable 1-types January 7, 2012 2 / 13
![Page 5: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/5.jpg)
n-types
Definition
A homotopy n-type X is a space such that for all i ě n and x P X ,
πi pX , xq “ 0
.
Goal
Classify homotopy n-types algebraically.
A lot of work has been done in this field:
Whitehead: groups (connected 1-types), crossed modules (connected2-types)
Loday: cat-n-groups
Conduche: crossed modules of length two
Baues: identifying specific data
Angelica Osorno (UofC) Stable 1-types January 7, 2012 2 / 13
![Page 6: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/6.jpg)
Homotopy hypothesis
Grothendieck’s homotopy hypothesis
“Weak n-groupoids model homotopy n-types”
For n “ 1, there is an equivalence of homotopy categories:
B : HopGpdq Õ HopTopď1q : Π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 3 / 13
![Page 7: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/7.jpg)
Homotopy hypothesis
Grothendieck’s homotopy hypothesis
“Weak n-groupoids model homotopy n-types”
For n “ 1, there is an equivalence of homotopy categories:
B : HopGpdq Õ HopTopď1q : Π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 3 / 13
![Page 8: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/8.jpg)
Stable homotopy n-types
Definition
A connective stable homotopy n-type is a spectrum X such that for alli ą n and i ă 0
πi pX q “ 0.
We denote by Sn0 the full subcategory of the category of spectra given by
the connective stable n-types.
Guess for an algebraic model
unstable 1-types Ø groupoids
E8 spaces Ø symmetric monoidal
group-like Ø invertible objects
Angelica Osorno (UofC) Stable 1-types January 7, 2012 4 / 13
![Page 9: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/9.jpg)
Stable homotopy n-types
Definition
A connective stable homotopy n-type is a spectrum X such that for alli ą n and i ă 0
πi pX q “ 0.
We denote by Sn0 the full subcategory of the category of spectra given by
the connective stable n-types.
Guess for an algebraic model
unstable 1-types Ø groupoids
E8 spaces Ø symmetric monoidal
group-like Ø invertible objects
Angelica Osorno (UofC) Stable 1-types January 7, 2012 4 / 13
![Page 10: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/10.jpg)
Picard groupoids
Definition
A Picard groupoid C is a symmetric monoidal groupoid such that allobjects are invertible.
Theorem
The functors Π1 : S10 Ñ Pic and B : Pic Ñ S1
0 induce an equivalence ofhomotopy categories.
Question: how can we see the Postnikov data?
π0C :“ obC –
π1C :“ CpI , I q
The functors B and Π1 preserve the abelian groups π0 and π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 5 / 13
![Page 11: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/11.jpg)
Picard groupoids
Definition
A Picard groupoid C is a symmetric monoidal groupoid such that allobjects are invertible.
Theorem
The functors Π1 : S10 Ñ Pic and B : Pic Ñ S1
0 induce an equivalence ofhomotopy categories.
Question: how can we see the Postnikov data?
π0C :“ obC –
π1C :“ CpI , I q
The functors B and Π1 preserve the abelian groups π0 and π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 5 / 13
![Page 12: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/12.jpg)
Picard groupoids
Definition
A Picard groupoid C is a symmetric monoidal groupoid such that allobjects are invertible.
Theorem
The functors Π1 : S10 Ñ Pic and B : Pic Ñ S1
0 induce an equivalence ofhomotopy categories.
Question: how can we see the Postnikov data?
π0C :“ obC –
π1C :“ CpI , I q
The functors B and Π1 preserve the abelian groups π0 and π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 5 / 13
![Page 13: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/13.jpg)
Picard groupoids
Definition
A Picard groupoid C is a symmetric monoidal groupoid such that allobjects are invertible.
Theorem
The functors Π1 : S10 Ñ Pic and B : Pic Ñ S1
0 induce an equivalence ofhomotopy categories.
Question: how can we see the Postnikov data?
π0C :“ obC –
π1C :“ CpI , I q
The functors B and Π1 preserve the abelian groups π0 and π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 5 / 13
![Page 14: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/14.jpg)
Picard groupoids
Definition
A Picard groupoid C is a symmetric monoidal groupoid such that allobjects are invertible.
Theorem
The functors Π1 : S10 Ñ Pic and B : Pic Ñ S1
0 induce an equivalence ofhomotopy categories.
Question: how can we see the Postnikov data?
π0C :“ obC –
π1C :“ CpI , I q
The functors B and Π1 preserve the abelian groups π0 and π1.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 5 / 13
![Page 15: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/15.jpg)
The k-invariant
The remaining data for a stable 1-type X is the k-invariant
k0 P rK pπ0X , 0q,K pπ1X , 2qsst – Hompπ0X 2π0X , π1X q,
which corresponds toη˚ : π0X Ñ π1X .
Angelica Osorno (UofC) Stable 1-types January 7, 2012 6 / 13
![Page 16: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/16.jpg)
Theorem (Sinh)
A Picard groupoid C is equivalent to a sekeletal Picard groupoid defineduniquely by the following data:
The abelian groups π0C, π1C,
a cocycle h P C 3pπ0C, π1Cq, defined by the associativity ismorphism;
a function c : pπ0Cq2 Ñ π1C, defined by the symmetry isomorphism.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 7 / 13
![Page 17: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/17.jpg)
Theorem (Sinh)
A Picard groupoid C is equivalent to a sekeletal Picard groupoid defineduniquely by the following data:
The abelian groups π0C, π1C,
a cocycle h P C 3pπ0C, π1Cq, defined by the associativity ismorphism;
a function c : pπ0Cq2 Ñ π1C, defined by the symmetry isomorphism.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 7 / 13
![Page 18: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/18.jpg)
Theorem (Sinh)
A Picard groupoid C is equivalent to a sekeletal Picard groupoid defineduniquely by the following data:
The abelian groups π0C, π1C,
a cocycle h P C 3pπ0C, π1Cq, defined by the associativity ismorphism;
a function c : pπ0Cq2 Ñ π1C, defined by the symmetry isomorphism.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 7 / 13
![Page 19: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/19.jpg)
Theorem (Sinh)
A Picard groupoid C is equivalent to a sekeletal Picard groupoid defineduniquely by the following data:
The abelian groups π0C, π1C,
a cocycle h P C 3pπ0C, π1Cq, defined by the associativity ismorphism;
a function c : pπ0Cq2 Ñ π1C, defined by the symmetry isomorphism.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 7 / 13
![Page 20: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/20.jpg)
Theorem
A Picard groupoid C is equivalent to a skeletal and strict Picard groupoid,with objects given by π0C, automorphisms given by π1C and symmetryisomorphism defined by the quadratic map
π0C Ñ π1C,x ÞÑ cpx , xq.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 8 / 13
![Page 21: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/21.jpg)
The truncated sphere spectrum
Let S be the skeletal Picard groupoid with obS “ Z,
Spm, nq “
#
0 if m ‰ n
Z2 if m “ n,
with symmetry isomorphism:
cm,n “
#
0 if mn is even
1 if mn is odd.
Let E be the symmetric monoidal category of finite pointed sets andisomorphisms. There is a symmetric monoidal functor
E Ñ S.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 9 / 13
![Page 22: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/22.jpg)
The truncated sphere spectrum
Let S be the skeletal Picard groupoid with obS “ Z,
Spm, nq “
#
0 if m ‰ n
Z2 if m “ n,
with symmetry isomorphism:
cm,n “
#
0 if mn is even
1 if mn is odd.
Let E be the symmetric monoidal category of finite pointed sets andisomorphisms. There is a symmetric monoidal functor
E Ñ S.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 9 / 13
![Page 23: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/23.jpg)
The truncated sphere spectrum
Let S be the skeletal Picard groupoid with obS “ Z,
Spm, nq “
#
0 if m ‰ n
Z2 if m “ n,
with symmetry isomorphism:
cm,n “
#
0 if mn is even
1 if mn is odd.
Let E be the symmetric monoidal category of finite pointed sets andisomorphisms. There is a symmetric monoidal functor
E Ñ S.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 9 / 13
![Page 24: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/24.jpg)
Theorem
The space BS is the 1-truncation of the zeroth space of the spherespectrum.
Proof.
BE //
BS.
ΩBpBEqD
::
The diagonal map is an isomorphism on π0 and π1.
Note: We can also describe a bipermutative structure on S such that BSis the 1-truncation of the zeroth space of the sphere spectrum in thecategory of E8 ring spaces.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 10 / 13
![Page 25: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/25.jpg)
Theorem
The space BS is the 1-truncation of the zeroth space of the spherespectrum.
Proof.
BE //
BS.
ΩBpBEqD
::
The diagonal map is an isomorphism on π0 and π1.
Note: We can also describe a bipermutative structure on S such that BSis the 1-truncation of the zeroth space of the sphere spectrum in thecategory of E8 ring spaces.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 10 / 13
![Page 26: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/26.jpg)
Theorem
The space BS is the 1-truncation of the zeroth space of the spherespectrum.
Proof.
BE //
BS.
ΩBpBEqD
::
The diagonal map is an isomorphism on π0 and π1.
Note: We can also describe a bipermutative structure on S such that BSis the 1-truncation of the zeroth space of the sphere spectrum in thecategory of E8 ring spaces.
Angelica Osorno (UofC) Stable 1-types January 7, 2012 10 / 13
![Page 27: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/27.jpg)
The homotopy cofiber
Let F : C Ñ D by a symmetric monoidal functor between Picard groupoids.
CokerpF q (Vitale)
Let CokerpF q be the bigroupoid:
1 obCokerpF q “ D.
2 The 1-cells X Ñ Y are pairs pf ,Nq, where
XfÝÑ Y b F pNq
3 The 2-cells between pf ,Nq and pf 1,N 1q are morphisms α : N Ñ N 1 ofC such that :
Xf
zz
f 1
$$Y b F pNq
1bF pαq// Y b F pN 1q
Angelica Osorno (UofC) Stable 1-types January 7, 2012 11 / 13
![Page 28: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/28.jpg)
The homotopy cofiber
Let F : C Ñ D by a symmetric monoidal functor between Picard groupoids.
CokerpF q (Vitale)
Let CokerpF q be the bigroupoid:
1 obCokerpF q “ D.
2 The 1-cells X Ñ Y are pairs pf ,Nq, where
XfÝÑ Y b F pNq
3 The 2-cells between pf ,Nq and pf 1,N 1q are morphisms α : N Ñ N 1 ofC such that :
Xf
zz
f 1
$$Y b F pNq
1bF pαq// Y b F pN 1q
Angelica Osorno (UofC) Stable 1-types January 7, 2012 11 / 13
![Page 29: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/29.jpg)
The homotopy cofiber
Let F : C Ñ D by a symmetric monoidal functor between Picard groupoids.
CokerpF q (Vitale)
Let CokerpF q be the bigroupoid:
1 obCokerpF q “ D.
2 The 1-cells X Ñ Y are pairs pf ,Nq, where
XfÝÑ Y b F pNq
3 The 2-cells between pf ,Nq and pf 1,N 1q are morphisms α : N Ñ N 1 ofC such that :
Xf
zz
f 1
$$Y b F pNq
1bF pαq// Y b F pN 1q
Angelica Osorno (UofC) Stable 1-types January 7, 2012 11 / 13
![Page 30: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/30.jpg)
The homotopy cofiber
Let F : C Ñ D by a symmetric monoidal functor between Picard groupoids.
CokerpF q (Vitale)
Let CokerpF q be the bigroupoid:
1 obCokerpF q “ D.
2 The 1-cells X Ñ Y are pairs pf ,Nq, where
XfÝÑ Y b F pNq
3 The 2-cells between pf ,Nq and pf 1,N 1q are morphisms α : N Ñ N 1 ofC such that :
Xf
zz
f 1
$$Y b F pNq
1bF pαq// Y b F pN 1q
Angelica Osorno (UofC) Stable 1-types January 7, 2012 11 / 13
![Page 31: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/31.jpg)
Theorem
The bigroupoid CokerpF q is symmetric monoidal, and all objects areweakly invertible, i.e., it is a Picard bigroupoid.
There is a canonicalsymmetric monoidal functor
cF : D Ñ CokerpF q
that induces a long exact sequence
0 // π2CokerpF q // π1C // π1D
// π1CokerpF q // π0C // π0D // π0CokerpF q // 0
Corollary
The classifying space BCokerpF q is a model for the homotopy cofiber ofBF .
Angelica Osorno (UofC) Stable 1-types January 7, 2012 12 / 13
![Page 32: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/32.jpg)
Theorem
The bigroupoid CokerpF q is symmetric monoidal, and all objects areweakly invertible, i.e., it is a Picard bigroupoid. There is a canonicalsymmetric monoidal functor
cF : D Ñ CokerpF q
that induces a long exact sequence
0 // π2CokerpF q // π1C // π1D
// π1CokerpF q // π0C // π0D // π0CokerpF q // 0
Corollary
The classifying space BCokerpF q is a model for the homotopy cofiber ofBF .
Angelica Osorno (UofC) Stable 1-types January 7, 2012 12 / 13
![Page 33: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/33.jpg)
Theorem
The bigroupoid CokerpF q is symmetric monoidal, and all objects areweakly invertible, i.e., it is a Picard bigroupoid. There is a canonicalsymmetric monoidal functor
cF : D Ñ CokerpF q
that induces a long exact sequence
0 // π2CokerpF q // π1C // π1D
// π1CokerpF q // π0C // π0D // π0CokerpF q // 0
Corollary
The classifying space BCokerpF q is a model for the homotopy cofiber ofBF .
Angelica Osorno (UofC) Stable 1-types January 7, 2012 12 / 13
![Page 34: Modeling stable One-types - Niles Johnson · Modeling stable One-types Ang elica Osorno University of Chicago January 7, 2012 joint with Niles Johnson Ang elica Osorno (UofC) Stable](https://reader033.vdocuments.mx/reader033/viewer/2022041721/5e4e8cb7404cdf42724e6003/html5/thumbnails/34.jpg)
Looking into the future
Use similar ideas to model stable2-types (n-types?) with Picardbigroupoids (n-groupoids?).
Angelica Osorno (UofC) Stable 1-types January 7, 2012 13 / 13