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
    • CommentTimeApr 18th 2014
    • (edited Apr 18th 2014)

    For the experts on profinite groups among you, here is a question which I am trying to figure out. Quite likely it doesn’t actually take much expertise at all but just very elementary profinite yoga.

    Over at modular equivariant elliptic cohomology is recalled something that almost looks like the orbit category of GL 2GL_2 with coefficients in the profinite integers ^\widehat{\mathbb{Z}} and I am wondering if with some massaging we might not get something that is the actual orbit category of some profinite group, or something.

    So the almost-orbit category there is that whose objects are given by pairs (n,Γ)(n,\Gamma) with nn \in \mathbb{N} and Γ\Gamma a subgroup of GL 2(/n)GL_2(\mathbb{Z}/n\mathbb{Z}).

    To define the morphisms, first with p n:GL 2(^)GL 2(/n)p_n \colon GL_2(\widehat{\mathbb{Z}})\to GL_2(\mathbb{Z}/n\mathbb{Z}) denoting the canonical projection, let then p n 1(Γ)GL 2(^)p_n^{-1}(\Gamma) \subset GL_2(\widehat{\mathbb{Z}}) be the pre-image of Γ\Gamma. The idea is then to consider only orbits which are cosets by such p n 1(Γ)p_n^{-1}(\Gamma) and to allow maps only between orbits where the nns relate suitably:

    Hom((n 1,Γ 1),(n 2,Γ 2)){Hom GL 2(^)(GL 2(^)/p n 1 1(Γ 1),GL 2(^)/p n 2 1(Γ 2)) ifn 2|n 1 otherwise Hom((n_1,\Gamma_1), (n_2,\Gamma_2)) \coloneqq \left\{ \array{ Hom_{GL_2(\widehat{\mathbb{Z}})}( GL_2(\widehat{\mathbb{Z}})/p_{n_1}^{-1}(\Gamma_1), \; GL_2(\widehat{\mathbb{Z}})/p_{n_2}^{-1}(\Gamma_2) ) & if\; n_2|n_1 \\ \emptyset & otherwise } \right.

    That’s the definition which I would like to see realized as a genuine orbit category. I might be very much not seeing the obvious here, please bear with me. But my question would be what is – or what is the “closest” – way to make this a genuine orbit category.

    (I gather that GL 2(^)lim nGL 2(/n)GL_2(\widehat{\mathbb{Z}})\simeq \underset{\leftarrow}{\lim}_n GL_2(\mathbb{Z}/n\mathbb{Z})?)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2014
    • (edited Apr 18th 2014)

    Ah I see that there is something at least closely related to this question in

    • Aaron Greicius, Elliptic curves with surjective adelic Galois representations (arXiv:0901.2513)

    This characterizes the maximal closed subgroups of GL 2(^)GL_2(\widehat{\mathbb{Z}}) and finds (prop. 2.5, cor. 2.7) that they are given by maximal closed subgroups HGL 2( p)H \subset GL_2(\mathbb{Z}_p) (adic pp), being of the form H× ppGL 2( p)GL 2(^)H\times \prod_{p'\neq p} GL_2(\mathbb{Z}_{p'}) \hookrightarrow GL_2(\widehat{\mathbb{Z}}). Then furthermore corollary 2.14 there says how the maximal closed subgroups of GL 2( p)GL_2(\mathbb{Z}_p) come from maximal closed subgroups of a GL 2(/p k)GL_2(\mathbb{Z}/p^k \mathbb{Z})-stage.

    I suppose that goes at least some way to answering my question: I guess I want to be looking at the orbits which are cosets by maximal closed subgroups.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeApr 18th 2014
    • (edited Apr 18th 2014)

    What are the properties that you want in an orbit category? Do you need an Elmendorf theorem or what?

    There is paper that might give some help: G. Quick, Continuous group actions on profinite spaces, J. Pure Appl. Alg., 215, (2011), 1024–1039. It does not get near to your question but looks at some related ideas.

    One minor point of wording on that page to which you link. How does one take a general linear group with coefficients in a group? Was a ring intended?