Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0012157

Invitation to higher local fields, Part II, section 7: Recovering higher global and local fields from Galois groups - an algebraic approach

Ido Efrat
View original source ↗Read source document ↗Export metadata ↓

Abstract

A main problem in Galois theory is to characterize the fields with a given absolute Galois group. We apply a K-theoretic method for constructing valuations to study this problem in various situations. As a first application we obtain an algebraic proof of the 0-dimensional case of Grothendieck's anabelian conjecture (proven by Pop), which says that finitely generated infinite fields are determined up to purely inseparable extensions by their absolute Galois groups. As a second application (which is a joint work with Fesenko) we analyze the arithmetic structure of fields with the same absolute Galois group as a higher-dimensional local field.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ido Efrat. 2000-12-18. Invitation to higher local fields, Part II, section 7: Recovering higher global and local fields from Galois groups - an algebraic approach. https://arxiv.org/abs/math/0012157

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

KEEP EXPLORING

Related papers

arXiv2026

Analytic Study of $p$-Bessel Functions: Fractional Calculus, Integral Representations, and Complex Extensions

We present a systematic analytic study of the $p$-Bessel functions $\mathcal{J}_{ω,φ}^{[p]}$, a novel class of generalized Bessel functions arising from Fourier analysis on planar domains bounded by $p$-circles, including astroid-type shapes with $0<p\le2$ satisfying $(2/p)\in\mathbb{N}$. While previous work established Hardy-type oscillatory identities for these domains, expressing lattice point discrepancies via $p$-Bessel functions, the present paper focuses on the intrinsic analytic properties of the functions themselves. In particular, we (i) construct a hierarchical structure of $\{\mathcal{J}_{ω,φ}^{[p]}\}_{ω\ge0}$ using Erdélyi-Kober-type fractional derivatives, (ii) derive explicit real-analytic integral representations and obtain asymptotic formulas on the coordinate axes, and (iii) extend the functions to the complex domain through Poisson-type integral formulas. These results establish $p$-Bessel functions as genuinely new oscillatory kernels, providing a rigorous framework for studying anisotropic oscillatory phenomena and laying the analytic foundation for applications in $p$-circle lattice point problems.

math.NT↗
arXiv2026

Arithmetic Wu Formulas and the Generalized Hecke Theorem

We construct canonical stable Steenrod squares on modified compactly supported étale cohomology of separated finite-type schemes over rings of $S$-integers in number fields with $2$ invertible, extending Feng's absolute Wu classes to arithmetic bases. For a flat projective morphism $f:X\to B$ of pure relative dimension, with $X$ regular and $B$ such a base, we prove $v_X=\operatorname{Sq}^{-1}(w_{\mathrm{et}}(τ_f+\mathcal O_X^{\oplus3}))$ in completed mod-$2$ étale cohomology. Here $τ_f$ is the virtual relative tangent bundle, $w_{\mathrm{et}}$ the total étale Stiefel--Whitney class, and $\operatorname{Sq}^{-1}$ the inverse total Steenrod square. Over finite fields of odd characteristic, the formula holds without the three trivial summands. The proof uses a modified compactly supported relative Wu formula extending Benoist's theorem. Our generalized Hecke theorem gives universal mod-$2$ relations involving Chern classes and the Kummer class of $-1$, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series. These hold modulo an explicit archimedean ideal and become vanishing identities over finite fields, over totally imaginary arithmetic bases, or when $-1$ is a square on $X$. Nonempty real loci force infinitely many nonzero Wu components. Applications include Hecke's theorem on the different away from $2$, a finite-field analog of Atiyah's theorem on theta characteristics, and new higher-dimensional relations. We also revisit Serre's Riemann--Hurwitz theorem for spin bundles, recover the Shusterman--Sawin theorem for smooth branched covers of closed $3$-manifolds and prove a function-field analog of the Lusztig--Milnor--Peterson formula, expressing the difference between mod-$2$ and $2$-adic semicharacteristics using the middle Wu class and its Tate-twisted Bockstein.

math.NT↗
arXiv2026

Modularity of Higher Theta Series III: Proof of the Modularity Conjecture

We prove the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas. For general linear shtukas, we establish a more refined phenomenon that we call supermodularity. As a key input, we prove the Trace Conjecture for Hitchin stacks of low corank, realizing virtual fundamental classes of special cycles as categorical traces.

math.NT↗