Related papers: A Geometric Effective Nullstellensatz
We introduce a new division formula on projective space which provides explicit solutions to various polynomial division problems with sharp degree estimates. We consider simple examples as the classical Macaulay theorem as well as a quite…
We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…
We consider compactifications of the space of triples of distinct points in projective $n$-space. One such space is a singular variety of configurations of points and lines; another is the smooth compactification of Fulton and MacPherson;…
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel…
We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…
We establish an effective version of Schmidt's subspace theorem on a smooth projective variety $\mathcal{X}$ over function fields of characteristic zero for hypersurfaces located in m-subgeneral position with respect to $\mathcal{X}$. Our…
We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic…
Extending work of Klyachko and Perling, we develop a combinatorial description of pure equivariant sheaves of any dimension on an arbitrary nonsingular toric variety $X$. Using geometric invariant theory (GIT), this allows us to construct…
We prove new Skoda-type division, or ideal membership, theorems. We work in a geometric setting of line bundles over Kahler manifolds that are Stein away from an analytic subvariety. (This includes complex projective manifolds.) Our…
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles. We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP…
Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding…
We give a general method for producing various effective Null and Positivstellens\"atze, and getting new Positivstellens\"atze in algebraically closed valued fields and ordered groups. These various effective Nullstellens\"atze produce…
It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N, then the Ext groups between M and N vanish from some step if and only if the Ext groups between N…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a…
The effective freeness in Fujita's conjecture states that, for an ample line bundle $L$ on a complex projective manifold $X$, the adjoint bundle $K_X\otimes L^{\otimes m}$ is globally generated when $m \geq \dim_{\mathbb C} X + 1$.…
We study a singular Hermitian metric of a vector bundle. First, we prove the sheaf of locally square integrable holomorphic sections of a vector bundle with a singular Hermitian metric, which is a higher rank analogy of a multiplier ideal…
Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded…
Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that…
Nonvanishing theorems play a central role in birational geometry, since they derive geometric consequences from numerical information and constitute a crucial step towards abundance and semiampleness problems. General nonvanishing…
We generalize Koll\'ar's package (including torsion freeness, injectivity theorem, vanishing theorem and decomposition theorem) to polystable locally abelian parabolic Higgs bundles twisted by a multiplier ideal sheaf associated with an…