Let $b$ be an integer larger than 1. We give an asymptotic formula for the exponential sum

$$\begin{eqnarray}\mathop{\sum }_{\substack{ p\leqslant x \\ g(p)=k}}\exp \big(2\text{i}\unicode[STIX]{x1D70B}\unicode[STIX]{x1D6FD}p\big),\end{eqnarray}$$

$p$

$\unicode[STIX]{x1D6FD}\in \mathbb{R}$

$k\in \mathbb{Z}$

$g:\mathbb{N}\rightarrow \mathbb{Z}$

$b$

$\operatorname{pgcd}(g(1),\ldots ,g(b-1))=1$

For the group $G=\operatorname{PGL}_{2}$ we perform a comparison between two relative trace formulas: on the one hand, the relative trace formula of Jacquet for the quotient $T\backslash G/T$, where $T$ is a nontrivial torus, and on the other the Kuznetsov trace formula (involving Whittaker periods), applied to nonstandard test functions. This gives a new proof of the celebrated result of Waldspurger on toric periods, and suggests a new way of comparing trace formulas, with some analogies to Langlands’ ‘Beyond Endoscopy’ program.

Given a compact Lie group $G$, in this paper we establish $L^{p}$-bounds for pseudo-differential operators in $L^{p}(G)$. The criteria here are given in terms of the concept of matrix symbols defined on the noncommutative analogue of the phase space $G\times \widehat{G}$, where $\widehat{G}$ is the unitary dual of $G$. We obtain two different types of $L^{p}$ bounds: first for finite regularity symbols and second for smooth symbols. The conditions for smooth symbols are formulated using $\mathscr{S}_{\unicode[STIX]{x1D70C},\unicode[STIX]{x1D6FF}}^{m}(G)$ classes which are a suitable extension of the well-known $(\unicode[STIX]{x1D70C},\unicode[STIX]{x1D6FF})$ ones on the Euclidean space. The results herein extend classical $L^{p}$ bounds established by C. Fefferman on $\mathbb{R}^{n}$. While Fefferman’s results have immediate consequences on general manifolds for $\unicode[STIX]{x1D70C}>\max \{\unicode[STIX]{x1D6FF},1-\unicode[STIX]{x1D6FF}\}$, our results do not require the condition $\unicode[STIX]{x1D70C}>1-\unicode[STIX]{x1D6FF}$. Moreover, one of our results also does not require $\unicode[STIX]{x1D70C}>\unicode[STIX]{x1D6FF}$. Examples are given for the case of $\text{SU}(2)\cong \mathbb{S}^{3}$ and vector fields/sub-Laplacian operators when operators in the classes $\mathscr{S}_{0,0}^{m}$ and $\mathscr{S}_{\frac{1}{2},0}^{m}$ naturally appear, and where conditions $\unicode[STIX]{x1D70C}>\unicode[STIX]{x1D6FF}$ and $\unicode[STIX]{x1D70C}>1-\unicode[STIX]{x1D6FF}$ fail, respectively.

For a fat sub-Riemannian structure, we introduce three canonical Ricci curvatures in the sense of Agrachev–Zelenko–Li. Under appropriate bounds we prove comparison theorems for conjugate lengths, Bonnet–Myers type results and Laplacian comparison theorems for the intrinsic sub-Laplacian. As an application, we consider the sub-Riemannian structure of 3-Sasakian manifolds, for which we provide explicit curvature formulas. We prove that any complete 3-Sasakian structure of dimension $4d+3$, with $d>1$, has sub-Riemannian diameter bounded by $\unicode[STIX]{x1D70B}$. When $d=1$, a similar statement holds under additional Ricci bounds. These results are sharp for the natural sub-Riemannian structure on $\mathbb{S}^{4d+3}$ of the quaternionic Hopf fibrations:

$$\begin{eqnarray}\mathbb{S}^{3}{\hookrightarrow}\mathbb{S}^{4d+3}\rightarrow \mathbb{HP}^{d},\end{eqnarray}$$

$\unicode[STIX]{x1D70B}$

$d\geqslant 1$

