Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFast algorithm for border bases of Artinian Gorenstein algebras
53
0
0.0
(
0
)
Authors
Bernard Mourrain
Ask ChatGPT about the research
No Arabic abstract
Given a multi-index sequence $$sigma$$, we present a new efficient algorithm to compute generators of the linear recurrence relations between the terms of $$sigma$$. We transform this problem into an algebraic one, by identifying multi-index sequences, multivariate formal power series and linear functionals on the ring of multivariate polynomials. In this setting, the recurrence relations are the elements of the kerne l$I$sigma$$ of the Hankel operator $H$sigma$$ associated to $$sigma$$. We describe the correspondence between multi-index sequences with a Hankel operator of finite rank and Artinian Gorenstein Algebras. We show how the algebraic structure of the Artinian Gorenstein algebra $A$sigma$$ associated to the sequence $$sigma$$ yields the structure of the terms $sigma$$alpha$ for all $$alpha$ $in$ N n$. This structure is explicitly given by a border basis of $A$sigma$$, which is presented as a quotient of the polynomial ring $K[x 1 ,. .. , xn$] by the kernel $I$sigma$$ of the Hankel operator $H$sigma$$. The algorithm provides generators of $I$sigma$$ constituting a border basis, pairwise orthogonal bases of $A$sigma$$ and the tables of multiplication by the variables in these bases. It is an extension of Berlekamp-Massey-Sakata (BMS) algorithm, with improved complexity bounds. We present applications of the method to different problems such as the decomposition of functions into weighted sums of exponential functions, sparse interpolation, fast decoding of algebraic codes, computing the vanishing ideal of points, and tensor decomposition. Some benchmarks illustrate the practical behavior of the algorithm.
rate research
Read More
We extend the theory and the algorithms of Border Bases to systems of Laurent polynomial equations, defining toric roots. Instead of introducing new variables and new relations to saturate by the variable inverses, we propose a more efficient approach which works directly with the variables and their inverse. We show that the commutation relations and the inversion relations characterize toric border bases. We explicitly describe the first syzygy module associated to a toric border basis in terms of these relations. Finally, a new border basis algorithm for Laurent polynomials is described and a proof of its termination is given for zero-dimensional toric ideals.
A connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum: the first uses algebraic analogues of Thom classes of vector bundles and Gysin homomorphisms, the second is in terms of Macaulay dual generators. We also investigate the extent to which the connected sum construction preserves the weak or strong Lefschetz property, thus providing new classes of rings which satisfy these properties.
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $mathbb P^2$ to $mathbb P^3$, and Hesse configurations in $mathbb P^2$.
We give a characterization of the Lefschetz elements in Artinian Gorenstein rings over a field of characteristic zero in terms of the higher Hessians. As an application, we give new examples of Artinian Gorenstein rings which do not have the strong Lefschetz property.
We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersections. We have included many examples throughout this manuscript.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
