Action of lattice automorphism group on discriminant group

asked 7 years ago

jah gravatar image

updated 7 years ago

I have a lattice L with automorphism group G=Aut(L). The action of G on L should induce an action on the discriminant group D=˜L/L such that we have a group homomorphism ϕ:Aut(L)Aut(D). The kernel of this map will be a normal subgroup N of G. I need to be able to compute the action of the quotient G/N on D. In the actual example I am interested in L has rank 20 and is defined through its Gram Matrix. L is an even lattice. A simpler model of this situation would be to take L to be a root lattice, say the A2 root lattice to be concrete, Aut(L) is the dihedral group D6 arising as the product of the Z2 outer automorphism and the S3 Weyl group of A2. The dual lattice ˜L is the weight lattice of A2 and the discriminant group ˜L/L is Z3 with one non-trivial automorphism, taking gg1. In this simple case everything is computable by hand, but for the case I am interested in I only have Aut(L) presented in terms of 20×20 matrix generators and computing by hand seems too difficult. Can anyone provide any hints on how to get sage to do this? I can compute Aut(L) and Aut(D) using sage, my problem is in figuring out how to determine N and the action of the quotient G/N on D.

Preview: (hide)

Comments

Please provide a concrete situation, where the involved objects are still "complicated" (at least not trivial). Two examples - one in a smaller dimension, one in a much bigger one - would be enough to get started for a potential helper...

dan_fulea gravatar imagedan_fulea ( 7 years ago )

I added additional details and a smaller dimensional example of the general question. I don't think entering the 20x20 gram matrix of the lattice would be particularly helpful to anyone. p.s. sorry for bad LaTeX but for some reason L didn't work properly.

jah gravatar imagejah ( 7 years ago )

@jah -- actually, providing an actual explicit example, that people can copy-paste into a Sage session to get started working on your question, is usually an enormous help.

slelievre gravatar imageslelievre ( 7 years ago )