Ill-posedness for the compressible Navier–Stokes equations has been proved by Chen et al. [On the ill-posedness of the compressible Navier–Stokes equations in the critical Besov spaces, Revista Mat. Iberoam.31 (2015), 1375–1402] in critical Besov space $L^{p}$$(p>6)$ framework. In this paper, we prove ill-posedness with the initial data satisfying

$$\begin{eqnarray}\displaystyle \Vert \unicode[STIX]{x1D70C}_{0}-\bar{\unicode[STIX]{x1D70C}}\Vert _{{\dot{B}}_{p,1}^{\frac{3}{p}}}\leqslant \unicode[STIX]{x1D6FF},\quad \Vert u_{0}\Vert _{{\dot{B}}_{6,1}^{-\frac{1}{2}}}\leqslant \unicode[STIX]{x1D6FF}. & & \displaystyle \nonumber\end{eqnarray}$$

$L(a)\unicode[STIX]{x1D6E5}u$

$u\cdot \unicode[STIX]{x1D6FB}u$

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$, due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

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)$.

We show that for any commutative Noetherian regular ring $R$ containing $\mathbb{Q}$, the map $K_{1}(R)\rightarrow K_{1}\left(\frac{R[x_{1},\ldots ,x_{4}]}{(x_{1}x_{2}-x_{3}x_{4})}\right)$ is an isomorphism. This answers a question of Gubeladze. We also compute the higher $K$-theory of this monoid algebra. In particular, we show that the above isomorphism does not extend to all higher $K$-groups. We give applications to a question of Lindel on the Serre dimension of monoid algebras.

Affine varieties among all algebraic varieties have simple structures. For example, an affine variety does not contain any complete algebraic curve. In this paper, we study affine-related properties of strata of $k$-differentials on smooth curves which parameterize sections of the $k$th power of the canonical line bundle with prescribed orders of zeros and poles. We show that if there is a prescribed pole of order at least $k$, then the corresponding stratum does not contain any complete curve. Moreover, we explore the amusing question whether affine invariant manifolds arising from Teichmüller dynamics are affine varieties, and confirm the answer for Teichmüller curves, Hurwitz spaces of torus coverings, hyperelliptic strata as well as some low genus strata.

In this paper we extend the generalized algebraic fundamental group constructed in Esnault and Hogadi, (Trans. Amer. Math. Soc. 364(5) (2012), 2429–2442) to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori fundamental gerbe defined in Borne and Vistoli (J. Algebraic Geom. (2014), S1056–3911, 00638-X) for nonsmooth non-pseudo-proper algebraic stacks.

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$: (1) $\mathsf{D}_{\text{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $\unicode[STIX]{x1D6F9}_{X}:\mathsf{D}(\mathsf{QCoh}(X))\rightarrow \mathsf{D}_{\text{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

We study certain classes of local sets of the two-dimensional Gaussian free field (GFF) in a simply connected domain, and their relation to the conformal loop ensemble $\text{CLE}_{4}$ and its variants. More specifically, we consider bounded-type thin local sets (BTLS), where thin means that the local set is small in size, and bounded type means that the harmonic function describing the mean value of the field away from the local set is bounded by some deterministic constant. We show that a local set is a BTLS if and only if it is contained in some nested version of the $\text{CLE}_{4}$ carpet, and prove that all BTLS are necessarily connected to the boundary of the domain. We also construct all possible BTLS for which the corresponding harmonic function takes only two prescribed values and show that all these sets (and this includes the case of $\text{CLE}_{4}$) are in fact measurable functions of the GFF.

Making use of Gruson–Raynaud’s technique of ‘platification par éclatement’, Kerz and Strunk proved that the negative homotopy $K$-theory groups of a Noetherian scheme $X$ of Krull dimension $d$ vanish below $-d$. In this article, making use of noncommutative algebraic geometry, we improve this result in the case of quotient singularities by proving that the negative homotopy $K$-theory groups vanish below $-1$. Furthermore, in the case of cyclic quotient singularities, we provide an explicit ‘upper bound’ for the first negative homotopy $K$-theory group.