Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.33537

On the algebraicity of non-abelian Noether-Lefschetz loci of rank-two real local systems

Tianzhi Hu·Kang Zuo
View original source ↗Read source document ↗Export metadata ↓

Abstract

As a non-abelian analogue of the Hodge locus, Simpson introduced the non-abelian Noether--Lefschetz locus and conjectured its algebraicity for $\mathbb Z$PVHS. In this paper, we study this question on the moduli space of curves $\mathcal M_g$. For a non-unitary representation \[ ρ:π_1(Σ_g)\longrightarrow \mathrm{SL}_2(\mathbb R) \] which admits a $\mathbb R$PVHS of weight one, we prove that algebraicity of a positive-dimensional non-abelian Noether--Lefschetz component is equivalent to discreteness of $\operatorname{im}ρ$, and in this case the component is precisely a marked fixed-target orbifold Hurwitz component. As applications, we construct two explicit rational families by slit surgery: one with non-discrete monodromy and non-algebraic Noether--Lefschetz image, and another with discrete monodromy whose period map is nevertheless non-uniformizing. The latter gives an affirmative answer to a question of Baldi--Lam concerning $\mathbb Q$PVHS.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tianzhi Hu, Kang Zuo. 2026-09-27. On the algebraicity of non-abelian Noether-Lefschetz loci of rank-two real local systems. https://arxiv.org/abs/2609.33537

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Rationality problem for norm one tori for small non-Galois extensions: Symmetric, alternating and linear group cases including stably rational ${\rm PSL}_2(\mathbb{F}_{2^d})$ cases with $d=1,2,3$

Let $k$ be a field, $K/k$ be a separable field extension of degree $n$ and $L/k$ be the Galois closure of $K/k$. Let $G={\rm Gal}(L/k)$ and $H={\rm Gal}(L/K)\lneq G$ with $[G:H]=n$. Then $H$ is core-free in $G$, i.e. $\bigcap_{σ\in G} σ^{-1}Hσ=\{1\}$. Let $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ be the norm one torus of $K/k$ with ${\rm dim}\, T=n-1$. We fix $G$ as an abstract group and let $H$ range over all core-free subgroups of $G$ up to conjugacy. For each of the following $15$ groups $G\simeq S_3$, $S_4$, $S_5$, $S_6$, $A_4$, $A_5$, $A_6$, ${\rm GL}_2(\mathbb{F}_q)$ $(q=3,4,5)$, ${\rm SL}_2(\mathbb{F}_q)$ $(q=3,5,7)$, ${\rm PSL}_2(\mathbb{F}_q)$ $(q=7,8)$, by using GAP computations with the aid of PARI/GP, we determine, for any core-free subgroup $H\leq G$ up to conjugacy, whether $T$ is stably $k$-rational, not stably but retract $k$-rational, or not retract $k$-rational. The resulting $175$ cases ($15$ are Galois, $160$ are non-Galois) split into $7$, $7$, $161$ cases respectively. We also give alternative proofs for the known cases (i) $H=\{1\}$, i.e. $K/k$ is Galois, and (ii) $[K:k]=[G:H]=n\leq 15$ with $G\not\simeq 9T27\simeq {\rm PSL}_2(\mathbb{F}_8)$. The $6$ stably $k$-rational cases occur for $G\simeq S_3\simeq {\rm PSL}_2(\mathbb{F}_{2})$, $A_5\simeq {\rm PSL}_2(\mathbb{F}_4)$, ${\rm PSL}_2(\mathbb{F}_8)$. Except for the stably $k$-rational case $d=1$ and $H=\{1\}$, for $G\simeq {\rm PSL}_2(\mathbb{F}_{2^d})$ with $d=1,2,3$, we prove that $T$ is stably $k$-rational if and only if $T$ is retract $k$-rational if and only if $(C_2)^d\leq H\leq (C_2)^d\rtimes C_{2^d-1}$, and conjecture that this holds for any $d\geq 1$. When $k$ is a global field and $T$ is retract $k$-rational, e.g. $(G,H)\simeq ({\rm PSL}_2(\mathbb{F}_7),D_4)$, $({\rm PSL}_2(\mathbb{F}_8),(C_2)^3)$, $({\rm PSL}_2(\mathbb{F}_8),(C_2)^3\rtimes C_7)$, the Hasse norm principle holds for $K/k$.

math.AG↗
arXiv2026

The Gersten conjecture for $p$-adic étale Tate twists and the $p$-adic cycle class map

We prove the Gersten conjecture for $p$-adic étale Tate twists for a smooth scheme $X$ in mixed characteristic in the Nisnevich topology. Our main observation is that, while $p$-adic étale Tate twists are not $\mathbb A^1$-invariant, for the proof of the Gersten conjecture it suffices that they satisfy the $\mathbb P^1$-bundle formula. This fits nicely with the emphasis on the projective bundle formula in non $\mathbb A^1$-invariant motivic cohomology recently developed by Elmanto-Morrow and Annala-Hoyois-Iwasa. Furthermore, identifying $p$-adic étale Tate twists with the syntomic cohomology defined by Bhatt-Morrow-Scholze, the result generalises the Gersten conjecture for logarithmic deRham-Witt sheaves due to Gros-Suwa to arbitrary characteristic. We also extend work of Schmidt-Strunk on the Gersten conjecture for presheaves of spectra to the non-$\mathbb A^1$-invariant situation. In the second part of the article, we revisit the cycle class map from thickened zero-cycles on the special fiber of $X$ to étale cohomology with coefficients in $p$-adic étale Tate twists previously studied in [26]. This cycle class map is important in the study of zero-cycles on smooth projective varieties over local fields and the approach to the cycle class map which we use in this article is more conceptual and, in contrast to the approach in loc. cit., works for arbitrary finite residue fields.

math.AG↗
arXiv2026

The multiplicity of a Mori Dream Space: applications to polar duality and the classification of toric $\mathbb{Q}$-Fano varieties

We extend the multiplicity of fake weighted projective spaces, as introduced by Averkov, Kasprzyk, Lehmann and Nill in 2021, to complete toric varieties and Mori Dream Spaces, defining it as the order of the torsion subgroup of the divisor class group. It equals the degree of the canonical $1$-covering, a finite surjective morphism étale in codimension one. We classify toric $\Q$-Fano varieties with prescribed weight matrix and Gorenstein index by admissible subgroups of a finite abelian group, realized as the deck transformation groups of their universal $1$-coverings. The classification allows arbitrary class-group rank without assuming $\Q$-factoriality, and yields an intrinsic intermediate $1$-covering, the \emph{unitary} one, controlling the Gorenstein index. We outline a computational classification strategy based on weight matrices and finite subgroup enumeration. In the Gorenstein Fano case, a perfect pairing of weight groups expresses polar duality as an inclusion-reversing subgroup correspondence. For iso-weighted polar partners over $\C$, the mirror correspondence admits an internal description within the anticanonical family of their common universal $1$-covering, through invariant subfamilies and their quotient actions. Finally, we derive divisibility relations and multiplicity bounds, also applicable to Mori Dream Spaces whose canonical toric ambient varieties admit suitable $\Q$-Fano completions.

math.AG↗