A doubling subset of for that is inherently infinite dimensional
It is shown that for every there exists a doubling subset of that does not admit a bi-Lipschitz embedding into for any .
Source author record
Vincent Lafforgue
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
5works
8topics
4close collaborators
Published work
5 publications
preprint2012arXiv
Geometrizing the minimal representations of even orthogonal groups
Let X be a smooth projective curve. Write Bun_{SO_{2n}} for the moduli stack of SO_{2n}-torsors on X. We give a geometric interpretation of the automorphic function f on Bun_{SO_{2n}} corresponding to the minimal representation. Namely, we construct a perverse sheaf K on Bun_{SO_{2n}} such that f should be equal to the trace of Frobenius of K plus some constant function. We also calculate K explicitely for curves of genus zero and one. The construction of K is based on some explicit geometric formulas for the Fourier coefficients of f on one hand, and on the geometric theta-lifting on the other hand. Our construction makes sense for more general simple algebraic groups, we formulate the corresponding conjectures. They could provide a geometric interpretation of some unipotent automorphic representations in the framework of the geometric Langlands program.
Open access
preprint2012arXiv
La conjecture de Baum-Connes à coefficients pour les groupes hyperboliques
This paper gives a proof of the Baum-Connes conjecture with coefficients for hyperbolic groups. More precisely the injectivity of the Baum-Connes map was established by Kasparov and Skandalis and we prove the surjectivity.
Open access
preprint2012arXiv
Vertical versus horizontal Poincaré inequalities on the Heisenberg group
Let =˝<a,b∣a[a,b]=[a,b]a∧b[a,b]=[a,b]b> be the discrete Heisenberg group, equipped with the left-invariant word metric dW(⋅,⋅) associated to the generating set a,b,a−1,b−1. Letting $B_n= {x\in \H: d_W(x,e_\H)\le n}$ denote the corresponding closed ball of radius n∈N, and writing c=[a,b]=aba−1b−1, we prove that if (X,∣⋅∣X) is a Banach space whose modulus of uniform convexity has power type q∈[2,∞) then there exists K∈(0,∞) such that every f:→˝X satisfies {multline*} \sum_{k=1}^{n^2}\sum_{x\in B_n}\frac{|f(xc^k)-f(x)|_X^q}{k^{1+q/2}}\le K\sum_{x\in B_{21n}} \Big(|f(xa)-f(x)|^q_X+\|f(xb)-f(x)\|^q_X\Big). {multline*} It follows that for every n∈N the bi-Lipschitz distortion of every f:Bn→X is at least a constant multiple of (logn)1/q, an asymptotically optimal estimate as n→∞.
Open access
preprint2010arXiv
Overlap properties of geometric expanders
The {\em overlap number} of a finite (d+1)-uniform hypergraph H is defined as the largest constant c(H)∈(0,1] such that no matter how we map the vertices of H into Rd, there is a point covered by at least a c(H)-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence {Hn}n=1∞ of arbitrarily large (d+1)-uniform hypergraphs with bounded degree, for which infn≥1c(Hn)>0. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of (d+1)-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant c=c(d). We also show that, for every d, the best value of the constant c=c(d) that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete (d+1)-uniform hypergraphs with n vertices, as n→∞. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any d and any ε>0, there exists K=K(ε,d)≥d+1 satisfying the following condition. For any k≥K, for any point q∈Rd and for any finite Borel measure μ on Rd with respect to which every hyperplane has measure 0, there is a partition Rd=A1∪…∪Ak into k measurable parts of equal measure such that all but at most an ε-fraction of the (d+1)-tuples Ai1,…,Aid+1 have the property that either all simplices with one vertex in each Aij contain q or none of these simplices contain q.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.