Related papers: Surfaces and p-adic fields I: Dehn twists
Let p be a prime. We study pro-p groups of p-absolute Galois type, as defined by Lam-Liu-Sharifi-Wake-Wang. We prove that the pro-p completion of the right-angled Artin group associated to a chordal simplicial graph is of p-absolute Galois…
We study P-groupoids that arise from certain decompositions of complete graphs. We show that left distributive P-groupoids are distributive, quasigroups. We characterize P-groupoids when the corresponding decomposition is a Hamiltonian…
Let $K$ be a finitely generated extension of $\mathbb{Q}$. We consider the family of $\ell$-adic representations ($\ell$ varies through the set of all prime numbers) of the absolute Galois group of $K$, attached to $\ell$-adic cohomology of…
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…
Given an abelian algebraic group $A$ over a global field $F$, $\alpha \in A(F)$, and a prime $\ell$, the set of all preimages of $\alpha$ under some iterate of $[\ell]$ generates an extension of $F$ that contains all $\ell$-power torsion…
We consider smooth plane curves $\mathcal{X}$ of degree $d\geq4$, defined over an algebraically closed field of characteristic $0$, that possess a unique outer Galois point. This geometric condition forces the curve to be a cyclic covering…
We consider the canonical representation of the absolute Galois group of the rational numbers in the outer automorphism group of the pro-p completion of the fundamental group of the projective line minus 0,1, and infinity. Deligne has…
In this article we prove that the full automorphism group of a cyclic $p$-gonal pseudo-real Riemann surface of genus $g$ is either a semidirect product $C_{n}\ltimes C_{p}$ or a cyclic group, where $p$ is a prime $>2$ and $g>(p-1)^{2}$. We…
The theory of p-ramification, regarding the Galois group of the maximal pro-p-extension of a number field K, unramified outside p and $\infty$, is well known including numerical experiments with PARI/GP programs. The case of ``incomplete…
We study injective homomorphisms between big mapping class groups of infinite-type surfaces. First, we construct (uncountably many) examples of surfaces without boundary whose (pure) mapping class groups are not co-Hopfian; these are the…
Let $\mathbb{k}$ be an algebraically closed field of characteristic zero. Let $D$ be a division algebra of degree $d$ over its center $Z(D)$. Assume that $\mathbb{k}\subset Z(D)$. We show that a finite group $G$ faithfully grades $D$ if and…
For a given family $(G_i)_{i \in \N}$ of finitely generated abelian groups, we construct a Dedekind domain $D$ having the following properties. \begin{enumerate} \item $\Pic(D) \cong \bigoplus_{i \in \N}G_i$. \item For each $i \in \N$,…
Given a global field K and a rational function phi defined over K, one may take pre-images of 0 under successive iterates of phi, and thus obtain an infinite rooted tree T by assigning edges according to the action of phi. The absolute…
For an arithmetic surface X and a Weil divisor $D$, there are natural arithmetic cohomology groups $H_{\mathrm{ar}}^i(X, \mathcal O_X (D))$ $(i=0,1,2)$. Using ind-pro topology on adelic space $\mathbb A_{X, 012}^{\mathrm{ar}}$, we show that…
For any unoriented loop on a compact connected oriented surface with one boundary component, the generalized Dehn twist along the loop is defined as an automorphism of the completed group ring of the fundamental group of the surface. If the…
We extend the work of Ash and Stevens [Ash-Stevens 97] on p-adic analytic families of p-ordinary arithmetic cohomology classes for GL(N,Q) by introducing and investigating the concept of p-adic rigidity of arithmetic Hecke eigenclasses. An…
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…
We construct finite-dimensional Hopf algebras whose coradical is the group algebra of a central extension of an abelian group. They fall into families associated to a semisimple Lie algebra together with a Dynkin diagram automorphism. We…
We work in the context of a complete totally transcendental theory $T = T^{eq}$. We consider the prime model $M_{A}$ over a set $A$. For intermediate sets $B$ with $A\subseteq B \subseteq M_{A}$ which are normal ($Aut(M_{A}/A)$-invariant)…
The Gruenberg-Kegel graph ${\rm GK}(G)=(V_G, E_G)$ of a finite group $G$ is a simple graph with vertex set $V_G=\pi(G)$, the set of all primes dividing the order of $G$, and such that two distinct vertices $p$ and $q$ are joined by an edge,…