bio | website | math.jhu.edu/~beardsle |
---|---|---|
location | Baltimore, MD | |
age | 27 | |
visits | member for | 3 years, 10 months |
seen | 10 hours ago | |
stats | profile views | 2,225 |
Learning.
Oct 17 |
accepted | Associative Ring Spectra and Derived Completion |
Oct 17 |
comment |
Associative Ring Spectra and Derived Completion
Jacob have you (or anyone else) written down somewhere a proof that it's true under the conditions (on $\pi_0$ and $\pi_1$) that Carlsson gives? |
Oct 17 |
revised |
Associative Ring Spectra and Derived Completion
changed question to reflect comments |
Oct 17 |
comment |
Associative Ring Spectra and Derived Completion
Fair enough. I'll rephrase the question. |
Oct 17 |
asked | Associative Ring Spectra and Derived Completion |
Oct 16 |
comment |
Cohomology of Formal Groups
Yeah totally! I suppose I should also mention that I worked with this structure in a preprint of mine: math.jhu.edu/~beardsle/lubinTateComplex.pdf |
Oct 12 |
comment |
What is an infinite prime in algebraic topology?
I would say the people who could really speak to this are Andrew Salch and Jack Morava, neither of whom are, unfortunately, on MathOverflow. |
Oct 12 |
comment |
What is an infinite prime in algebraic topology?
I haven't heard of anything like this. I suppose in some sense one could try to think of "valuations" as corresponding to Bousfield localizations, or at least, localizations that behave like completion (e.g. localization at HF_p or Morava K-theory). There may be a fruitful analogy to be made here between certain Bousfield localizations and a notion of "valuations" on the sphere spectrum. I guess in some sense topology doesn't SEE the Archimedean place. |
Sep 20 |
accepted | The Image of the Mod 2 Homology of BSp in the Homology of BSO |
Sep 11 |
comment |
Category of modules over commutative monoid in symmetric monoidal category
This sort of stuff is shown in a lot of places that I know of for topological categories, and these things follow as degenerate cases of that, but that's probably overkill. |
Sep 11 |
accepted | Higher coherent multiplicative structures on S-algebras |
Sep 11 |
comment |
Higher coherent multiplicative structures on S-algebras
I see. Ah, that's frustrating. I mean, yeah, I'm interested entirely in $E_2$ and above, but I guess I was hoping this had been worked out. Thanks! |
Sep 11 |
comment |
Higher coherent multiplicative structures on S-algebras
Nah I'm just talking about an $A$-module in the traditional sense. |
Sep 11 |
comment |
Higher coherent multiplicative structures on S-algebras
So it's not clear that one can actually tensor together two $A$-modules and get another $A$-module back, is that what you're saying? |
Sep 11 |
asked | Higher coherent multiplicative structures on S-algebras |
Sep 6 |
comment |
Flat Connections on the Cotangent Complex
Thanks @JasonStarr, at the moment I'm only finding something about the Atiyah class. This seems to be an obstruction to supporting a connection, or something along these lines. Is that what you're referring to? |
Sep 6 |
asked | Flat Connections on the Cotangent Complex |
Aug 28 |
comment |
Why is Set, and not Rel, so ubiquitous in mathematics?
I think the main reason we stick so close to functions is purely historical. Set theory and category theory are natural generalizations of things that already existed - that is, geometry, space and time, as was said above. However, I'd also say that there seems to be a general theme of looking at relation-eqsue objects when one starts working with motives. That is, subsets of $X\times Y$ satisfying some property, rather than functions $X\to Y$. |
Aug 24 |
comment |
Can formal logic give a precise notion of “canonical”?
I am not a logician, but I agree with @DavidCorwin here. It's clear that there are lots of logical ways to pick one shoe over the other, but that seems to be missing the point. It's like working with objects versus pointed objects. However, this seems like a tacitly illogical state of affairs, in that by asking to pick one "over" the other, you're assigning value in some way, which seems a little non-mathematical. |
Aug 24 |
answered | Higher Degree Data in a Cosimplicial Quasicategory and Delooping |