Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAlgorithms for Checking Zero-Dimensional Complete Intersections
207
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithms are based on Wiebes characterisation of 0-dimensional local complete intersections via the 0-th Fitting ideal of the maximal ideal. They allow us to detect which generators of I form a regular sequence resp. a strict regular sequence, and they work over an arbitrary base field K. Using degree filtered border bases, we can detect strict complete intersections in certain families of 0-dimensional ideals.
rate research
Read More
Let $(A,mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result.
The Hilbert function of standard graded algebras are well understood by Macaulays theorem and very little is known in the local case, even if we assume that the local ring is a complete intersection. An extension to the power series ring $R$ of the theory of Gr{o}bner bases (w.r.t. local degree orderings) enable us to characterize the Hilbert function of one dimensional quadratic complete intersections $A=R/I$, and we give a structure theorem of the minimal system of generators of $I$ in terms of the Hilbert function. We find several restrictions for the Hilbert function of $A$ in the case that $I$ is a complete intersection of type $(2,b). $ Conditions for the Cohen-Macaulyness of the associated graded ring of $A$ are given.
$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $mathbb{P}^ntimes mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.
We define logarithmic tangent sheaves associated with complete intersections in connection with Jacobian syzygies and distributions. We analyse the notions of local freeness, freeness and stability of these sheaves. We carry out a complete study of logarithmic sheaves associated with pencils of quadrics and compute their projective dimension from the classical invariants such as the Segre symbol and new invariants (splitting type and degree vector) designed for the classification of irregular pencils. This leads to a complete classification of free (equivalently, locally free) pencils of quadrics. Finally we produce examples of locally free, non free pencils of surfaces in P3 of any degree k at least 3, answering (in the negative) a question of Calvo-Andrade, Cerveau, Giraldo and Lins Neto about codimension foliations on P3 .
The second Veronese ideal $I_n$ contains a natural complete intersection $J_n$ generated by the principal $2$-minors of a symmetric $(ntimes n)$-matrix. We determine subintersections of the primary decomposition of $J_n$ where one intersectand is omitted. If $I_n$ is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights into binomial ideals and multigraded algebra. For example, if $n$ is even, $I_n$ is a Gorenstein ideal and the intersection of the remaining primary components of $J_n$ equals $J_n+langle f rangle$ for an explicit polynomial $f$ constructed from the fibers of the Veronese grading map.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
