0
$\begingroup$

Let $X,Y$ be smooth projective varieties over $\mathbb C$ where $X$ is the universal cover of $Y$. Assume that the fundamental group of $Y$ is finite and has order $d$. Then we want to show that $\chi (X)=d \chi(Y)$ where $\chi(\cdot)$ means Euler characteristic with respect to the sheaf of regular functions.

Any ideas here? I guess it might be an easy application, but I don't see the connection between the chern class and the Todd class of $X$ and $Y$ in order to apply the Riemann Roch.

$\endgroup$
7
  • $\begingroup$ Crossposted from math.SE: math.stackexchange.com/q/326065/264 $\endgroup$ Mar 10, 2013 at 6:39
  • $\begingroup$ The question is purely topological, so HRR is not needed here. Just choose a triangulation of $Y$ and the induced triangulation of $X$. $\endgroup$
    – Sasha
    Mar 10, 2013 at 8:25
  • 2
    $\begingroup$ The characteristic classes are of the tangent bundles, and the tangent bundle pulls back to the tangent bundle, along etale maps. $\endgroup$ Mar 10, 2013 at 12:45
  • 1
    $\begingroup$ @Sasha : the question seems to be about the "holomorphic" Euler characteristic (Euler characteristic of the sheaf of regular functions) and not the topological Euler characteristic. $\endgroup$
    – user25309
    Mar 10, 2013 at 17:22
  • 1
    $\begingroup$ Let $\pi:X\to Y$ be the given morphism. You may compute that $\chi(X,{\cal O}_X)=\chi(Y,\pi_*({\cal O}_X))$. Now using either the fact that $\pi_*({\cal O}_X)$ is flat as a $C^\infty$-bundle or Grothendieck-Riemann-Roch together with Allen Knutson's remark, you conclude that ${\rm ch}(\pi_*({\cal O}_X))=d={\rm deg}(\pi)$. Now applying Hirzebruch-Riemann-Roch, you get that $\chi(Y,\pi_*({\cal O}_X))=\int_Y{\rm ch}(\pi_*({\cal O}_X)){\rm Td}(X)=d\cdot \int_Y{\rm Td}(X)=d\chi(X,{\cal O}_X)$. $\endgroup$ Mar 10, 2013 at 23:08

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.