Campana introduced the class of special varieties as the varieties admitting no Bogomolov sheaves, i.e. rank-one coherent subsheaves of maximal Kodaira dimension in some exterior power of the cotangent bundle. Campana raised the question of whether one can replace the Kodaira dimension by the numerical dimension in this characterization. We answer partially this question showing that a projective manifold admitting a rank-one coherent subsheaf of the cotangent bundle with numerical dimension one is not special. We also establish the analytic characterization with the non-existence of Zariski dense entire curve and the arithmetic version with non-potential density in the (split) function field setting. Finally, we conclude with a few comments for higher codimensional foliations which may provide some evidence towards a generalization of the aforementioned results.

The purpose of this paper is to extend the explicit geometric evaluation of semisimple orbital integrals for smooth kernels for the Casimir operator obtained by the first author to the case of kernels for arbitrary elements in the center of the enveloping algebra.

In 1977, Gauduchon proved that on every compact hermitian manifold $(X, \omega )$ there exists a conformally equivalent hermitian metric $\omega _\mathrm {G}$ which satisfies $\mathrm {dd}^{\mathrm {c}} \omega _\mathrm {G}^{n-1} = 0$. In this note, we extend this result to irreducible compact singular hermitian varieties which admit a smoothing.

The main goal of this paper is to construct a compactification of the moduli space of degree $d \geqslant 5$ surfaces in $\mathbb {P}^{3}_{{{\mathbb {C}}}}$, i.e. a parameter space whose interior points correspond to (equivalence classes of) smooth surfaces in $\mathbb {P}^{3}$ and whose boundary points correspond to degenerations of such surfaces. We consider a divisor $D$ on a Fano variety $Z$ as a pair $(Z, D)$ satisfying certain properties. We find a modular compactification of such pairs and, in the case of $Z = {{\mathbb {P}}}^{3}$ and $D$ a surface, use their properties to classify the pairs on the boundary of the moduli space.

We conjecture that the exceptional set in Manin's conjecture has an explicit geometric description. Our proposal includes the rational point contributions from any generically finite map with larger geometric invariants. We prove that this set is contained in a thin subset of rational points, verifying that there is no counterexample to Manin's conjecture which arises from an incompatibility of geometric invariants.

In this paper, we prove the Fukui–Kurdyka–Paunescu conjecture, which says that sub-analytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of the multiplicity (respectively, degree) of real and complex analytic (respectively, algebraic) sets. For instance, still in the real case, we prove a global version of the Fukui–Kurdyka–Paunescu conjecture. In the complex case, one of the results that we prove is the following: if $(X,0)\subset (\mathbb {C}^{n},0)$, $(Y,0)\subset (\mathbb {C}^{m},0)$ are germs of analytic sets and $h\colon (X,0)\to (Y,0)$ is a semi-bi-Lipschitz homeomorphism whose graph is a complex analytic set, then the germs $(X,0)$ and $(Y,0)$ have the same multiplicity. One of the results that we prove in the global case is the following: if $X\subset \mathbb {C}^{n}$, $Y\subset \mathbb {C}^{m}$ are algebraic sets and $\phi \colon X\to Y$ is a semi-algebraic semi-bi-Lipschitz homeomorphism such that the closure of its graph in $\mathbb {P}^{n+m}(\mathbb {C})$ is an orientable homological cycle, then ${\rm deg}(X)={\rm deg}(Y)$.

A celebrated result by Orlov states that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of geometric origin, i.e. it is a Fourier–Mukai functor. In this paper we prove that any smooth projective variety of dimension $\ge 3$ equipped with a tilting bundle can serve as the source variety of a non-Fourier–Mukai functor between smooth projective schemes.

