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

Discussion 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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeDec 27th 2014

    There was an old entry faithful representation. I have edited and expanded it a little. While I was was at it, I have added the definition of faithful infinity-actions in an infinity-topos.

    (Nothing non-trivial here, just for completeness.)

    • CommentRowNumber2.
    • CommentAuthorRodMcGuire
    • CommentTimeDec 27th 2014
    • (edited Dec 27th 2014)

    Are VV and GG wrongly swapped in some of the exposition?

    morphism BGBAut(V)Obj κ\mathbf{B}G \longrightarrow \mathbf{B}\mathbf{Aut}(V) \hookrightarrow Obj_\kappa

    ρ˜:GAut(V). \tilde \rho \colon G \longrightarrow \mathbf{Aut}(V) \,.

    Shouldn’t these be

    morphism BGBAut(G)Obj κ\mathbf{B}G \longrightarrow \mathbf{B}\mathbf{Aut}(G) \hookrightarrow Obj_\kappa

    ρ˜:VAut(G). \tilde \rho \colon V \longrightarrow \mathbf{Aut}(G) \,.

    or am I missing some of the mysteries of deloopling?

    In the pull back diagram

    V V/G Obj^ κ BG BAut(V) Obj κ. \array{ V &\longrightarrow& V/G &\longrightarrow& &\longrightarrow& \widehat{Obj}_\kappa \\ && \downarrow && \downarrow && \downarrow \\ && \mathbf{B}G &\longrightarrow& \mathbf{B}\mathbf{Aut}(V) &\hookrightarrow& Obj_\kappa } \,.

    shouldn’t the blank spot be filled in as

    V V/G Aut(G) Obj^ κ BG BAut(G) Obj κ. \array{ V &\longrightarrow& V/G &\longrightarrow&Aut(G) &\longrightarrow& \widehat{Obj}_\kappa \\ && \downarrow && \downarrow && \downarrow \\ && \mathbf{B}G &\longrightarrow& \mathbf{B}\mathbf{Aut}(G) &\hookrightarrow& Obj_\kappa } \,.

    or was that spot left blank for a reason?

    And should Aut(G)Obj^ κAut(G) \longrightarrow \widehat{Obj}_\kappa be Aut(G)Obj^ κAut(G) \hookrightarrow \widehat{Obj}_\kappa?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 27th 2014

    No. Wait, GG is the group that acts. Why would you consider Aut(G)Aut(G)?

    This issue has nothing to do with delooping: an action of a group GG on some VV is equivalently a group homomorphism GAut(V)G \to Aut(V).

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 27th 2014

    The name of what used to be a blank spot is V/Aut(V)V/\mathbf{Aut}(V). I have filled it in.

    • CommentRowNumber5.
    • CommentAuthorRodMcGuire
    • CommentTimeDec 27th 2014
    • (edited Dec 27th 2014)

    Sorry. I’m the one with a definite swapping problem. But at least I got you to fill in the blank. :)

    From the way I might understand things now, maybe the exposition could be clearer by being a bit more explicit and stating the goal up front.

    start from action: ρ:GVV \rho \;\colon\; G \otimes V \longrightarrow V

    want “currying”: ρ˜:GAut(V) \tilde \rho \colon G \longrightarrow \mathbf{Aut}(V)

    ρ˜ \tilde \rho turns out to be the adjoint in some sense of something in the pullback diagram (I’m guessing V/GBAut(V)V/G \longrightarrow \mathbf{BAut}(V)).

    Is this adjoint special in any way? Or is there no way to derive ρ˜ \tilde \rho from an adjoint in the diagram, and it is only in some sense the adjoint of the whole thing.

    Also would it be possible to label the arrows in the pullback to indicate which are normally epis (e) and monos( m) (there are no LaTex up/down hook arrows for monos and no split-tail arrows for epis) and which are (E) and (M) when ρ \rho is faithful?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 27th 2014

    Rod, let’s focus these questions of yours first on the section with the traditional definition.

    The adjunction is question is the tensor-hom adjunction (V)[V,](V \otimes -) \dashv [V,-]. Under this adjunction, ρ˜:G[V,V]\tilde \rho \colon G \to [V,V] is the adjunct of ρ:GVV\rho \colon G \otimes V \to V. This is the operation that is also called currying (the entry currying almost says this, somebody should edit it such as to say this more explicitly).

    I have made this more explicit in the “traditional”-section.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeAug 22nd 2016

    I have started a section Properties with the brief statement that algebraic groups have finite-dimensional faithful representations, and that every other finite-dimensional representation is a subquotient of any of these.