Let K be a real quadratic number field and let p be a prime number which is inert in K. We denote the completion of K at the place p by Kp. We propose a p-adic construction of special elements in Kp× and formulate the conjecture that they should be p-units lying in narrow ray class fields of K. The truth of this conjecture would entail an explicit class field theory for real quadratic number fields. This construction can be viewed as a natural generalization of a construction obtained by Darmon and Dasgupta who proposed a p-adic construction of p-units lying in narrow ring class fields of K.

The local intersection cohomology of a point in the Baily–Borel compactification (of a Hermitian locally symmetric space) is shown to be canonically isomorphic to the weighted cohomology of a certain linear locally symmetric space (an arithmetic quotient of the associated self-adjoint homogeneous cone). Explicit computations are given for the symplectic group in four variables.

We show that holomorphic singular codimension one foliations of the complex projective space with a Kupka singular set of radial type and verifying some global hypotheses have rational first integral. The generic elements of such pencils are Calabi–Yau.

We investigate the Gross–Prasad conjecture and its refinement for the Bessel periods in the case of $(\mathrm {SO}(5), \mathrm {SO}(2))$. In particular, by combining several theta correspondences, we prove the Ichino–Ikeda-type formula for any tempered irreducible cuspidal automorphic representation. As a corollary of our formula, we prove an explicit formula relating certain weighted averages of Fourier coefficients of holomorphic Siegel cusp forms of degree two, which are Hecke eigenforms, to central special values of $L$-functions. The formula is regarded as a natural generalization of the Böcherer conjecture to the non-trivial toroidal character case.

Fock and Goncharov conjectured that the indecomposable universally positive (i.e. atomic) elements of a cluster algebra should form a basis for the algebra. This was shown to be false by Lee, Li and Zelevinsky. However, we find that the theta bases of Gross, Hacking, Keel and Kontsevich do satisfy this conjecture for a slightly modified definition of universal positivity in which one replaces the positive atlas consisting of the clusters by an enlargement we call the scattering atlas. In particular, this uniquely characterizes the theta functions.

In this paper we solve the problem of desingularization of an absolutely isolated singularity of a differential equation, including the dicritical case. As an application, we prove the finiteness of the number of dicritical points in the blowing up tree of an absolutely isolated singularity.

Let G be a symmetrizable Kac–Moody group over a field of characteristic zero, let T be a split maximal torus of G. By using a completion of the algebra of strongly regular functions on G, and its restriction on T, we give a formal Chevalley restriction theorem. Specializing to the affine case, and to the field of complex numbers, we obtain a convergent Chevalley restriction theorem, by choosing the formal functions, which are convergent on the semi-groups of trace class elements Gtr⊂G resp. Ttr⊂T.

Let F be a non-archimedean local field with residue class field k. Put G=GL2(F), Γ=PGL2(k) and let X denote the Bruhat–Tits tree of G. We construct a one-dimensional simplicial complex $\tilde X$, equipped with an action of G × Γ and with a G × Γ-equivariant simplicial projection $\pi: \tilde X\to X$ (for the trivial action of Γ on X). We prove that the cohomology with compact support $H^1_c(\tilde X\open C)$ contains nontrivial representations of G (in particular positive level supercuspidal representations).

In this paper we construct smooth irreducible space curves $C$ which link geometrically by surfaces of minimal degree containing $C$ to curves $\Gamma$ of generic embedding dimension three. This produces interesting behavior with respect to both $C$ and $\Gamma$. The curves $\Gamma$ link to smooth connected curves by surfaces of low degree but cannot link to smooth connected curves by surfaces of high degree. The curves $C$ give counterexamples to a conjecture of Martin-Deschamps and Perrin.

We establish central limit theorems for an action of a group $G$ on a hyperbolic space $X$ with respect to the counting measure on a Cayley graph of $G$. Our techniques allow us to remove the usual assumptions of properness and smoothness of the space, or cocompactness of the action. We provide several applications which require our general framework, including to lengths of geodesics in geometrically finite manifolds and to intersection numbers with submanifolds.

