Related papers: The Chabauty-Kim Method for Relative Completions

Let $K \subset \mathbb{C}$ be a number field, and let $\mathcal{O}_{K,N} = \mathcal{O}_{K}[N^{-1}]$ be its ring of $N$-integers. Recently, Lawrence and Venkatesh proposed a general strategy for proving the Shafarevich conjecture for the…

A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…

We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all…

Suppose that $\tilde{G}$ is a connected reductive group defined over a field $k$, and $\Gamma$ is a finite group acting via $k$-automorphisms of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the connected part of the…

Let X be a building of arbitrary type. A compactification $C_r(X)$ of the set Res(X) of spherical residues of X is introduced. We prove that it coincides with the horofunction compactification of Res(X) endowed with a natural combinatorial…

If in a given rank $r$, there is an irreducible complex local system with torsion determinant and quasi-unipotent monodromies at infinity on a smooth quasi-projective variety, then for every prime number $\ell$, there is an absolutely…

The saturated de Rham-Witt complex, introduced by Bhatt-Lurie-Mathew, is a variant of the classical de Rham-Witt complex which provides a conceptual simplification of the construction and which is expected to produce better results for…

The goal of this paper is to construct quantum analogues of Chevalley groups inside completions of quantum groups or, more precisely, inside completions of Hall algebras of finitary categories. In particular, we obtain pentagonal and other…

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both the classical Ramsey theorem and the dual Ramsey…

We construct a Fredhom module representing the Kasparov gamma element in G-equivariant KK-theory for G a semisimple Lie group of real rank one. This is the main step of our proof of the Baum-Connes conjecture for such groups.

The current article continues a series of papers on decomposition of unipotents and its applications. Let $G(\Phi,R)$ be a Chevalley group with a reduced irreducible root system $\Phi$ over a commutative ring $R$. Fix $h\in G(\Phi,R)$. Call…

In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K- Theory similar to the well-known Atiyah-Segal completion theorem for equivariant topological K-theory, the late Robert Thomason found the…

We initiate a general approach to the relative braid group symmetries on (universal) $\imath$quantum groups, arising from quantum symmetric pairs of arbitrary finite types, and their modules. Our approach is built on new intertwining…

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely…

The main purpose of this paper is to provide a structure theorem for codimension one singular transversely projective foliationson projective manifolds. To reach our goal, we firstly extend Corlette-Simpson's classification of rank two…

In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components…

Based on ideas from recent joint work with Bjorn Poonen, we describe an algorithm that can in certain cases determine the set of rational points on a curve $C$, given only the $p$-Selmer group $S$ of its Jacobian (or some other abelian…