Craig Westerland

1,573
Reputation
1380 views
Is this your account?

Registered User 

Name Craig Westerland
Member for 3 years
Seen May 1 at 3:49
Website
Location University of Melbourne
Age
Mar
15
awarded  Yearling
Feb
20
comment Bar construction for spectra
Why is it uninteresting for $S$ to split off of $R$? Doesn't this happen in the case that $R = \Sigma^\infty G_+$ for a group $G$? The associated Tor spectrum $Tor^R(S, S)$ (or derived smash product of $S$ with itself over $R$) will then compute the suspension spectrum of $BG$, certainly an interesting object.
Feb
14
comment Analogue of cyclic homology for e_n-algebras?
This is not a great answer, but you can try to take the factorization homology of the $e_n$-algebra over $S^n$ (perhaps you need to assume that the algebra is framed). Then, since $S^n$ has an action of $SO(n+1)$, you could take the homotopy orbits (or fixed points) of the result. When $n=1$, this returns the usual definition of cyclic homology (or negative cyclic homology). But it's not obvious that this can be expressed in the terms that you're asking for above.
Feb
14
comment In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes
What is the group $G_3$?
Jan
15
comment Spaces parametrizing ramified covers of surfaces
Yeah, sorry, that's right. The setup in my response is appropriate for computing the homology of the moduli space of these branched covers; your setup (fibering over the configuration space) will only use the braid group. And indeed, computing the homology of these spaces even when $\Sigma = \mathbb{R}^2$ is really quite difficult for non-abelian $G$.
Jan
14
comment Spaces parametrizing ramified covers of surfaces
Also, compactifications of these spaces do exist; see, for instance, the work of Abramovich-Corti-Vistoli, amongst others.
Jan
14
answered Spaces parametrizing ramified covers of surfaces
Jan
2
awarded  Nice Question
Jan
2
comment Computing homotopy groups of X such that pi_1(X) has solvable word problem
This is probably missing the point, but of course if $\pi_1(X)$ is finite, the universal cover of $X$ is a finite simply connected simplicial complex with the same higher homotopy groups as $X$; now invoke Brown's result.
Jan
1
comment Rational Morava E-theory of cyclic groups
Nice, thank you!
Jan
1
asked Rational Morava E-theory of cyclic groups
Dec
20
comment Cohomology ring of BG
You can avoid the first spectral sequence if you have another way of talking yourself into believing that the cohomology of $BN$ is the same as the $W$-invariants of $H^*(BT)$, e.g., using the transfer. For the latter spectral sequence, you can use the fact that the Euler class of $G/T$ is nonzero, as Chris Gerig indicates in his answer.
Dec
20
comment Cohomology ring of BG
Oh, maybe this is nonsense -- the 0 dimensional class is the trivial factor in the regular representation, and the 2 dimensional factor is the reduced regular representation. What is subtle here is that how the regular representation knows which summands correspond to which cohomological degrees. I suppose that this should be related to the Bruhat order on the Weyl group.
Dec
20
comment Cohomology ring of BG
Chris, this was my memory, too, but it's hard to imagine that it's exactly true: for the case $G=SU(2)$, $N=\mathbb{Z}/2$ and $G/T=P^1$, whose cohomology is indeed free of rank two. However there's no way that $W$ can act on it by the regular representation, since one generator is in dimension 0, and the other in dimension 2.
Dec
20
comment Cohomology ring of BG
The differences between the power series and polynomial rings in this case depend upon your choice to define $H^\ast(X)$ as either the product or sum over all $n$ of $H^n(X)$.
Dec
20
answered Cohomology ring of BG
Dec
18
accepted Can I compute K theory in Serre fibrations?
Dec
16
comment Can I compute K theory in Serre fibrations?
This may be particularly useful in the case that $B = BG$ is the classifying space of a group whose group ring is easily presented.
Dec
16
comment Can I compute K theory in Serre fibrations?
An addendum about the last suggestion: if it's not $K_{\ast}(B)$ that you're after, but rather $K_{\ast}(E)$, you can back up the fibre sequence by one to $\Omega B \to F \to E$, and run the indicated SS on that.
Dec
16
answered Can I compute K theory in Serre fibrations?
Dec
16
comment Why do we use the diagonal for diagonal approximations ?
Actually, the map $g \mapsto (g, 1)$ induces a product which carries $\alpha \otimes \beta$ to $\alpha$ only when $\beta \in H^0(G)$; otherwise the "product" is $0$.