Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2504.14141 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916698263650304 |
|---|---|
| author | Xie, Lingyao |
| author_facet | Xie, Lingyao |
| contents | Let $f:X\to S$ be a projective morphism of normal varieties. Assume $U$ is an open subset of $S$ and $L_U$ is a $\mathbb{Q}$-divisor on $X_U:=X\times_S U$ such that $L_U\equiv_U 0$. We explore when it is possible to extend $L_U$ to a global $\mathbb{Q}$-divisor $L$ on $X$ such that $L\equiv_f 0$. In particular, we show that such $L$ always exists after a (weak) semi-stable reduction when $\dim S=1$.
On the other hand, we give an example showing that $L$ may not exist (after any reasonable modification of $f$) if $\dim S\ge 2$, which also gives an $f_U$-nef divisor $M_U$ that cannot extend to an $f$-nef ($\mathbb{Q}$) divisor $M$ for any compactification of $f|_U$, even after replacing $X_U$ with any higher birational model. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_14141 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The extension of numerically trivial divisors on a family Xie, Lingyao Algebraic Geometry 14J10, 14K30 Let $f:X\to S$ be a projective morphism of normal varieties. Assume $U$ is an open subset of $S$ and $L_U$ is a $\mathbb{Q}$-divisor on $X_U:=X\times_S U$ such that $L_U\equiv_U 0$. We explore when it is possible to extend $L_U$ to a global $\mathbb{Q}$-divisor $L$ on $X$ such that $L\equiv_f 0$. In particular, we show that such $L$ always exists after a (weak) semi-stable reduction when $\dim S=1$. On the other hand, we give an example showing that $L$ may not exist (after any reasonable modification of $f$) if $\dim S\ge 2$, which also gives an $f_U$-nef divisor $M_U$ that cannot extend to an $f$-nef ($\mathbb{Q}$) divisor $M$ for any compactification of $f|_U$, even after replacing $X_U$ with any higher birational model. |
| title | The extension of numerically trivial divisors on a family |
| topic | Algebraic Geometry 14J10, 14K30 |
| url | https://arxiv.org/abs/2504.14141 |