Related papers: Weak approximation for tori over $p$-adic function…
Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System F<: within Coq, a proof assistant based on…
In the present paper, we study the outer automorphism groups of the absolute Galois groups of 2-adic local fields from the point of view of anabelian geometry. Let us recall that it is well-known that the natural homomorphism from the…
Let X be a homogeneous space of a connected linear algebraic group G' over a number field k, containing a k-point x. Assume that the stabilizer of x in G' is connected. Using the notion of a quasi-trivial group, recently introduced by…
We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by…
We construct an explicit K3 surface over the field of rational numbers that has geometric Picard rank one, and for which there is a transcendental Brauer-Manin obstruction to weak approximation. To do so, we exploit the relationship between…
Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…
We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension of the dyadic field generated by the three-torsion points of the elliptic curve. As an application, we give a…
We continue the examination of the stable reduction and fields of moduli of G-Galois covers of the projective line over a complete discrete valuation field of mixed characteristic (0, p), where G has a cyclic p-Sylow subgroup P of order…
We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial…
In recent work of Kennard, Khalili Samani, and the last author, they generalize the Half-Maximal Symmetry Rank result of Wilking for torus actions on positively curved manifolds to $\mathbb{Z}_2$-tori with a fixed point. They show that if…
Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points…
In this paper we consider the problem of Galois descent for suitably completed algebraic K-theory of fields. One of the main results is a suitable form of rigidity for Borel-style generalized equivariant cohomology with respect to certain…
Let $F$ be a $p$-adic field ($p\neq 2$), let $E$ be a quadratic Galois extension of $F$, and let $n \geq 2$. We construct representations in the discrete spectrum of the $p$-adic symmetric space $H \backslash G$, where $G =…
We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field:…
We compute the low degree $\ell$-adic intersection cohomology of symplectic local systems on the Satake compactification of the moduli space $A_g$ of principally polarized abelian varieties. We prove that only a small finite list of…
We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach…
These lecture notes are an introduction to toric geometry. Particular focus is put on the description of toric local Calabi-Yau varieties, such as needed in applications to the AdS/CFT correspondence in string theory. The point of view…
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 compute syntomic cohomology of semistable affinoids in terms of cohomology of $(\varphi,\Gamma)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids.…
The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an \emph{a-posteriori} format, i.e., we…