Evaluating the tame Brauer group of open varieties over local fields
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908677159518208 |
|---|---|
| author | de Vries, Victor |
| author_facet | de Vries, Victor |
| contents | In this document we let $U$ be a smooth variety of pure dimension $d$ over a local field $k_v$ with unit ball $\mathcal{O}_v$ and residue field $\mathbb{F}$ of characteristic $p>0$ and we set $n$ to be a positive integer such that $p\nmid n$. For various $u\in U(k_v)$ we study the evaluation map $u^*:\mathrm{H}^2(U,μ_n)\to \mathrm{H}^2(k_v,μ_n)$. We suppose that $U$ embeds as an open subscheme in a regular scheme $\mathcal{X}$ that is of finite type over $\mathcal{O}_v$. We assume that $Z:=\mathcal{X}\setminus U$ is a divisor and we endow it with its reduced scheme structure. We show that for $u_1,u_2\in U(k_v)$ that lift to $x_1,x_2\in \mathcal{X}(\mathcal{O}_v)$ we obtain the same evaluation map $u_1^*=u_2^*$ under the two conditions that first, there is an equality of reductions $\overline{x_1}=\overline{x_2}$ in $\mathcal{X}(\mathbb{F})$ and second, that $\mathrm{cl}(x_1\cap Z)=\mathrm{cl}(x_2\cap Z)$ holds in $\mathrm{H}^{2d}_{|\overline{x}|}(Z,μ_n^{\otimes d})$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_21457 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Evaluating the tame Brauer group of open varieties over local fields de Vries, Victor Algebraic Geometry Number Theory In this document we let $U$ be a smooth variety of pure dimension $d$ over a local field $k_v$ with unit ball $\mathcal{O}_v$ and residue field $\mathbb{F}$ of characteristic $p>0$ and we set $n$ to be a positive integer such that $p\nmid n$. For various $u\in U(k_v)$ we study the evaluation map $u^*:\mathrm{H}^2(U,μ_n)\to \mathrm{H}^2(k_v,μ_n)$. We suppose that $U$ embeds as an open subscheme in a regular scheme $\mathcal{X}$ that is of finite type over $\mathcal{O}_v$. We assume that $Z:=\mathcal{X}\setminus U$ is a divisor and we endow it with its reduced scheme structure. We show that for $u_1,u_2\in U(k_v)$ that lift to $x_1,x_2\in \mathcal{X}(\mathcal{O}_v)$ we obtain the same evaluation map $u_1^*=u_2^*$ under the two conditions that first, there is an equality of reductions $\overline{x_1}=\overline{x_2}$ in $\mathcal{X}(\mathbb{F})$ and second, that $\mathrm{cl}(x_1\cap Z)=\mathrm{cl}(x_2\cap Z)$ holds in $\mathrm{H}^{2d}_{|\overline{x}|}(Z,μ_n^{\otimes d})$. |
| title | Evaluating the tame Brauer group of open varieties over local fields |
| topic | Algebraic Geometry Number Theory |
| url | https://arxiv.org/abs/2511.21457 |