On the rationality of algebraic monodromy groups of compatible systems

Abstract: Let

E

be a number field and

X

a smooth geometrically connected variety defined over a characteristic

p

finite field. Given an

n

-dimensional pure

E

-compatible system of semisimple

l a m b d a

-adic representations of the 'etale fundamental group of

X

with connected algebraic monodromy groups

G_{l} a m b d a

, we construct a common

E

-form

G

of all the groups

G_{l} a m b d a

and in the absolutely irreducible case, a common

E

-form

G h o o k r i g h t a r r o w e x t {G L}_{n, E}

of all the tautological representations

G_{l} a m b d a h o o k r i g h t a r r o w e x t {G L}_{n, E_{l} a m b d a}

(Theorem 1.1). Analogous rationality results in characteristic

p

assuming the existence of crystalline companions in

e x t {F - I s o c}^{d a g g e r} (X) o t i m e s E_{v}

for all

v | p

(Theorem 1.5) and in characteristic zero assuming ordinariness (Theorem 1.6) are also obtained. Applications include a construction of

G

-compatible system from some

e x t {G L}_{n}

-compatible system and some results predicted by the Mumford-Tate conjecture.

This page was built for publication: On the rationality of algebraic monodromy groups of compatible systems