Related papers: How many hypersurfaces does it take to cut out a S…

R. Hartshorne conjectured and F. Zak proved that any n-dimensional smooth non-degenerate complex algebraic variety X in a m-dimensional projective space P satisfies Sec(X)=P if m<3n/2+2. In this article, I deal with the limiting case of…

This note is about promoting singularity subtraction as a helpful tool in the discretization of singular integral operators on curved surfaces. Singular and nearly singular kernels are expanded in series whose terms are integrated on…

Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…

We establish an effective criterion for a dicritical singularity of a real analytic Levi-flat hypersurface. The criterion is stated in terms of the Segre varieties. As an application, we obtain a structure theorem for some class of currents…

Let P^n denote the n-dimensional projective space defined over the algebraic closure of a finite field F_q, let V contained P^n be a complete intersection defined over F_q of dimension r and singular locus of dimension at most s, and let…

Let $\mathcal{F}$ be a plane singular curve defined over a finite field $\mathbb{F}_q$. The linear system of plane curves of a given degree passing through the singularities of $\cF$ provides potentially good bounds for the number of points…

The classical Bertini theorem on generic intersection of an algebraic set with hyperplanes states the following: \emph{Let X be a nonsingular closed subvariety of $\mathbb{P}^n_k$, where $k$ is an algebraically closed field. Then there…

We introduce a framework for Segre varieties for singular real-analytic subvarieties of a complex space and utilize it to study the intrinsic complexifications of these subvarieties. Many examples illustrate the subtle issues arising in the…

We construct algebraic surfaces with a large number of type A singularities. Bivariate polynomials presented in previous works for the construction of nodal surfaces and certain families of Belyi polynomials are used. In some cases explicit…

A hypersurface $X\subset \mathbb P^n$ is said to be free if its associated sheaf $T_X$ of vector fields tangent to $X$ is a free ${\mathcal O}_{\mathbb P^n}$-module. So far few examples of free hypersurfaces are known. In this short note,…

Let S be a smooth projective surface equipped with a line bundle H. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to H on the Hilbert scheme of points of S. Voisin has recently reduced Lehn's…

Extending the method of Part I (alg-geom/9704004), we give recursive formulae for: the genus-1 Severi degree (formula first found by Getzler), the degree of the variety of 1-cuspidal curves of genus 0 or 1, and the linear (sectional)…

To count bundles on curves, we study zetas of elliptic curves and their zeros. There are two types, i.e., the pure non-abelian zetas defined using moduli spaces of semi-stable bundles, and the group zetas defined for special linear groups.…

Consider the $n$-cube graph with vertices $\{-1,1\}^n$ and edges connecting vertices with hamming distance $1$. How many hyperplanes in $\mathbb{R}^n$ are needed in order to dissect all edges? We show that at least…

Two-dimensional linear spaces of symmetric matrices are classified by Segre symbols. After reviewing known facts from linear algebra and projective geometry, we address new questions motivated by algebraic statistics and optimization. We…

In this note, we make a step towards the classification of toric surfaces admitting reducible Severi varieties. We generalize the results of [Lan19, Tyo13, Tyo14], and provide two families of toric surfaces admitting reducible Severi…

Models for generating simple graphs are important in the study of real-world complex networks. A well established example of such a model is the erased configuration model, where each node receives a number of half-edges that are connected…

A celebrated theorem of Fr\"oberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active…

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

We stratify families of projective and very affine hypersurfaces according to their topological Euler characteristic. Our new algorithms compute all strata using algebro-geometric techniques. For very affine hypersurfaces, we investigate…