Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: equivariant homotopy theory

Bottom of Page

1 to 33 of 33

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeJan 28th 2010
- PermaLink
Author: Urs
Format: Markdownexpanded the discussion at [[equivariant homotopy theory]] * expanded the statement of the classical Elmendorf theorem * added the statement of the general Elmendorf theorem in general model categories * added remarks on G-equivariant oo-stacks, as special cases of this
expanded the discussion at equivariant homotopy theory
- expanded the statement of the classical Elmendorf theorem
- added the statement of the general Elmendorf theorem in general model categories
- added remarks on G-equivariant oo-stacks, as special cases of this
- CommentRowNumber2.
- CommentAuthorUrs
- CommentTimeJan 28th 2010
- PermaLink
Author: Urs
Format: Markdownjust for empahsis of a point that I think should be relevant, I amplified now at the very beginning of the entry that the G-homotopies that define the G-homotopy category on the left side of Elmendorf's equivalence are of course precisely those induced by the interval/line object <latex> I = \mathbb{R} </latex> regarded as a G-space with trivial G-action.

just for empahsis of a point that I think should be relevant, I amplified now at the very beginning of the entry that the G-homotopies that define the G-homotopy category on the left side of Elmendorf's equivalence are of course precisely those induced by the interval/line object $I = \mathbb{R}$ regarded as a G-space with trivial G-action.
- CommentRowNumber3.
- CommentAuthorUrs
- CommentTimeJan 28th 2010
- PermaLink
Author: Urs
Format: Markdownjust for emphasis, even though it may be a very obvious thing to say, I indluded a section that says how the homotopical category of G-spaces as usually considered is refined to a Kan-complex enriched category with hom-SSet <latex> G Top(X,Y) = Hom_{G Top}( X \times \Delta_I^\bullet, Y )</latex>, where <latex>\Delta_I : \Delta \to G Top</latex> is the cosimplicial object induced from the geometric interval <latex> I = \mathbb{R}</latex> with trivial G-action. * <a href="http://ncatlab.org/nlab/show/equivariant+homotopy+theory#InfGTop">(oo,1)-cat of G-spaces</a> Even though a very obvious thing to say, this (oo,1)-perspective now suggests that we stabilize this (oo,1)-category at the geometric loopings by <latex>I^n/\partial I^n</latex>.
just for emphasis, even though it may be a very obvious thing to say, I indluded a section that says how the homotopical category of G-spaces as usually considered is refined to a Kan-complex enriched category with hom-SSet

$G Top(X,Y) = Hom_{G Top}( X \times \Delta_I^\bullet, Y )$ ,

where $\Delta_I : \Delta \to G Top$ is the cosimplicial object induced from the geometric interval $I = \mathbb{R}$ with trivial G-action.
- (oo,1)-cat of G-spaces
Even though a very obvious thing to say, this (oo,1)-perspective now suggests that we stabilize this (oo,1)-category at the geometric loopings by $I^n/\partial I^n$ .
- CommentRowNumber4.
- CommentAuthorzskoda
- CommentTimeJan 28th 2010
- PermaLink
Author: zskoda
Format: MarkdownIt would be nice to extend the treatment of G-equivariant homotopy theory to closely related orbispace homotopy theory.

It would be nice to extend the treatment of G-equivariant homotopy theory to closely related orbispace homotopy theory.
- CommentRowNumber5.
- CommentAuthorUrs
- CommentTimeJan 29th 2010
- (edited Jan 29th 2010)
- PermaLink
Author: Urs
Format: Markdownput in the Morel-Voevodsky discussion of how the equivariant homotopy category is the homotopy category of oo-sheaves on G Top localized at the interval object <a href="http://ncatlab.org/nlab/show/equivariant+homotopy+theory#InfGTop">(oo,1)-cat of G-equivariant spaces</a>. I think I got this right, but check with the given reference.

put in the Morel-Voevodsky discussion of how the equivariant homotopy category is the homotopy category of oo-sheaves on G Top localized at the interval object

(oo,1)-cat of G-equivariant spaces.

