Related papers: Some Remarks on Generic Complete Intersection Vari…
In this work, we prove a quantitative version of the prime-to-$p$ Manin--Mumford conjecture for varieties with ample cotangent bundle. More precisely, let $A$ be an abelian variety defined over a number field $F$, and let $X$ be a smooth…
Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…
We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1…
This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…
One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…
We prove an unobstructedness result for deformations of subvarieties constrained by intersections with another, fixed subvariety. We deduce smoothness and expected-dimension results for multiple-point loci of generic projections, mainly…
Let V_0 and V_1 be complex vector bundles over a space X. We use the theory of divisors on formal groups to give obstructions in generalised cohomology that vanish when V_0 and V_1 can be embedded in a bundle U in such a way that V_0\cap…
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…
In this work, we are concerned with hierarchically hyperbolic spaces and hierarchically hyperbolic groups. Our main result is a wide generalization of a combination theorem of Behrstock, Hagen, and Sisto. In particular, as a consequence, we…
We establish an efficient compatibility criterion for a system of generalized complete intersection type in terms of certain multi-brackets of differential operators. These multi-brackets generalize the higher Jacobi-Mayer brackets,…
We show that A. Javanpeykar's proof of Belyi's theorem for smooth complete intersections of general type in ordinary projective spaces can be generalised to smooth complete intersections of general type in generalised Grassmannians and…
We generalize the main result of Demailly \cite{D2} for the bundles $E_{k,m}^{GG}(V^*)$ of jet differentials of order $k$ and weighted degree $m$ to the bundles $E_{k,m}(V^*)$ of the invariant jet differentials of order $k$ and weighted…
In this paper, we study a variation of a conjecture of Debarre on positivity of cotangent bundles of complete intersections. We establish the ampleness of Schur powers of cotangent bundles of generic complete intersections in projective…
We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]
We prove that the cotangent bundle of a complete intersection of two general translates of the theta divisor of the jacobian of a general curve of genus 4 is ample. From this the same result for a general principally polarized abelian…
We prove that the complement of a very general pair of hypersurfaces of total degree $2n$ in $\mathbb{P}^n$ is algebraically hyperbolic modulo a proper closed subvariety. This provides evidence towards conjectures of Lang-Vojta and…
Let $G$ be a relatively hyperbolic group that admits a decomposition into a finite graph of relatively hyperbolic groups structure with quasi-isometrically (qi) embedded condition. We prove that the set of conjugates of all the vertex and…
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$.…
A uniform bound of intersection multiplicities of curves and divisors on abelian varieties is proved by algebraic geometric methods. It extends and improves a result obtained by A. Buium with a different method based on Kolchin's…
We prove the hyperbolicity of the complement of five lines in general position in an almost complex projective plane, answering a question by S. Ivashkovich.