Geometric monodromy -- semisimplicity and maximality

Abstract: Let

X

be a connected scheme, smooth and separated over an algebraically closed field

k

of characteristic

p g e q 0

, let

f : Y i g h t a r r o w X

be a smooth proper morphism and

x

a geometric point on

X

. We prove that the tensor invariants of bounded length

l e q d

of

p i_{1} (X, x)

acting on the 'etale cohomology groups

H^{*} (Y_{x}, F_{e} l l)

are the reduction modulo-

e l l

of those of

p i_{1} (X, x)

acting on

H^{*} (Y_{x}, Z_{e} l l)

for

e l l

greater than a constant depending only on

f : Y i g h t a r r o w X

,

d

. We apply this result to show that the geometric variant with

F_{e} l l

-coefficients of the Grothendieck-Serre semisimplicity conjecture -- namely that

p i_{1} (X, x)

acts semisimply on

H^{*} (Y_{x}, F_{e} l l)

for

e l l g g 0

-- is equivalent to the condition that the image of

p i_{1} (X, x)

acting on

H^{*} (Y_{x}, Q_{e} l l)

is `almost maximal' (in a precise sense; what we call `almost hyperspecial') with respect to the group of

Q_{e} l l

-points of its Zariski closure. Ultimately, we prove the geometric variant with

F_{e} l l

-coefficients of the Grothendieck-Serre semisimplicity conjecture.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Geometric monodromy -- semisimplicity and maximality