Finite generation of symmetric ideals

Let be a commutative Noetherian ring, and let be the polynomial ring in an infinite collection of indeterminates over . Let be the group of permutations of . The group acts on in a natural way, and this in turn gives the structure of a left module over the group ring . We prove that all ideals of invariant under the action of are finitely generated as -modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gröbner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.

     

Antichains of monomial ideals are finite

The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion. We present several corollaries of this result, both simpler proofs of results already in the literature and new results. One natural generalization to more abstract posets is shown to be false.

     

Reduction numbers and initial ideals

The reduction number of a standard graded algebra is the least integer such that there exists a minimal reduction of the homogeneous maximal ideal of such that . Vasconcelos conjectured that where is the initial ideal of an ideal in a polynomial ring with respect to a term order. The goal of this note is to prove the conjecture.

     

Structure of Gröbner bases with respect to block orders

In this paper we study the structure of Gröbner bases with respect to block orders. We extend Lazard's theorem and the Gianni-Kalkbrenner theorem to the case of a zero-dimensional ideal whose trace in the ring generated by the first block of variables is radical. We then show that they do not hold for general zero-dimensional ideals.

     

Minimal systems of binomial generators and the indispensable complex of a toric ideal

Let be a vector configuration and its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of . In the second part we associate to a simplicial complex . We show that the vertices of correspond to the indispensable monomials of the toric ideal , while one dimensional facets of with minimal binomial -degree correspond to the indispensable binomials of .

     

Minimal prime ideals of reduced rings

Let R be a reduced ring with Q its Martindale symmetric ring of quotients, and let B be the complete Boolean algebra of all idempotents in C, where C is the extended centroid of R. It is proved that every minimal prime ideal of R must be of the form mQ∩R for some maximal ideal m of B but the converse is in general not true. In addition, if R is centrally closed or has only finitely many minimal prime ideals, then the converse also holds. By applying the explicit expression, many properties of minimal prime ideals of reduced rings are realized more easily.     

The growth of valuations on rational function fields in two variables

Given a valuation on the function field , we examine the set of images of nonzero elements of the underlying polynomial ring under this valuation. For an arbitrary field , a Noetherian power series is a map that has Noetherian (i.e., reverse well-ordered) support. Each Noetherian power series induces a natural valuation on . Although the value groups corresponding to such valuations are well-understood, the restrictions of the valuations to underlying polynomial rings have yet to be characterized. Let denote the images under the valuation of all nonzero polynomials of at most degree in the variable . We construct a bound for the growth of with respect to for arbitrary valuations, and then specialize to valuations that arise from Noetherian power series. We provide a sufficient condition for this bound to be tight.

     

Irregular hypergeometric systems associated with a singular monomial curve

In this paper we study irregular hypergeometric systems defined by one row. Specifically, we calculate slopes of such systems. In the case of reduced semigroups, we generalize the case studied by Castro and Takayama. In all the cases we find that there always exists a slope with respect to a hyperplane of this system. Only in the case of an irregular system defined by a integer matrix we might need a change of coordinates to study slopes at infinity. In the other cases slopes are always at the origin, defined with respect to a hyperplane. We also compute all the -characteristic varieties of the system, so we have a section of the Gröbner fan of the module defined by the hypergeometric system.

     

Ideal and subalgebra coefficients

For an ideal or -subalgebra of , consider subfields , where is generated - as ideal or -subalgebra - by polynomials in . It is a standard result for ideals that there is a smallest such . We give an algorithm to find it. We also prove that there is a smallest such for -subalgebras. The ideal results use reduced Gröbner bases. For the subalgebra results we develop and then use subduced SAGBI (bases), the analog to reduced Gröbner bases.

     

Lagrange interpolation on subgrids of tensor product grids

This note shows that a wide class of algebraically motivated constructions for Lagrange interpolation polynomials always yields a tensor product interpolation space as long as the nodes form a tensor product grid or a lower subset thereof.

     

On the number of generators of Cohen-Macaulay ideals

Several bounds on the number of generators of Cohen-Macaulay ideals known in the literature follow from a simple inequality which bounds the number of generators of such ideals in terms of mixed multiplicities. Results of Cohen and Akizuki, Abhyankar, Sally, Rees and Boratynski-Eisenbud-Rees are deduced very easily from this inequality.

     

The arithmetic of Jacobian groups of superelliptic cubics

We present two algorithms for the arithmetic of cubic curves with a totally ramified prime at infinity. The first algorithm, inspired by Cantor's reduction for hyperelliptic curves, is easily implemented with a few lines of code, making use of a polynomial arithmetic package. We prove explicit reducedness criteria for superelliptic curves of genus 3 and 4, which show the correctness of the algorithm. The second approach, quite general in nature and applicable to further classes of curves, uses the FGLM algorithm for switching between Gröbner bases for different orderings. Carrying out the computations symbolically, we obtain explicit reduction formulae in terms of the input data.

     

局部对称的黎曼流形中的极小子流形

主要研究了局部对称的黎曼流形中的定向紧致无边极小子流形的内蕴刚性问题,利用一个矩阵不等式,得到了这类子流形的一个刚性定理．所得结果部分改进了已有的一个结论．     

布尔环上的分支Gr(o)bner基算法

众所周知Gr\"obner基在很多领域都有着十分重要的应用.近些年来Gr\"obner基算法有了很大的改进,其中最著名的是Faug\`ere提出的F4和F5算法. 这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Gr\"obner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.     

Centers for the Kukles homogeneous systems with even degree

For the polynomial differential system $\dot{x}=-y$, $\dot{y}=x +Q_n(x,y)$, where $Q_n(x,y)$ is a homogeneous polynomial of degree $n$ there are the following two conjectures done in 1999. (1) Is it true that the previous system for $n \ge 2$ has a center at the origin if and only if its vector field is symmetric about one of the coordinate axes? (2) Is it true that the origin is an isochronous center of the previous system with the exception of the linear center only if the system has even degree? We give a step forward in the direction of proving both conjectures for all $n$ even. More precisely, we prove both conjectures in the case $n = 4$ and for $n\ge 6$ even under the assumption that if the system has a center or an isochronous center at the origin, then it is symmetric with respect to one of the coordinate axes, or it has a local analytic first integral which is continuous in the parameters of the system in a neighborhood of zero in the parameters space. The case of $n$ odd was studied in [8].     

Minimal vectors in arbitrary Banach spaces

We extend the method of minimal vectors to arbitrary Banach spaces. It is proved, by a variant of the method, that certain quasinilpotent operators on arbitrary Banach spaces have hyperinvariant subspaces.

     

Minimal generators of toric ideals of graphs

Let IG be the toric ideal of a graph G. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal IG.     

Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .