In this paper we study a Haagerup inequality in the general case of discrete groupoids. We develop two geometrical tools, pinching and tetrahedral change of faces, based on deformation of triangles, to prove it. We show how to use these tools to find all the already known results just by manipulating triangles. We use these tools for groups acting freely and by isometries on the set of vertices of any affine building and give a first reduction of this inequality to its verification on some special triangles and prove the inequality when the building is of type $\tilde{A}_{k_1}\times\cdots\times\tilde{A}_{k_n}$, where $k_i\in\{1,2\}$, $i=1,\dots,n$.

We study the renormalized volume of asymptotically hyperbolic Einstein (AHE in short) manifolds $(M,g)$ when the conformal boundary $\unicode[STIX]{x2202}M$ has dimension $n$ even. Its definition depends on the choice of metric $h_{0}$ on $\unicode[STIX]{x2202}M$ in the conformal class at infinity determined by $g$, we denote it by $\text{Vol}_{R}(M,g;h_{0})$. We show that $\text{Vol}_{R}(M,g;\cdot )$ is a functional admitting a ‘Polyakov type’ formula in the conformal class $[h_{0}]$ and we describe the critical points as solutions of some non-linear equation $v_{n}(h_{0})=\text{constant}$, satisfied in particular by Einstein metrics. When $n=2$, choosing extremizers in the conformal class amounts to uniformizing the surface, while if $n=4$ this amounts to solving the $\unicode[STIX]{x1D70E}_{2}$-Yamabe problem. Next, we consider the variation of $\text{Vol}_{R}(M,\cdot ;\cdot )$ along a curve of AHE metrics $g^{t}$ with boundary metric $h_{0}^{t}$ and we use this to show that, provided conformal classes can be (locally) parametrized by metrics $h$ solving $v_{n}(h)=\text{constant}$ and $\text{Vol}(\unicode[STIX]{x2202}M,h)=1$, the set of ends of AHE manifolds (up to diffeomorphisms isotopic to the identity) can be viewed as a Lagrangian submanifold in the cotangent space to the space ${\mathcal{T}}(\unicode[STIX]{x2202}M)$ of conformal structures on $\unicode[STIX]{x2202}M$. We obtain, as a consequence, a higher-dimensional version of McMullen’s quasi-Fuchsian reciprocity. We finally show that conformal classes admitting negatively curved Einstein metrics are local minima for the renormalized volume for a warped product type filling.

We consider the equivariant Kasparov category associated to an étale groupoid, and by leveraging its triangulated structure we study its localization at the ‘weakly contractible’ objects, extending previous work by R. Meyer and R. Nest. We prove the subcategory of weakly contractible objects is complementary to the localizing subcategory of projective objects, which are defined in terms of ‘compactly induced’ algebras with respect to certain proper subgroupoids related to isotropy. The resulting ‘strong’ Baum–Connes conjecture implies the classical one, and its formulation clarifies several permanence properties and other functorial statements. We present multiple applications, including consequences for the Universal Coefficient Theorem, a generalized ‘going-down’ principle, injectivity results for groupoids that are amenable at infinity, the Baum–Connes conjecture for group bundles, and a result about the invariance of K-groups of twisted groupoid $C^*$-algebras under homotopy of twists.

We study behaviours of the ‘equianharmonic’ parameter of the Grothendieck–Teichmüller group introduced by Lochak and Schneps. Using geometric construction of a certain one-parameter family of quartics, we realize the Galois action on the fundamental group of a punctured Mordell elliptic curve in the standard Galois action on a specific subgroup of the braid group . A consequence is to represent a matrix specialization of the ‘equianharmonic’ parameter in terms of special values of the adelic beta function introduced and studied by Anderson and Ihara.

By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface over an algebraically closed field, a variety whose geometric generic fiber is a projective homogeneous space admits a rational point if and only if the elementary obstruction vanishes.

