Related papers: Algebraic extensions of global fields admitting on…

We show how the ramification filtration on the maximal elementary abelian p-extension (p prime) on a local number field of residual characteristic p can be derived using only Kummer theory and a certain orthogonality relation for the Kummer…

Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume…

We study the class of polynomials that map a local field (i.e., the completion of a number field at a non-Archimedean place) into the subset of its $p$-th powers, where $p$ is the residue characteristic of the field in question. We present…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm…

Let $F$ be a totally real field of degree $n$ and $p$ an odd prime. We prove the $p$-part of the integral Gross--Stark conjecture for the Brumer--Stark $p$-units living in CM abelian extensions of $F$. In previous work, the first author…

Elementary abelian groups are finite groups in the form of $A=(\mathbb{Z}/p\mathbb{Z})^r$ for a prime number $p$. For every integer $\ell>1$ and $r>1$, we prove a non-trivial upper bound on the $\ell$-torsion in class groups of every…

We give a description of the set of exceptional pairs for a number field $K$, that is the set of pairs $(\ell, j(E))$, where $\ell$ is a prime and $j(E)$ is the $j$-invariant of an elliptic curve $E$ over $K$ which admits an $\ell$-isogeny…

We give an interpretation of the Brauer group of a purely inseparable extension of exponent 1, in terms of restricted Lie-Rinehart cohomology. In particular, we define and study the category $p$-$\rm{LR}(A)$ of restricted Lie-Rinehart…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

Let $(K, v)$ be a Henselian discrete valued field with residue field $\widehat K$ of characteristic $q \ge 0$, and Brd$_{p}(K)$ be the Brauer $p$-dimension of $K$, for each prime $p$. The present paper shows that if $p = q$, then…

Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and…

The aim of this paper is to revisit the question of local-global principles for embeddings of \'etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and…

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

We obtain lower bounds for Selmer ranks of elliptic curves over dihedral extensions of number fields. Suppose $K/k$ is a quadratic extension of number fields, $E$ is an elliptic curve defined over $k$, and $p$ is an odd prime. Let $F$…

We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a…

Let $A$ be an abelian variety over a global field $K$ of characteristic $p \ge 0$. If $A$ has nontrivial (resp. full) $K$-rational $l$-torsion for a prime $l \neq p$, we exploit the fppf cohomological interpretation of the $l$-Selmer group…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

We prove some new relations between weak approximation and some rational equivalence relations (Brauer and R-equivalence) in algebraic groups over arithmetical fields. By using weak approximation and local - global approach, we compute…

We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…