Noah Snyder

Bloomington, Indiana

sbseminar.wordpress.com

Age: 34

Assistant Professor at Indiana University, working on tensor categories and their relationships to operator algebras and topology.
3h
comment Nilpotence of the stable Hopf map via framed cobordism
The 12 seems to big to be easily geometrically explained, but it's enough to just show that the 3-torus is cobordant to $M \coprod M$ for some 3-manifold M.
3h
comment Nilpotence of the stable Hopf map via framed cobordism
@QiaochuYuan: You're right, I forgot that there were primes other than 2. (Or rather, I was looking at the picture for just the 2-part.)
4h
comment Nilpotence of the stable Hopf map via framed cobordism
A closely related fact, which quickly implies this one, is that the 3-torus is cobordant to a disjoint union of four copies of the 3-sphere (with its unit quaternion framing). Since that's just 3-dimensional it might be easier to see.
7h
awarded Nice Question
12h
asked Nilpotence of the stable Hopf map via framed cobordism
Mar
26
awarded Yearling
Mar
26
awarded Yearling
Mar
25
awarded Popular Question
Mar
15
awarded Good Answer
Mar
13
comment How to improve my capacity to follow my advisor's instructions during research?
Have you tried taking notes during your meetings?
Feb
23
comment As a department head, what to do if a professor leaves without giving out grades?
The exams themselves may be stolen property, you might even be able to involve the police if the fugitive is still local. (Again your school's lawyer will know more about this kind of option.)
Feb
23
comment Department not giving me TAships after a dispute with professor, what should I do?
If you have a union, this is exactly the sort of thing they're for.
Feb
18
comment What should I do if a professor says she doesn't understand my questions in office hours?
I assume this answer is referring to the underlying mathematical questions and not to the question asked here.
Feb
17
comment How to proceed with a type-theoretic proof that $\Sigma \mathbb{S}^1 \simeq \mathbb{S}^2$?
I'm a bit confused about what your definition of $\Sigma S^1$ is. I would have expected it to be generated by one point, one 1-loop, and two 2-paths trivializing the 1-loop. But you seem to have two points. Could you clarify your notation a little?
Feb
16
answered How to balance reading the literature and just solving the problem your self?
Feb
15
comment In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?
If your tensor category is finite, then compact projective is the same as projective. In that setting, tensoing a projective by anything is projective, see Prop 2.1 of arxiv.org/abs/math/0301027
Feb
14
awarded Yearling
Feb
14
awarded Yearling
Feb
8
comment Has a subfactor with lattice $B_3$, a singly generated identity biprojection?
In the group/subgroup case what group theoretical statement does this correspond to?
Feb
7
awarded Autobiographer
1 2 3 4 5