Reputation
3,017
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 12 30
Newest
 Socratic
Impact
~49k people reached

  • 0 posts edited
  • 0 helpful flags
  • 399 votes cast
2d
reviewed Approve Lyapunov exponents of Lorenz63 and Lorenz96 system
Apr
25
comment Local “pathologies” in spaces arising naturally in algebraic topology
I definitely don't know everyone in algebraic topology, but it seems like pretty much everyone working in stable homotopy theory only works with simplicial sets or CW complexes.
Apr
21
reviewed Approve Maximum of the Vandermonde determinant / minimum of the logarithmic energy
Apr
8
comment Can we just use effective descent morphisms (pure morphisms) as covers?
It may be that the induced topology is just not subcanonical, since it would be quite strong (stronger than fpqc I think).
Apr
8
comment Can we just use effective descent morphisms (pure morphisms) as covers?
Yeah basically. You'd need to at least prove that given a pure morphism $Spec(R)\to Spec(S)$ and a map $Spec(R)\to Spec(T)$ such that the pair of pulled back maps $Spec(R\otimes_S R)\to Spec(T)$ agree, you get a unique map $Spec(S)\to Spec(T)$.
Apr
8
awarded  Socratic
Apr
7
revised Can we just use effective descent morphisms (pure morphisms) as covers?
added 271 characters in body
Apr
7
asked Can we just use effective descent morphisms (pure morphisms) as covers?
Mar
18
reviewed Approve variance of log of ratio of chi-square variables
Mar
14
comment Classification of Hopf-Galois Extensions as Torsors
Also just found this. Section 8 seems to indicate one needs a "centrality" condition, but perhaps you are working with commutative rings anyway. arxiv.org/pdf/q-alg/9707022.pdf
Feb
24
accepted Thom Spectra and Hopf-Galois Extensions of Ring Spectra
Feb
24
answered Thom Spectra and Hopf-Galois Extensions of Ring Spectra
Feb
24
comment Does the Amitsur complex have a universal property?
@MarcHoyois ah okay. Yeah, I think I do know how to do this in that case, since you can iteratively build the Amitsur complex. I recall Clark Barwick saying at some point that there's a unique map from the free monoidal category with an algebra to associative ring spectra that picks out the Amitsur complex, and that it's unique. But I don't know where this is written down.
Feb
24
comment Does the Amitsur complex have a universal property?
Thanks @MarcHoyois do you know to what degree this holds for, say, ring spectra, commutative or not?
Feb
24
asked Does the Amitsur complex have a universal property?
Feb
23
reviewed Approve Berry-Esseen bound for martingale sequence with varying and dependent variances
Jan
28
reviewed Approve What is the mathematical significance of the IHES logo?
Jan
27
accepted Non-Cartesian Monoidal Model Structure on a Slice Category
Jan
27
comment Non-Cartesian Monoidal Model Structure on a Slice Category
Thanks so much Alexander! This is really great! I could find very little about this construction anywhere in the literature, but it seemed like something that should obviously be doable, or at least discussable.
Jan
27
comment Non-Cartesian Monoidal Model Structure on a Slice Category
@ToddTrimble maybe I should get back over there! Haven't been on the forum in a really long time, but I seem to be wading into more and more categorical stuff recently (e.g. categories of operators, multicategories, the above).