We investigate bounds in Ramsey’s theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek (Duke Mathematical Journal 163(12) (2014), 2243–2270) from the semialgebraic case to arbitrary polynomially bounded $o$-minimal expansions of $\mathbb{R}$, and show that it does not hold in $\mathbb{R}_{\exp }$. This provides a new combinatorial characterization of polynomial boundedness for $o$-minimal structures. We also prove an analog for relations definable in $P$-minimal structures, in particular for the field of the $p$-adics. Generalizing Conlon et al. (Transactions of the American Mathematical Society 366(9) (2014), 5043–5065), we show that in distal structures the upper bound for $k$-ary definable relations is given by the exponential tower of height $k-1$.

In this paper, we prove an ‘explicit reciprocity law’ relating Howard’s system of big Heegner points to a two-variable $p$-adic $L$-function (constructed here) interpolating the $p$-adic Rankin $L$-series of Bertolini–Darmon–Prasanna in Hida families. As applications, we obtain a direct relation between classical Heegner cycles and the higher weight specializations of big Heegner points, refining earlier work of the author, and prove the vanishing of Selmer groups of CM elliptic curves twisted by 2-dimensional Artin representations in cases predicted by the equivariant Birch and Swinnerton-Dyer conjecture.

We prove the connectedness of the Prym eigenforms loci in genus four (for real multiplication by some order of discriminant $D$), for any $D$. These loci were discovered by McMullen in 2006.

We establish the following results on higher order ${\mathcal{S}}^{p}$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert space:

1. (i) $f$ is $n$ times continuously Fréchet ${\mathcal{S}}^{p}$-differentiable at every bounded self-adjoint operator if and only if $f\in C^{n}(\mathbb{R})$;

2. (ii) if $f^{\prime },\ldots ,f^{(n-1)}\in C_{b}(\mathbb{R})$ and $f^{(n)}\in C_{0}(\mathbb{R})$, then $f$ is $n$ times continuously Fréchet ${\mathcal{S}}^{p}$-differentiable at every self-adjoint operator;

3. (iii) if $f^{\prime },\ldots ,f^{(n)}\in C_{b}(\mathbb{R})$, then $f$ is $n-1$ times continuously Fréchet ${\mathcal{S}}^{p}$-differentiable and $n$ times Gâteaux ${\mathcal{S}}^{p}$-differentiable at every self-adjoint operator.

We also prove that if $f\in B_{\infty 1}^{n}(\mathbb{R})\cap B_{\infty 1}^{1}(\mathbb{R})$, then $f$ is $n$ times continuously Fréchet ${\mathcal{S}}^{q}$-differentiable, $1\leqslant q<\infty$, at every self-adjoint operator. These results generalize and extend analogous results of Kissin et al. (Proc. Lond. Math. Soc. (3)108(3) (2014), 327–349) to arbitrary $n$ and unbounded operators as well as substantially extend the results of Azamov et al. (Canad. J. Math.61(2) (2009), 241–263); Coine et al. (J. Funct. Anal.; doi:10.1016/j.jfa.2018.09.005); Peller (J. Funct. Anal.233(2) (2006), 515–544) on higher order ${\mathcal{S}}^{p}$-differentiability of $f$ in a certain Wiener class, Gâteaux ${\mathcal{S}}^{2}$-differentiability of $f\in C^{n}(\mathbb{R})$ with $f^{\prime },\ldots ,f^{(n)}\in C_{b}(\mathbb{R})$, and Gâteaux ${\mathcal{S}}^{q}$-differentiability of $f$ in the intersection of the Besov classes $B_{\infty 1}^{n}(\mathbb{R})\cap B_{\infty 1}^{1}(\mathbb{R})$. As an application, we extend ${\mathcal{S}}^{p}$-estimates for operator Taylor remainders to a broad set of symbols. Finally, we establish explicit formulas for Fréchet differentials and Gâteaux derivatives.

