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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology 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).

nLab > Latest Changes: condensed E-infinity ring

Bottom of Page

1 to 7 of 7

  1.  

  1. Page created, but author did not leave any comments.

    Anonymous

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 28th 2022

    If possible, please add some indication on where this is headed; Some construction or further development where it’s important that the E ∞E_\infty-rings are condensed.

    A reference would be great, for instance, where one might see condensed E ∞E_\infty-rings in action.

    Without any such indication, it feels a little hollow to churn out entries on “condensed Xs” as X varies.

    • CommentRowNumber3.
    • CommentAuthorGuest
    • CommentTimeMay 28th 2022

    I’m not sure what the motivation for the original author was, but Peter Scholze writes on page 44 in his Lectures on condensed mathematics about his definition of a type of condensed ring called pre-analytic rings:

    This definition is in some ways preliminary. In particular, one should allow the pre-analytic ring to be “derived”, i.e. AA may be a simplicial ring and A[S]A[S] a simplicial module (as usual, simplicial objects are considered here as objects of the appropriate ∞\infty-category, obtained by inverting homotopy equivalences). Only with this extra flexibility a good general theory can be developed. In that generality, one loses the property that the relevant “derived categories” are actually the derived category of their heart, as usual in the context of modules over simplicial rings; the rest of the discussion below immediately extends.

    However, simplicial abelian groups model connective spectra in ∞Grpd\infty Grpd if I remember correctly, rather than general spectra, so I think the simplicial rings considered here by Scholze only model connective A ∞A_\infty-rings. Similarly with the simplicial modules.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2022

    I’m not sure what the motivation for the original author was

    What’s your motivation with the entry (condensed E-infinity ring)? Do you have an example in mind? An application? Some comment on the definition? Any of that would be good to add to the entry! Even just an outlook would be good. Maybe one wants to announce that all of XYZ theory is eventually better done with condensed E ∞E_\infty-rings? I have some vague ideas about that, but I’d be interested in hearing what you think is the case.

    However, simplicial abelian groups model connective spectra

    Connectivity is the least worry here, one can pass to the stable Dold-Kan correspondence to go unbounded. But no matter if connective or not, simplicial abelian groups capture only the HℤH \mathbb{Z}-module spectra, and this are equivalently just the chain complexes known from homological algebra.

    (The reason why Lurie’s “Derived Algebraic Geometry” program was eventually renamed to “Spectral Algebraic Geometry” was, I gather, to better highlight that spectra are so much richer than dg- and simplicial abelian structures.)

  5. added ideas section

    Anonymous

    diff, v2, current

  6. fixing definition according to this comment

    Anonymous

    diff, v3, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 30th 2022

    Same discussion applies as we had in the other thread here.

    I have added a first sentence of the form we had agreed there, and I have removed this line:

    While Peter Scholze’s presentations of condensed mathematics only talks about H-ℤ\mathbb{Z}-module spectra in derived geometry, theoretically one should be able to extend it to general spectra in spectral geometry.

    Because it seems that Peter’s lecture never mentions HℤH\mathbb{Z}-module spectra! In but a footnote it vaguely mentions simplicial abelian groups. From there I had pointed out to you that these may be thought of as presenting HℤH\mathbb{Z}-module spectra.

    diff, v4, current

1 to 7 of 7

  1.