Related papers: A Bourgain-Brezis-Mironescu-D\'avila theorem in Ca…

We show that a Lie group $G$ admitting a bi-invariant distance must be the product $G=H\times K$ of an abelian group $H$ and a compact group $K$ with discrete center. Moreover, the distance in $G$ must come from the infima of lengths of…

We prove that if $G$ is a transitive permutation group of sufficiently large degree $n$, then either $G$ is primitive and Frobenius, or the proportion of derangements in $G$ is larger than $1/(2n^{1/2})$. This is sharp, generalizes…

We provide a new characterization of homogeneous Besov and Sobolev spaces in Carnot groups using the fractional heat kernel and Poisson kernel. We apply our results to study commutators involving fractional powers of the sub-Laplacian.

We show that in an $m$-step Carnot group, a probability measure with finite $m^{th}$ moment has a well-defined Buser-Karcher center-of-mass, which is a polynomial in the moments of the measure, with respect to exponential coordinates. Using…

Let $K$ be the function field of a $p$-adic curve, $G$ a semisimple simply connected group over $K$ and $X$ a $G$-torsor over $K$. A conjecture of Colliot-Th\'el\`ene, Parimala and Suresh predicts that if for every discrete valuation $v$ of…

We study the topology of admissible-loop spaces on a step-two Carnot group G. We use a Morse-Bott theory argument to study the structure and the number of geodesics on G connecting the origin with a 'vertical' point (geodesics are critical…

We present a short elementary proof of the Gearhart-Pr\"uss theorem for bounded $C_0$-semigroups on Hilbert spaces.

Let p > 2 be prime. We state and prove (under mild hypotheses on the residual representation) a geometric refinement of the Breuil-M\'ezard conjecture for 2-dimensional mod p representations of the absolute Galois group of Qp. We also state…

The well-known Bohr--P\'al theorem asserts that for every continuous real-valued function $f$ on the circle $\mathbb T$ there exists a change of variable, i.e., a homeomorphism $h$ of $\mathbb T$ onto itself, such that the Fourier series of…

We obtain the best known quantitative estimates for the $L^p$-Poincar\'e and log-Sobolev inequalities on domains in various sub-Riemannian manifolds, including ideal Carnot groups and in particular ideal generalized H-type Carnot groups and…

Let $M$ be a complete non-compact manifold satisfying the volume doubling condition, with doubling index $N$ and reverse doubling index $n$, $n\le N$, both for large balls. Assume a Gaussian upper bound for the heat kernel, and an…

In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by…

In this paper, we introduce an algebro-geometric formulation for Faltings' theorem on diophantine approximation on abelian varieties using an improvement of Faltings-Wustholz observation over number fields. In fact, we prove that, for any…

For a bipartite graph $H$, its linear threshold is the smallest real number $\sigma$ such that every bipartite graph $G = (U \sqcup V, E)$ with unbalanced parts $|V| \gtrsim |U|^\sigma$ and without a copy of $H$ must have a linear number of…

We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term…

A Benoist-Hulin group is, by definition, a subgroup $\Gamma$ of ${\rm PSL}_2(\mathbb{C})$ such that any $\Gamma$-invariant closed set consisting of Jordan curves in the space of closed subsets of the Riemann sphere that are not singletons…

In a recent paper, in collaboration with Mathieu Lewin and Phan Th{\`a}nh Nam, we showed that nonlinear Gibbs measures based on Gross-Pitaevskii like functionals could be derived from many-body quantum mechanics, in a mean-field limit. This…

We introduce the notion of domain of finite type $\mathscr{D}\subset\mathbb{R}^n$ generalizing an earlier work of Bodin, Popescu-Pampu and Sorea. Then, we prove that every finite graph admitting a good orientation whose vertices have degree…

We provide an abstract framework for a Logvinenko-Sereda type theorem, where the classical compactness assumption on the support of the Fourier transform is replaced by the assumption that the functions under consideration belong to a…

This paper proves the strong parabolic Harnack inequality for local weak solutions to the heat equation associated with time-dependent (nonsymmetric) bilinear forms. The underlying metric measure Dirichlet space is assumed to satisfy the…