Related papers: A vanishing theorem for quadratic intersection mul…

For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a…

The second vanishing theorem has a long history in the theory of local cohomology modules, which connects the vanishing of a complete regular local ring with a topological property of the punctured spectrum of the ring under some…

Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau…

Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$. We prove…

For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root…

We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…

We give a uniform vanishing criterion for products in bounded cohomology. This allows us to reprove and extend previous vanishing results for cup products and Massey triple products in the bounded cohomology of free groups and in the…

We study the arithmetic of complete intersections in projective space over number fields. Our main results include arithmetic Torelli theorems and versions of the Shafarevich conjecture, as proved for curves and abelian varieties by…

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…

We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.

Let C be a curve in a compact Kahler surface Y. Assume that the self-intersection of C is vanishing, and the image of the fundamental group of C in Y is of infinite index in the fundamental group of Y. Does it follow that C is a fiber of a…

For all algebraic groups over non-Archimedean local fields, the bounded cohomology vanishes. This follows from the corresponding statement for automorphism groups of Bruhat--Tits buildings, which hinges on the solution to the flatmate…

We generalize a theorem of Tate and show that the second cohomology of the Weil group of a global or local field with coefficients in $\C^*$ (or more generally, with coefficients in the complex points of a tori over $\C$) vanish, where the…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

First we refine the duality theory for Witt divisorial sheaves on smooth projective varieties over a perfect field of positive characteristic. Building on previous work [Lem22], we remove the residual derived limit to obtain a cleaner…

We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric…

Using inversion of adjunction, we deduce from Nadel's theorem a vanishing property for ideals sheaves on projective varieties, a special case of which recovers a result due to Bertram--Ein--Lazarsfeld. This enables us to generalize to a…

For a given graph $G$, the mutual-visibility problem asks for the largest set of vertices $M \subseteq V(G)$ with the property that for any pair of vertices $u,v \in M$ there exists a shortest $u,v$-path of $G$ that does not pass through…

We adapt ideas from Ekedahl [Eke84] to prove a Serre-type duality for Witt-divisorial sheaves of $\mathbb Q$-Cartier divisors on a smooth projective variety over a perfect field of finite characteristic. We also explain its relationship to…

Let $k$ be the function field of a complex curve or the field $C((t))$. We show that for a smooth complete intersection $X$ of $r$ hypersurfaces in $P^n_k$ of respective degrees $d_1,...,d_r$ with $\sum d_i^2\leq n+1$ the R-equivalence on…