Related papers: Partially ample subvarieties of projective varieti…
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a…
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…
A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical…
We show that perverse character varieties are (quasi-)affine. We do this in a purely stack-theoretic fashion, by exhibiting enough sections of the structure sheaf.
We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective…
We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period…
We introduce a division formula on a possibly singular projective subvariety $X$ of complex projective space $\Pk^N$, which, e.g., provides explicit representations of solutions to various polynomial division problems on the affine part of…
The complex Plateau problem is analogous, in a Hermitian complex manifold, to the classical Plateau problem in 3 dimensional real space: it is a geometrical problem of extension of a closed real manifold into a complex analytic subvariety,…
Nonsingular projective varieties which are both convex and rationally connected are considered. We ask whether such varieties must be algebraic homogeneous spaces G/P. In case X is a complete intersection, an affirmative answer is obtained…
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…
We consider a subset of projective space over a finite field and give bounds on the minimal degree of a non-vanishing form with respect to this subset.
Sommese has conjectured a classification of smooth projective varieties X containing, as an ample divisor, a P^d-bundle Y over a smooth variety Z. This conjecture is known if d>1, if dim(X)<5, or if Z admits a finite morphism to an Abelian…
We define and study positivity (nefness, amplitude, bigness and pseudo-effectiveness) for Weil divisors on normal projective varieties. We prove various characterizations, vanishing and non-vanishing theorems for cohomology, global…
Given an \'etale double covering $\pi\, :\, \widetilde{C}\, \longrightarrow\, C$ of compact Riemannsurfaces with $C$ of genus at least two, we use the Prym variety of the cover to construct canonical projective structures on both…
We study varieties of complexes of projective modules with fixed ranks, and relate these varieties to the varieties of their homologies. We show that for an algebra of global dimension at most two, these two varieties are related by a pair…
In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…
A subvariety of a quasi-projective complex variety $X$ is called ``universally irreducible'' if its preimage inside the universal cover of $X$ is irreducible. In this paper we investigate sufficient conditions for universal irreducibility.…
Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.
We discuss various constructions which allow one to embed a principally polarized abelian variety in the jacobian of a curve. Each of these gives representatives of multiples of the minimal cohomology class for curves which in turn produce…
We define generalizations of the Albanese variety for a projective variety X. The generalized Albanese morphisms X --> Alb_r(X) contract those curves C in X for which the induced morphism Hom(\pi_1(X),U(r)) --> Hom(\pi_1(C),U(r)) has a…