Related papers: Ordinary varieties and the comparison between mult…
Let $X$ be a normal complex space such that the tangent sheaf $T_X$ is locally free and locally admits a basis consisting of pairwise commuting vector fields. Then $X$ is smooth.
Let $Y$ be a normal and projective variety over an algebraically closed field $k$ and $V$ a vector bundle over $Y$. We prove that if there exist a $k$-scheme $X$ and a finite surjective morphism $g:X\to Y$ that trivializes $V$ then $V$ is…
For a smooth projective variety X over an arbitrary field k, we discuss the surjectivity of the Albanese map from the Chow group of zero-cycles of degree zero on X to the group of rational points of the Albanese variety of X. Over…
Statistical models of evolution are algebraic varieties in the space of joint probability distributions on the leaf colorations of a phylogenetic tree. The phylogenetic invariants of a model are the polynomials which vanish on the variety.…
Given an invertible sheaf on a fibre space between projective varieties of positive characteristic, we show that fibrewise semi-ampleness implies relative semi-ampleness. The same statement fails in characteristic zero.
We investigate for families of smooth projective varieties over a localized polynomial ring Z[x_1,...,x_r][D^{-1}] the conjugate filtration on De Rham cohomology tensored with Z/NZ. As N tends to infinity this leads to the concept of the…
Let G be a reductive algebraic group and H a closed subgroup of G. Explicit constructions of G-invariant ideals in the algebra K[G/H] are given. This allows to obtain an elementary proof of Matsushima's criterion: a homogeneous space G/H is…
In this short note we prove a couple of facts about polynomial count varieties, answering natural questions that they raise. A polynomial count $X$ variety is essentially one for which its number of points over finite fields is given by a…
Let $X$ be a normal projective variety and $f:X\to X$ a non-isomorphic polarized endomorphism. We give two characterizations for $X$ to be a toric variety. First we show that if $X$ is $\mathbb{Q}$-factorial and $G$-almost homogeneous for…
The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…
One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…
We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…
We define the nef complexity of a projective variety $X$. This invariant compares $\dim X+\rho(X)$ with the sum of the coefficients of nef partitions of $-K_X$. We prove that the nef complexity is non-negative and it is zero precisely for…
We determine internal characterisations for when a tensor category is (super) tannakian, for fields of positive characteristic. This generalises the corresponding characterisations in characteristic zero by P. Deligne. We also explore…
Drinfeld in 2010 proved the companions conjecture for smooth varieties over a finite field, generalizing L. Lafforgue's result for smooth curves. We study the obstruction to prove the conjecture for arbitrary normal varieties. To do this,…
I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…
Let $X,Y$ be algebraic varieties defined over $\Bbb R$. Assume $Y$ is smooth and $X$ is Gorenstein. Suppose $\varphi:X\to Y$ is a flat $\Bbb R$-morphism such that all the fibers have rational singularities. We show that the pushforward of…
Let $X$ be a smooth projective $n$-fold such that $q(X)=0$ and $L$ a globally generated, big line bundle on $X$ such that $h^0(K_X+(n-2)L) >0$. We give necessary and sufficient conditions for the adjoint systems $|K_X+kL|$ to be birational…
Let X be a complete toric variety and let Y be a smooth projective variety with Picard number one. We prove that, if there exists a surjective morphism from X to Y, then Y is a projective space.
Let (R,m) be an n-dimensional regular local ring, essentially of finite type over a field of characteristic zero. In this paper we study the relationship between the singularities of the scheme defined by an m-primary ideal I of R and the…