MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm reading an excellent paper on the complex Lorentzian Leech Lattice and the bimonster (Tathagata Basak). Instead of using the binary Golay Code, the author uses the ternary Golay code and the complex (lorentzian) leech lattice.

Many references in the paper are to SPLAG, however, I am having trouble finding (2) on page 6 of the paper in SPLAG. When I master LaTex I will post it here. Basically, it defines the ternary Golay code over the Eisenstein integers (Z(exp(2pi*i/3), the Complex Lorentzian Leech Lattice as vectors over E^12, and C12, the ternary Golay code in F3^12. I've gotten pretty good with the MOG and the MINIMOG, so I grasp the use of the code, just not in this context.

And then, of course, how it all leads to the Bimonster, and the Inc(P^2(F3)) with 26 nodes. Also reading Conway's (26 Implies the Bimonster) which also discusses the 13 line 13 point projective plane of order 3, in the same context. And deflating the 12-gons, etc.

But for today, just want to make sense of this use of the TGC in conjunction with the CLLL:

The complex Leech Lattice ^ consists of the set of vectors in E^12 of the form

{(m + theta*c(sub i) + 3z(sub i))i=1...12 : m = 0, or +/- 1, (c(sub i) member of C12,

Sigma z(sub i) =cong= m mod theta} where

E = the ring of Z[exp(2 pi*i/3)] of Eisenstein integers C12 = Ternary Golay Code over F(sub 3)^12 and Theta = sqrt(-3) or w - w bar where w = exp(2*pi*i)

If someone could help my tie in my (better) understanding of the TGC with this more novel use of a Lattice over the Eisenstein integers, and new concepts of Weyl vectors, Coxeter-Dynkins Diagrams, and the rest, (I've read the whole paper) it would be greatly appreciated. But I would be happy just to understand the formula above, which is in SPLAG, I just cannot find it.


share|cite|improve this question

closed as not a real question by S. Carnahan Nov 20 '10 at 5:32

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

A case of acronymania there! :) – David Roberts Nov 20 '10 at 3:31
Answer key: MOG = Miracle Octad Generators, TGC = Ternary Golay Code, SPLAG = Sphere Packings, Lattices, and Groups (Conway and Sloane), Inc(P^2(F3) = The incidence graph of the projective plane over $\mathbb{F}_3$, which has 26 vertices, CLLL = Complex Leech Lattice. – S. Carnahan Nov 20 '10 at 5:29
Paul Hjelmstad, MathOverflow is not here to pre-masticate papers for you. Please edit what you wrote so that you are asking a concrete mathematical question, and flag for moderator attention. Also, I recommend minimizing the number of acronyms you use in your text. – S. Carnahan Nov 20 '10 at 5:32

Browse other questions tagged or ask your own question.