Related papers: How many hypersurfaces does it take to cut out a S…
We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces,…
We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of…
We study an irreducible real-analytic germ of an $n$-dimensional variety in $n$ dimensional complex space. Assuming that the variety is Segre nondegenerate we define an averaging operator that generalizes the Moser--Webster involution. This…
The ideal of a Segre variety is generated by the 2-minors of a generic hypermatrix of indeterminates. We extend this result to the case of Segre-Veronese varieties. The main tool is the concept of weak generic hypermatrix which allows us to…
The Severi variety $V_{d,n}$ of plane curves of a given degree $d$ and exactly $n$ nodes admits a map to the Hilbert scheme $\mathbb{P}^{2[n]}$ of zero-dimensional subschemes of $\mathbb{P}^2$ of degree $n$. This map assigns to every curve…
After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial…
In this paper we focus on the problem of computing the number of moduli of the so called Severi varieties (denoted by V(|D|, \delta)), which parametrize universal families of irreducible, \delta-nodal curves in a complete linear system |D|,…
Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a…
A classical result due to Segre states that on a real cubic surface in ${\mathbb P}^3_\R$ there exists two kinds of real lines: elliptic and hyperbolic lines. These two kinds of real lines are defined in an intrinsic way, i.e., their…
We prove that certain vector bundles over surfaces are ample if they are so when restricted to divisors, certain numerical criteria hold, and they are semistable (with respect to $\det(E)$). This result is a higher-rank version of a theorem…
The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the…
We introduce a class extending the notion of Chern-Mather class to possibly nonreduced schemes, and use it to express the difference between Schwartz-MacPherson's Chern class and the class of the virtual tangent bundle of a singular…
We show that if the Segre varieties of a strictly pseudoconvex hypersurface in $\mathbb{C}^2$ are extremal discs for the Kobayashi metric, then that hypersurface has to be locally spherical. In particular, this gives yet another…
We show the existence of a hypersurface that contains a given closed subscheme of a projective space over a finite field and intersects a smooth quasi-projective scheme smoothly, under some condition on the dimension. This generalizes a…
We prove that at least $\Omega(n^{0.51})$ hyperplanes are needed to slice all edges of the $n$-dimensional hypercube. We provide a couple of applications: lower bounds on the computational complexity of parity, and a lower bound on the…
Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better…
For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…
Given a homogeneous ideal in a polynomial ring over C, we adapt the construction of Newton-Okounkov bodies to obtain a convex subset of Euclidean space such that a suitable integral over this set computes the Segre zeta function of the…
We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations.…