{"id":"arxiv/2609.13081","url":"https://arxiv.org/abs/2609.13081","tags":["math.AG"],"score":0,"title":"A Higher dimensional log Riemann--Hurwitz inequality and rigidity of covers","domain":"math.AG","source":"arxiv","authors":["Donu Arapura","Chikako Mese","Deepam Patel"],"reviews":0,"subject":"math.AG","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}