Let $ {\mathbb {C}}^{n+1}_o$ denote the germ of $ {\mathbb {C}}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $ {\mathbb {C}}^{n+1}_o$ and $W$ a deformation of $V$ over $ {\mathbb {C}}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we prove that $W$ is a $\mu$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This result gives a lot of information about $W$, for example, the topological triviality of the family $W$ and the fact that the natural morphism $(\operatorname {W( {\mathbb {C}}_{o})}_{m})_{{\rm red}}\rightarrow {\mathbb {C}}_{o}$ is flat, where $\operatorname {W( {\mathbb {C}}_{o})}_{m}$ is the relative space of $m$-jets. On the way to the proof of our main result, we give a complete answer to a question of Arnold on the monotonicity of Newton numbers in the case of convenient Newton polyhedra.

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the algebraic numbers and the abelian scheme has maximal variation, we prove that the geometric generic fiber of such a subvariety is a union of torsion cosets. We go on to prove fully or partially explicit versions of this result in fibered powers of the Legendre family of elliptic curves. Finally, we apply a recent result of Galateau and Martínez to obtain uniform bounds on the number of maximal torsion cosets in the Manin–Mumford problem across a given isogeny class. For the proofs, we adapt the strategy, due to Lang, Serre, Tate, and Hindry, of using Galois automorphisms that act on the torsion as homotheties to the family setting.

In this paper we construct an action of the affine Hecke category (in its ‘Soergel bimodules’ incarnation) on the principal block of representations of a simply connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan–Lusztig polynomials.

We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus 1 curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of genus 1 fibrations on supersingular K3 surfaces without purely inseparable multisections.

We study derived categories of Gorenstein varieties $X$ and $X^+$ connected by a flop. We assume that the flopping contractions $f\colon X\to Y$, $f^+ \colon X^+ \to Y$ have fibers of dimension bounded by one and $Y$ has canonical hypersurface singularities of multiplicity two. We consider the fiber product $W=X\times _YX^+$ with projections $p\colon W\to X$, $p^+\colon W\to X^+$ and prove that the flop functors $F = Rp^+_*Lp^* \colon {\mathcal {D}}^b(X) \to {\mathcal {D}}^b(X^+)$, $F^+= Rp_*L{p^+}^* \colon {\mathcal {D}}^b(X^+) \to {\mathcal {D}}^b(X)$ are equivalences, inverse to those constructed by Van den Bergh. The composite $F^+ \circ F \colon {\mathcal {D}}^b(X) \to {\mathcal {D}}^b(X)$ is a non-trivial auto-equivalence. When variety $Y$ is affine, we present $F^+ \circ F$ as the spherical cotwist of a spherical couple $(\Psi ^*,\Psi )$ which involves a spherical functor $\Psi$ constructed by deriving the inclusion of the null category $\mathscr {A}_f$ of sheaves ${\mathcal {F}} \in \mathop {{\rm Coh}}\nolimits (X)$ with $Rf_*({\mathcal {F}} )=0$ into $\mathop {{\rm Coh}}\nolimits (X)$. We construct a spherical pair (${\mathcal {D}}^b(X)$, ${\mathcal {D}}^b(X^+)$) in the quotient ${\mathcal {D}}^b(W) /{\mathcal {K}}^b$, where ${\mathcal {K}}^b$ is the common kernel of the derived push-forwards for the projections to $X$ and $X^+$, thus implementing in geometric terms a schober for the flop. A technical innovation of the paper is the $L^1f^*f_*$ vanishing for Van den Bergh's projective generator. We construct a projective generator in the null category and prove that its endomorphism algebra is the contraction algebra.

The pentagram map takes a planar polygon $P$ to a polygon $P'$ whose vertices are the intersection points of consecutive shortest diagonals of $P$. This map is known to interact nicely with Poncelet polygons, that is, polygons which are simultaneously inscribed in a conic and circumscribed about a conic. A theorem of Schwartz states that if $P$ is a Poncelet polygon, then the image of $P$ under the pentagram map is projectively equivalent to $P$. In the present paper, we show that in the convex case this property characterizes Poncelet polygons: if a convex polygon is projectively equivalent to its pentagram image, then it is Poncelet. The proof is based on the theory of commuting difference operators, as well as on properties of real elliptic curves and theta functions.

We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular $p$-adic integral models for these varieties over odd primes $p$ at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation and resolution of a corresponding local model.

We determine the local deformation rings of sufficiently generic mod $l$ representations of the Galois group of a $p$-adic field, when $l \neq p$, relating them to the space of $q$-power-stable semisimple conjugacy classes in the dual group. As a consequence, we give a local proof of the $l \neq p$ Breuil–Mézard conjecture of the author, in the tame case.