Related papers: Log-terminal singularities and vanishing theorems
We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq…
The Lodha-Moore groups provide the first known examples of type F_\infty groups that are non-amenable and contain no non-abelian free subgroups. These groups are related to Thompson's group F in certain ways, for instance they contain it as…
We prove a generic vanishing type statement in positive characteristic and apply it to prove positive characteristic versions of Kawamata's theorems: a characterization of smooth varieties birational to ordinary abelian varieties and the…
We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles…
We give a purely algebraic construction of a cohomological field theory associated with a quasihomogeneous isolated hypersurface singularity W and a subgroup G of the diagonal group of symmetries of W. This theory can be viewed as an…
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces,…
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a…
Let $X$ be a proper homogeneous space for a connected algebraic group $G$ over an algebraically closed field. For locally closed smooth affine subvarieties $W,Z\subset X$, we show that \[ (-1)^{\dim X-\dim W+\dim Z}\chi(gW\cap Z)\geq 0 \]…
We show that the Frobenius--stable version of the Grauert--Riemenschneider vanishing theorem fails for threefolds in any positive characteristic, and for terminal 3-folds in characteristic $p \in \{2, 3, 5\}$. To prove this, we introduce…
We provide a unified proof of all known examples of locally compact groups that enjoy the Howe-Moore property, namely, the vanishing at infinity of all matrix coefficients of the group unitary representations that are without non-zero…
Fujino and Tanaka established the minimal model theory for $\mathbb Q$-factorial log surfaces in characteristic $0$ and $p$, respectively. We prove that every intermediate surface has only log terminal singularities if we run the minimal…
For oriented manifolds of dimension at least 4 that are simply connected at infinity, it is known that end summing is a uniquely defined operation. Calcut and Haggerty showed that more complicated fundamental group behavior at infinity can…
Let $X_0$ be an affine variety with only normal isolated singularity $p$ and $\pi: X\to X_0$ a smooth resolution of the singularity with trivial canonical line bundle $K_X$. If the complement of the affine variety $X_0\backslash\{p\}$ is…
Let $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…
Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that $H^j(X,\Omega^i_X\otimes L)=0$ for every $j>0$, $i\geq 0$, and $L$ ample. This holds for toric varieties, but not for most other varieties. We…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…
We prove that the canonical ring of a smooth projective variety is finitely generated.
In this paper, we obtain a new proof result of Shlyakhtenko which states that if $G$ is a sofic, finitely presented group with vanishing first $\ell^2$-Betti number, then $L(G)$ is strongly 1-bounded. Our proof of this result adapts and…
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister…