Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeOct 15th 2013

    Continued from this thread where Charles said

    In the ur-(,1)(\infty,1)-category of topological spaces, we can consider actual commutative monoids, rather than E E_\infty-ones. We obtain the homotopy theory of topological commutative monoids, which of course are of great significance in algebraic topology (since ordinary homology is basically the free abelian group on a space).

    I remember pondering this example at some point, and concluding that strictly commutative topological monoids should be thought of as analogous to strictly-symmetric monoidal categories. I believe it is possible to describe a notion of “strictly-symmetric monoidal category” that is nevertheless “invariant” in that it transports across equivalences of categories – consider pseudo TT-algebras where TT is the 2-monad for strictly-symmetric monoidal categories – but I don’t think it is an operadic structure. Is there an (,1)(\infty,1)-categorical (hence “invariant”) way to describe a notion corresponding to “strictly commutative topological monoid”?

    • CommentRowNumber2.
    • CommentAuthorCharles Rezk
    • CommentTimeOct 15th 2013

    You can encode “strictly commutative monoid” using algebraic theories. In particular, if you have an (,1)(\infty,1)-category CC with products, you obtain a notion of “commutative monoid” in CC, as a product preserving functor TCT\to C, where TT is the theory of commutative monoids. The notion transports along equivalences of (,1)(\infty,1)-categories of course, since such must preserve products.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 15th 2013
    • (edited Oct 15th 2013)

    Oh, thanks for saying this, now I know what you mean (I had had the same worries as Mike voiced).

    This is an important and maybe slightly subtle point, which comes up crucially in derived algebraic geometry. You all know this, but just to recall since it came up: first one may think that the homotopy theory of simplicial algebras is a good model for derived affine schemes. But then one notices that these are the \infty-algebras over just the 1-theory of commutative rings. Better might be the \infty-algebras over the \infty-theory of commutative rings, and these are the E E_\infty-rings. In fact E E_\infty-rings are already the \infty-algebras over the (2,1)(2,1)-theory of commutative rings. But nevertheless, the \infty-alegbras over the 1-theory exist.

    One can see this subtlety of passing from the 1-theory of commutative rings to the (2,1)(2,1)-theory and hence all the way to the (,1)(\infty,1)-theory in much of the derived algebraic literature. Many people actually just work over the 1-theory, hence with simplicial algebras. Except JL of course…

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeOct 16th 2013

    I guess I’m confused; I don’t see how theories encode strict commutativity any more than operads do. In the theory of commutative monoids with objects labeled by the natural numbers, there is a single “addition” operation 212 \to 1, which yields itself when composed with the “switch” isomorphism 222\to 2. But a product-preserving \infty-functor out of this theory will take this commutative triangle to a pseudo-commutative triangle, so that in a model the addition is only commutative up to homotopy. What am I missing?

    • CommentRowNumber5.
    • CommentAuthorCharles Rezk
    • CommentTimeOct 16th 2013

    The theory knows not only about the “addition” operation, but also the “doubling” operation. In an E E_\infty-space (lets think of it as a symmetric monoidal \infty-groupoid), the double xxx\otimes x of a point xx has an automorphism given by the switch, which may be non-trivial. In a commutative monoid, the switch automorphism of xxx\otimes x is made equivalent to the identity.

    Remember that the commuative monoid theory TT is a category with objects=natural numbers, and morphisms T(m,n)=Hom( n, m)T(m,n)=\Hom(\mathbb{N}^n,\mathbb{N}^m); the morphism space is discrete. In the E E_\infty-theory TT', the morphism spaces T(m,n)T'(m,n) have the same π 0\pi_0, but are not discrete (they are products of BΣ kB\Sigma_ks.)

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeOct 16th 2013

    Ah, right. I should have realized that. Where is such an equivalence written down between commutative topological monoids and \infty-models of the theory of commutative monoids?

    Do we have any conceptual understanding of why the (2,1)-theory is already the (,1)(\infty,1)-theory in these cases?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 16th 2013
    • (edited Oct 16th 2013)

    Where is such an equivalence written down between commutative topological monoids and ∞-models of the theory of commutative monoids?

    For simplicial commutative algebras the statement goes back to Quillen’s model structure on simplicial algebras. A discussion in the context of genuine (,1)(\infty,1)-category theory is in section 5.2.2 of HTT. The nLab has this at

    That E E_\infty-rings are \infty-algebras over a (2,1)(2,1)-algebraic theory is reviewed at (2,1)-algebraic theory of E-infinity algebras.

    I suppose the conceptual reason that E E_\infty-algebras are already a (2,1)(2,1)-theory is that the Barratt-Eccles operad is 1-truncated. Of course one might ask “why” the E E_\infty-operad has a cofibrant model by a 1-truncated operad. This I don’t know, I suppose.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 16th 2013

    Surely there are then analogues of the Barratt-Eccles operad where one takes not the groups S kS_k but the automorphism nn-groups of finite (n1)(n-1)-groupoids?