Let $R$ be a real closed field and let $X_\Sigma$ be a smooth projective split toric variety. For an explicitly chosen basis rigidification $\mathfrak r$ of its Picard grading, we prove that the pair $(\Sigma,\mathfrak r)$ determines the resulting total Chow--Witt ring and give a terminating finite algorithm for all groups, products, twists, and forgetful maps. The ring is identified with an explicit fibre product of the Picard-graded diagonal $\mathbf{I}$-cohomology ring and the integral inverse images of twisted Bockstein kernels over the mod-$2$ Chow ring. Using real cycle classes, we identify the first factor with the cohomology of the real toric variety with all sign local systems. We construct the mod-$2$ cycle map on invariant divisors as explicit deck-transition cocycles and obtain finite signed boundary and product matrices directly from the fan.
Let $S_1$ and $S_2$ be rational elliptic surfaces with section over an algebraically closed field of characteristic zero, and let $X=S_1\times_{\mathbb{P}^1}S_2$. We determine the local equations produced by pairs of Kodaira fibers, including non-reduced fibers, and construct crepant resolutions for the admissible loca...
Let $X$ be the moduli space of stable trace-free rank $r$ Higgs bundles over a smooth projective curve $C$ with fixed determinant $\Lambda\in\Pic(C)$ and $\gcd(r,\deg\Lambda)=1$. We prove that the $\cc^*$-equivariant quantum product of a divisor on $X$ is given by the Steinberg correspondence of the Lagrangian Steinber...
Let $X$ be a smooth projective surface over $\mathbb{C}$ with an effective action of a finite group $G$, and let $L$ be a $G$-linearized line bundle. We develop a residue-theoretic and birational approach to computing the equivariant Euler characteristic $\chi_G(X,L)$. Every such $L$ admits an equivariant divisor prese...
Let $k=\mathbb F_q$. We reconstruct every $k$-indecomposable $g\in k(X)$ of degree greater than one whose normal closure has genus one. Such a map is automatically separable and, after independent degree-one changes of the source and target coordinates over $k$, arises from a separable equivariant isogeny between ellip...
Let $C \subset \Pbb^2_k$ be a smooth projective plane curve of degree $d \ge 5$ over a number field $k$. We prove that any cubic arithmetic or geometric progression sequence on $C$ is finite. The proof rests on a prime-$p$ tower of cyclic Kummer covers controlled by the divisor of a linear-form quotient on $C$, combine...
Let $k=\mathbb F_q$. We classify, up to two-sided $k$-M\"obius equivalence, all separable indecomposable tame exceptional maps $\mathbf P^1_k\to\mathbf P^1_k$ whose geometric Galois closure has genus one. The resulting arithmetic fixed-field forms are encoded by Frobenius-stable affine elliptic quotient data recovered...
Xiang Fan· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
