Related papers: Annihilators of the ideal class group of a cyclic …

In this paper we give an explicit description of the universal unitary completion of certain locally Q_p-analytic representations of GL_2(F), where F is a finite extension of Q_p (this generalizes some results of Berger-Breuil for F=Q_p).…

We propose a conjecture extending the classical construction of elliptic units to complex cubic number fields $K$. The conjecture concerns special values of the elliptic gamma function, a holomorphic function of three complex variables…

Let $E/\mathbb{Q}$ be an elliptic curve, $p$ a prime and $K_{\infty}/K$ the anticyclotomic $\mathbb{Z}_p$-extension of a quadratic imaginary field $K$ satisfying the Heegner hypothesis. In this paper we give a new proof to a theorem of…

We say a group is finitely annihilated if it is the set-theoretic union of all its proper normal finite index subgroups. We investigate this new property, and observe that it is independent of several other well known group properties. For…

Let $L/K$ be a finite, cyclic extension of number fields with Galois group $G$, and let $S$ be a finite set of primes of $K$ that includes all the infinite primes. In this paper, we study the $G$-cohomology of the $S$-id\`{e}le classes of…

We give an index formula for elliptic differential operators whose coefficients include shifts forming an infinite group.

Let $k = \mathbb{Q}(\sqrt {-m})$ and $p \geq 3$ split in $k$. We prove new properties of the $\mathbb{Z}_p$-extensions $K/k$, distinct from the cyclotomic one; we do not assume $K/k$ totally ramified, nor the triviality of the $p$-class…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

This article is the first in a series devoted to computing the class groups of real quadratic fields. We present a new relation between the class number and the index of unit groups. This relation generalizes Hilbert class field theory for…

For a CM abelian extension $F/K$ of an arbitrary totally real number field $K$, we construct the Stickelberger splitting maps (in the sense of \cite{Ba1}) for both the \'etale and the Quillen $K$--theory of $F$ and we use these maps to…

We classify completely prime primitive ideals whose associated varieties are the closure of the minimal nilpotent orbit of $\mathfrak{g}=\mathfrak{sl}(n,\mathbb{C})$, and classify irreducible $(\mathfrak{g},\mathfrak{k})$-modules which have…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let ${\mathfrak g}$ denote the complexified Lie algebra of $G={\mathrm O}(p,q)$ and $K$ a maximal compact subgroup of $G$. In the previous paper, we constructed $({\mathfrak g},K)$-modules associated to the finite-dimensional representation…

We derive new integral presentations for central derivative values of $L$-functions of elliptic curves defined over the rationals, basechanged to a real quadratic field $K$, twisted by ring class characters of $K$ in terms of sums along…

Following Hasse's example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields by carefully examining the analytic class number formula. In this paper we will show how to generalize these…

Let p be an odd prime, and k_\infty the cyclotomic Z_p-extension of an abelian field k. For a finite set S of rational primes which does not include p, we will consider the maximal S-ramified abelian pro-p extension M_S(k_\infty) over…

We provide a micro-local necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs. Let $\bf G$ be a complex algebraic reductive group, and $\bf H\subset G$ be a spherical…

Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…

Let $G$ be a finite group and construct a graph $\Delta(G)$ by taking $G\setminus\{1\}$ as the vertex set of $\Delta(G)$ and by drawing an edge between two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. Let $K(G)$ be the set…

Let $K$ be an imaginary quadratic field where $p$ is inert. Let $E$ be an elliptic curve defined over $K$ and suppose that $E$ has good supersingular reduction at $p$. In this paper, we prove that the plus/minus Selmer group of $E$ over the…