Hasse norm principle for M_{11} and J₁ extensions

Abstract: Let

k

be a field and

T

be an algebraic

k

-torus. In 1969, over a global field

k

, Voskresenskii proved that there exists an exact sequence

0 o A (T) o H^{1} (k, m P i c, o v e r l i n e X)^{v} e e o S h a (T) o 0

where

A (T)

is the kernel of the weak approximation of

T

,

S h a (T)

is the Shafarevich-Tate group of

T

,

X

is a smooth

k

-compactification of

T

,

m P i c, o v e r l i n e X

is the Picard group of

o v e r l i n e X = X i m e s_{k} o v e r l i n e k

and

v e e

stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus

T = R_{K / k}^{(1)} (G_{m})

of

K / k

,

S h a (T) = 0

if and only if the Hasse norm principle holds for

K / k

. We determine

H^{1} (k, m P i c, o v e r l i n e X)

for norm one tori

T = R_{K / k}^{(1)} (G_{m})

when the Galois group

m G a l (L / k)

of the Galois closure

L / k

of

K / k

is isomorphic to the Mathieu group

M_{11}

of degree

11

of order

7920

or the Janko group

J_{1}

of order

175560

. We also give a necessary and sufficient condition for the Hasse norm principle for such extensions

K / k

with

m G a l (L / k) s i m e q M_{11}

and

J_{1}

.

This page was built for publication: Hasse norm principle for $M_{11}$ and $J_1$ extensions