One of the main results announced in Part I (Compositio Math. 139 (2003), 197–237) is proved. The main technique consists in developing a coordinate free version of some of the theory of Serre operators on differential modular forms introduced by Barcau.

This article determines the asymptotic behavior of a class of two variable ‘simultaneous’ lattice point problems in ${\bb R}^n$ for any $n \geqslant 2$. An earlier article [Li-3] has studied a similar problem for a large class of such problems in ${\bb R}^2$.

In the recent paper by Pakovich and Muzychuk [Solution of the polynomial moment problem, Proc. Lond. Math. Soc. (3) 99 (2009), 633–657] it was shown that any solution of ‘the polynomial moment problem’, which asks to describe polynomials $Q$ orthogonal to all powers of a given polynomial $P$ on a segment, may be obtained as a sum of so-called ‘reducible’ solutions related to different decompositions of $P$ into a composition of two polynomials of lower degrees. However, the methods of that paper do not permit us to estimate the number of necessary reducible solutions or to describe them explicitly. In this paper we provide a description of polynomial solutions of the functional equation $P_1\circ W_1=P_2\circ W_2=\cdots =P_r\circ W_r,$and on this base describe solutions of the polynomial moment problem in an explicit form suitable for applications.

We show that the automorphism group of Drinfeld’s half-space over a finite field is the projective linear group of the underlying vector space. The proof of this result uses analytic geometry in the sense of Berkovich over the finite field equipped with the trivial valuation. We also take into account extensions of the base field.

Let $M$ be an $n$-dimensional complete connected Riemannian manifold with sectional curvature $\operatorname{sec}(M) \geq 1$ and radius $\operatorname{rad}(M)>\pi /2$. In this article, we show that if $\operatorname{conj}(M)$, the conjugate radius of $M$, is not less than $\operatorname{rad}(M)$, then $M$ is isometric to a round sphere of constant curvature.

In this paper, we establish that complete Kac–Moody groups over finite fields are abstractly simple. The proof makes essential use of Mathieu and Rousseau’s construction of complete Kac–Moody groups over fields. This construction has the advantage that both real and imaginary root spaces of the Lie algebra lift to root subgroups over arbitrary fields. A key point in our proof is the fact, of independent interest, that both real and imaginary root subgroups are contracted by conjugation of positive powers of suitable Weyl group elements.

In this paper we define a kind of generalized spherical functions on Sp(2, $\Bbb R$). We call it ‘Fourier–Jacobi type’, since it can be considered as a generalized Whittaker model associated with the Jacobi maximal parabolic subgroup. Also we give the multiplicity theorem and an explicit formula of these functions for discrete series representations of Sp(2, $\Bbb R$).

Fontaine and Mazur conjecture that a number field k has no infinite unramified Galois extension such that its Galois group is a p-adic analytic pro-p-group. We consider this conjecture for the maximal unramified p-extension of a CM-field k.

A spectral sequence is established whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology in Khovanov's classification.

The ramification of a polyhedral space is defined as the metric completion of the universal cover of its regular locus. We consider mainly polyhedral spaces of two origins: quotients of Euclidean space by a discrete group of isometries and polyhedral metrics on $\mathbb{C}\text{P}^{2}$ with singularities at a collection of complex lines. In the former case we conjecture that quotient spaces always have a $\text{CAT}[0]$ ramification and prove this in several cases. In the latter case we prove that the ramification is $\text{CAT}[0]$ if the metric on $\mathbb{C}\text{P}^{2}$ is non-negatively curved. We deduce that complex line arrangements in $\mathbb{C}\text{P}^{2}$ studied by Hirzebruch have aspherical complement.

We compute the Chow group of 0-cycles on a rational surface defined over a finite extension K of the field $\mathbb{Q}_p$ of p-adic numbers (p a prime) when it is split by an unramified extension of K. We use intersection theory to define a specialisation map so we need to assume that the surface admits a regular proper integral model. A family of examples is worked out to illustrate the method.

We study the Balmer spectrum of the category of finite $G$-spectra for a compact Lie group $G$, extending the work for finite $G$ by Strickland, Balmer–Sanders, Barthel–Hausmann–Naumann–Nikolaus–Noel–Stapleton and others. We give a description of the underlying set of the spectrum and show that the Balmer topology is completely determined by the inclusions between the prime ideals and the topology on the space of closed subgroups of $G$. Using this, we obtain a complete description of this topology for all abelian compact Lie groups and consequently a complete classification of thick tensor ideals. For general compact Lie groups we obtain such a classification away from a finite set of primes $p$.

We prove that if q is a power of an odd prime, then there is no genus-2 curve over $\mathbf{F}_q$ whose Jacobian has characteristic polynomial of Frobenius equal to $x^4 + (2 - 2q)x^2 + q^2$. Our proof uses the Brauer relations in a biquadratic extension of $\mathbb{Q}$ to show that every principally polarized abelian surface over $\mathbf{F}_q$ with the given characteristic polynomial splits over $\mathbf{F}_{q^2}$ as a product of polarized elliptic curves.

One-to-one correspondences are established between the set of all nondegenerate graded Jacobi operators of degree $-1$ defined on the graded algebra $\Omega(M)$ of differential forms on a smooth, oriented, Riemannian manifold $M$, the space of bundle isomorphisms $L{\A}TM{\to} TM$, and the space of nondegenerate derivations of degree $1$ having null square. Derivations with this property, and Jacobi structures of odd $\Bbb Z_2$-degree are also studied through the action of the automorphism group of $\Omega(M)$.

The Gromov–Witten theory of Deligne–Mumford stacks is a recent development, and hardly any computations have been done beyond three-point genus 0 invariants. This paper provides explicit recursions which, together with some invariants computed by hand, determine all genus 0 invariants of the stack $\mathbb{P}^2_{D,2}$. Here $D$ is a smooth plane curve and $\mathbb{P}^2_{D,2}$ is locally isomorphic to the stack quotient $[U/(\mathbb{Z}/(2))]$, where $U\to V\subseteq \mathbb{P}^2$ is a double cover branched along $D\cap V$. The introduction discusses an enumerative application of these invariants.

A complete embedding is a symplectic embedding $\iota :Y\to M$ of a geometrically bounded symplectic manifold $Y$ into another geometrically bounded symplectic manifold $M$ of the same dimension. When $Y$ satisfies an additional finiteness hypothesis, we prove that the truncated relative symplectic cohomology of a compact subset $K$ inside $Y$ is naturally isomorphic to that of its image $\iota (K)$ inside $M$. Under the assumption that the torsion exponents of $K$ are bounded, we deduce the same result for relative symplectic cohomology. We introduce a technique for constructing complete embeddings using what we refer to as integrable anti-surgery. We apply these to study symplectic topology and mirror symmetry of symplectic cluster manifolds and other examples of symplectic manifolds with singular Lagrangian torus fibrations satisfying certain completeness conditions.

For complex simple Lie algebras of types B, C, and D, we provide new explicit formulas for the generators of the commutative subalgebra $\mathfrak z(\hat {\mathfrak g})\subset {{\mathcal {U}}}(t^{-1}\mathfrak g[t^{-1}])$ known as the Feigin–Frenkel centre. These formulas make use of the symmetrisation map as well as of some well-chosen symmetric invariants of $\mathfrak g$. There are some general results on the rôle of the symmetrisation map in the explicit description of the Feigin–Frenkel centre. Our method reduces questions about elements of $\mathfrak z(\hat {\mathfrak g})$ to questions on the structure of the symmetric invariants in a type-free way. As an illustration, we deal with type G$_2$ by hand. One of our technical tools is the map ${\sf m}\!\!: {{\mathcal {S}}}^{k}(\mathfrak g)\to \Lambda ^{2}\mathfrak g \otimes {{\mathcal {S}}}^{k-3}(\mathfrak g)$ introduced here. As the results show, a better understanding of this map will lead to a better understanding of $\mathfrak z(\hat {\mathfrak g})$.

We develop a localized intersection theory for arithmetic schemes on the model of Fulton's intersection theory. We prove a Lefschetz fixed point formula for arithmetic surfaces, and give an application to a conjecture of Serre on the existence of Artin's representations for regular local rings of dimension 2 and unequal characteristic.

We show that the compactly supported cohomology of certain $\text{U}(n,n)$- or $\text{Sp}(2n)$-Shimura varieties with $\unicode[STIX]{x1D6E4}_{1}(p^{\infty })$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in which the prime $p$ splits completely. We also give an application to Galois representations for torsion in the cohomology of the locally symmetric spaces for $\text{GL}_{n}/F$. More precisely, we use the vanishing result for Shimura varieties to eliminate the nilpotent ideal in the construction of these Galois representations. This strengthens recent results of Scholze [On torsion in the cohomology of locally symmetric varieties, Ann. of Math. (2) 182 (2015), 945–1066; MR 3418533] and Newton–Thorne [Torsion Galois representations over CM fields and Hecke algebras in the derived category, Forum Math. Sigma 4 (2016), e21; MR 3528275].

This paper provides congruences between unstable and stable automorphic forms for the symplectic similitude group GSp(4). More precisely, we raise the level of certain CAP representations Π arising from classical modular forms. We first transfer Π to π on a suitable inner form G; this is achieved by θ-lifting. For π, we prove a precise level-raising result that is inspired by the work of Bellaiche and Clozel and which relies on computations of Schmidt. We thus obtain a congruent to π, with a local component that is irreducibly induced from an unramified twist of the Steinberg representation of the Klingen parabolic. To transfer back to GSp(4), we use Arthur’s stable trace formula. Since has a local component of the above type, all endoscopic error terms vanish. Indeed, by results due to Weissauer, we only need to show that such a component does not participate in the θ-correspondence with any GO(4); this is an exercise in using Kudla’s filtration of the Jacquet modules of the Weil representation. We therefore obtain a cuspidal automorphic representation of GSp(4), congruent to Π, which is neither CAP nor endoscopic. It is crucial for our application that we can arrange for to have vectors fixed by the non-special maximal compact subgroups at all primes dividing N. Since G is necessarily ramified at some prime r, we have to show a non-special analogue of the fundamental lemma at r. Finally, we give an application of our main result to the Bloch–Kato conjecture, assuming a conjecture of Skinner and Urban on the rank of the monodromy operators at the primes dividing N.