On a rationality problem for fields of cross-ratios II

Publication date 24 September 2021

Abstract: Let

k

be a field,

x_{1}, d o t s, x_{n}

be independent variables and

L_{n} = k (x_{1}, d o t s, x_{n})

. The symmetric group

S i g m a_{n}

acts on

L_{n}

by permuting the variables, and the projective linear group

e x t {P G L}_{2}

acts by [ �egin{pmatrix} a & b \ c & d end{pmatrix} colon x_i mapsto frac{a x_i + b}{c x_i + d} ] for each

i = 1, l d o t s, n

. The fixed field

L_{n}^{e x t {P G L}_{2}}

is called "the field of cross-ratios". Given a subgroup

S s u b s e t S i g m a_{n}

, H. Tsunogai asked whether

L_{n}^{S}

rational over

K_{n}^{S}

. When

n g e q s l a n t 5

the second author has shown that

L_{n}^{S}

is rational over

K_{n}^{S}

if and only if

S

has an orbit of odd order in

1, d o t s, n

. In this paper we answer Tsunogai's question for

n l e q s l a n t 4

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On a rationality problem for fields of cross-ratios II