Surjectivity of polynomial maps on Matrices

Abstract: Consider the word map on

M_{n} (m a t h b b K)

given by a polynomial

f (X_{1}, l d o t s, X_{m})

over the field

m a t h b b K

. We consider a multilinear map given by product of commutators

f = [X_{1}, X_{2}] [X_{3}, X_{4}] c d o t s [X_{m - 1}, X_{m}]

and show that it is surjective on

M_{n} (m a t h b b K)

if

m g e q 4

. We also explore the image of the diagonal word map given by

f = d e l t a_{1} X_{1}^{k_{1}} + d e l t a_{2} X_{2}^{k_{2}} + c d o t s + d e l t a_{m} X_{m}^{k_{m}}

depending on solution of certain equations over

m a t h b b K

. In particular, we show that for

m g e q 2

, the diagonal word map is surjective when (a)

m a t h b b K = m a t h b b C

, (b)

m a t h b b K = m a t h b b F_{q}

for large enough

q

, and (c)

m a t h b b K = m a t h b b R

with at least one of the

k_{i}

is odd.

This page was built for publication: Surjectivity of polynomial maps on Matrices