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
    • CommentTimeNov 13th 2013

    am splitting-off Lubin-Tate formal group from Lubin-Tate theory

    (but as of yet neither entry states the full definition, to be expanded…)

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 13th 2013

    Not that I understand, but in

    The stratum nFG can be identified with the homotopy quotient ¯𝔽pp//𝔾, where the group 𝔾 is the Morava stabilizer group. (Lurie 10, lect. 19)

    where’s the dependence on n in ¯𝔽pp//𝔾, and what is that second p subscript anyway.

    And did you mean lecture 19, when it’s 21 that you get sent to?

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 13th 2013
    • (edited Nov 13th 2013)

    Hmm, shouldn’t it say Spec¯𝔽pp?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2013

    Thanks for catching this. I have now fixed it to read as follows:


    Write ¯𝔽p for the algebraic closure of 𝔽p.

    The stratum nFG can be identified with the homotopy quotient Spec(¯𝔽p)//𝔾, where the group 𝔾 is the Morava stabilizer group.

    This is (Lurie 10, lect. 19, prop. 1) See also the beginning of Lurie 10, lect 21.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 13th 2013

    You changed it at Morava stabilizer group, but it has it the old way at Lubin-Tate+theory. Did you want that repetition between the pages?

    Anyway, somewhere it should point out that 𝔾=Aut(¯𝔽p,f), so I’ve added that to Morava stabilizer group. Should I now copy all that over to Lubin-Tate+theory?

    Oh, so the dependence on n comes in through the height of f, the unique formal group law of that height n.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2013

    Thanks for adding!

    Right, we don’t need not say this at “Lubi-Tate theory” (and should not, since there it’s a distraction, at least in the Idea section), have removed it there.

  1. Fix broken page.

    Christian

    diff, v3, current