Skip to main content
fixed title
Link
David Zureick-Brown
  • 10.5k
  • 3
  • 39
  • 96

On Grothendieck's preriodperiod relations

Source Link
Hugo Chapdelaine
  • 7.6k
  • 2
  • 28
  • 70

On Grothendieck's preriod relations

Let $V$ be a smooth projective variety defined over $\mathbf{Q}$ and denote by $$ \omega: H_{dR}^*(V,\mathbf{Q})){\otimes_{\mathbf{Q}}}\mathbf{C}\rightarrow H_{B}^*(V,\mathbf{Q})\otimes_{\mathbf{Q}}\mathbf{C}, $$ Grothendieck's comparison isomorphism between algebraic De Rham cohomology and Betti cohomology. Choosing $\mathbf{Q}$-rational basis on both sides we may think of $\omega$ as given by a square matrix.

In many places in the literature it is said that algebraic cycles (defined over $\mathbf{Q}$) on the $n$-iterated product of $V$, namely $V^n$, give rise to polynomial relations in the entries of the matrix $\omega$.

Q: How does one obtain such polynomial relations?