Related papers: On units with Galois complex conjugates of equal a…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. Let $\mathcal{N}_K$ be the set of positive integers $n$ such that there exist units $\varepsilon, \delta \in \mathcal{O}_K^\times$ satisfying $\varepsilon + \delta = n$. We…
We consider sections of the \'etale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally…
The paper is concerned with the following version of Hilbert's irreducibility theorem: if $\pi: X \to Y$ is a Galois $G$-covering of varieties over a number field $k$ and $H \subset G$ is a subgroup, then for all sufficiently large and…
We extend the strong multiplicity one theorem of Jacquet, Piatetski-Shapiro and Shalika. Let $\pi$ be a unitary, cuspidal, automorphic representation of $GL_n(\A_K)$. Let $S$ be a set of finite places of $K$, such that the sum $\sum_{v\in…
I give another proof of the geometric Satake equivalence from Mirkovic-Vilonen over a separably closed field. Using Galois descent, I obtain a canonical construction of the Galois form of the full $L$-group.
We revisit the computation, due to Hesselholt and Madsen, of the K-theory of truncated polynomial algebras for perfect fields of positive characteristic. The resulting K-groups are expressed in terms of big Witt vectors of the field. The…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate,…
Let K be a finite extension of Qp. We fix a continuous absolutely irreducible representation of the absolute Galois group of K over a finite dimensional vector space with coefficient in a finite field of characteristic p and consider its…
Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…
The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…
Let $n\geq 3$. We show that for every number field $K$ with $\zeta_p \notin K$, the absolute and tame Galois groups of $K$ satisfy the strong $n$-fold Massey property relative to $p$. Our work is based on an adapted version of the proof of…
We investigate complex structures on the Oeljeklaus-Toma manifolds. The Oeljeklaus-Toma manifolds are defined using complex embeddings of number fields. By replacing these embeddings with their conjugates, one obtains other manifolds that…
Let $K$ be an algebraic number field and $H$ the absolute Weil height. Write $c_K$ for a certain positive constant that is an invariant of $K$. We consider the question: does $K$ contain an algebraic integer $\alpha$ such that both $K =…
For any Drinfeld-Jimbo quantum enveloping algebra Uq(g) and for any family $\lambda =(\lambda \_{ij})\_{1\leq i < j\leq t} \in k^{\star}$ of invertible elements of the base field, we explicitly construct a Galois object $A\_{\lambda}$ of…
Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we prove the following generalization of the…
In this work, we establish two main results in the context of arithmetic and geometric properties of plane curves. First, we construct numerous new examples of arithmetic Zariski pairs and multiplets, where only a few ones were previously…
We show that for each d>0 the d-dimensional Hamming graph H(d,q) has an orientably regular surface embedding if and only if q is a prime power p^e. If q>2 there are up to isomorphism \phi(q-1)/e such maps, all constructed as Cayley maps for…
The theory of factor-equivalence of integral lattices establishes a far-reaching relationship between the Galois module structure of the unit group of the ring of integers of a number field and its arithmetic. For a number field $K$ that is…
In [AGRS] a multiplicity one theorem is proven for general linear groups, orthogonal groups and unitary groups ($GL, O,$ and $U$) over $p$-adic local fields. That is to say that when we have a pair of such groups $G_n\subseteq G_{n+1}$, any…