We construct a nonseparable Banach space $\mathcal {X}$ (actually, of density continuum) such that any uncountable subset $\mathcal {Y}$ of the unit sphere of $\mathcal {X}$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon $ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman’s theorem which so far has produced many deep positive results for special classes of Banach spaces and has related the global properties of the spaces to the distances between points of uncountable subsets of the unit sphere. The property of our space is strong enough to imply that it contains neither an uncountable Auerbach system nor an uncountable equilateral set. The space is a strictly convex renorming of the Johnson–Lindenstrauss space induced by an $\mathbb {R}$-embeddable almost disjoint family of subsets of $\mathbb {N}$. We also show that this special feature of the almost disjoint family is essential to obtain the above properties.

We prove rationality criteria over nonclosed fields of characteristic $0$ for five out of six types of geometrically rational Fano threefolds of Picard number $1$ and geometric Picard number bigger than $1$. For the last type of such threefolds, we provide a unirationality criterion and construct examples of unirational but not stably rational varieties of this type.

The main result is that the ellipticity and the Fredholm property of a $\Psi $ DO acting on Sobolev spaces in the Weyl-Hörmander calculus are equivalent when the Hörmander metric is geodesically temperate and its associated Planck function vanishes at infinity. The proof is essentially related to the following result that we prove for geodesically temperate Hörmander metrics: If $\lambda \mapsto a_{\lambda }\in S(1,g)$ is a $\mathcal {C}^N$ , $0\leq N\leq \infty $ , map such that each $a_{\lambda }^w$ is invertible on $L^2$ , then the mapping $\lambda \mapsto b_{\lambda }\in S(1,g)$ , where $b_{\lambda }^w$ is the inverse of $a_{\lambda }^w$ , is again of class $\mathcal {C}^N$ . Additionally, assuming also the strong uncertainty principle for the metric, we obtain a Fedosov-Hörmander formula for the index of an elliptic operator. At the very end, we give an example to illustrate our main result.

The automorphism group $\operatorname {Aut}(F_n)$ of the free group $F_n$ acts on a space $A_d(n)$ of Jacobi diagrams of degree d on n oriented arcs. We study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$ by using two actions on the associated graded vector space of $A_d(n)$: an action of the general linear group $\operatorname {GL}(n,\mathbb {Z})$ and an action of the graded Lie algebra $\mathrm {gr}(\operatorname {IA}(n))$ of the IA-automorphism group $\operatorname {IA}(n)$ of $F_n$ associated with its lower central series. We extend the action of $\mathrm {gr}(\operatorname {IA}(n))$ to an action of the associated graded Lie algebra of the Andreadakis filtration of the endomorphism monoid of $F_n$. By using this action, we study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$. We obtain an indecomposable decomposition of $A_d(n)$ as $\operatorname {Aut}(F_n)$-modules for $n\geq 2d$. Moreover, we obtain the radical filtration of $A_d(n)$ for $n\geq 2d$ and the socle of $A_3(n)$.

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.

A direct application of Zorn’s lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_{p}^{n}\rightarrow \mathbb{Q}_{p}^{\ell }$ has an extension to a Lipschitz map $\widetilde{f}:\mathbb{Q}_{p}^{n}\rightarrow \mathbb{Q}_{p}^{\ell }$. This is analogous to, but easier than, Kirszbraun’s theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^{n}\rightarrow \mathbb{R}^{\ell }$. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun’s theorem. In this paper, we prove in the $p$-adic context that $\widetilde{f}$ can be taken definable when $f$ is definable, where definable means semi-algebraic or subanalytic (or some intermediary notion). We proceed by proving the existence of definable Lipschitz retractions of $\mathbb{Q}_{p}^{n}$ to the topological closure of $X$ when $X$ is definable.

In a recent paper Moshe Jarden (Diamonds in torsion of Abelian varieties, J. Inst. Math. Jussieu9(3) (2010), 477–480) proposed a conjecture, later named the Kuykian conjecture, which states that if $A$ is an Abelian variety defined over a Hilbertian field $K$, then every intermediate field of $K({A}_{\mathrm{tor} } )/ K$ is Hilbertian. We prove that the conjecture holds for Galois extensions of $K$ in $K({A}_{\mathrm{tor} } )$.

