Related papers: On the Hartshorne-Hirschowitz theorem
We formulate a concrete geometric approximation hypothesis (Hypothesis~BB) asserting that codimension-$2$ Hodge classes on a smooth projective threefold can be realized as specializations of families whose general members are…
We study the postulation of a general union $X\subset \mathbb {P}^3$ of one m-point $mP$ and $t$ disjoint lines. We prove that it has the expected Hilbert function, proving a conjecture by E. Carlini, M. V. Catalisano and A. V. Geramita.
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 generalize a classical result about the genus of curves in projective space by Gruson and Peskine to principally polarized abelian threefolds of Picard rank one. The proof is based on wall-crossing techniques for ideal sheaves of curves…
The geometry of the Heisenberg group acting on the plane arises naturally in geometric topology as a degeneration of the familiar spaces $\mathbb{S}^2,\mathbb{H}^2$ and $\mathbb{E}^2$ via conjugacy limit as defined by Cooper, Danciger, and…
We prove that the set of directions of lines intersecting three disjoint balls in $R^3$ in a given order is a strictly convex subset of $S^2$. We then generalize this result to $n$ disjoint balls in $R^d$. As a consequence, we can improve…
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X…
We prove that the open subvariety $\operatorname{Gr}_0(3,8)$ of the Grassmannian $\operatorname{Gr}(3,8)$ determined by the nonvanishing of all Pl\"ucker coordinates is sch\"on, i.e., all of its initial degenerations are smooth.…
Orders on surfaces provide a rich source of examples of noncommutative surfaces. Other than some existence results, very little is known about the various moduli spaces that can be associated to them. Even fewer examples have been…
Taking inspiration from [1, 21, 24], we develop a general framework to deal with the model theory of open incidence structures. In this first paper we focus on the study of systems of points and lines (rank $2$). This has a number of…
A classical theorem of De Bruijn and Erd\H{o}s asserts that any noncollinear set of n points in the plane determines at least n distinct lines. We prove that an analogue of this theorem holds for graphs. Restricting our attention to…
We prove that, if $n\geq 3$, a singular foliation $\mathcal{F}$ on $\mathbb P^n$ which can be written as pull-back, where $\mathcal{G}$ is a foliation in $ {\mathbb P^2}$ of degree $d\geq2$ with one or three invariant lines in general…
In this paper we address the postulation problem of zero-dimensional schemes on a surface of length at most 4. We prove some general results and then we focus on the case of P2, P1xP1 and Hirzebruch surfarces. In particular, we prove that…
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes…
Let P be a set of n points in the plane, not all on a line. We show that if n is large then there are at least n/2 ordinary lines, that is to say lines passing through exactly two points of P. This confirms, for large n, a conjecture of…
According to the decomposition and relative hard Lefschetz theorems, given a projective map of complex quasi projective algebraic varieties and a relatively ample line bundle, the rational intersection cohomology groups of the domain of the…
We use the theory of p-curvature of connections to analyze stable vector bundles of rank 2 on curves of genus 2 which pull back to unstable bundles under the Frobenius morphism. We take two approaches, first using explicit formulas for…
We extend the range of linear systems of plane curves for which it is known that the dimension is equal to the expected dimension. We use a degeneration technique due to C. Ciliberto and R. Miranda. From our result we deduce, as a…
Based on the compatible pair theory of principal bundle constraint systems, this paper discovers and establishes a complete Spencer differential degeneration theory. We prove that when symmetric tensors satisfy a $\lambda$-dependent kernel…
Let $(S,H)$ be a general primitively polarized $K3$ surface of genus $\p$ and let $p_a(nH)$ be the arithmetic genus of $nH.$ We prove the existence in $|\mathcal O_S(nH)|$ of curves with a triple point and $A_k$-singularities. In…