Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
am splitting-off Lubin-Tate formal group from Lubin-Tate theory
(but as of yet neither entry states the full definition, to be expanded…)
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?
Hmm, shouldn’t it say Spec¯𝔽pp?
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.
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.
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 to 7 of 7