For a prime number $p$ , we show that differentials $d_{n}$ in the motivic cohomology spectral sequence with $p$ -local coefficients vanish unless $p-1$ divides $n-1$ . We obtain an explicit formula for the first non-trivial differential $d_{p}$ , expressing it in terms of motivic Steenrod $p$ -power operations and Bockstein maps. To this end, we compute the algebra of operations of weight $p-1$ with $p$ -local coefficients. Finally, we construct examples of varieties having non-trivial differentials $d_{p}$ in their motivic cohomology spectral sequences.

We establish a character multiplicity duality for a certain natural class of nonlinear (nonalgebraic) groups arising as two-fold covers of simply laced real reductive algebraic groups. This allows us to extend part of the formalism of the local Langlands conjecture to such groups.

We prove various characterizations of the period torsor of abelian varieties.

Let $X/\mathbb {F}_{q}$ be a smooth, geometrically connected, quasi-projective scheme. Let $\mathcal {E}$ be a semi-simple overconvergent $F$-isocrystal on $X$. Suppose that irreducible summands $\mathcal {E}_i$ of $\mathcal {E}$ have rank 2, determinant $\bar {\mathbb {Q}}_p(-1)$, and infinite monodromy at $\infty$. Suppose further that for each closed point $x$ of $X$, the characteristic polynomial of $\mathcal {E}$ at $x$ is in $\mathbb {Q}[t]\subset \mathbb {Q}_p[t]$. Then there exists a dense open subset $U\subset X$ such that $\mathcal {E}|_U$ comes from a family of abelian varieties on $U$. As an application, let $L_1$ be an irreducible lisse $\bar {\mathbb {Q}}_l$ sheaf on $X$ that has rank 2, determinant $\bar {\mathbb {Q}}_l(-1)$, and infinite monodromy at $\infty$. Then all crystalline companions to $L_1$ exist (as predicted by Deligne's crystalline companions conjecture) if and only if there exist a dense open subset $U\subset X$ and an abelian scheme $\pi _U\colon A_U\rightarrow U$ such that $L_1|_U$ is a summand of $R^{1}(\pi _U)_*\bar {\mathbb {Q}}_l$.

We prove that the zeta function of an irreducible hypersurface quasi-ordinary singularity f equals the zeta function of a plane curve singularity g. If the local coordinates $(x_1,\dots,x_{d+1})$ of f are ‘nice’, then $g=f(x_1,0,\dots,0,x_{d+1})$. Moreover, the Puiseux pairs of g can also be recovered from (any set of) distinguished tuples of f.

Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.

Bershadsky, Cecotti, Ooguri and Vafa constructed a real-valued invariant for Calabi–Yau manifolds, which is now called the BCOV invariant. In this paper, we extend the BCOV invariant to such pairs $(X,D)$, where $X$ is a compact Kähler manifold and $D$ is a pluricanonical divisor on $X$ with simple normal crossing support. We also study the behavior of the extended BCOV invariant under blow-ups. The results in this paper lead to a joint work with Fu proving that birational Calabi–Yau manifolds have the same BCOV invariant.

In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

Using the $\sharp$-minimal model program of uniruled varieties we show that, for any pair $(X, {\mathcal H})$ consisting of a reduced and irreducible variety $X$ of dimension $k \geq 3$ and a globally generated big line bundle ${\mathcal H}$ on $X$ with $d:= {\mathcal H}^k$ and $n:= h^0(X, {\mathcal H})-1$ such that $d<2(n-k)-4$, then $X$ is uniruled of ${\mathcal H}$-degree one, except if $(k,d,n)=(3,27,19)$ and a ${\sharp}$-minimal model of $(X, {\mathcal H})$ is $({\mathbb P}^3,{\mathcal O}_{{\mathbb P}^3}(3))$. We also show that the bound is optimal for threefolds.

Quasipositive knots are transverse intersections of complex plane curves with the standard sphere $S^3 \subset {\mathbb C}^2$. It is known that any Alexander polynomial of a knot can be realized by a quasipositive knot. As a consequence, the Alexander polynomial cannot detect quasipositivity. In this paper we prove a similar result about Vassiliev invariants: for any oriented knot $K$ and any natural number $n$ there exists a quasipositive knot $Q$ whose Vassiliev invariants of order less than or equal to $n$ coincide with those of $K$.