Related papers: A vanishing theorem for a class of logarithmic D-m…

In this paper we prove four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named…

Let an algebraic group G act on X, a connected algebraic manifold, with finitely many orbits. For any Harish-Chandra pair (D,G) where D is a sheaf of twisted differential operators on X, we form a left ideal D.g in D generated by the Lie…

We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson's philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose…

Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…

A complex hypersurface D in complex affine n-space C^n is a linear free divisor (LFD) if its module of logarithmic vector fields has a global basis of linear vector fields. We classify all LFDs for n at most 4. Analogous to Grothendieck's…

Let (X, D) be a projective log canonical pair. We show that for any natural number p, the sheaf (Omega_X^p(log D))^** of reflexive logarithmic p-forms does not contain a Weil divisorial subsheaf whose Kodaira-Iitaka dimension exceeds p.…

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Let $f:X\rightarrow Y$ be a smooth fibration between two complex manifolds $X$ and $Y$, and let $L$ be a pseudo-effective line bundle on $X$. We obtain a sufficient condition for $R^{q}f_{\ast}(K_{X/Y}\otimes L)$ to be reflexive and hence…

We prove a structure theorem for the differential operator in the 0-term of the ${\cal V}$-filtration with respect to a free divisor. Using this theorem, we give a formula for the logarithmic de Rham complex in terms of ${\cal…

We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a…

Vanishing polynomials are polynomials over a ring which output $0$ for all elements in the ring. In this paper, we study the ideal of vanishing polynomials over specific types of rings, along with the closely related ring of polynomial…

In this paper, we prove some well-known results on local cohomology with respect to a pair of ideals in graded version, such as, Independence Theorem, Lichtenbaum-Harshorne Vanishing Theorem, Basic Finiteness and Vanishing Theorem, among…

Let M^7 a manifold with holonomy in G_2, and Y^3 an associative submanifold with boundary in a coassociative submanifold. In [5], the authors proved that M_{X,Y}, the moduli space of its associative deformations with boundary in the fixed…

We use Cox's description for sheaves on toric varieties and results about the local cohomology with respect to monomial ideals to give a characteristic free approach to vanishing results on arbitrary toric varieties. As an application, we…

Let $\K$ be a finite field and $X$ be a complete simplicial toric variety over $\K$. We give an algorithm relying on elimination theory for finding generators of the vanishing ideal of a subgroup $Y_Q$ parameterized by a matrix $Q$ which…

We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…

Let $\mathbb{F}_q$ denote the finite field with $q = p^r$ elements. Let $V$ be a finite dimensional vector space of dimension $d$ over $\mathbb{F}_q$ and let $G \subseteq GL(V)$ be a group. Let $R = \mathbb{F}_q[V] = \text{Sym}(V^*)$ and…

In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion…

Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential…

Let $E$ be a vector bundle and $L$ be a line bundle over a smooth projective variety $X$. In this article, we give a condition for the vanishing of Dolbeault cohomology groups of the form $H^{p,q}(X,\SSS^{\alpha}E\otimes \wedge^{\beta}…