Related papers: A Geometric Effective Nullstellensatz

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…

We prove a generic smoothness result in rigid analytic geometry over a characteristic zero nonarchimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well-adapted to "spreading out"…

In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is…

We compute the cone of effective divisors on the Hilbert scheme of points in the projective plane. We show the sections of many stable vector bundles satisfy a natural interpolation condition, and that these bundles always give rise to the…

We prove an analogue in higher dimensions of the classical Narasimhan-Seshadri theorem for strongly stable vector bundles of degree 0 on a smooth projective variety $X$ with a fixed ample line bundle $\Theta$. As applications, over fields…

Let $X$ be a smooth variety over an algebraically closed field $k$ of positive characteristic, ${\rm D}_X$ the sheaf of PD-differential operators, and ${\bar D}_X$ its central reduction, the sheaf of small differential operators. In this…

We construct positive-genus analogues of Welschinger's invariants for many real symplectic manifolds, including the odd-dimensional projective spaces and the renowned quintic threefold. In some cases, our invariants provide lower bounds for…

We study a class of torsion-free sheaves on complex projective spaces which generalize the much studied mathematical instanton bundles. Instanton sheaves can be obtained as cohomologies of linear monads and are shown to be semistable if its…

Let $X$ be a weakly pseudoconvex manifold and $L\longrightarrow X$ be a holomorphic line bundle with a singular positive Hermitian metric $h$. In this article, we provide a points separation theorem and an embedding for the adjoint linear…

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…

A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…

We introduce a notion of singular hermitian metrics (s.h.m.) for holomorphic vector bundles and define positivity in view of $L^2$-estimates. Associated with a suitably positive s.h.m. there is a (coherent) sheaf 0-th kernel of a certain…

We present a notion of $\Delta$-stability and stability filtration in arbitrary categories which is equivalent to the existence of Harder-Narasimhan (HN) sequences on objects. Indeed it is equivalent to the existence of a zero morphism, a…

This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic…

Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on…

Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. In this paper, we determine and study the necessary and sufficient conditions for the…

We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order…

We deduce an effective version of Schmidt's subspace theorem on a smooth projective variety X over function fields of characteristic zero for hypersurfaces located in N-subgeneral position with respect to X.

We construct a moduli space of formally integrable and involutive ideal sheaves arising from systems of partial differential equations (PDEs) in the algebro-geometric setting, by introducing the $\mathcal{D}$-Hilbert and $\mathcal{D}$-Quot…

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…