User cdouglas - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T16:58:03Z http://mathoverflow.net/feeds/user/288 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69251/is-mac-lane-still-the-best-place-to-learn-category-theory Is Mac Lane still the best place to learn category theory? cdouglas 2011-07-01T11:26:34Z 2012-12-03T12:39:47Z <p>For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ... </p> <blockquote> <p>Is Mac Lane still the best place to start?</p> </blockquote> <p>Or has the day arrived when it is possible to directly learn ($\infty$,n)-categories, without first learning ordinary category theory? (So the next generation will be, so to speak, natively derived.) If so, via what route? If not, what's the most efficient path through the classical core material to a modern perspective?</p> http://mathoverflow.net/questions/2328/when-does-the-converse-to-schurs-lemma-hold When does the converse to Schur's Lemma hold? cdouglas 2009-10-24T18:28:58Z 2012-09-17T20:41:41Z <p>Let $R$ be a commutative ring, let $A$ be an $R$-algebra, and let $M$ be an $A$-module. If $M$ is simple, then End<code>$_{A-mod}(M)$</code> is a division ring.</p> <p>A common use is when $R$ is the complex numbers $\mathbb{C}$, and $M$ is such that End<code>$_{A-mod}(M)$</code> is finite dimensional. Then End<code>$_{A-mod}(M) = \mathbb{C}$</code>.</p> <p>Under what circumstances (regarding $R$ and/or $A$) is the converse true, that the endomorphism ring being a division ring, or being just $R$ itself, implies that $M$ is simple?</p> http://mathoverflow.net/questions/101018/geometric-interpretations-of-homotopy-theoretical-constructions/101024#101024 Answer by cdouglas for Geometric Interpretations of Homotopy Theoretical Constructions cdouglas 2012-06-30T23:05:55Z 2012-06-30T23:05:55Z <p>Though it is often satisfying and useful to have an appropriate way to visualize a construction, in fact the real innovation in homotopy theory that lead to the constructions you mention, among many others, was the realization that you need not limit your attention to geometric, visualizable operations and spaces but can be content knowing only certain relevant properties. </p> <p>This realization led to what Mike Hopkins (and perhaps others before him) called <em>designer homotopy theory</em>. The simplest example of a designer homotopy type is the Eilenberg-MacLane spaces---once you convince yourself they exist, you don't concern yourself with what they look like (a horrendous infinite CW complex, perhaps), but use only their characteristic relationship to homotopy groups. Needless to say this particular example led to spectacular advances in the hands of Serre and others.</p> http://mathoverflow.net/questions/100129/what-is-the-first-interesting-matric-toda-bracket-in-the-stable-homotopy-of-the-s What is the first interesting matric Toda bracket in the stable homotopy of the sphere? cdouglas 2012-06-20T13:02:54Z 2012-06-20T13:02:54Z <p>Feel free to gloss interesting' as you see fit. One way: </p> <blockquote> <p>1. What is the lowest degree matric Toda bracket in $\pi_*(S)$ that doesn't contain zero?</p> </blockquote> <p>By degree', I mean total homotopical degree, i.e. the $*$ in $\pi_*$. By matric' I mean to exclude ordinary Toda brackets, that is matric Toda brackets all of whose entries are one-by-one matrices, and also to exclude brackets that are trivially determined by ordinary Toda brackets.</p> <p>I'm also interested in the title question with first' replaced by simplest'. For instance: </p> <blockquote> <p>2. What is the lowest order matric Toda bracket in $\pi_*(S)$, all of whose matrix entries are sums of products of Hopf elements, that doesn't contain zero?</p> </blockquote> <p>By order' I mean the number of entries in the bracket, i.e. whether it is 3-fold or 4-fold or 5-fold or ... .</p> <p>Now I'd like to know the same, but with the proviso that the bracket be detectable in the classical Adams spectral sequence: </p> <blockquote> <p>3. What is the first or simplest, interesting matric Toda bracket in $\pi_*(S)$ that is detectable in the $\mathrm{E}_2$ term of the classical Adams spectral sequence?</p> </blockquote> <p>Some remarks: </p> <ul> <li>I believe the matric Massey product $\langle h_2^2, h_0, \left(\begin{array}{cc} h_1 h_3 &amp; h_2^2 \end{array} \right), \left(\begin{array}{c} h_1 \\ h_2 \end{array}\right)\rangle$ in the $\mathrm{E}_2$ term of the Adams spectral sequence is the class $e_0$, but that is not a permanent cycle. </li> <li>Kochman lists the matric Toda bracket $\langle \sigma, \left(\begin{array}{cc} A[31] &amp; \nu\end{array}\right),\left(\begin{array}{cc} \eta &amp; 0 \\ 0 &amp; \eta \end{array}\right),\left(\begin{array}{c} \nu \\ \eta A[30] \end{array}\right)\rangle$ in degree 44 as containing an element of order 8, where $A[30]$ and $A[31]$ refer to certain elements of order 2 in those degrees.</li> </ul> http://mathoverflow.net/questions/98229/is-the-4-line-of-the-e-2-term-of-the-classical-adams-spectral-sequence-known Is the 4-line of the E_2 term of the classical Adams spectral sequence known? cdouglas 2012-05-28T23:14:18Z 2012-05-29T07:33:26Z <p>In other words:</p> <blockquote> <p>What is $\mathrm{Ext}_{\mathcal{A}}^{4,t}(\mathbb{Z}/2,\mathbb{Z}/2)$?</p> </blockquote> <p>If the 4-line is not known, how much is known about it?</p> <p>Here, $\mathcal{A}$ is the 2-primary Steenrod algebra, $4$ is the homological degree corresponding to the Adams filtration, and $t$ is the internal grading degree. Those $\mathrm{Ext}$ groups make up the fourth row of the classical Adams spectral sequence $E_2 = \mathrm{Ext}_{\mathcal{A}}^{s,t}(\mathbb{Z}/2,\mathbb{Z}/2)$ converging to the 2-adic completion of the $(t-s)^{\mathrm{th}}$ stable homotopy group of the sphere.</p> <p>For context, </p> <ul> <li>the 1-line is generated by the classes $h_i$, $i \geq 0$, ($\mathrm{deg}\: h_i = (1,2^i)$), </li> <li>the 2-line is generated by the product classes $h_i h_j$, subject to the relations $h_i h_{i+1} = 0$ and $h_i h_j = h_j h_i$,</li> <li><p>the 3-line is generated by two sets of classes, </p> <ol> <li>the product classes $h_i h_j h_k$, subject to the relations implied by $h_i h_{i+2}^2 = 0$, $h_{i+1}^3 = h_i^2 h_{i+2}$, $h_i h_{i+1} = 0$, and $h_i h_j = h_j h_i$, </li> <li>the Massey products $\langle h_{i+1},h_i,h_{i+2}^2 \rangle$.</li> </ol></li> </ul> http://mathoverflow.net/questions/64370/simplest-examples-of-rings-that-are-not-isomorphic-to-their-opposites/64388#64388 Answer by cdouglas for Simplest examples of rings that are not isomorphic to their opposites cdouglas 2011-05-09T13:34:54Z 2011-05-09T13:34:54Z <p>A particularly simple example of an algebra not isomorphic to its (graded) opposite is the $\mathbb{R}$-algebra $\mathbb{C}$, where $1$ is even and $i$ is odd. This is the ($\mathbb{Z}/2$-graded) real Clifford algebra $Cl(-1) = \langle f \mid f^2 = -1 \rangle$. Its opposite is the Clifford algebra $Cl(1) = \langle e \mid e^2 = 1 \rangle$, whose underlying ungraded algebra is isomorphic to $\mathbb{R} \oplus \mathbb{R}$.</p> <p>Per the discussion in the other answers, these two algebras represent $1$ and $-1 = 7$ in the graded Brauer group $\mathbb{Z}/8$ of $\mathbb{R}$.</p> http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down/63459#63459 Answer by cdouglas for Ideas on how to prevent a department from being shut down. cdouglas 2011-04-29T18:45:01Z 2011-04-29T18:45:01Z <p>Petitions can carry more weight when they are part of a personalized effort including other forms of appeal, particularly:</p> <ul> <li>Letters</li> <li>Phone calls</li> </ul> <p>You could provide the community (here on MO, and on the AT list, and at SBS) the address and phone number of a key decision maker or administrative body in this process (or more than one). If that person begins receiving letters and calls from faculty at numerous international universities, I suspect it would make a strong impression. In particular it might make the number of signatures on the online petition more real and harder to ignore. Also, getting even a few people in the Netherlands (pure mathematicians, applied mathematicians, physicists, and others) to go and visit the relevant administrators in person could be extremely effective.</p> <p>Another approach:</p> <ul> <li>Press</li> </ul> <p>You can find a reporter at De Telegraaf to write and publish a story about the VU's threat to close down the pure mathematics section and on the international uproar over this threat. If the decision makers see a public article exposing the ongoing damage to the international reputation of VU as a result of their proposal, it will become harder for them to argue that this action is in the best interest of the university and could prompt a rapid reconsideration. Similarly you could have an article in the Chronicle of Higher Education, either as a pure news story about the threat and the online response, or as a discussion piece about the state of the tenure system in the Netherlands.</p> <p>Another source of support: </p> <ul> <li>Alumni</li> </ul> <p>You could contact alumni of the VU mathematics department and have them write letters to the administrators communicating both how important the department was in their lives and how disappointed and disgruntled they would be to see the department decimated. If they are donors to the university, they could also indicate that the outcome of this decision will affect, in addition, their future contributions.</p> <p>Another avenue to consider:</p> <ul> <li>Alternative funding options</li> </ul> <p>You could bring forward alternative proposals to directly cover some of the budget gaps that are being `addressed' by the proposed measure. These could involve temporary distributed pay cuts to existing faculty and staff, along with fundraising efforts, or perhaps corporate donations or partnerships and other less traditional means. Even if some of the proposals are not appropriate in the end, an effort to contribute to the solution of the administration's funding problem might make them more receptive to revising their overall plan.</p> http://mathoverflow.net/questions/24572/drawing-of-the-eight-thurston-geometries Drawing of the eight Thurston geometries? cdouglas 2010-05-14T03:09:01Z 2010-07-07T10:57:51Z <blockquote> <p>Do you know of a picture, drawing, or other concise visual representation of the eight three-dimensional Thurston geometries?</p> </blockquote> <p>I am imagining something akin to the standard picture (of a sphere, plane, and saddle) used to illustrate the three constant curvature geometries in dimension two. Of course, it takes more doing to illustrate representative three-manifolds, and there are more choices for natural examples, but I was surprised when I couldn't find such a picture. Another option would be to depict or indicate some of the geometries in less direct ways, for instance via the structure of stabilizers.</p> http://mathoverflow.net/questions/16353/is-there-a-volume-conjecture-for-closed-3-manifolds Is there a volume conjecture for closed 3-manifolds? cdouglas 2010-02-25T03:00:52Z 2010-03-07T02:25:43Z <p>A typical statement of the volume conjecture, for instance in Murakami's survey 1002.0126, is</p> <blockquote> <p>Conjecture: For $K$ a knot in $S^3$, the N-th colored Jones polynomials are related to the volume of the knot complement by $$2 \pi \lim_{N \rightarrow \infty} \frac{1}{N} \log | J_N(K; \exp(2\pi i / N)) | = Vol( S^3 \backslash K).$$</p> </blockquote> <p>A refinement of the conjecture is $2 \pi \lim_{N \rightarrow \infty} \frac{1}{N} \log J_N(K; \exp(2\pi i / N)) = Vol( S^3 \backslash K) + i \; CS( S^3 \backslash K) \; (\mod \pi^2 i)$ where CS is the Chern-Simons invariant. Both sides of the conjecture can be formulated for 3-manifolds more general than knots in S^3 and their complements. In particular, we might ask about closed 3-manifolds without a knot at all.</p> <blockquote> <p>Question: Is there an analogous volume conjecture for (some) closed 3-manifolds, or for closed 3-manifolds with embedded knots, and if so where in the literature are these formulations discussed?</p> </blockquote> http://mathoverflow.net/questions/15371/how-do-you-compute-the-space-of-lifts-of-an-e-infinity-map How do you compute the space of lifts of an E-infinity map? cdouglas 2010-02-15T21:37:03Z 2010-02-17T20:15:22Z <p>Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g: B \rightarrow X$ such that $pg = f$.</p> <blockquote> <p>Q1: What spectral sequences or other technology exists for computing the (homotopy groups of the) space of such E-infinity lifts?</p> </blockquote> <p>Any $E_\infty$ lift $g: B \rightarrow X$ provides a lift of the map of commutative monoids $\pi_0 B \rightarrow \pi_0 Y$ across the map $\pi_0 X \rightarrow \pi_0 Y$. </p> <blockquote> <p>Q2: Do all the techniques for computing E-infinity lifts in effect require that you first solve this $\pi_0$ lifting problem in commutative monoids, and begin an obstruction calculation from there, or are there techniques that solve both the $\pi_0$ problem and the E-infinity problem 'simultaneously' and perhaps in a way that eases both computations?</p> </blockquote> <p>I am particularly interested in merely knowing if there exists an $E_\infty$ lift, thus might have asked the seemingly more basic question:</p> <blockquote> <p>Q1': When is there an E-infinity lift of an E-infinity map?</p> </blockquote> <p>I think the obstruction groups answering Q1' are liable to come packaged in the answers to Q1/Q2, but if there are separate techniques for the existence question, that would also be helpful.</p> <p>Remark: I could imagine that one answer to Q1 involving relative Andre-Quillen cohomology might be extracted from Goerss-Hopkins, Moduli Problems for Structured Ring Spectra, but perhaps there are more elementary means. I'd be very interested for answers to Q1 along those or especially other lines of thought, and any ideas about Q2. Thanks!</p> http://mathoverflow.net/questions/8800/proofs-of-bott-periodicity/9219#9219 Answer by cdouglas for Proofs of Bott periodicity cdouglas 2009-12-18T01:43:12Z 2009-12-18T01:43:12Z <p>By studying natural filtrations of loop groups, viewed as affine Grassmannians, S. A. Mitchell, in "The Bott Filtration of a Loop Group", describes an elegant and in its way elementary proof of Bott periodicity. Homotopy theorists will appreciate that it comes down to the inclusion of a cellular skeleton being highly connected, while combinatorist and Lie theorists delight when Mitchell reads off Bott periodicity from the Dynkin diagrams.</p> http://mathoverflow.net/questions/1311/how-many-embeddings-are-there-of-super-virasoro-into-n-fermions How many embeddings are there of super-Virasoro into n Fermions? cdouglas 2009-10-19T23:42:38Z 2009-12-04T09:18:56Z <p>What is the space of N=1 super-Virasoro vertex superalgebras inside the c=n/2 free fermion vertex superalgebra? [Said differently, how many Neveu-Schwartz vectors are there in n fermions?] Answers in terms of VOAs, CFTs, or nets all welcome, and any interpretation of "N=1 super" that makes you happy is okay.</p> http://mathoverflow.net/questions/5087/reference-for-iterated-homotopy-fixed-points Reference for iterated homotopy fixed points? cdouglas 2009-11-11T19:01:32Z 2009-11-12T04:42:24Z <p>What are (good) references for results about iterated homotopy fixed points? That is, suppose G is a topological group acting on a space (or spectrum) X, and H is a normal subgroup of G. Then one would like to first compute the homotopy fixed points of X with respect to H, and use that as a stepping stone to compute the homotopy fixed points of X with respect to G.</p> <p>(I am independently interested in both the space and spectrum versions, so am happy with pointers, comments regarding either.)</p> http://mathoverflow.net/questions/4766/squares-in-stable-homotopy/4905#4905 Answer by cdouglas for squares in stable homotopy cdouglas 2009-11-10T19:11:51Z 2009-11-10T22:12:33Z <p>Appendix 3 of Ravenel's Green Book, <a href="http://www.math.rochester.edu/u/faculty/doug/mu.html#repub" rel="nofollow">http://www.math.rochester.edu/u/faculty/doug/mu.html#repub</a>, has a chart of stable homotopy groups including much of the multiplicative structure. Figure A3.1 depicts some of this structure visually, while Table A3.3 lists the elements out by name and degree.</p> <p>The next example of a square after \eta^2 is the element in the sixth stable stem, which is the square of the Hopf map \nu in the third stable stem.</p> <p>Though stable homotopy is not multiplicatively finitely generated, you can consider Toda brackets, which are a form of higher multiplication in homotopy analogous to Massey products in cohomology, and it is known that the entire stable homotopy groups of spheres are generated by Toda brackets on the Hopf elements 2, \eta, \nu, and \sigma.</p> http://mathoverflow.net/questions/2147/most-helpful-math-resources-on-the-web/4206#4206 Answer by cdouglas for Most helpful math resources on the web cdouglas 2009-11-05T03:19:50Z 2009-11-05T03:19:50Z <p>The <a href="http://ncatlab.org/nlab/show/HomePage" rel="nofollow" title="nLab">nLab</a> is an excellent resource, often containing more detail, explanation, and discussion than wikipedia, along with much more specialized and contemporary topics.</p> <p>(nLab was mentioned in the answer by Justin Hilburn, but it was listed there after other resources, and I think people scanning under the one-resource-per-answer dictum will miss it.)</p> http://mathoverflow.net/questions/2939/tools-for-organizing-papers/2990#2990 Answer by cdouglas for Tools for Organizing Papers? cdouglas 2009-10-28T03:50:23Z 2009-10-28T03:50:23Z <p>As for physical papers:</p> <p>I have two coexisting systems. The first is a file cabinet organized by author. Organizing large numbers of papers by subject or date or whatnot ravels out of control. The second is a series of magazine racks labelled by project, which contain papers directly relevant to the corresponding projects.</p> <p>As for electronic papers:</p> <p>I used to put them in folders by author, with helpful filenames like </p> <p>Fukaya-FloerHomologyFor3ManifoldsWithBoundaryI.pdf<br /> HatcherLawson-StabilityTheoremsForConcordanceImpliesIsotopyAndHCobordismImpliesDiffeomorphism.pdf<br /> KustermansRognesTuset-TheModularSquareForQuantumGroups.pdf </p> <p>but maintaining this got old. I tried Papers, and thought it was going to be fabulous, but like Scott, wasn't won over in the end.</p> <p>But now search has gotten good enough there is much less need for explicit organization. You can just put the pdfs all together in a ginormous folder, and whenever you need something just search for it. It's the google way. (And if you use <em>Google Desktop</em>, then literally so.)</p> <p>Here is the one thing I would like to be able to add to this system: it would be great to be able to add <em>tags</em> to papers, which would even further facilitate targeted retrieval and browsing. Does anyone know an easy way to do this?</p> http://mathoverflow.net/questions/2046/how-do-i-describe-a-fusion-category-given-a-subfactor/2324#2324 Answer by cdouglas for How do I describe a fusion category given a subfactor? cdouglas 2009-10-24T17:41:05Z 2009-10-24T17:41:05Z <p>An answer to question (5):</p> <p>Arthur, Andre, and I proved that </p> <p>{conformal nets [of vN algebras], conformal defects, sectors, intertwiners} </p> <p>form a 3-category CN. Given a net N \in CN, the endomorphisms of the identity on N, that is End(1_N), is a braided tensor category, automatically. (Indeed, the most compact definition of a braided tensor category is a 3-category with one object and one 1-morphism.) We might call End(1_N) the representation category of the net, and denote it Rep(N). The category Rep(N) is related to Drinfeld centers, but that's probably a separate discussion.</p> <p>(By the way, you don't need to know what a conformal defect is to say what Rep(N) is: a representation of a net N is just a Hilbert space with compatible actions of all the vN algebras occuring in the net on the circle.)</p> <p>(Evan Jenkins took very faithful notes from a talk I gave about this stuff, which you can find here: </p> <p><a href="http://www.math.uchicago.edu/~ejenkins/notes/nwtft/25may-cd.pdf" rel="nofollow">http://www.math.uchicago.edu/~ejenkins/notes/nwtft/25may-cd.pdf</a></p> <p>Discussion of the functor End(1_...) from nets to tensor categories occurs on pages 2 and 6.)</p> http://mathoverflow.net/questions/104326/motivation-and-unsolved-problems-of-tqft/104347#104347 Comment by cdouglas cdouglas 2012-08-16T05:57:44Z 2012-08-16T05:57:44Z Note that DMNO only discuss the possibility that the unitary part of the Witt group, rather than the whole Witt group, might be generated by the quantum group categories. http://mathoverflow.net/questions/100129/what-is-the-first-interesting-matric-toda-bracket-in-the-stable-homotopy-of-the-s Comment by cdouglas cdouglas 2012-06-20T15:51:19Z 2012-06-20T15:51:19Z Ah, so probably the bracket $\langle \begin{smallmatrix} \nu^2 &amp; \eta \end{smallmatrix}, \begin{smallmatrix} \nu &amp; \epsilon \\\ \epsilon &amp; \nu \end{smallmatrix}, \begin{smallmatrix} \nu^2 &amp; \eta \\\ \eta &amp; \nu^2 \end{smallmatrix}, \begin{smallmatrix} \nu \\\ \epsilon \end{smallmatrix} \rangle$ is interesting, and detectable in Adams $\mathrm{E}_2$. http://mathoverflow.net/questions/98229/is-the-4-line-of-the-e-2-term-of-the-classical-adams-spectral-sequence-known/98254#98254 Comment by cdouglas cdouglas 2012-05-31T10:38:20Z 2012-05-31T10:38:20Z A rare happy moment when there is a preexisting paper devoted precisely to answering the question. Thanks! http://mathoverflow.net/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories Comment by cdouglas cdouglas 2011-10-27T11:53:06Z 2011-10-27T11:53:06Z The link to the reask of the question is broken (... well, it redirects to a question about numerical methods for calculating digits of pi ...). http://mathoverflow.net/questions/68442/what-could-be-some-potentially-useful-mathematical-databases/68516#68516 Comment by cdouglas cdouglas 2011-06-25T01:14:31Z 2011-06-25T01:14:31Z I'd quibble with saying 'this subject has a massive dearth of examples' --- spectral sequences are almost exclusively developed by and for examples, of which there are a spectacular plethora. The (well, a) real problem is that until recently typesetting spectral sequences was sufficiently difficult that people did it quite infrequently, even in research papers whose main content was spectral sequence computations. Tilman Bauer's sseq package was a big improvement, but many kinds of SS displays are still painful to tex. http://mathoverflow.net/questions/2939/tools-for-organizing-papers/2990#2990 Comment by cdouglas cdouglas 2011-05-11T17:38:46Z 2011-05-11T17:38:46Z I don't know at what stage the finder begins to have trouble. Certainly a thousand files in one folder is no problem. My guess is that ten thousand is okay too, but I haven't tried. http://mathoverflow.net/questions/24572/drawing-of-the-eight-thurston-geometries/24576#24576 Comment by cdouglas cdouglas 2010-05-23T02:01:33Z 2010-05-23T02:01:33Z Thanks! I especially like the hyperbolic glass image. http://mathoverflow.net/questions/15371/how-do-you-compute-the-space-of-lifts-of-an-e-infinity-map/15624#15624 Comment by cdouglas cdouglas 2010-02-24T00:16:29Z 2010-02-24T00:16:29Z Thanks, glad to have the perspective on how relative TAQ enters, even if you confirmed my fears about the difficulty of the $\pi_0$ problem. http://mathoverflow.net/questions/15371/how-do-you-compute-the-space-of-lifts-of-an-e-infinity-map/15615#15615 Comment by cdouglas cdouglas 2010-02-24T00:12:41Z 2010-02-24T00:12:41Z Thanks, it's good to keep in mind that to be in spectra-land, it's sufficient for the group completion to be injective. Unfortunately, in my cases I expect the group completion to be a brutal operation on $\pi_0$. I'll contemplate whether some carefully chosen submonoid might have better properties. http://mathoverflow.net/questions/1311/how-many-embeddings-are-there-of-super-virasoro-into-n-fermions/3229#3229 Comment by cdouglas cdouglas 2009-12-18T08:39:52Z 2009-12-18T08:39:52Z Thanks very much for this detailed answer! Much appreciated. (And sorry the thanks took so long in coming, my notification seems to be on the blink.) http://mathoverflow.net/questions/8800/proofs-of-bott-periodicity Comment by cdouglas cdouglas 2009-12-18T01:12:58Z 2009-12-18T01:12:58Z A small point: Atiyah-Bott-Shapiro did not prove Bott periodicity in their paper on Clifford Modules, but rather used Bott periodicity to show that the Grothendieck group of Clifford modules is the K-theory group. In fact, they specifically mention that it would be nice to have a proof of Bott periodicity that followed from the algebraic periodicity of Clifford modules. http://mathoverflow.net/questions/5087/reference-for-iterated-homotopy-fixed-points Comment by cdouglas cdouglas 2009-11-11T23:21:22Z 2009-11-11T23:21:22Z Primarily the former, that (X^hH)^hG/H = X^hG, but I'd also be happy for any references to computational approaches or examples. http://mathoverflow.net/questions/1311/how-many-embeddings-are-there-of-super-virasoro-into-n-fermions Comment by cdouglas cdouglas 2009-10-28T04:12:07Z 2009-10-28T04:12:07Z I'd like the Virasoro inside the super-Virasoro to agree with the Virasoro of the free fermions (that is the n-th tensor power of the Virasoro of the free fermion). The 'space' is then the space of extensions of the given Vir to an sVir.