The morphism induced by Frobenius push-forward

Abstract: Let

X

be a smooth projective curve of genus

g (X) g e q 1

over an algebraically closed field

k

of characteristic

p > 0

and

F_{X / k} : X i g h t a r r o w X^{(1)}

be the relative Frobenius morphism. Let

m a t h f r a k M_{X}^{s (s s)} (r, d)

(resp.

m a t h f r a k M_{X^{(1)}}^{s (s s)} (r c d o t p, d + r (p - 1) (g - 1))

) be the moduli space of (semi)-stable vector bundles of rank

r

(resp.

r c d o t p

) and degree

d

(resp.

d + r (p - 1) (g - 1)

) on

X

(resp.

X^{(1)}

). We show that the set-theoretic map

S_{m a t h r m F r o b}^{s s} : m a t h f r a k M_{X}^{s s} (r, d) i g h t a r r o w m a t h f r a k M_{X^{(1)}}^{s s} (r c d o t p, d + r (p - 1) (g - 1))

induced by

[E] m a p s t o [{F_{X / k}}_{*} (E)]

is a proper morphism. Moreover, if

g (X) g e q 2

, the induced morphism

S_{m a t h r m F r o b}^{s} : m a t h f r a k M_{X}^{s} (r, d) i g h t a r r o w m a t h f r a k M_{X^{(1)}}^{s} (r c d o t p, d + r (p - 1) (g - 1))

is a closed immersion. As an application, we obtain that the locus of moduli space

m a t h f r a k M_{X^{(1)}}^{s} (p, d)

consists of stable vector bundles whose Frobenius pull back have maximal Harder-Narasimhan Polygon is isomorphic to Jacobian variety

J a c_{X}

of

X

.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: The morphism induced by Frobenius push-forward