Related papers: Explicit reciprocity laws for higher local fields

We extend the classical duality results of Poitou and Tate for finite discrete Galois modules over local and global fields (local duality, nine-term exact sequence, etc.) to all affine commutative group schemes of finite type, building on…

Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some…

Abrashkin established the Bruckner-Vostokov formula for the Hilbert symbol of a formal group under the assumption that roots of unity belong to the base field. The main motivation of this work is to remove this hypothesis. It is obtained by…

We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of…

Using a ``3 by 3 matrix trick'' we previously showed that multiplication in a C*-algebra A, an algebraic structure, is determined by the geometry of the C*-algebra of the 3 by 3 matrices with entries from A. As an application of this…

In this paper, we establish some reciprocity formulas for certain generalized Hardy-Berndt sums by using the Fourier series technique and some properties of the periodic zeta function and the Lerch zeta function. It turns out that one of…

Present notes can be viewed as an attempt to extend the notion of Schubert/Grothendieck polynomial to the context of an arbitrary algebraic oriented cohomology theory and, hence, of a commutative one-dimensional formal group law.

This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree…

Let $G$ be a subgroup of ${\rm PGL}_2({\mathbb F}_q)$, where $q$ is any prime power, and let $Q \in {\mathbb F}_q[x]$ such that ${\mathbb F}_q(x)/{\mathbb F}_q(Q(x))$ is a Galois extension with group $G$. By explicitly computing the Artin…

In this work, we identify a certain family of higher-dimensional formal groups over the ring of $p$-adic integers such that any two formal groups in that class coincide if they share infinitely many torsion points. As a useful application,…

We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our…

We provide an ${\rm Ext}$-quiver and relations presentation for the basic algebra of the anti-spherical Hecke categories of isotropic Grassmannians, $H_{(D_n, A_{n-1})}$, in terms of cup-cap meta Kazhdan--Lusztig combinatorics and…

The k-cosymplectic Lagrangian and Hamiltonian formalisms of first-order field theories are reviewed and completed. In particular, they are stated for singular and almost-regular systems. Subsequently, several alternative formulations for…

Let $O_D$ be the ring of integers in a division algebra of invariant $1/n$ over a p-adic local field. Drinfeld proved that the moduli problem of special formal $O_D$-modules is representable by Deligne's formal scheme version of the…

We reformulate the Kashiwara-Vergne groups and associators in higher genera, introduced in Alekseev-Kawazumi-Kuno-Naef, in terms of non-commutative connections using the tools developed in a previous paper. As the main result, the case of…

A field $K$ is $d$-local if there exist fields $K=k_d,...,k_0$ with $k_{i+1}$ complete discrete valuation with residue field $k_i$, and $k_0$ finite of characteristic $p$. By work of Deninger and Wingberg, the Galois cohomology of such…

We give criteria for real, complex and quaternionic representations to define s-representations, focusing on exceptional Lie algebras defined by spin representations. As applications, we obtain the classification of complex representations…

In this article we present the history of auxiliary primes used in proofs of reciprocity laws from the quadratic to Artin's reciprocity law. We also show that the gap in Legendre's proof can be closed with a simple application of Gauss's…

Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients…

Let G be a reductive p-adic group which splits over an unramified extension of the ground field. Hiraga, Ichino and Ikeda conjectured that the formal degree of a square-integrable G-representation $\pi$ can be expressed in terms of the…