Related papers: Hilbert reciprocity using K-theory localization

Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological Andr\'e-Quillen homology. In the classical algebraic context it is important to distinguish between tame and wild…

Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best…

We prove non-commutative reciprocity laws on an algebraic surface defined over a perfect field. These reciprocity laws claim the splittings of some central extensions of globally constructed groups over some subgroups constructed by points…

Let $K$ be a mixed characteristic local field whose residue field has cardinality $q$, and let $n$ be an integer dividing $q-1$. In the first part of this document we construct a $K$-theoretic enhancement of the $n$-th power residue symbol…

We consider a tamely ramified abelian extension of local fields of degree n, without assuming the presence of the nth roots of unity in the base field. We give an explicit formula which computes the local reciprocity map in this situation.

As a continuation of arXiv:1412.6888, we study the reciprocity map for an open curve $X$ over a local field of characteristic $p>0$. We determine the $p$-part of the kernel of the reciprocity map after restricting ramification when the rank…

A finite \'etale map between irreducible, normal varieties is called tame, if it is tamely ramified with respect to all partial compactifications whose boundary is the support of a strict normal crossings divisor. We prove that if the…

Using the higher tame symbol and Kawada and Satake's Witt vector method, A. N. Parshin developed class field theory for higher local fields, defining reciprocity maps separately for the tamely ramified and wildly ramified cases. We extend…

Let $K$ be an unramified extension of $\mathbb{Q}_2$ and $\mu_{2^n}$ the group of $2^n$-th root of unity for a fixed integer $n\geqslant 2$. In this paper, we give an explicit formula for the $\mu_{2^n}$-valued Hilbert symbol over $K_n :=…

We associate to a full flag $\mathcal{F}$ in an $n$-dimensional variety $X$ over a field $k$, a "symbol map" $\mu_{\mathcal{F}}:K(F_X) \to \Sigma^n K(k)$. Here, $F_X$ is the field of rational functions on $X$, and $K(\cdot)$ is the…

Since the development of higher local class field theory, several explicit reciprocity laws have been constructed. In particular, there are formulas describing the higher-dimensional Hilbert symbol given, among others, by M. Kurihara, A.…

In this note we first give a new bound on $e_{HK}(\sim)$ the Hilbert-Kunz multiplicity of invariant rings, by the help of the Noether's bound. Then, we simplify, extend and present applications of the reciprocity formulae due to L. Smith.…

We consider the class of complete discretely valued fields such that the residue field is of prime characteristic p and the cardinality of a $p$-base is 1. This class includes two-dimensional local and local-global fields. A new definition…

Based on our homological idelic class field theory, we formulate an analogue of the Hilbert reciprocity law on a rational homology 3-sphere endowed with an infinite link, in the spirit of arithmetic topology; We regard the intersection form…

We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".

The tame Gras-Munnier Theorem gives a criterion for the existence of a ${\mathbb Z}/{\mathbb Z}$-extension of a number field $K$ ramified at exactly a set $S$ of places of $K$ prime to $p$ (allowing real Archimedean places when $p=2$) in…

We extend the unramified class field theory for arithmetic schemes of K. Kato and S. Saito to the tame case. Let $X$ be a regular proper arithmetic scheme and let $D$ be a divisor on $X$ whose vertical irreducible components are normal…

M. Levine proved an enrichment of the classical Riemann-Hurwitz formula to an equality in the Grothendieck-Witt group of quadratic forms. In its strongest form, Levine's theorem includes a technical hypothesis on ramification relevant in…

Let $K$ be a number field and $S$ a finite set of places of $K$. We study the kernels $\Sha_S$ of maps $H^2(G_S,\fq_p) \rightarrow \oplus_{v\in S} H^2(\G_v,\fq_p)$. There is a natural injection $\Sha_S \hookrightarrow \CyB_S$, into the dual…

We explicitly study Kato's residue homomorphisms in Milnor $K$-theory, which are closely related to Contou-Carr\`ere symbols. As applications we establish several reciprocity laws for certain locally defined maps on $K$-groups that are…