Related papers: Bronowski's conjecture and the identifiability of …

In the setting of constructive mathematics, we suggest and study a framework for decidability of properties, which allows for finer distinctions than just "decidable, semidecidable, or undecidable". We work in homotopy type theory and use…

Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…

Going one step further in Zak's classification of Scorza varieties with secant defect equal to one, we characterize the Veronese embedding of $\P^n$ given by the complete linear system of quadrics and its smooth projections from a point as…

For a smooth projective complex variety $X$, we prove that there exists a birational morphism $X\times X\to Y$ to a projective variety $Y$ contracting the diagonal $\Delta_X\subset X\times X$ to a point if and only if $X$ has maximal…

Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences…

We confirm Beauville's conjecture that claims that if the p-th exterior power of the tangent bundle of a smooth projective variety contains the p-th power of an ample line bundle, then the variety is either the projective space or the…

I. Panin proved in the nineties that the algebraic K-theory of twisted projective homogeneous varieties can be expressed in terms of central simple algebras. Later, Merkurjev and Panin described the algebraic K-theory of toric varieties as…

Given an affine rational complexity-one $T$-variety $X$, we construct an explicit embedding of $X$ in affine space $\mathbb{A}^n$. We show that this embedding is well-poised, that is, every initial ideal of $I_X$ is a prime ideal, and…

In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…

I prove a crystalline characterization of abelian varieties in characteristic $p>0$ amongst the class of varieties with trivial tangent bundle. I show using my characterization that a smooth, projective, ordinary variety with trivial…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

Let $X^n \subset P^N$ be a nonsingular, nondegenerate projective variety of dimension $n$ and codimension $N-n \ge 2$. Let $|C_X|$ be the linear system determined by the double-point divisor obtained by generically projecting $X$ to a…

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…

Let $X \subseteq {\bf P}^N ={\bf P}^{2n}_K$ be a subvariety of dimension $n$ and $P \in {\bf P}^N$ a generic point. If the tangent variety Tan$ X$ is equal to ${\bf P}^N$ then for generic points $x$, $y$ of $X$ the projective tangent spaces…

In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$,…

A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify…

Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's…

We study the irreducibility of Wronskian Hermite polynomials labelled by partitions. It is known that these polynomials factor as a power of x times a remainder polynomial. We show that the remainder polynomial is irreducible for the…

We prove Vojta's abc conjecture for projective space ${\Bbb P}^n({\Bbb C})$, assuming that the entire curves in ${\Bbb P}^n({\Bbb C})$ are highly ramified over the coordinate hyperplanes. This extends the results of Guo Ji and the…

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…