login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A280191 Essential dimension of the spin group Spin_n over an algebraically closed field of characteristic different from 2. 1
0, 0, 4, 5, 5, 4, 5, 6, 6, 7, 23, 24, 120, 103, 341, 326 (list; graph; refs; listen; history; text; internal format)
OFFSET

5,3

COMMENTS

For n <= 14, due to Markus Rost. For n > 14, see references.

REFERENCES

S. Garibaldi, "Cohomological invariants: exceptional groups and spin groups", Memoirs of the AMS #937 (2009).

A. Merkurjev, Essential dimension, Quadratic forms-algebra, arithmetic, and geometry (R. Baeza, W.K. Chan, D.W. Hoffmann, and R. Schulze-Pillot, eds.), Contemp. Math., vol. 493, 2009, pp. 299-325.

Merkurjev, Alexander S. "Essential dimension." Bull. Amer. Math. Soc., 54 (Oct. 2017), 635-661.

LINKS

Table of n, a(n) for n=5..20.

P. Brosnan, Z. Reichstein, and A. Vistoli, Essential dimension, spinor groups, and quadratic forms, Annals of Math. vol 171 (2010), 533-544.

V. Chernousov and A.S. Merkurjev, Essential dimension of spinor and Clifford groups, Algebra & Number Theory 8 (2014), no. 2, 457-472.

S. Garibaldi and R.M. Guralnick, Spinors and essential dimension, arXiv:1601.00590 [math.GR], 2016.

EXAMPLE

a(14) = 7, meaning that Spin_14 has essential dimension 7, reflecting a cohomological invariant of degree 7 constructed using the G2 X G2 semidirect mu_4 subgroup.

PROG

(Python)

def a(n):

    if n > 14:

        if n%2 == 1:

            return 2**((n-1)/2) - n*(n-1)/2

        if n%4 == 2:

            return 2**((n-2)/2) - n*(n-1)/2

        if n%4 == 0:

            return 2**((n-2)/2) - n*(n-1)/2 + biggestdivisor(n, 2)

    elif n >= 5:

        return [0, 0, 4, 5, 5, 4, 5, 6, 6, 7][n-5]

    return "Error"

def biggestdivisor(n, d): # return largest power of d dividing n

    if n%d != 0:

        return 1;

    else:

        return d*biggestdivisor(n/d, d);

CROSSREFS

Agrees with sequence A163417 for n > 15 and not divisible by 4. First term of agreement is a(17) = 120.

Sequence in context: A197136 A320475 A106626 * A222703 A222587 A222378

Adjacent sequences:  A280188 A280189 A280190 * A280192 A280193 A280194

KEYWORD

nonn

AUTHOR

Skip Garibaldi, Dec 28 2016

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified October 16 05:44 EDT 2018. Contains 316259 sequences. (Running on oeis4.)