Related papers: Small schemes and varieties of minimal degree
Let X and Y be nonsingular real algebraic varieties, dimX>dimY-1. Assume that the variety Y is malleable, compact and connected. Our main result implies that each regular map from X to Y is homotopic to a surjective regular map. The class…
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(\mathcal{C})$ of a general hyperplane section…
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number…
We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small,"…
The purpose of this paper is to verify a conjecture of Gross under mild hypothesis: all reduced, separated, and excellent schemes have the resolution property away from a closed subset of codimension at least three. Our technique uses…
We study the problem of determining whether a given frame is scalable, and when it is, understanding the set of all possible scalings. We show that for most frames this is a relatively simple task in that the frame is either not scalable or…
It is proved that with finitely many possible exceptions, each cyclotomic scheme over finite field is determined up to isomorphism by the tensor of 2-dimensional intersection numbers; for infinitely many schemes, this result cannot be…
The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex basic non-commutative semi-algebraic set. The main theorem of this paper is a converse, a result which has implications for both semidefinite programming and…
We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its…
In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in…
Here we define the concept of $L$-regularity for coherent sheaves on the Grassmannian G(1,4) as a generalization of Castelnuovo-Mumford regularity on ${\bf{P}^n}$. In this setting we prove analogs of some classical properties. We use our…
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization…
We prove a small cap decoupling theorem for the parabola over a general non-Archimedean local field for which $2\neq 0$. We obtain polylogarithmic dependence on the scale parameter $R$ and polynomial dependence in the residue prime, except…
We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…
Let I = p_1^{m_1} \cap ... \cap p_s^{m_s} be the defining ideal of a scheme of fat points in P^{n_1} x ... x P^{n_k} with support in generic position. When all the m_i's are 1, we explicitly calculate the Castelnuovo-Mumford regularity of…
A projective scheme $X$ is called `quadratic' if $X$ is scheme-theoretically cut out by homogeneous equations of degree 2. Furthermore, we say $X$ satisfies `property $\textbf{N}_{2,p}$' if it is quadratic and the quadratic ideal has only…
We study spurious second-order stationary points and local minima in a nonconvex low-rank formulation of sum-of-squares optimization on a real variety $X$. We reformulate the problem of finding a spurious local minimum in terms of syzygies…
Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial…
We investigate a scheme-theoretic variant of Whitney condition a. If X is a projec-tive variety over the field of complex numbers and Y $\subset$ X a subvariety, then X satisfies generically the scheme-theoretic Whitney condition a along Y…
We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusi\'nski proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of…