Related papers: A non-archimedean Ax-Lindemann theorem

Let $F$ be a finite extension of $\mathbb{Q}_p$. We prove that the category of finitely presented smooth $Z$-finite representations of $GL_2(F)$ over a finite extension of $\mathbb{F}_p$ is an abelian subcategory of the category of all…

In this paper, we prove a lemma on logarithmic derivative for holomorphic curves from annuli into K\"{a}hler compact manifold and. As its application, a second main theorem for holomophic curves from annuli into semi abelian varieties…

Let $G$ be a connected and simply connected two-step nilpotent Lie group and $\Gamma$ a lattice subgroup of $G$. In this note, we give a new multiplicity formula, according to the sense of Moore, of irreducible unitary representations…

Poonen and Stoll have shown that the reduced Shafarevich-Tate group of a principally polarized abelian variety over a global field can have order twice a square (the odd case) as well as a square (the even case). For a curve over a global…

Half a century ago Manin showed that given a number field $k$ and a rational prime $\ell$, there exists a uniform bound for the order of cyclic $\ell$-power isogenies between two non-CM elliptic curves over $k$. We generalize this to…

We determine the non-abelian composition factors of the finite groups with Sylow normalizers of odd order. As a consequence, among others, we prove the McKay conjecture and the Alperin weight conjecture for these groups.

The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but it was originally proved using techniques from mathematical logic. This document, the author's undergraduate…

Let $F$ be a non-archimedean local field with residue field $\mathbb{F}_q$ and let $G = GL_{2/F}$. Let $\mathbf{q}$ be an indeterminate and let $H^{(1)}(\mathbf{q})$ be the generic pro-p Iwahori-Hecke algebra of the group $G(F)$. Let…

Let $X$ be a proper, smooth, and geometrically connected curve of genus $g(X)\ge 1$ over a $p$-adic local field. We prove that there exists an effectively computable open affine subscheme $U\subset X$ with the property that $period (X)=1$,…

We prove a Cherednik style $p$-adic uniformization theorem for Shimura varieties associated to certain groups of unitary similitudes of size two over totally real fields. Our basic tool is the alternative modular interpretation of the…

Let $\pi$ be an irreducible, complex, smooth representation of $GL_n$ over a local non-archimedean (skew) field. Assuming $\pi$ has regular Zelevinsky parameters, we give a geometric necessary and sufficient criterion for the irreducibility…

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 exhibit abelian topological groups admitting no nontrivial strongly continuous irreducible representations in Banach spaces. Among them are some abelian Banach-Lie groups and some monothetic subgroups of the unitary group of a separable…

We prove that for any pair of irreducible principal series representations $(\pi_1,\pi_2)$ of $\operatorname{GL}_n(\mathbb{R})$ in general position, the notions of exceptional pole of type 1 and type 2 coincide. Using this identification,…

This paper originated as an appendix to the paper "Topology and Geometry of the Berkovich Ramification Locus for Rational Functions, II" by Xander Faber arXiv:1104.0943v2 [math.NT]. It may however be read independently. We prove a variant…

The notion of Lie $H$-pseudoalgebra is a higher-dimensional analogue of Lie conformal algebras. In this paper, we classify the equivalence classes of non-abelian extensions of a Lie $H$-pseudoalgebra $L$ by another Lie $H$-pseudoalgebra $M$…

We investigate the geometry of correspondences between curves, and prove that correspondences over a non-Archimedean valued field have potentially stable reduction, generalising and strengthening results of Coleman and Liu. This yields a…

We show under suitable finiteness conditions that a functor between abelian categories induces a (not necessarily additive) map between their Grothendieck groups. This is related to the derived functors of Dold and Puppe, and generalizes a…

We compute the group homology, the algebraic $K$- and $L$-groups, and the topological $K$-groups of right-angled Artin groups, right-angled Coxeter groups, and more generally, graph products.

For $4 \nmid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the…