159 research outputs found
A Borel open cover of the Hilbert scheme
Let be an admissible Hilbert polynomial in \PP^n of degree . The
Hilbert scheme \hilb^n_p(t) can be realized as a closed subscheme of a
suitable Grassmannian , hence it could be globally defined by
homogeneous equations in the Plucker coordinates of and covered by
open subsets given by the non-vanishing of a Plucker coordinate, each embedded
as a closed subscheme of the affine space , . However,
the number of Plucker coordinates is so large that effective computations
in this setting are practically impossible. In this paper, taking advantage of
the symmetries of \hilb^n_p(t), we exhibit a new open cover, consisting of
marked schemes over Borel-fixed ideals, whose number is significantly smaller
than . Exploiting the properties of marked schemes, we prove that these open
subsets are defined by equations of degree in their natural
embedding in \Af^D. Furthermore we find new embeddings in affine spaces of
far lower dimension than , and characterize those that are still defined by
equations of degree . The proofs are constructive and use a
polynomial reduction process, similar to the one for Grobner bases, but are
term order free. In this new setting, we can achieve explicit computations in
many non-trivial cases.Comment: 17 pages. This version contains and extends the first part of version
2 (arXiv:0909.2184v2[math.AG]). A new extended version of the second part,
with some new results, is posed at arxiv:1110.0698v3[math.AC]. The title is
slightly changed. Final version accepted for publicatio
An Algebraic Approach to Hough Transforms
The main purpose of this paper is to lay the foundations of a general theory
which encompasses the features of the classical Hough transform and extend them
to general algebraic objects such as affine schemes. The main motivation comes
from problems of detection of special shapes in medical and astronomical
images. The classical Hough transform has been used mainly to detect simple
curves such as lines and circles. We generalize this notion using reduced
Groebner bases of flat families of affine schemes. To this end we introduce and
develop the theory of Hough regularity. The theory is highly effective and we
give some examples computed with CoCoA
Strongly stable ideals and Hilbert polynomials
The \texttt{StronglyStableIdeals} package for \textit{Macaulay2} provides a
method to compute all saturated strongly stable ideals in a given polynomial
ring with a fixed Hilbert polynomial. A description of the main method and
auxiliary tools is given.Comment: Source code available as an ancillary file. Final versio
Semi-inverted linear spaces and an analogue of the broken circuit complex
The image of a linear space under inversion of some coordinates is an affine
variety whose structure is governed by an underlying hyperplane arrangement. In
this paper, we generalize work by Proudfoot and Speyer to show that circuit
polynomials form a universal Groebner basis for the ideal of polynomials
vanishing on this variety. The proof relies on degenerations to the
Stanley-Reisner ideal of a simplicial complex determined by the underlying
matroid. If the linear space is real, then the semi-inverted linear space is
also an example of a hyperbolic variety, meaning that all of its intersection
points with a large family of linear spaces are real.Comment: 16 pages, 1 figure, minor revisions and added connections to the
external activity complex of a matroi
A Borel open cover of the Hilbert scheme
Let be an admissible Hilbert polynomial in of degree . The Hilbert scheme can be realized as a closed subscheme of a suitable Grassmannian , hence it could be globally defined by homogeneous equations in the Plücker coordinates of and covered by open subsets given by the non-vanishing of a Plücker coordinate, each embedded as a closed subscheme of the affine space , . However, the number of Plücker coordinates is so large that effective computations in this setting are practically impossible. In this paper, taking advantage of the symmetries of , we exhibit a new open cover, consisting of marked schemes over Borel-fixed ideals, whose number is significantly smaller than . Exploiting the properties of marked schemes, we prove that these open subsets are defined by equations of degree in their natural embedding in . Furthermore we find new embeddings in affine spaces of far lower dimension than , and characterize those that are still defined by equations of degree . The proofs are constructive and use a polynomial reduction process, similar to the one for Gröbner bases, but are term order free. In this new setting, we can achieve explicit computations in many non-trivial cases
Segre Class Computation and Practical Applications
Let be closed (possibly singular) subschemes of a smooth
projective toric variety . We show how to compute the Segre class
as a class in the Chow group of . Building on this, we give effective
methods to compute intersection products in projective varieties, to determine
algebraic multiplicity without working in local rings, and to test pairwise
containment of subvarieties of . Our methods may be implemented without
using Groebner bases; in particular any algorithm to compute the number of
solutions of a zero-dimensional polynomial system may be used
On jet schemes of pfaffian ideals
Jet schemes and arc spaces received quite a lot of attention by researchers after their introduc- tion, due to J. Nash, and established their importance as an object of study in M. Kontsevich\u2019s motivic integration theory. Several results point out that jet schemes carry a rich amount of geometrical information about the original object they stem from, whereas, from an algebraic point of view, little is know about them. In this paper we study some algebraic properties of jet schemes ideals of pfaffian varieties and we determine under which conditions the corresponding jet scheme varieties are irreducible
- …