We establish a transfer of (twisted) orbital integrals in the context of twisted endoscopy between a real reductive algebraic group $G$ and a reductive quasi-split real group $H_1$ associated to an endoscopic datum.

AMS 2000 Mathematics subject classification: Primary 22E45; 11F70

We define the Atiyah class for global matrix factorisations and use it to give a formula for the categorical Chern character and the boundary-bulk map for matrix factorisations, generalising the formula in the local case obtained in [12]. Our approach is based on developing the Lie algebra analogies observed by Kapranov [7] and Markarian [9].

In this article, we show that the Abel–Jacobi images of the Heegner cycles over the Shimura curves constructed by Nekovar, Besser and the theta elements contructed by Chida–Hsieh form a bipartite Euler system in the sense of Howard. As an application of this, we deduce a converse to Gross–Zagier–Kolyvagin type theorem for higher weight modular forms generalising works of Wei Zhang and Skinner for modular forms of weight 2. That is, we show that if the rank of certain residual Selmer group is 1, then the Abel–Jacobi image of the Heegner cycle is nonzero in this residual Selmer group.

Nous donnons une nouvelle démonstration d’un théorème de Vogan qui classifie les représentations cohomologiques isolées dans le dual unitaire d’un groupe de Lie semisimple réel. Nous étudions la question analogue dans le dual automorphe et obtenons des résultats partiels. Nous appliquons finalement ces résultats (et conjectures) à l’étude de la cohomologie des variétés localement symétriques arithmétiques.

We give a new proof of a theorem of Vogan which classifies the cohomological representations of a real semisimple Lie group $G$ which are isolated in the unitary dual of $G$. We investigate the same question in the automorphic dual, and obtain partial results. We finally derive applications of all these results (and conjectures) to the study of the cohomology of arithmetic locally symmetric spaces.

In this paper, for each $n\geqslant g\geqslant 0$ we consider the moduli stack $\widetilde{{\mathcal{U}}}_{g,n}^{ns}$ of curves $(C,p_{1},\ldots ,p_{n},v_{1},\ldots ,v_{n})$ of arithmetic genus $g$ with $n$ smooth marked points $p_{i}$ and nonzero tangent vectors $v_{i}$ at them, such that the divisor $p_{1}+\cdots +p_{n}$ is nonspecial (has $h^{1}=0$) and ample. With some mild restrictions on the characteristic we show that it is a scheme, affine over the Grassmannian $G(n-g,n)$. We also construct an isomorphism of $\widetilde{{\mathcal{U}}}_{g,n}^{ns}$ with a certain relative moduli of $A_{\infty }$-structures (up to an equivalence) over a family of graded associative algebras parametrized by $G(n-g,n)$.

In this paper, we provide a concrete interpretation of equivariant Reidemeister torsion, and demonstrate that Bismut–Zhang’s equivariant Cheeger–Müller theorem simplifies considerably when applied to locally symmetric spaces. In a companion paper, this allows us to extend recent results on torsion cohomology growth and torsion cohomology comparison for arithmetic locally symmetric spaces to an equivariant setting.

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let ${\mathcal{N}}$ be an expansion of an o-minimal structure ${\mathcal{M}}$ that admits a good dimension theory. The setting includes dense pairs of o-minimal structures, expansions of ${\mathcal{M}}$ by a Mann group, or by a subgroup of an elliptic curve, or a dense independent set. We prove: (1) a Weil’s group chunk theorem that guarantees a definable group with an o-minimal group chunk is o-minimal, (2) a full characterization of those definable groups that are o-minimal as those groups that have maximal dimension; namely, their dimension equals the dimension of their topological closure, (3) as an application, if ${\mathcal{N}}$ expands ${\mathcal{M}}$ by a dense independent set, then every definable group is o-minimal.

The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over $\overline{\mathbb{F}}_{p}$ of parallel weight 1 and level prime to $p$ is unramified above $p$. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic $p$ embed into the ordinary part of parallel weight $p$ forms in two different ways per prime dividing $p$, namely via ‘partial’ Frobenius operators.