Why is Griffiths Transversality part of the definition of a variation of Hodge structures?

Solution 1:

Suppose you have a filtered vector bundle on a space $X$, equipped with a flat (i.e. integrable) connection (which does not necessarily preserve the filtration). If $X$ is simply connected, then we can use the flat connection to identify the fibres of the bundle, and so put ourselves in the situation of having a fixed vector space with a varying filtration, parameterized by $X$.

The space of filtrations will be some partial flag variety $\overline{D}$ (the reason for the overline will be clear in a moment), and so we get a map $X \to \overline{D}$. If our filtrations satisfy some additional conditions like Hodge symmetry, polarizability, etc., then this map will actually land in some open subdomain $D$ of $\overline{D}$, called a period domain.

Finally, if $X$ is not simply connected, we can pull-everything back to its universal cover and apply the above story. The monodromy action of $\pi_1(X)$ on the fibre of our bundle-with-flat-connection will give a map $\pi_1(X) \to \Gamma$, where $\Gamma$ is a discrete group acting on $D$.

So altogether we get the period map $$X \to \Gamma \backslash D.$$

For example, if $X = \mathbb P^1 \setminus \{0,1,\infty\}$ and our bundle-with-connection is the variation of Hodge structure coming from the $H^1$ of the Legendre family of elliptic curves $y^2 = x(x-1)(x-\lambda)$, then $D$ will be the upper half-plane $\mathcal H$, the group $\Gamma$ will be the congruence subgroup $\Gamma(2)$ in $SL(2,\mathbb Z)$, and the period map will be the standard isomrphism $$\mathbb P^1 \setminus \{0,1,\infty\} \cong \Gamma(2) \backslash \mathcal H.$$

Now the reason Griffiths introduced the concept of variation of Hodge structures is to use them as a tool to study such period maps for more general families of varieties, and use them to deduce geometric facts (about cycles and so on in the members of the family). So he wanted a set of axioms that captured the key properties of the situation. And Griffiths transversality is one of these key properties.

What it says is that the period map $X \to \Gamma \backslash D$ is constrained in a certain way. There are different ways to phrase this constraint (all just rephrasings of Griffiths transversality): one way is differential geometric in nature, and literally says that the period map has to be transverse to a certain distribution on $\Gamma \backslash D$. (Here distribution is in the sense of differential topology.) This is where the name comes from.