I think I got this right, but check with the given reference.
- CommentRowNumber6.
- CommentAuthorUrs
- CommentTimeAug 12th 2015
- (edited Aug 12th 2015)
- PermaLink
Author: Urs
Format: MarkdownItexhave added a [pointer](http://ncatlab.org/nlab/show/equivariant+homotopy+theory#Shulman15) to * [[Mike Shulman]], _Univalence for inverse EI diagrams_ ([arXiv:1508.02410](http://arxiv.org/abs/1508.02410))
have added a pointer to
- Mike Shulman, Univalence for inverse EI diagrams (arXiv:1508.02410)
- CommentRowNumber7.
- CommentAuthorDavid_Corfield
- CommentTimeAug 12th 2015
- PermaLink
Author: David_Corfield
Format: MarkdownItexI was wondering if there was a connection to Charles Rezk's global equivariant cohesion. Now I see you added a reference to Mike's paper at [[global equivariant homotopy theory]]. Do you see a connection?

I was wondering if there was a connection to Charles Rezk’s global equivariant cohesion. Now I see you added a reference to Mike’s paper at global equivariant homotopy theory. Do you see a connection?
- CommentRowNumber8.
- CommentAuthorUrs
- CommentTimeAug 12th 2015
- (edited Aug 12th 2015)
- PermaLink
Author: Urs
Format: MarkdownItexI was thinking of the sliced version of the global equivariant cohesion [here](http://ncatlab.org/nlab/show/global+equivariant+homotopy+theory#CohesionOnLocalSlice). Because the $\infty$-site that Charles writes $Glo_{\mathbb{B}G}$ on p. 16 of his [note](http://www.math.uiuc.edu/~rezk/global-cohesion.pdf) is an EI-$\infty$-category in Mike's sense.

I was thinking of the sliced version of the global equivariant cohesion here.

Because the $\infty$ -site that Charles writes $Glo_{\mathbb{B}G}$ on p. 16 of his note is an EI- $\infty$ -category in Mike’s sense.
- CommentRowNumber9.
- CommentAuthorDavid_Corfield
- CommentTimeAug 12th 2015
- PermaLink
Author: David_Corfield
Format: MarkdownItexBut there's no sign of cohesion appearing in Mike's paper, is there?

But there’s no sign of cohesion appearing in Mike’s paper, is there?
- CommentRowNumber10.
- CommentAuthorUrs
- CommentTimeAug 12th 2015
- PermaLink
Author: Urs
Format: MarkdownItexHere I am not sure what your "but" refers to. Regarding cohesion, Mike has a note in preparation with a comprehensive account of cohesive HoTT. Combing that with what seems (unless I am mixed up) a consequence of his present preprint should say that Charles' sliced version of the equivariant cohesion is a model for cohesive HoTT with strict univalent universes.

Here I am not sure what your “but” refers to.

Regarding cohesion, Mike has a note in preparation with a comprehensive account of cohesive HoTT. Combing that with what seems (unless I am mixed up) a consequence of his present preprint should say that Charles’ sliced version of the equivariant cohesion is a model for cohesive HoTT with strict univalent universes.
- CommentRowNumber11.
- CommentAuthorDavid_Corfield
- CommentTimeAug 12th 2015
- PermaLink
Author: David_Corfield
Format: MarkdownItexI just meant, from my cursory glance, it didn't seem to me that Mike's paper was motivated by anything to do with cohesion.

I just meant, from my cursory glance, it didn’t seem to me that Mike’s paper was motivated by anything to do with cohesion.
- CommentRowNumber12.
- CommentAuthorUrs
- CommentTimeAug 12th 2015
- (edited Aug 12th 2015)
- PermaLink
Author: Urs
Format: MarkdownItexRight it isn't, but I don't see what you mean to imply by saying so. What Charles Rezk discusses in 5.2, 5.3 is an $\infty$-topos that he writes $Top_{Glo}/\mathbb{B}G \simeq PSh_\infty(Glo_{\mathbb{B}G})$. What I said in #8 is that $Glo_{\mathbb{B}G}$ is an EI-$\infty$-category. And I was guessing that that finiteness condition holds here, too. If so, then by Mike's preprint $Top_{Glo}/\mathbb{B}G$ would be a model of HoTT with univalent strict universes. Unless I am missing something. Now it is true that on top of that Charles has the nice statement that $Top_{Glo}/\mathbb{B}G$ is cohesive over $G Top \simeq PSh_{\infty}(\mathcal{O}_G)$. The latter is _also_ presheaves over an EI-$\infty$-category, that's the example that Mike makes explicit in his preprint. Put together, these two statements would seem to imply that this gives a model for cohesive HoTT with univalent strict universes.

Right it isn’t, but I don’t see what you mean to imply by saying so.

What Charles Rezk discusses in 5.2, 5.3 is an $\infty$ -topos that he writes $Top_{Glo}/\mathbb{B}G \simeq PSh_\infty(Glo_{\mathbb{B}G})$ . What I said in #8 is that $Glo_{\mathbb{B}G}$ is an EI- $\infty$ -category. And I was guessing that that finiteness condition holds here, too. If so, then by Mike’s preprint $Top_{Glo}/\mathbb{B}G$ would be a model of HoTT with univalent strict universes. Unless I am missing something.

Now it is true that on top of that Charles has the nice statement that $Top_{Glo}/\mathbb{B}G$ is cohesive over $G Top \simeq PSh_{\infty}(\mathcal{O}_G)$ . The latter is also presheaves over an EI- $\infty$ -category, that’s the example that Mike makes explicit in his preprint.

Put together, these two statements would seem to imply that this gives a model for cohesive HoTT with univalent strict universes.
- CommentRowNumber13.
- CommentAuthorMike Shulman
- CommentTimeAug 12th 2015
- PermaLink
Author: Mike Shulman
Format: MarkdownItexCan you explain why $Glo_{\mathbb{B}G}$ is an inverse EI-$\infty$-category?

Can you explain why $Glo_{\mathbb{B}G}$ is an inverse EI- $\infty$ -category?
- CommentRowNumber14.
- CommentAuthorUrs
- CommentTimeAug 12th 2015
- PermaLink
Author: Urs
Format: MarkdownItexYeah, I am wrong, it's not. Sorry for the distraction.

Yeah, I am wrong, it’s not. Sorry for the distraction.
- CommentRowNumber15.
- CommentAuthorUrs
- CommentTimeJan 12th 2016
- (edited Jan 12th 2016)
- PermaLink
Author: Urs
Format: MarkdownItexIn the Idea-section both at _[[equivariant homotopy theory]]_ and at _[[topological G-spaces]]_ I have added a paragraph that makes more explicit where the fixed-point wise homotopy equivalences come from > The canonical [[homomorphisms]] of topological $G$-spaces are $G$-equivariant [[continuous functions]], and the canonical choice of [[homotopies]] between these are $G$-equivariant continuous homotopies (for trivial $G$-action on the interval). A $G$-equivariant version of the [[Whitehead theorem]] says that on [[G-CW complexes]] these $G$-equivariant [[homotopy equivalences]] are equivalently those maps that induce [[weak homotopy equivalences]] on all [[fixed point]] spaces for all [[subgroups]] of $G$ (compact subgroups, if $G$ is allowed to be a [[Lie group]]). By [[Elmendorf's theorem]], this, in turn, is equivalent to the [[(∞,1)-presheaves]] over the [[orbit category]] of $G$. See below at _[In topological spaces -- Homotopy theory](#HomotopyTheory)_.

In the Idea-section both at equivariant homotopy theory and at topological G-spaces I have added a paragraph that makes more explicit where the fixed-point wise homotopy equivalences come from

The canonical homomorphisms of topological $G$ -spaces are $G$ -equivariant continuous functions, and the canonical choice of homotopies between these are $G$ -equivariant continuous homotopies (for trivial $G$ -action on the interval). A $G$ -equivariant version of the Whitehead theorem says that on G-CW complexes these $G$ -equivariant homotopy equivalences are equivalently those maps that induce weak homotopy equivalences on all fixed point spaces for all subgroups of $G$ (compact subgroups, if $G$ is allowed to be a Lie group). By Elmendorf’s theorem, this, in turn, is equivalent to the (∞,1)-presheaves over the orbit category of $G$ . See below at In topological spaces – Homotopy theory.
- CommentRowNumber16.
- CommentAuthorDavid_Corfield
- CommentTimeJan 12th 2016
- PermaLink
Author: David_Corfield
Format: MarkdownItexThat's the clearest description I've seen of the naive/genuine distinction. Is the difference expressible in HoTT in terms of working in the context $\mathbf{B} G$, dependent sum/product for co(invariants), etc.? Perhaps the genuine version is more simply expressed?

That’s the clearest description I’ve seen of the naive/genuine distinction. Is the difference expressible in HoTT in terms of working in the context $\mathbf{B} G$ , dependent sum/product for co(invariants), etc.? Perhaps the genuine version is more simply expressed?
- CommentRowNumber17.
- CommentAuthorDavid_Corfield
- CommentTimeJan 12th 2016
- PermaLink
Author: David_Corfield
Format: MarkdownItexMaybe you're warning against this here >For G a discrete group (geometrically discrete) the homotopy theory of G-spaces which enters Elmendorf's theorem is different (finer) than the standard homotopy theory of G-∞-actions, which is presented by the Borel model structure But then what allows the expression of the finer aspects? Something geometric? Cohesive, at least?

Maybe you’re warning against this here

For G a discrete group (geometrically discrete) the homotopy theory of G-spaces which enters Elmendorf’s theorem is different (finer) than the standard homotopy theory of G-∞-actions, which is presented by the Borel model structure

But then what allows the expression of the finer aspects? Something geometric? Cohesive, at least?
- CommentRowNumber18.
- CommentAuthorUrs
- CommentTimeJan 12th 2016
- PermaLink
Author: Urs
Format: MarkdownItexre #16: sorry, I didn't put that well after all. I had been prompted by the paragraphs in [Goodwillie 03, p.5, 6 (of 67)](https://ncatlab.org/nlab/show/Goodwillie-Taylor%20tower#Goodwillie03) but maybe some care is due here. In any case, I have rephrased a bit more, just to bring out the "G-Whitehead theorem" better, which says that those fixed-point wise weak homotopy equivalences are, on G-CW-complexes, the evident G-equivariant homotopy equivalences.

re #16: sorry, I didn’t put that well after all.

I had been prompted by the paragraphs in Goodwillie 03, p.5, 6 (of 67) but maybe some care is due here. In any case, I have rephrased a bit more, just to bring out the “G-Whitehead theorem” better, which says that those fixed-point wise weak homotopy equivalences are, on G-CW-complexes, the evident G-equivariant homotopy equivalences.
- CommentRowNumber19.
- CommentAuthorDavid_Corfield
- CommentTimeJan 12th 2016
- (edited Jan 12th 2016)
- PermaLink
Author: David_Corfield
Format: MarkdownItexWell anyway, it would interest me to see how renderings in HoTT allow expression in something closer to natural language, as Mike does in [Univalence for inverse EI diagrams](http://arxiv.org/abs/1508.02410), example 7.5: > from a propositions-as-types point of view, we might say that A consists of a type with a G-action together with, for each fixed point of this action, a type of “special reasons” why that point should be considered fixed (which might be empty). That is, in passing from (the naive homotopy theory of) G-spaces to $O^{op}G$ -diagrams, we make “being a fixed point” from a property into data. Is 'naive' being used in the sense as opposed to 'genuine' here? So then, especially with a $G$ with many subgroups, the expression of the genuine would be rather complicated. Is there a reason why we need to range over all subgroups?

Well anyway, it would interest me to see how renderings in HoTT allow expression in something closer to natural language, as Mike does in Univalence for inverse EI diagrams, example 7.5:

from a propositions-as-types point of view, we might say that A consists of a type with a G-action together with, for each fixed point of this action, a type of “special reasons” why that point should be considered fixed (which might be empty). That is, in passing from (the naive homotopy theory of) G-spaces to $O^{op}G$ -diagrams, we make “being a fixed point” from a property into data.

Is ’naive’ being used in the sense as opposed to ’genuine’ here? So then, especially with a $G$ with many subgroups, the expression of the genuine would be rather complicated. Is there a reason why we need to range over all subgroups?
- CommentRowNumber20.
- CommentAuthorUrs
- CommentTimeJan 12th 2016
- (edited Jan 12th 2016)
- PermaLink
Author: Urs
Format: MarkdownItexThat quote gives natural language for speaking about the homotopy theory that is presented by the orbit category. But I would think that what you were after is something like an intrinsic internal characterization of this homotopy theory. The following vague thought had occured to me: if we consider global equiviance not under Lie groups but under finite groups, then the [[global orbit category]] is just the $(2,1)$-category of homotopy 1-types with finite $\pi_1$. If we did this for "2-equivariance" as in "2-equivariant elliptic cohomology" then we'd be looking at 2-groupoids with finite homotopy groups. Generally then we could consider the $\infty$-category of [[homotopy types with finite homotopy groups]] as a site for "global $\infty$-equivariance". This reminds us of the (opposite) of [[finite homotopy types]], which is the site for the classifying topos for an object. As we are discussing elsewhere, this is the origin of Goodwillie calculus. Now, of course, despite the similarity in name, finite homotopy types are different, in fact pretty much complementary to, homotopy types with finite homotopy groups. So maybe we'd want to combine them, somehow, to merge Goodwillie theory with global equivariant homotopy theory. And maybe the $\infty$-category which suitably subsumes both finite homotopy types and homotopy types with finite homotopy groups is the site for a good classifying $\infty$-topos, i.e. maybe that $\infty$-topos has a good internal characterization. Just speculating.

That quote gives natural language for speaking about the homotopy theory that is presented by the orbit category. But I would think that what you were after is something like an intrinsic internal characterization of this homotopy theory.

The following vague thought had occured to me:

if we consider global equiviance not under Lie groups but under finite groups, then the global orbit category is just the $(2,1)$ -category of homotopy 1-types with finite $\pi_1$ . If we did this for “2-equivariance” as in “2-equivariant elliptic cohomology” then we’d be looking at 2-groupoids with finite homotopy groups. Generally then we could consider the $\infty$ -category of homotopy types with finite homotopy groups as a site for “global $\infty$ -equivariance”.

This reminds us of the (opposite) of finite homotopy types, which is the site for the classifying topos for an object. As we are discussing elsewhere, this is the origin of Goodwillie calculus.

Now, of course, despite the similarity in name, finite homotopy types are different, in fact pretty much complementary to, homotopy types with finite homotopy groups. So maybe we’d want to combine them, somehow, to merge Goodwillie theory with global equivariant homotopy theory. And maybe the $\infty$ -category which suitably subsumes both finite homotopy types and homotopy types with finite homotopy groups is the site for a good classifying $\infty$ -topos, i.e. maybe that $\infty$ -topos has a good internal characterization.

Just speculating.
- CommentRowNumber21.
- CommentAuthorDavid_Corfield
- CommentTimeJan 12th 2016
- PermaLink
Author: David_Corfield
Format: MarkdownItexSounds interesting. What already exists as equivariant Goodwillie theory? I see there is * [Emanuele Dotto](http://math.mit.edu/~dotto/), Higher Equivariant Excision, [arXiv:1507.01909](http://arxiv.org/abs/1507.01909) which refers to another couple of his own papers.
Sounds interesting. What already exists as equivariant Goodwillie theory? I see there is
- Emanuele Dotto, Higher Equivariant Excision, arXiv:1507.01909
which refers to another couple of his own papers.
- CommentRowNumber22.
- CommentAuthorMike Shulman
- CommentTimeJan 12th 2016
- PermaLink
Author: Mike Shulman
Format: MarkdownItexBTW, this is different from the naive/genuine distinction for $G$-*spectra*; that's a further bifurcation within the world of fixed-point-wise equivariant homotopy theory. So perhaps "naive" is a poor choice of word here... Note that there's actually a whole range of possible "$G$-equivariant homotopy theories" parametrized by a family of subgroups of $G$; the "most naive" one corresponds to choosing only the trivial subgroup.

BTW, this is different from the naive/genuine distinction for $G$ -spectra; that’s a further bifurcation within the world of fixed-point-wise equivariant homotopy theory. So perhaps “naive” is a poor choice of word here…

Note that there’s actually a whole range of possible “ $G$ -equivariant homotopy theories” parametrized by a family of subgroups of $G$ ; the “most naive” one corresponds to choosing only the trivial subgroup.
- CommentRowNumber23.
- CommentAuthorDavid_Corfield
- CommentTimeJan 12th 2016
- PermaLink
Author: David_Corfield
Format: MarkdownItexRe #20, what if anything stands in the way of global equivariance for all homotopy types with finite homotopy groups? I see Charles Rezk thought things should work out with 2-groups [here](https://nforum.ncatlab.org/discussion/5313/global-equivariant-stable-homotopy-theory/?Focus=42247#Comment_42247). Is there a suitable sense of compactness for Lie n-groups?

Re #20, what if anything stands in the way of global equivariance for all homotopy types with finite homotopy groups? I see Charles Rezk thought things should work out with 2-groups here.

Is there a suitable sense of compactness for Lie n-groups?
- CommentRowNumber24.
- CommentAuthorUrs
- CommentTimeApr 12th 2018
- PermaLink
Author: Urs
Format: MarkdownItexMade explicit the pointer to the _[[equivariant Whitehead theorem]]_ (notably in the statement of [this theorem](https://ncatlab.org/nlab/show/equivariant+homotopy+theory#EquivariantWhiteheadAndElmendorfTheorem)) <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/35">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/35">v35</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>

Made explicit the pointer to the equivariant Whitehead theorem (notably in the statement of this theorem)

diff, v35, current
- CommentRowNumber25.
- CommentAuthorUrs
- CommentTimeApr 12th 2018
- PermaLink
Author: Urs
Format: MarkdownItexadded the following diagram, for illustration purposes $$ \array{ Ho(G Top_{cof}) &\underset{}{\longrightarrow}& Ho(Top_{cof}) \\ {\mathllap{\text{equivariant} \atop \text{Whitehead}}}\big\downarrow{\mathrlap{\simeq}} && {\mathllap{\simeq}}\big\downarrow{\mathrlap{\text{Whitehead}}} \\ Ho(G Top_{loc}) &\overset{}{\longrightarrow}& Ho(Top_{loc}) \\ {\mathllap{Elmendorf}}\big\downarrow{\mathrlap{\simeq}} && \downarrow^{\mathrlap{=}} \\ Ho( PSh( Orb_G, Top_{loc} ) )_{proj} &\longrightarrow& Ho( \ast, Top_{loc} )_{proj} } $$ wanted to assign a name to the top left arrow (Bredon?) but maybe there is no particular name associated with it besides Whitehead <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/36">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/36">v36</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>

added the following diagram, for illustration purposes
$\array{ Ho(G Top_{cof}) &\underset{}{\longrightarrow}& Ho(Top_{cof}) \\ {\mathllap{\text{equivariant} \atop \text{Whitehead}}}\big\downarrow{\mathrlap{\simeq}} && {\mathllap{\simeq}}\big\downarrow{\mathrlap{\text{Whitehead}}} \\ Ho(G Top_{loc}) &\overset{}{\longrightarrow}& Ho(Top_{loc}) \\ {\mathllap{Elmendorf}}\big\downarrow{\mathrlap{\simeq}} && \downarrow^{\mathrlap{=}} \\ Ho( PSh( Orb_G, Top_{loc} ) )_{proj} &\longrightarrow& Ho( \ast, Top_{loc} )_{proj} }$
wanted to assign a name to the top left arrow (Bredon?) but maybe there is no particular name associated with it besides Whitehead

diff, v36, current
- CommentRowNumber26.
- CommentAuthorTim_Porter
- CommentTimeJul 5th 2018
- PermaLink
Author: Tim_Porter
Format: MarkdownItexadded some links <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/39">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/39">v39</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>

added some links

diff, v39, current
- CommentRowNumber27.
- CommentAuthorUrs
- CommentTimeMar 11th 2019
- PermaLink
Author: Urs
Format: MarkdownItexadded pointer to today's * Mehmet Akif Erdal, Aslı Güçlükan İlhan, _A model structure via orbit spaces for equivariant homotopy_ ([arXiv:1903.03152](https://arxiv.org/abs/1903.03152)) (just for completeness) <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/46">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/46">v46</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>
added pointer to today’s
- Mehmet Akif Erdal, Aslı Güçlükan İlhan, A model structure via orbit spaces for equivariant homotopy (arXiv:1903.03152)
(just for completeness)

diff, v46, current
- CommentRowNumber28.
- CommentAuthorUrs
- CommentTimeDec 22nd 2021
- PermaLink
Author: Urs
Format: MarkdownItexadded pointer to: * [[Bert Guillou]], *Equivariant Homotopy and Cohomology*, lecture notes, 2020 ([pdf](http://www.ms.uky.edu/~guillou/F20/751Notes.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/58">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/58">v58</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>
added pointer to:
- Bert Guillou, Equivariant Homotopy and Cohomology, lecture notes, 2020 (pdf)
diff, v58, current
- CommentRowNumber29.
- CommentAuthornilesjohnson
- CommentTimeNov 16th 2022
- PermaLink
Author: nilesjohnson
Format: MarkdownItexI've updated this Hill, Hopkins, Ravenel reference to point to their 2021 book, since it's a more thorough treatment of the material. As far as I can tell, nothing on the page points directly to the previously listed article, but I can put the article back anyway if someone wishes. <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/61">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/61">v61</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>

I’ve updated this Hill, Hopkins, Ravenel reference to point to their 2021 book, since it’s a more thorough treatment of the material. As far as I can tell, nothing on the page points directly to the previously listed article, but I can put the article back anyway if someone wishes.

diff, v61, current
- CommentRowNumber30.
- CommentAuthorUrs
- CommentTimeNov 17th 2022
- PermaLink
Author: Urs
Format: MarkdownItexThanks! I have re-instantiated ([here](https://ncatlab.org/nlab/show/equivariant+homotopy+theory#HillHopkinsRavenel21)) the cross-link with *[[Arf-Kervaire invariant problem]]*, assuming that you deleted it by accident. <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/62">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/62">v62</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>

Thanks!

I have re-instantiated (here) the cross-link with Arf-Kervaire invariant problem, assuming that you deleted it by accident.

diff, v62, current
- CommentRowNumber31.
- CommentAuthorUrs
- CommentTimeNov 17th 2022
- (edited Nov 17th 2022)
- PermaLink
Author: Urs
Format: MarkdownItex[ mysterious duplicate removed ]

[ mysterious duplicate removed ]
- CommentRowNumber32.
- CommentAuthornilesjohnson
- CommentTimeNov 17th 2022
- PermaLink
Author: nilesjohnson
Format: MarkdownItexre #30: ugh, yes; thanks!

re #30: ugh, yes; thanks!
- CommentRowNumber33.
- CommentAuthorUrs
- CommentTimeJun 17th 2024
- PermaLink
Author: Urs
Format: MarkdownItexadded pointer to: * [[Graeme Segal]], *Some results in equivariant homotopy theory* (1978) [scan: [web](https://homepages.warwick.ac.uk/~maaac/segal.html), [pdf](https://ncatlab.org/nlab/files/Segal-EquivariantHT.pdf)] This document seems to have existed only as a scan hosted as 6 separate html pages at [homepages.warwick.ac.uk/~maaac/segal.html](https://homepages.warwick.ac.uk/~maaac/segal.html), [/segal2.html](https://homepages.warwick.ac.uk/~maaac/segal2.html), [/segal3.html](https://homepages.warwick.ac.uk/~maaac/segal2.html), [/segal4.html](https://homepages.warwick.ac.uk/~maaac/segal4.html), [/segal5.html](https://homepages.warwick.ac.uk/~maaac/segal5.html), [/segal6.html](https://homepages.warwick.ac.uk/~maaac/segal6.html). I have merged these six html pages into a single pdf file ([here](https://ncatlab.org/nlab/files/Segal-EquivariantHT.pdf)). The result has overly large margins and bad page breaks, but otherwise is readable. <a href="https://ncatlab.org/nlab/revision/diff/equivariant+homotopy+theory/66">diff</a>, <a href="https://ncatlab.org/nlab/revision/equivariant+homotopy+theory/66">v66</a>, <a href="https://ncatlab.org/nlab/show/equivariant+homotopy+theory">current</a>
added pointer to:
- Graeme Segal, Some results in equivariant homotopy theory (1978) [scan: web, pdf]
This document seems to have existed only as a scan hosted as 6 separate html pages at homepages.warwick.ac.uk/~maaac/segal.html, /segal2.html, /segal3.html, /segal4.html, /segal5.html, /segal6.html.

I have merged these six html pages into a single pdf file (here). The result has overly large margins and bad page breaks, but otherwise is readable.

diff, v66, current

1 to 33 of 33

nForum

Discussion Feed

Not signed in

Site Tag Cloud

nLab > Latest Changes: equivariant homotopy theory