No More Posts Available.

No more pages to load.

    • Source: H-object

      • In mathematics, specifically homotopical algebra, an H-object is a categorical generalization of an H-space, which can be defined in any category





      C




      {\displaystyle {\mathcal {C}}}

      with a product



      Ɨ


      {\displaystyle \times }

      and an initial object



      āˆ—


      {\displaystyle *}

      . These are useful constructions because they help export some of the ideas from algebraic topology and homotopy theory into other domains, such as in commutative algebra and algebraic geometry.


      Definition


      In a category





      C




      {\displaystyle {\mathcal {C}}}

      with a product



      Ɨ


      {\displaystyle \times }

      and initial object



      āˆ—


      {\displaystyle *}

      , an H-object is an object



      X
      āˆˆ

      Ob

      (


      C


      )


      {\displaystyle X\in {\text{Ob}}({\mathcal {C}})}

      together with an operation called multiplication together with a two sided identity. If we denote




      u

      X


      :
      X
      ā†’
      āˆ—


      {\displaystyle u_{X}:X\to *}

      , the structure of an H-object implies there are maps







      Īµ



      :
      āˆ—
      ā†’
      X




      Ī¼



      :
      X
      Ɨ
      X
      ā†’
      X






      {\displaystyle {\begin{aligned}\varepsilon &:*\to X\\\mu &:X\times X\to X\end{aligned}}}

      which have the commutation relations



      Ī¼
      (
      Īµ
      āˆ˜

      u

      X


      ,
      i

      d

      X


      )
      =
      Ī¼
      (
      i

      d

      X


      ,
      Īµ
      āˆ˜

      u

      X


      )
      =
      i

      d

      X




      {\displaystyle \mu (\varepsilon \circ u_{X},id_{X})=\mu (id_{X},\varepsilon \circ u_{X})=id_{X}}



      Examples




      = Magmas

      =
      All magmas with units are H-objects in the category





      Set




      {\displaystyle {\textbf {Set}}}

      .


      = H-spaces

      =
      Another example of H-objects are H-spaces in the homotopy category of topological spaces




      Ho

      (


      Top


      )


      {\displaystyle {\text{Ho}}({\textbf {Top}})}

      .


      = H-objects in homotopical algebra

      =
      In homotopical algebra, one class of H-objects considered were by Quillen while constructing AndrĆ©ā€“Quillen cohomology for commutative rings. For this section, let all algebras be commutative, associative, and unital. If we let



      A


      {\displaystyle A}

      be a commutative ring, and let



      A
      āˆ–
      R


      {\displaystyle A\backslash R}

      be the undercategory of such algebras over



      A


      {\displaystyle A}

      (meaning



      A


      {\displaystyle A}

      -algebras), and set



      (
      A
      āˆ–
      R
      )

      /

      B


      {\displaystyle (A\backslash R)/B}

      be the associatived overcategory of objects in



      A
      āˆ–
      R


      {\displaystyle A\backslash R}

      , then an H-object in this category



      (
      A
      āˆ–
      R
      )

      /

      B


      {\displaystyle (A\backslash R)/B}

      is an algebra of the form



      B
      āŠ•
      M


      {\displaystyle B\oplus M}

      where



      M


      {\displaystyle M}

      is a



      B


      {\displaystyle B}

      -module. These algebras have the addition and multiplication operations







      (
      b
      āŠ•
      m
      )
      +
      (

      b
      ā€²

      āŠ•

      m
      ā€²

      )



      =
      (
      b
      +

      b
      ā€²

      )
      āŠ•
      (
      m
      +

      m
      ā€²

      )




      (
      b
      āŠ•
      m
      )
      ā‹…
      (

      b
      ā€²

      āŠ•

      m
      ā€²

      )



      =
      (
      b

      b
      ā€²

      )
      āŠ•
      (
      b

      m
      ā€²

      +

      b
      ā€²

      m
      )






      {\displaystyle {\begin{aligned}(b\oplus m)+(b'\oplus m')&=(b+b')\oplus (m+m')\\(b\oplus m)\cdot (b'\oplus m')&=(bb')\oplus (bm'+b'm)\end{aligned}}}

      Note that the multiplication map given above gives the H-object structure



      Ī¼


      {\displaystyle \mu }

      . Notice that in addition we have the other two structure maps given by








      u

      B
      āŠ•
      M


      (
      b
      āŠ•
      m
      )



      =
      b




      Īµ
      (
      b
      )



      =
      b
      āŠ•
      0






      {\displaystyle {\begin{aligned}u_{B\oplus M}(b\oplus m)&=b\\\varepsilon (b)&=b\oplus 0\end{aligned}}}

      giving the full H-object structure. Interestingly, these objects have the following property:





      Hom


      (
      A
      āˆ–
      R
      )

      /

      B


      (
      Y
      ,
      B
      āŠ•
      M
      )
      ā‰…


      Der


      A


      (
      Y
      ,
      M
      )


      {\displaystyle {\text{Hom}}_{(A\backslash R)/B}(Y,B\oplus M)\cong {\text{Der}}_{A}(Y,M)}

      giving an isomorphism between the



      A


      {\displaystyle A}

      -derivations of



      Y


      {\displaystyle Y}

      to



      M


      {\displaystyle M}

      and morphisms from



      Y


      {\displaystyle Y}

      to the H-object



      B
      āŠ•
      M


      {\displaystyle B\oplus M}

      . In fact, this implies



      B
      āŠ•
      M


      {\displaystyle B\oplus M}

      is an abelian group object in the category



      (
      A
      āˆ–
      R
      )

      /

      B


      {\displaystyle (A\backslash R)/B}

      since it gives a contravariant functor with values in Abelian groups.


      See also


      AndrĆ©ā€“Quillen cohomology
      Cotangent complex
      H-space


      References

    Kata Kunci Pencarian: