We study basic geometric properties of Kottwitz–Viehmann varieties, which are certain generalizations of affine Springer fibers that encode orbital integrals of spherical Hecke functions. Based on the previous work of A. Bouthier and the author, we show that these varieties are equidimensional and give a precise formula for their dimension. Also we give a conjectural description of their number of irreducible components in terms of certain weight multiplicities of the Langlands dual group and we prove the conjecture in the case of unramified conjugacy class.

Lapid and Mao formulated a conjecture on an explicit formula of Whittaker–Fourier coefficients of automorphic forms on quasi-split reductive groups and metaplectic groups as an analogue of the Ichino–Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this article, we study the even unitary-group case. Indeed, we prove this local identity over p-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prove a refined formal degree conjecture over p-adic fields and get an explicit formula of Whittaker–Fourier coefficients under certain assumptions.

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarised holomorphic symplectic varieties with dominant and generically finite period map stabilises to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarised symplectic varieties. In particular, we determine the exact transition point in the Beauville–Donagi and Debarre–Voisin cases, where the Borcherds $\Phi _{12}$ form plays a crucial role.

In [12], Kim and the first author proved a result comparing the virtual fundamental classes of the moduli spaces of $\varepsilon $ -stable quasimaps and $\varepsilon $ -stable $LG$ -quasimaps by studying localized Chern characters for $2$ -periodic complexes.

In this paper, we study a K-theoretic analogue of the localized Chern character map and show that for a Koszul $2$ -periodic complex it coincides with the cosection-localized Gysin map of Kiem and Li [11]. As an application, we compare the virtual structure sheaves of the moduli space of $\varepsilon $ -stable quasimaps and $\varepsilon $ -stable $LG$ -quasimaps.

This paper is concerned with the resolution of an inverse problem related to the recovery of a function $V$ from the source to solution map of the semi-linear equation $(\Box _{g}+V)u+u^{3}=0$ on a globally hyperbolic Lorentzian manifold $({\mathcal{M}},g)$. We first study the simpler model problem, where $({\mathcal{M}},g)$ is the Minkowski space, and prove the unique recovery of $V$ through the use of geometric optics and a three-fold wave interaction arising from the cubic non-linearity. Subsequently, the result is generalized to globally hyperbolic Lorentzian manifolds by using Gaussian beams.

We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.

Given a closed geodesic on a compact arithmetic hyperbolic surface, we show the existence of a sequence of Laplacian eigenfunctions whose integrals along the geodesic exhibit nontrivial growth. Via Waldspurger’s formula we deduce a lower bound for central values of Rankin-Selberg L-functions of Maass forms times theta series associated to real quadratic fields.

Under an assumption on the existence of $p$-adic Galois representations, we carry out Taylor–Wiles patching (in the derived category) for the completed homology of the locally symmetric spaces associated with $\operatorname{GL}_{n}$ over a number field. We use our construction, and some new results in non-commutative algebra, to show that standard conjectures on completed homology imply ‘big $R=\text{big}~\mathbb{T}$’ theorems in situations where one cannot hope to appeal to the Zariski density of classical points (in contrast to all previous results of this kind). In the case where $n=2$ and $p$ splits completely in the number field, we relate our construction to the $p$-adic local Langlands correspondence for $\operatorname{GL}_{2}(\mathbb{Q}_{p})$.

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor’s proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin’s work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.

We consider the Klein–Gordon equation on asymptotically anti-de-Sitter spacetimes subject to Neumann or Robin (or Dirichlet) boundary conditions and prove propagation of singularities along generalized broken bicharacteristics. The result is formulated in terms of conormal regularity relative to a twisted Sobolev space. We use this to show the uniqueness, modulo regularizing terms, of parametrices with prescribed $\text{b}$-wavefront set. Furthermore, in the context of quantum fields, we show a similar result for two-point functions satisfying a holographic Hadamard condition on the $\text{b}$-wavefront set.

We show that there exists an invertible frequently hypercyclic operator on $\ell ^1(\mathbb {N})$ whose inverse is not frequently hypercyclic.

We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks, where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way, we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterated cospans.

We prove a product formula for the determinant of the cohomology of an étale sheaf with $\ell $ -adic coefficients over an arbitrary proper scheme over a perfect field of positive characteristic p distinct from $\ell $ . The local contributions are constructed by iterating vanishing cycle functors as well as certain exact additive functors that can be considered as linearised versions of Artin conductors and local $\varepsilon $ -factors. We provide several applications of our higher dimensional product formula, such as twist formulas for global $\varepsilon $ -factors.

We formulate a $q$-Schur algebra associated with an arbitrary $W$-invariant finite set $X_{\text{f}}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra and Hecke algebra associated with $W$. We then realize geometrically the $q$-Schur algebra and duality and construct a canonical basis for the $q$-Schur algebra with positivity. With suitable choices of $X_{\text{f}}$ in classical types, we recover the $q$-Schur algebras in the literature. Our $q$-Schur algebras are closely related to the category ${\mathcal{O}}$, where the type $G_{2}$ is studied in detail.

We generalize Uhlenbeck’s generator theorem of ${\mathcal{L}}^{-}\operatorname{U}_{n}$ to the full rational loop group ${\mathcal{L}}^{-}\operatorname{GL}_{n}\mathbb{C}$ and its subgroups ${\mathcal{L}}^{-}\operatorname{GL}_{n}\mathbb{R}$, ${\mathcal{L}}^{-}\operatorname{U}_{p,q}$: they are all generated by just simple projective loops. Recall that Terng–Uhlenbeck studied the dressing actions of such projective loops as generalized Bäcklund transformations for integrable systems. Our result makes a nice supplement: any rational dressing is the composition of these Bäcklund transformations. This conclusion is surprising in the sense that Lie theory suggests the indispensable role of nilpotent loops in the case of noncompact reality conditions, and nilpotent dressings appear quite complicated and mysterious. The sacrifice is to introduce some extra fake singularities. So we also propose a set of generators if fake singularities are forbidden. A very geometric and physical construction of $\operatorname{U}_{p,q}$ is obtained as a by-product, generalizing the classical construction of unitary groups.

I construct infinitely many nondiffeomorphic examples of $5$ -dimensional contact manifolds which are tight, admit no strong fillings and do not have Giroux torsion. I obtain obstruction results for symplectic cobordisms, for which I give a proof not relying on the polyfold abstract perturbation scheme for Symplectic Field Theory (SFT). These results are part of my PhD thesis [23], and are the first applications of higher-dimensional Siefring intersection theory for holomorphic curves and hypersurfaces, as outlined in [23, 24], as a prequel to [30].

We show that for $100\%$ of the odd, square free integers $n> 0$ , the $4$ -rank of $\text {Cl}(\mathbb{Q} (i, \sqrt {n}))$ is equal to $\omega _3(n) - 1$ , where $\omega _3$ is the number of prime divisors of n that are $3$ modulo $4$ .

We establish that the existence of a winning strategy in certain topological games, closely related to a strong game of Choquet, played in a topological space $X$ and its hyperspace $K(X)$ of all nonempty compact subsets of $X$ equipped with the Vietoris topology, is equivalent for one of the players. For a separable metrizable space $X$, we identify a game-theoretic condition equivalent to $K(X)$ being hereditarily Baire. It implies quite easily a recent result of Gartside, Medini and Zdomskyy that characterizes hereditary Baire property of hyperspaces $K(X)$ over separable metrizable spaces $X$ via the Menger property of the remainder of a compactification of $X$. Subsequently, we use topological games to study hereditary Baire property in spaces of probability measures and in hyperspaces over filters on natural numbers. To this end, we introduce a notion of strong $P$-filter ${\mathcal{F}}$ and prove that it is equivalent to $K({\mathcal{F}})$ being hereditarily Baire. We also show that if $X$ is separable metrizable and $K(X)$ is hereditarily Baire, then the space $P_{r}(X)$ of Borel probability Radon measures on $X$ is hereditarily Baire too. It follows that there exists (in ZFC) a separable metrizable space $X$, which is not completely metrizable with $P_{r}(X)$ hereditarily Baire. As far as we know, this is the first example of this kind.

It is a fact simple to establish that the mixing time of the simple random walk on a d-regular graph $G_n$ with n vertices is asymptotically bounded from below by $\frac {d }{d-2 } \frac {\log n}{\log (d-1)}$ . Such a bound is obtained by comparing the walk on $G_n$ to the walk on d-regular tree $\mathcal{T}_d$ . If one can map another transitive graph $\mathcal{G} $ onto $G_n$ , then we can improve the strategy by using a comparison with the random walk on $\mathcal{G} $ (instead of that of $\mathcal{T} _d$ ), and we obtain a lower bound of the form $\frac {1}{\mathfrak{h} }\log n$ , where $\mathfrak{h} $ is the entropy rate associated with $\mathcal{G} $ . We call this the entropic lower bound.

It was recently proved that in the case $\mathcal{G} =\mathcal{T} _d$ , this entropic lower bound (in that case $\frac {d }{d-2 } \frac {\log n}{\log (d-1)}$ ) is sharp when graphs have minimal spectral radius and thus that in that case the random walk exhibits cutoff at the entropic time. In this article, we provide a generalisation of the result by providing a sufficient condition on the spectra of the random walks on $G_n$ under which the random walk exhibits cutoff at the entropic time. It applies notably to anisotropic random walks on random d-regular graphs and to random walks on random n-lifts of a base graph (including nonreversible walks).

This paper presents an approach, based on interpolation theory of operators, to the study of interpolating sequences for interpolation Banach spaces between Hardy spaces. It is shown that the famous Carleson result for H∞ can be lifted to a large class of abstract Hardy spaces. A description is provided of the range of the Carleson operator defined on interpolation spaces between the classical Hardy spaces in terms of uniformly separated sequences. A key role in this description is played by some general interpolation results proved in the paper. As by-products, novel results are obtained which extend the Shapiro–Shields result on the characterisation of interpolation sequences for the classical Hardy spaces Hp. Applications to Hardy–Lorentz, Hardy–Marcinkiewicz and Hardy–Orlicz spaces are presented.