1
$\begingroup$

Suppose $\mathbb{V}$ is the underlining local system of a variation of (polarized) rational Hodge structure over base $B$. This local system corresponds to the monodromy representation $$\pi_1(B,b)\rightarrow GL(\mathbb{V}_b).$$

If the monodromy representation is irreducible, then the local system $\mathbb{V}$ does not have any non-trivial local subsystem and vice versa.

My question is the following.

  1. Suppose we only know $\mathbb{V}$ does not admit any nontrivial sub variation of (polarized) Hodge structure. What can we say about the irreducibiity of the underlining local system? Is it still irreducible or there are counterexamples?

  2. Under the same assumption on $\mathbb{V}$ as above, is it true $\mathbb{V}_b$ is an irreducible Hodge structure for $b\in B$ very general?

Any comments/input are appreciated.

$\endgroup$
1
  • $\begingroup$ Slightly related: you might be interested in the theorem of the fixed part: The monodromy invariants form a constant sub-VHS. See Deligne's “Hodge II”, or Andre's “Mumford–Tate groups and the Theorem of the Fixed Part”. $\endgroup$
    – jmc
    Commented Aug 14, 2014 at 12:19

1 Answer 1

5
$\begingroup$

No to one of your questions; here is an easy counterexample. Pick any base $B$ and let $A$ be a simple complex abelian variety then the pullback of $H^1(A,\mathbb{Q})$ to $B$ is a trivial, and therefore reducible, local system. But it admits no nontrivial sub variations of Hodge structure.

Added The newly added question is more interesting. Yes, if $V$ is a VHS which is irreducible as a local system, then $V_b$ is irreducible as a Hodge structure for very general $b$. This follows for example from prop 7.5 of Deligne, La conjecture de Weil pour les surfaces K3. It's probably also in André's paper that jmc referenced [it's lemma 4 in André, I just checked].

$\endgroup$
2
  • $\begingroup$ Thanks Donu. I guess I've been silly. May I ask you another question? Suppose $\mathbb{V}$ is an irreducible variation of (polarized) Hodge structure, it is true $\mathbb{V}_b$ is an irreducible (polarized) Hodge structure for $b\in B$ very general? $\endgroup$
    – Jie Wang
    Commented Aug 14, 2014 at 3:29
  • $\begingroup$ @JieWang — I think “the last question” changed, after your edit. Maybe you can number your questions, so that Donu Arapura can specifically refer to a particular question. I was confused for a while. $\endgroup$
    – jmc
    Commented Aug 14, 2014 at 12:17

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .