Annals of Mathematics最新文献

We prove that the generic part of the $mathrm{mod}, ell$ cohomology of Shimura varieties associated to quasi-split unitary groups of even dimension is concentrated above the middle degree, extending our previous work to a non-compact case. The result applies even to Eisenstein cohomology classes coming from the locally symmetric space of the general linear group, and has been used in joint work with Allen, Calegari, Gee, Helm, Le Hung, Newton, Taylor and Thorne to get good control on these classes and deduce potential automorphy theorems without any self-duality hypothesis. Our main geometric result is a computation of the fibers of the Hodge–Tate period map on compactified Shimura varieties, in terms of similarly compactified Igusa varieties.

We prove an effective form of Wilkie’s conjecture in the structure generated by restricted sub-Pfaffian functions: the number of rational points of height $H$ lying in the transcendental part of such a set grows no faster than some power of $log H$. Our bounds depend only on the Pfaffian complexity of the sets involved. As a corollary we deduce Wilkie’s original conjecture for $mathbb{R}_{rm exp}$ in full generality.

Let $Sigma _{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group $mathrm {Mod}_{g,n}$ of $Sigma _{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$rho : pi _1(Sigma _{g,n})to mathrm {GL}_r(mathbb {C})$$ is a representation whose conjugacy class has finite orbit under $mathrm {Mod}_{g,n}$, and $rlt sqrt {g+1}$, then $rho $ has finite image. This answers questions of Junho Peter Whang and Mark Kisin. We give applications of our methods to the Putman-Wieland conjecture, the Fontaine-Mazur conjecture, and a question of Esnault-Kerz. The proofs rely on non-abelian Hodge theory, our earlier work on semistability of isomonodromic deformations, and recent work of Esnault-Groechenig and Klevdal-Patrikis on Simpson’s integrality conjecture for cohomologically rigid local systems.

For integers $s,t geq 2$, the Ramsey number $r(s,t)$ denotes the minimum $n$ such that every $n$-vertex graph contains a clique of order $s$ or an independent set of order $t$. In this paper we prove [ r(4,t) = OmegaBigl(frac{t^3}{log^4 ! t}Bigr) quad quad mbox{ as }t rightarrow infty,] which determines $r(4,t)$ up to a factor of order $log^2 ! t$, and solves a conjecture of Erdős.

Our main theorem states that the complement of a compact holomorphically convex set in a Stein manifold with the density property is an Oka manifold. This gives a positive answer to the well-known long-standing problem in Oka theory whether the complement of a compact polynomially convex set in $mathbb{C}^{n}$ $(n>1)$ is Oka. Furthermore, we obtain new examples of non-elliptic Oka manifolds which negatively answer Gromov’s question. The relative version of the main theorem is also proved. As an application, we show that the complement $mathbb{C}^{n}setminus mathbb{R}^{k}$ of a totally real affine subspace is Oka if $n>1$ and $(n,k)neq (2,1),(2,2),(3,3)$.

In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for hbox $n ge 3$, asked if the same statement holds in dimension two. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the “simplicity conjecture” in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect.

Our general strategy is partially inspired by suggestions of Fathi and the approach of Oh towards the simplicity question. In particular, we show that infinite twist maps, studied by Oh, are not finite energy homeomorphisms, which resolves the “infinite twist conjecture” in the affirmative; these twist maps are now the first examples of Hamiltonian homeomorphisms that can be said to have infinite energy. Another consequence of our work is that various forms of fragmentation for volume-preserving homeomorphisms that hold for higher dimensional balls fail in dimension two.

A central role in our arguments is played by spectral invariants defined via periodic Floer homology. We establish many new properties of these invariants that are of independent interest. For example, we prove that these spectral invariants extend continuously to area-preserving homeomorphisms of the disc, and we also verify for certain smooth twist maps a conjecture of Hutchings concerning recovering the Calabi invariant from the asymptotics of these invariants.

We design an FPRAS to count the number of bases of any matroid given by an independent set oracle, and to estimate the partition function of the random cluster model of any matroid in the regime where $0lt qlt 1$. Consequently, we can sample random spanning forests in a graph and estimate the reliability polynomial of any matroid. We also prove the thirty year old conjecture of Mihail and Vazirani that the bases exchange graph of any matroid has edge expansion at least 1.

Our algorithm and proof build on the recent results of Dinur, Kaufman, Mass and Oppenheim who show that a high-dimensional walk on a weighted simplicial complex mixes rapidly if for every link of the complex, the corresponding localized random walk on the 1-skeleton is a strong spectral expander. One of our key observations is that a weighted simplicial complex $X$ is a $0$-local spectral expander if and only if a naturally associated generating polynomial $p_{X}$ is strongly log-concave. More generally, to every pure simplicial complex $X$ with positive weights on its maximal faces, we can associate a multiaffine homogeneous polynomial $p_{X}$ such that the eigenvalues of the localized random walks on $X$ correspond to the eigenvalues of the Hessian of derivatives of $p_{X}$.

We establish the flat cohomology version of the Gabber–Thomason purity for étale cohomology: for a complete intersection Noetherian local ring $(R, mathfrak {m})$ and a commutative, finite, flat $R$-group $G$, the flat cohomology $H^i_mathfrak {m}(R, G)$ vanishes for for $i le mathrm{dim}(R)$. For small $i$, this settles conjectures of Gabber that extend the Grothendieck–Lefschetz theorem and give purity for the Brauer group for schemes with complete intersection singularities. For the proof, we reduce to a flat purity statement for perfectoid rings, establish $p$-complete arc descent for flat cohomology of perfectoids, and then relate to coherent cohomology of $mathbb {A}_{mathrm {Inf}}$ via prismatic Dieudonné theory. We also present an algebraic version of tilting for étale cohomology, use it to reprove the Gabber–Thomason purity, and exhibit general properties of fppf cohomology of (animated) rings with finite, locally free group scheme coefficients, such as excision, agreement with fpqc cohomology, and continuity.

In this paper we establish a congruence on the degree of the map from a component of a Hurwitz space of covers of elliptic curves to the moduli stack of elliptic curves. Combinatorially, this can be expressed as a congruence on the cardinalities of Nielsen equivalence classes of generating pairs of finite groups. Building on the work of Bourgain, Gamburd, and Sarnak, we apply this congruence to show that for all but finitely many primes $p$, the group of Markoff automorphisms acts transitively on the non-zero $mathbb {F}_p$-points of the Markoff equation $x^2 + y^2 + z^2 – 3xyz = 0$. This yields a strong approximation property for the Markoff equation, the finiteness of congruence conditions satisfied by Markoff numbers, and the connectivity of a certain infinite family of Hurwitz spaces of $mathrm {SL}_2(mathbb {F}_p)$-covers of elliptic curves. With possibly finitely many exceptions, this resolves a conjecture of Bourgain, Gamburd, and Sarnak, first posed by Baragar in 1991, and a question of Frobenius, posed in 1913. Since their methods are effective, this reduces the conjecture to a finite computation.

We construct invariants of birational maps with values in the Kontsevich–Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure of the Grothendieck ring and L-equivalence. Building on known constructions of L-equivalence, we prove new unexpected results about Cremona groups.