Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 25th 2020

    Recording the result from Triantafillou 82, characterizing injective/projective objects in diagrams of vector spaces over (the opposite of) the orbit category.

    (The degreewise ingredients in the rational model for topological G-spaces)

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2020

    I have spelled out, in the Examples-section here, the injective dual vector 2\mathbb{Z}_2-spaces

    diff, v5, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2020

    I have added the statement (here) that tensor product preserves injectivity of finite dimensional vector GG-spaces, from:

    diff, v8, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2020
    • (edited Sep 29th 2020)

    I still find it confusing, though, how Scull 01, Prop. 7.36 reviews this result and its previous incorrect statements. Because, that Prop. 7.36 is still missing the technical conditions of Golasinski 97b, Lemma 3.6, no?

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 29th 2020

    Amusingly, the presheaf topos on the 2\mathbb{Z}_2 orbit category has appeared before in work of Fourman and Scedrov, showing the “world’s simplest” axiom of choice fails.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2020

    On a similar but maybe complementary note, I find it curious that in all the literature on (unstable) equivariant rational homotopy theory (as referenced here) I don’t find a single example discussed (specifically: an example of a minimal model for some non-trivial GG-space).

    I have just worked out myself the minimal 2\mathbb{Z}_2-equivariant model for twistor space equipped with its 2=AntiDiag(1)Sp(2)\mathbb{Z}_2 = AntiDiag(-1) \subset Sp(2)-action, and it’s fascinating. Now I am wondering if this is the first example ever in unstable equivariant RHT? If you see any other example in the literature, let me know.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeNov 17th 2023

    I have spelled out (here) more details in the proof of Prop. 3.4 from Triantafillou 1982, characterizing the projective objects in Func(Orb G op,Vect)Func(Orb_G^{op}, \mathbb{Q}Vect) (highlighting the crucial use of a choice of splitting of some SES, which Triantafillou left notationally implicit.)

    In copying this over from the Sandbox, where I wrote it, I notice that my notational conventions in the new material now differ from when I last worked on this entry. This would deserve to be harmonized, but for the moment I just left some warning messages. But the section I added is self-contained.

    diff, v10, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeNov 29th 2023
    • (edited Nov 29th 2023)

    Below the construction of the comparison map (here) I added a TikZ-diagram making yet more explicit the claim that the map is indeed natural.

    (This is in conversation with somebody trying to follow Triantafillou 1982)

    diff, v11, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeNov 29th 2023

    have now also spelled out the proof of this Lemma.

    diff, v11, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 29th 2023
    • (edited Nov 29th 2023)

    started now an analogous subsection (here) for the dual discussion of injective objects, which is left implicit in Triantafillou 1982

    (this doesn’t go far for the moment, but I am running out of steam now…)

    diff, v12, current