We study the equivariant oriented cohomology ring $\mathtt{h}_{T}(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott–Samelson classes in $\mathtt{h}_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results of Chow groups by Brion, Knutson, Peterson, Tymoczko and others. Our main result concerns the equivariant oriented cohomology theory $\mathfrak{h}$ corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar’s parabolic Kazhdan–Lusztig basis, i.e., we realize it as some cohomology classes (the parabolic Kazhdan–Lusztig (KL) Schubert classes) in $\mathfrak{h}_{T}(G/P)$. We make a positivity conjecture, and a conjecture about the relationship of such classes with smoothness of Schubert varieties. We also prove the latter in several special cases.

We suggest an analog of the Bass–Quillen conjecture for smooth affinoid algebras over a complete non-archimedean field. We prove this in the rank-1 case, i.e. for the Picard group. For complete discretely valued fields and regular affinoid algebras that admit a regular model (automatic if the residue characteristic is zero) we prove a similar statement for the Grothendieck group of vector bundles $K_{0}$.

We construct the $p$-adic standard $L$-functions for ordinary families of Hecke eigensystems of the symplectic group $\operatorname{Sp}(2n)_{/\mathbb{Q}}$ using the doubling method. We explain a clear and simple strategy of choosing the local sections for the Siegel Eisenstein series on the doubling group $\operatorname{Sp}(4n)_{/\mathbb{Q}}$, which guarantees the nonvanishing of local zeta integrals and allows us to $p$-adically interpolate the restrictions of the Siegel Eisenstein series to $\operatorname{Sp}(2n)_{/\mathbb{Q}}\times \operatorname{Sp}(2n)_{/\mathbb{Q}}$.

We study a rich family of robustly non-hyperbolic transitive diffeomorphisms and we show that each ergodic measure is approached by hyperbolic sets in weak$\ast$-topology and in entropy. For hyperbolic ergodic measures, it is a classical result of A. Katok. The novelty here is to deal with non-hyperbolic ergodic measures. As a consequence, we obtain the continuity of topological entropy.

In Albano, Bove and Mughetti [J. Funct. Anal. 274(10) (2018), 2725–2753]; Bove and Mughetti [Anal. PDE 10(7) (2017), 1613–1635] it was shown that Treves conjecture for the real analytic hypoellipticity of sums of squares operators does not hold. Models were proposed where the critical points causing a non-analytic regularity might be interpreted as strata. We stress that up to now there is no notion of stratum which could replace the original Treves stratum. In the proposed models such ‘strata’ were non-symplectic analytic submanifolds of the characteristic variety. In this note we modify one of those models in such a way that the critical points are a symplectic submanifold of the characteristic variety while still not being a Treves stratum. We show that the operator is analytic hypoelliptic.

Given a $2$-commutative diagram

in a symmetric monoidal $(\infty ,2)$-category $\mathscr{E}$ where $X,Y\in \mathscr{E}$ are dualizable objects and $\unicode[STIX]{x1D711}$ admits a right adjoint we construct a natural morphism $\mathsf{Tr}_{\mathscr{E}}(F_{X})\xrightarrow[{}]{~~~~~}\mathsf{Tr}_{\mathscr{E}}(F_{Y})$between the traces of $F_{X}$ and $F_{Y}$, respectively. We then apply this formalism to the case when $\mathscr{E}$ is the $(\infty ,2)$-category of $k$-linear presentable categories which in combination of various calculations in the setting of derived algebraic geometry gives a categorical proof of the classical Atiyah–Bott formula (also known as the Holomorphic Lefschetz fixed point formula).

Large-scale sublinearly Lipschitz maps have been introduced by Yves Cornulier in order to precisely state his theorems about asymptotic cones of Lie groups. In particular, Sublinearly bi-Lipschitz Equivalences (SBE) are a weak variant of quasi-isometries, with the only requirement of still inducing bi-Lipschitz maps at the level of asymptotic cones. We focus here on hyperbolic metric spaces and study properties of boundary extensions of SBEs, reminiscent of quasi-Möbius (or quasisymmetric) mappings. We give a dimensional invariant of the boundary that allows to distinguish hyperbolic symmetric spaces up to SBE, answering a question of Druţu.

In this paper we prove that the set of translation structures for which the corresponding vertical translation flows are disjoint with its inverse contains a $G_{\unicode[STIX]{x1D6FF}}$-dense subset in every non-hyperelliptic connected component of the moduli space ${\mathcal{M}}$. This is in contrast to hyperelliptic case, where for every translation structure the associated vertical flow is reversible, i.e., it is isomorphic to its inverse by an involution. To prove the main result, we study limits of the off-diagonal 3-joinings of special representations of vertical translation flows. Moreover, we construct a locally defined continuous embedding of the moduli space into the space of measure-preserving flows to obtain the $G_{\unicode[STIX]{x1D6FF}}$-condition. Moreover, as a by-product we get that in every non-hyperelliptic connected component of the moduli space there is a dense subset of translation structures whose vertical flow is reversible.

The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive 2-representations with a fixed apex ${\mathcal{J}}$ of a fiat 2-category $\mathscr{C}$ and the set of equivalence classes of faithful simple transitive 2-representations of the fiat 2-subquotient of $\mathscr{C}$ associated with a diagonal ${\mathcal{H}}$-cell in ${\mathcal{J}}$. As an application, we classify simple transitive 2-representations of various categories of Soergel bimodules, in particular, completing the classification in types $B_{3}$ and $B_{4}$.

We consider the problem of counting the number of rational points of bounded height in the zero-loci of Brauer group elements on semi-simple algebraic groups over number fields. We obtain asymptotic formulae for the counting problem for wonderful compactifications using the spectral theory of automorphic forms. Applications include asymptotic formulae for the number of matrices over $\mathbb{Q}$ whose determinant is a sum of two squares. These results provide a positive answer to some cases of a question of Serre concerning such counting problems.

In this article we are interested in the rigorous construction of WKB expansions for hyperbolic boundary value problems in the strip $\mathbb{R}^{d-1}\times [0,1]$. In this geometry, a new inversibility condition has to be imposed to construct the WKB expansion. This new condition is due to selfinteraction phenomenon which naturally appear when several boundary conditions are imposed. More precisely, by selfinteraction we mean that some rays can regenerated themselves after some rebounds against the sides of the strip. This phenomenon is not new and has already been studied in Benoit (Geometric optics expansions for hyperbolic corner problems, I: self-interaction phenomenon, Anal. PDE9(6) (2016), 1359–1418), Sarason and Smoller (Geometrical optics and the corner problem, Arch. Rat. Mech. Anal.56 (1974/75), 34–69) in the corner geometry. In this framework the existence of such selfinteracting rays is linked to specific geometries of the characteristic variety and may seem to be somewhat anecdotal. However for the strip geometry such rays become generic. The new inversibility condition, used to construct the WKB expansion, is a microlocalized version of the one characterizing the uniform in time strong well-posedness (Benoit, Lower exponential strong well-posedness of hyperbolic boundary value problems in a strip (preprint)). It is interesting to point here that such a situation already occurs in the half space geometry(Kreiss, Initial boundary value problems for hyperbolic systems, Comm. Pure Appl. Math.23 (1970), 277–298).

We prove, under some assumptions, a Greenberg type equality relating the characteristic power series of the Selmer groups over $\mathbb{Q}$ of higher symmetric powers of the Galois representation associated to a Hida family and congruence ideals associated to (different) higher symmetric powers of that Hida family. We use $R=T$ theorems and a sort of induction based on branching laws for adjoint representations. This method also applies to other Langlands transfers, like the transfer from $\text{GSp}(4)$ to $U(4)$. In that case we obtain a corollary for abelian surfaces.

We prove the existence of a discrete correlation spectrum for Morse–Smale flows acting on smooth forms on a compact manifold. This is done by constructing spaces of currents with anisotropic Sobolev regularity on which the Lie derivative has a discrete spectrum.

We finalize the analysis of the trace formula initiated in S. A. Altuğ [Beyond endoscopy via the trace formula-I: Poisson summation and isolation of special representations, Compos. Math.151(10) (2015), 1791–1820] and developed in S. A. Altuğ [Beyond endoscopy via the trace formula-II: asymptotic expansions of Fourier transforms and bounds toward the Ramanujan conjecture. Submitted, preprint, 2015, Available at:arXiv:1506.08911.pdf], and calculate the asymptotic expansion of the beyond endoscopic averages for the standard $L$-functions attached to weight $k\geqslant 3$ cusp forms on $\mathit{GL}(2)$ (cf. Theorem 1.1). This, in particular, constitutes the first example of beyond endoscopy executed via the Arthur–Selberg trace formula, as originally proposed in R. P. Langlands [Beyond endoscopy, in Contributions to Automorphic Forms, Geometry, and Number Theory, pp. 611–698 (The Johns Hopkins University Press, Baltimore, MD, 2004), chapter 22]. As an application we also give a new proof of the analytic continuation of the $L$-function attached to Ramanujan’s $\unicode[STIX]{x1D6E5}$-function.