A Higher dimensional log Riemann--Hurwitz inequality and rigidity of covers
Let $\overline{Z}$ be a smooth projective variety with an simple normal crossing divisor $D$ such that $Ω_{\overline{Z}}^1(\log D)$ is nef. We prove that if $Y\subset Z:=\overline Z\setminus D$ is a smooth closed subvariety with nonzero Euler characteristic, and $P$ is a perverse sheaf on $Y$ with full support, then $χ(Y,P)>0$. This is a strict version of an inequality obtained in arXiv:2408.15788. Applying this to the trace-zero part of a finite direct image yields a logarithmic Riemann--Hurwitz inequality: if $Y$ has dimension $n$, any finite surjective morphism $f\colon X\to Y$ of degree…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.13081
curl -X POST /api/v1/records/arxiv/2609.13081/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13081/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'