Related papers: On $p$-class groups of relative cyclic $p$-extensi…

Let $p$ be an odd prime and $F$ be a number field whose $p$-class group is cyclic. Let $F_{\{\mathfrak{q}\}}$ be the maximal pro-$p$ extension of $F$ which is unramified outside a single non-$p$-adic prime ideal $\mathfrak{q}$ of $F$. In…

One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and…

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,…

We prove that the isomorphism problem for group algebras reduces to group algebras over finite extensions of the prime field. In particular, the modular isomorphism problem reduces to finite modular group algebras.

We study the Iwasawa main conjecture for quadratic Hilbert modular forms over the p-cyclotomic tower. Using an Euler system in the cohomology of Siegel modular varieties, we prove the "Kato divisibility" of the Iwasawa main conjecture under…

Informed by our understanding of the tt-geometry of permutation modules, we investigate the proper definition of the `stable permutation category' of a finite group. Then we prove that this category decomposes over cyclic and generalized…

We compute the Yoneda extension algebra of the collection of Weyl modules for $GL_2$ over an algebraically closed field of positive characteristic p by developing a theory of generalised Koszul duality for certain 2-functors, one of which…

Let $p$ be a prime and $L$ be a finite extension of $\mathbb{Q}_p$. We study the ordinary parts of $\mathrm{GL}_2(L)$-representations arised in the mod $p$ cohomology of Shimura curves attached to indefinite division algebras which splits…

Let k be a totally real number field ant let k$\infty$ be its cyclotomic Zp-extension for a prime p\textgreater{}2. We give (Theorem 3.2) a sufficient condition of nullity of the Iwasawa invariants lambda, mu, when p totally splits in k,…

Let $p$ be an odd prime. Consider normalized newforms $f_1,f_2$ that both satisfy the Heegner hypothesis for an imaginary quadratic field $K$ and suppose that they induce isomorphic residual Galois representations. In the work of…

Let $\ell$ be a prime number and $q$ be a power of $\ell$. Given an odd prime number $p$ and an imaginary quadratic extension $F$ of the rational function field $\mathbb{F}_q(T)$, let $\lambda_p(F)$ denote the Iwasawa $\lambda$-invariant of…

In this paper we recall the construction and basic properties of complex Shimura varieties and show that these properties actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the…

We investigate the growth of the $p$-part of the Jacobians in voltage covers of finite connected multigraphs, where the voltage group is isomorphic to $\mathbb{Z}_p^l$ for some ${l \ge 2}$, and we study analogues of a conjecture of…

Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow…

We consider the class numbers of imaginary quadratic extensions $F(\sqrt{-p})$, for certain primes $p$, of totally real quadratic fields $F$ which have class number one. Using seminal work of Shintani, we obtain two elementary class number…

As an analogue of a link group, we consider the Galois group of the maximal pro-$p$-extension of a number field with restricted ramification which is cyclotomically ramified at $p$, i.e, tamely ramified over the intermediate cyclotomic…

In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions…

We prove homological stability for standard unitary groups over R, C and H and for general linear groups over skew-fields with infinite centre. We focus on the similarities and differences of these proofs. Both proofs are due to Chih-Han…

For an odd prime number $p$, we consider degree $p$ extensions $L/K$ of $p$-adic fields with normal closure $\widetilde{L}$ such that the Galois group of $\widetilde{L}/K$ is the dihedral group of order $2p$. We shall prove a complete…

It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding…