We study Todd-Thakur’s analogues of Zagier-Hoffman’s conjectures in positive characteristic. These conjectures predict the dimension and an explicit basis $\mathcal{T}_w$ of the span of characteristic $p$ multiple zeta values of fixed weight $w$ which were introduced by Thakur as analogues of classical multiple zeta values of Euler. \par In the present paper we first establish the algebraic part of

In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times \partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suitable neighborhood of $p$ in $M$, up to the natural diffeomorphism invariance of the

In this paper we provide a proof of the Carleson $\varepsilon ^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson $\varepsilon ^2$-square function.

No abstract available for this article

Consider a smooth, geometrically irreducible, projective curve of genus $g\ge 2$ defined over a number field of degree $d \ge 1$. It has at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that the number of rational points is bounded only in terms of $g$, $d$, and the Mordell–Weil rank of the curve’s Jacobian, thereby answering in the affirmative a question

We prove that dynamical degrees of rational self-maps on projective varieties can be interpreted as spectral radii of naturally defined operators on suitable Banach spaces. Generalizing Shokurov’s notion of $b$-divisors, we consider the space of $b$-classes of higher codimension cycles, and endow this space with various Banach norms. Building on these constructions, we design a natural extension to

We solve two open problems: first we prove a conjecture of Bondal and Van den Bergh, showing that the category $\mathbf D^{\rm perf}( X)$ is strongly generated whenever $X$ is a quasicompact, separated scheme, admitting a cover by open affine subsets $\mathrm {Spec}({R_i})$ with each $R_i$ of finite global dimension. We also prove that, for a noetherian scheme $X$ of finite type over an excellent scheme

The Dehn function and its higher-dimensional generalizations measure the difficulty of filling a sphere in a space by a ball. In nonpositively curved spaces, one can construct fillings using geodesics, but fillings become more complicated in subsets of nonpositively curved spaces, such as lattices in symmetric spaces. In this paper, we prove sharp filling inequalities for (arithmetic) lattices in higher

We show that Martin’s Maximum${}^{++}$ implies Woodin’s ${\mathbb P}_{\rm max}$ axiom $(*)$. This answers a question from the 1990s and amalgamates two prominent axioms of set theory which were both known to imply that there are $\aleph _2$ many real numbers.

Let $\Gamma $ be a lattice in $\mathrm {SO}_0(n, 1)$. We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$, then $\Gamma $ is arithmetic. This answers a question of Reid for hyperbolic $n$-manifolds and, independently, McMullen for hyperbolic $3$-manifolds. We prove these results by proving a superrigidity theorem

We study a partially linearized version of the relative trace formula for the arithmetic Gan–Gross–Prasad conjecture for the unitary group $\mathrm {U}(V)$. The linear factor in this relative trace formula provides an $\mathrm {SL}_2$-symmetry which allows us to prove by induction the arithmetic fundamental lemma over $\mathbb {Q}_p$ when $p$ is odd and $p\geq \dim V$.

We study log canonical thresholds (also called global log canonical threshold or $\alpha $-invariant) of $\mathbb R$-linear systems. We prove existence of positive lower bounds in different settings, in particular, proving a conjecture of Ambro. We then show that the Borisov-Alexeev-Borisov conjecture holds; that is, given a natural number $d$ and a positive real number $\epsilon $, the set of Fano

This paper is concerned with the structure of Gromov-Hausdorff limit spaces $(M^n_i,g_i,p_i)\stackrel{d_{GH}}{\longrightarrow} (X^n,d,p)$ of Riemannian manifolds satisfying a uniform lower Ricci curvature bound $\mathrm{Ric}_{M^n_i}\geq -(n-1)$ as well as the noncollapsing assumption $\mathrm{Vol}(B_1(p_i))>\mathrm{v}>0$. In such cases, there is a filtration of the singular set, $S^0\subset S^1\cdots

We present an algorithm that computes the product of two $n$-bit integers in $O(n \log n)$ bit operations, thus confirming a conjecture of Schönhage and Strassen from 1971. Our complexity analysis takes place in the multitape Turing machine model, with integers encoded in the usual binary representation. Central to the new algorithm is a novel “Gaussian resampling” technique that enables us to reduce

A group $G$ is said to be $\frac {3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property, then every proper quotient of $G$ is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem

Consider a Riemannian manifold with bounded Ricci curvature $|\mathrm{Ric}|\leq n-1$ and the noncollapsing lower volume bound $\mathrm{Vol}(B_1(p))>\mathrm{v}>0$. The first main result of this paper is to prove that we have the $L^2$ curvature bound $\int_{B_1(p)}|\mathrm{Rm}|^2(x)\, dx < C(n,\mathrm{v})$,which proves the $L^2$ conjecture. In order to prove this, we will need to first show the following

Let $k$ be a non-archimedean local field with residual characteristic $p$. Let $G$ be a connected reductive group over $k$ that splits over a tamely ramified field extension of $k$. Suppose $p$ does not divide the order of the Weyl group of $G$. Then we show that every smooth irreducible complex representation of $G(k)$ contains an $\mathfrak {s}$-type of the form constructed by Kim–Yu and that every

A knot is said to be slice if it bounds a smooth properly embedded disk in the 4-ball. We demonstrate that the Conway knot, 11n34 in the Rolfsen tables, is not slice. This completes the classification of slice knots under 13 crossings, and gives the first example of a non-slice knot which is both topologically slice and a positive mutant of a slice knot.

We prove a version of Jonsson-Mustaţǎ's Conjecture, which says for any graded sequence of ideals, there exists a quasi-monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a minimizer of the normalized volume function is always quasi-monomial. Applying our techniques to a family of klt singularities, we show that the volume of klt singularities

If $k$ is a sufficiently large positive integer, we show that the Diophantine equation $$n (n+d) \cdots (n+ (k-1)d) = y^{\ell}$$ has at most finitely many solutions in positive integers $n, d, y$ and $\ell$, with $\operatorname{gcd}(n,d)=1$ and $\ell \geq 2$. Our proof relies upon Frey-Hellegouarch curves and results on supersingular primes for elliptic curves without complex multiplication, derived

We show that in a generic finite-dimensional real-analytic family of real-analytic multimodal maps, the subset of parameters on which the corresponding map has a solenoidal attractor with bounded combinatorics is a set with zero Lebesgue measure.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks: How to construct concrete modules for irreducible cuspidal

Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety

We introduce a general strategy for proving quantitative and uniform bounds on the number of common points of height zero for a pair of inequivalent height functions on $\mathbb{P}^1(\overline{\mathbb{Q}}).$ We apply this strategy to prove a conjecture of Bogomolov, Fu, and Tschinkel asserting uniform bounds on the number of common torsion points of elliptic curves in the case of two Legendre curves

In this paper we give an example of a triangulated category, linear over a field of characteristic zero, which does not carry a DG-enhancement. The only previous examples of triangulated categories without a model have been constructed by Muro, Schwede and Strickland. These examples are however not linear over a field.

We show that a second Neumann eigenfunction u of a Euclidean triangle has at most one (nonvertex) critical point p, and if p exists, then it is a non-degenerate critical point of Morse index 1. Using this we deduce that (1) the extremal values of u are only achieved at a vertex of the triangle, and (2) a generic acute triangle has exactly one (non-vertex) critical point and that each obtuse triangle

We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.

We show that any two birational projective Calabi-Yau manifolds have isomorphic small quantum cohomology algebras after a certain change of Novikov rings. The key tool used is a version of an algebra called symplectic cohomology, which is constructed using Hamiltonian Floer cohomology. Morally, the idea of the proof is to show that both small quantum products are identical deformations of symplectic

We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

For each $n$, let $M_n$ be an $n\times n$ random matrix with independent $\pm 1$ entries. We show that ${\mathbb P}\{\mbox{$M_n$ is singular}\}=(1/2+o_n(1))^n$, which settles an old problem. Some generalizations are considered.

The Allen-Cahn equation is a semilinear PDE which is deeply linked to the theory of minimal hypersurfaces via a singular limit. We prove curvature estimates and strong sheet separation estimates for stable solutions (building on recent work of Wang-Wei) of the Allen-Cahn equation on a 3-manifold. Using these, we are able to show for generic metrics on a 3-manifold, minimal surfaces arising from Allen-Cahn

Dorn and Otto (1994) and independently Zamolodchikov and Zamolodchikov (1996) proposed a remarkable explicit expression, the so-called DOZZ formula, for the 3 point structure constants of Liouville Conformal Field Theory (LCFT), which is expected to describe the scaling limit of large planar maps properly embedded into the Riemann sphere. In this paper we give a proof of the DOZZ formula based on a

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[\omega])$ with $\omega^2+\omega+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$

We prove the Ax-Lindemann-Weierstrass theorem with derivatives for the uniformizing functions of genus zero Fuchsian groups of the first kind. Our proof relies on differential Galois theory, monodromy of linear differential equations, the study of algebraic and Liouvillian solutions, differential algebraic work of Nishioka towards the Painleve irreducibility of certain Schwarzian equations, and considerable

We prove that in a closed manifold of dimension between 3 and 7 with a bumpy metric, the min-max minimal hypersurfaces associated with the volume spectrum introduced by Gromov, Guth, Marques-Neves, are two-sided and have multiplicity one. This confirms a conjecture by Marques-Neves. We prove that in a bumpy metric each volume spectrum is realized by the min-max value of certain relative homotopy class

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has exactly one positive eigenvalue at any point on the positive orthant. This property can be seen as an analog of Hodge-Riemann relations for Lorentzian polynomials. Lorentzian

For a dilute system of non-relativistic bosons interacting through a positive $L^1$ potential $v$ with scattering length $a$ we prove that the ground state energy density satisfies the bound $e(\rho) \geq 4\pi a \rho^2 (1+ \frac{128}{15\sqrt{\pi}} \sqrt{\rho a^3} +o(\sqrt{\rho a^3}\,))$, thereby proving the Lee-Huang-Yang formula for the energy density.

We show that there exist absolute constants $\Delta > \delta > 0$ such that, for all $n \geqslant 2$, there exists a polynomial $P$ of degree $n$, with $\pm 1$ coefficients, such that $$\delta\sqrt{n} \leqslant |P(z)| \leqslant \Delta\sqrt{n}$$ for all $z\in\mathbb{C}$ with $|z|=1$. This confirms a conjecture of Littlewood from 1966.

In this paper, we consider the CM line bundle on the K-moduli space, i.e., the moduli space parametrizing K-polystable Fano varieties. We prove it is ample on any proper subspace parametrizing reduced uniformly K-stable Fano varieties which conjecturally should be the entire moduli space. As a corollary, we prove that the moduli space parametrizing smoothable K-polystable Fano varieties is projective

It is shown that if A is a separable, exact C*-algebra which satisfies the Universal Coefficient Theorem (UCT) and has a faithful, amenable trace, then A admits a trace-preserving embedding into a simple, unital AF-algebra with unique trace. Modulo the UCT, this provides an abstract characterization of C*-subalgebras of simple, unital AF-algebras. As a consequence, for a countable, discrete, amenable

In this paper we consider closed non-collapsed ancient solutions to the mean curvature flow ($n \ge 2$) which are uniformly two-convex. We prove that any two such ancient solutions are the same up to translations and scaling. In particular, they must coincide up to translations and scaling with the rotationally symmetric closed ancient non-collapsed solution constructed by Brian White in (2000), and

We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor.

We construct small models of number fields and deduce a better bound for the number of number fields of given degree and bounded discriminant.

We prove for the $N$-body problem the existence of hyperbolic motions for any prescribed limit shape and any given initial configuration of the bodies. The energy level $h>0$ of the motion can also be chosen arbitrarily. Our approach is based on the construction of global viscosity solutions for the Hamilton-Jacobi equation $H(x,d_xu)=h$. We prove that these solutions are fixed points of the associated

We prove a sharp square function estimate for the cone in $\mathbb{R}^3$ and consequently the local smoothing conjecture for the wave equation in $2+1$ dimensions.

We show that the decomposition matrix of unipotent $\ell$-blocks of a finite reductive group $\mathbf{G}(\mathbb{F}_q)$ has a unitriangular shape, assuming $q$ is a power of a good prime and $\ell$ is very good for $\mathbf{G}$. This was conjectured by Geck in 1990 as part of his PhD thesis. We establish this result by constructing projective modules using a modification of generalised Gelfand--Graev

A nonlinear analogue of the Rademacher type of a Banach space was introduced in classical work of Enflo. The key feature of Enflo type is that its definition uses only the metric structure of the Banach space, while the definition of Rademacher type relies on its linear structure. We prove that Rademacher type and Enflo type coincide, settling a long-standing open problem in Banach space theory. The

When is a topological branched self-cover of the sphere equivalent to a rational map on CP^1? William Thurston gave one answer in 1982, giving a negative criterion (an obstruction to a map being rational). We give a complementary, positive criterion: the branched self-cover is equivalent to a rational map if and only if there is an elastic spine that gets "looser" under backwards iteration. This completes

We prove affirmatively the one dimensional case of a conjecture of Stein regarding the $L^p$-boundedness of the Polynomial Carleson operator, for $1

We prove an explicit formula for the Poincar\'e polynomials of parabolic character varieties of Riemann surfaces with semisimple local monodromies, which was conjectured by Hausel, Letellier and Rodriguez-Villegas. Using an approach of Mozgovoy and Schiffmann the problem is reduced to counting pairs of a parabolic vector bundles and a nilpotent endomorphism of prescribed generic type. The generating

The Glauberman correspondence is a fundamental bijection in the character theory of finite groups. In 1994, Hartley and Turull established a degree-divisibility property for characters related by that correspondence, subject to a congruence condition which should hold for the Green functions of finite groups of Lie type, as defined by Deligne and Lusztig. Here, we present a general argument for completing

Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$ such that $|\alpha-a/q|\le \psi(q)/q$. If $\sum_{q=1}^\infty \psi(q)\phi(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question

We prove the classification of homomorphisms from the algebra of symmetric functions to $\mathbb{R}$ with non-negative values on Macdonald symmetric functions $P_{\lambda}$, that was conjectured by S.V. Kerov in 1992.

We show that, for $n\geq 3$, $\lim_{t \to 0} e^{it\Delta}f(x) = f(x)$ holds almost everywhere for all $f \in H^s (\mathbb{R}^n)$ provided that $s>\frac{n}{2(n+1)}$. Due to a counterexample by Bourgain, up to the endpoint, this result is sharp and fully resolves a problem raised by Carleson. Our main theorem is a fractal $L^2$ restriction estimate, which also gives improved results on the size of divergence

We prove an inequality on decision trees on monotonic measures which generalizes the OSSS inequality on product spaces. As an application, we use this inequality to prove a number of new results on lattice spin models and their random-cluster representations. More precisely, we prove that 1. For the Potts model on transitive graphs, correlations decay exponentially fast for $\beta<\beta_c$. 2. For

Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development

The chromatic number of $G\times H$ can be smaller than the minimum of the chromatic numbers of finite simple graphs $G$ and $H$.

The probabilistic Waring problem for finite simple groups asks whether every word of the form $w_1w_2$, where $w_1$ and $w_2$ are non-trivial words in disjoint sets of variables, induces almost uniform distribution on finite simple groups with respect to the $L^1$ norm. Our first main result provides a positive solution to this problem. We also provide a geometric characterization of words inducing

For arithmetic applications, we extend and refine our results in \cite{YZ} to allow ramifications in a minimal way. Starting with a possibly ramified quadratic extension $F'/F$ of function fields over a finite field in odd characteristic, and a finite set of places $\Sigma$ of $F$ that are unramified in $F'$, we define a collection of Heegner--Drinfeld cycles on the moduli stack of $\mathrm{PGL}_{2}$-Shtukas

A countable discrete group $G$ is called Choquet-Deny if for every non-degenerate probability measure $\mu$ on $G$ it holds that all bounded $\mu$-harmonic functions are constant. We show that a finitely generated group $G$ is Choquet-Deny if and only if it is virtually nilpotent. For general countable discrete groups, we show that $G$ is Choquet-Deny if and only if none of its quotients has the infinite