The minimum distance of sets of points and the minimum socle degree

Let K be a field of characteristic 0. Let be a reduced finite set of points, not all contained in a hyperplane. Let be the maximum number of points of Γ contained in any hyperplane, and let . If I⊂R=K[x₀,…,x_n] is the ideal of Γ, then in Tohaˇneanu (2009) [12] it is shown that for n=2,3, d(Γ) has a lower bound expressed in terms of some shift in the graded minimal free resolution of R/I. In these notes we show that this behavior holds true in general, for any n≥2: d(Γ)≥A_n, where A_n=min{a_i−n} and ⊕_iR(−a_i) is the last module in the graded minimal free resolution of R/I. In the end we also prove that this bound is sharp for a whole class of examples due to Juan Migliore (2010) [10].     

A harmonic analysis approach to essential normality of principal submodules

Guo and the second author have shown that the closure [I] in the Drury-Arveson space of a homogeneous principal ideal I in C[z₁,…,zn] is essentially normal. In this note, the authors extend this result to the closure of any principal polynomial ideal in the Bergman space. In particular, the commutators and cross-commutators of the restrictions of the multiplication operators are shown to be in the Schatten p-class for p>n. The same is true for modules generated by polynomials with vector-valued coefficients. Further, the maximal ideal space XI of the resulting C^?-algebra for the quotient module is shown to be contained in Z(I)∩∂Bn, where Z(I) is the zero variety for I, and to contain all points in ∂Bn that are limit points of Z(I)∩Bn. Finally, the techniques introduced enable one to study a certain class of weight Bergman spaces on the ball.     

Ideal convergence of continuous functions

For a given ideal I⊆P(ω), IC(I) denotes the class of separable metric spaces X such that whenever is a sequence of continuous functions convergent to zero with respect to the ideal I then there exists a set of integers {m₀<m₁<?} from the dual filter F(I) such that limi→∞fmi(x)=0 for all x∈X. We prove that for the most interesting ideals I, IC(I) contains only singular spaces. For example, if I=Id is the asymptotic density zero ideal, all IC(Id) spaces are perfectly meager while if I=Ib is the bounded ideal then IC(Ib) spaces are σ-sets.     

The Buchsbaum property of symbolic powers of Stanley-Reisner ideals of dimension 1

Let S be a polynomial ring and I be the Stanley-Reisner ideal of a simplicial complex Δ. The purpose of this paper is investigating the Buchsbaum property of S/I^(r) when Δ is pure dimension 1. We shall characterize the Buchsbaumness of S/I^(r) in terms of the graphical property of Δ. That is closely related to the characterization of the Cohen-Macaulayness of S/I^(r) due to the first author and N.V. Trung.     

Almost equal group multiplications

In a recent paper entitled “A commutative analogue of the group ring” we introduced, for each finite group (G,⋅), a commutative graded Z-algebra R_(G,⋅) which has a close connection with the cohomology of (G,⋅). The algebra R_(G,⋅) is the quotient of a polynomial algebra by a certain ideal I_(G,⋅) and it remains a fundamental open problem whether or not the group multiplication ⋅ on G can always be recovered uniquely from the ideal I_(G,⋅).Suppose now that (G,×) is another group with the same underlying set G and identity element e∈G such that I_(G,⋅)=I_(G,×). Then we show here that the multiplications ⋅ and × are at least “almost equal” in a precise sense which renders them indistinguishable in terms of most of the standard group theory constructions. In particular in many cases (for example if (G,⋅) is Abelian or simple) this implies that the two multiplications are actually equal as was claimed in the previously cited paper.     

THREE NOTES ON NICE EXTENSION DOMAINS

The first note shows that the integral closure L′ of certain localities L over a local domain R are unmixed and analytically unramified, even when it is not assumed that R has these properties. The second note considers a separably generated extension domain B of a regular domain A, and a sufficient condition is given for a prime ideal p in A to be unramified with respect to B (that is, p B is an intersection of prime ideals and B/P is separably generated over A/p for all P ∈ Ass (B/p B)). Then, assuming that p satisfies this condition, a sufficient condition is given in order that all but finitely many q ∈ S = {q ∈ Spec(A), p ? q and height(q/p) = 1} are unramified with respect to B, and a form of the converse is also considered. The third note shows that if R′ is the integral closure of a semi-local domain R, then I(R) = ∩{R′ _p′ ;p′ ∈ Spec(R′) and altitude(R′/p′) = altitude(R′) ? 1} is a quasi-semi-local Krull domain such that: (a) height(N ^*) = altitude(R) for each maximal ideal N ^* in I(R); and, (b) I(R) is an H-domain (that is, altitude(I(R)/p ^*) = altitude(I(R)) ? 1 for all height one p ^* ∈ Spec(I(R))). Also, K = ∩{R _p ; p ∈ Spec(R) and altitude(R/p) = altitude(R) ? 1} is a quasi-semi-local H-domain such that height (N) = altitude(R) for all maximal ideals N in K.     

On the Gröbner complexity of matrices

In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal I_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. In fact, if the universal Gröbner basis of I_A coincides with the Graver basis of A, then also the more general complexities u(A,B) and g(A,B) agree for arbitrary B. We conclude that for the matrices A_3×3 and A_3×4, defining the 3×3 and 3×4 transportation problems, we have u(A_3×3)=g(A_3×3)=9 and u(A_3×4)=g(A_3×4)≥27. Moreover, we prove that u(A_a,b)=g(A_a,b)=2(a+b)/gcd(a,b) for positive integers a,b and .     

Hilbert series of subspace arrangements

The vanishing ideal I of a subspace arrangement V₁∪V₂∪?∪V_m⊆V is an intersection I₁∩I₂∩?∩I_m of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of the product ideal J=I₁I₂?I_m without any assumptions about the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. We will also apply our results to generalized principal component analysis (GPCA), a tool that is useful for computer vision and image processing.     

The Betti polynomials of powers of an ideal

For an ideal I in a regular local ring or a graded ideal I in the polynomial ring we study the limiting behavior of as k goes to infinity. By Kodiyalam’s result it is known that β_i(S/I^k) is a polynomial for large k. We call these polynomials the Kodiyalam polynomials and encode the limiting behavior in their generating polynomial. It is shown that the limiting behavior depends only on the coefficients on the Kodiyalam polynomials in the highest possible degree. For these we exhibit lower bounds in special cases and conjecture that the bounds are valid in general. We also show that the Kodiyalam polynomials have weakly descending degrees and identify a situation where the polynomials all have the highest possible degree.     

Depths and Cohen–Macaulay properties of path ideals

Given a tree T on n vertices, there is an associated ideal I   of R[_x1,…,_xn]$R[x_1,\dots ,x_n]$ generated by all paths of a fixed length ? of T  . We classify all trees for which R/I$R/I$ is Cohen–Macaulay, and we show that an ideal I whose generators correspond to any collection of subtrees of T satisfies the König property. Since the edge ideal of a simplicial tree has this form, this generalizes a result of Faridi. Moreover, every square-free monomial ideal can be represented (non-uniquely) as a subtree ideal of a graph, so this construction provides a new combinatorial tool for studying square-free monomial ideals.     

Renormalization as a functor on bialgebras

The Hopf algebra of renormalization in quantum field theory is described at a general level. The products of fields at a point are assumed to form a bialgebra B and renormalization endows T(T(B)⁺), the double tensor algebra of B, with the structure of a noncommutative bialgebra. When the bialgebra B is commutative, renormalization turns S(S(B)⁺), the double symmetric algebra of B, into a commutative bialgebra. The usual Hopf algebra of renormalization is recovered when the elements of S¹(B) are not renormalized, i.e., when Feynman diagrams containing one single vertex are not renormalized. When B is the Hopf algebra of a commutative group, a homomorphism is established between the bialgebra S(S(B)⁺) and the Faà di Bruno bialgebra of composition of series. The relation with the Connes-Moscovici Hopf algebra is given. Finally, the bialgebra S(S(B)⁺) is shown to give the same results as the standard renormalization procedure for the scalar field.     

Power integral bases for Selmer-like number fields

The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f^′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)ⁿ⁻¹) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)ⁿ⁻¹) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)ⁿ⁻¹ is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free.     

Embedded associated primes of powers of square-free monomial ideals

An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all t≥1. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than β₁, where β₁ is the monomial grade of I, which is equal to the matching number of the hypergraph H(I) associated to I. If, in addition, I fails to have the packing property, then embedded primes of I^t do occur when t=β₁+1. As an application, we investigate how these results relate to a conjecture of Conforti and Cornuéjols.     

On the combinatorial rank of a graded braided bialgebra

Let B be a graded braided bialgebra. Let S(B) denote the algebra obtained dividing out B by the two sided ideal generated by homogeneous primitive elements in B of degree at least two. We prove that S(B) is indeed a graded braided bialgebra quotient of B. It is then natural to compute S(S(B)), S(S(S(B))) and so on. This process yields a direct system whose direct limit comes out to be a graded braided bialgebra which is strongly N-graded as a coalgebra. Following V.K. Kharchenko, if the direct system is stationary exactly after n steps, we say that B has combinatorial rank n and we write κ(B)=n. We investigate conditions guaranteeing that κ(B) is finite. In particular, we focus on the case when B is the braided tensor algebra T(V,c) associated to a braided vector space (V,c), providing meaningful examples such that κ(T(V,c))≤1.     

A characterization of the closed unital ideals of the Fourier-Stieltjes algebra B(G) of a locally compact amenable group G

Let G be a locally compact amenable group, B(G) its Fourier-Stieltjes algebra and I be a closed ideal of it. In this paper we prove the following result: The ideal I has a unit element iff it is principal. This is the noncommutative version of the Glicksberg-Host-Parreau Theorem. The paper also contains an abstract version of this theorem.     

Degree functions and projectively full ideals in 2-dimensional rational singularities that can be desingularized by blowing up the unique maximal ideal

Let (R,m) be a 2-dimensional rational singularity with algebraically closed residue field and for which the associated graded ring is an integrally closed domain. According to Göhner, (R,m) satisfies condition (N): given a prime divisor v, there exists a unique complete m-primary ideal A_v in R with T(A_v)={v} and such that any complete m-primary ideal with unique Rees valuation v, is a power of A_v. We use the theory of degree functions developed by Rees and Sharp as well as some results about regular local rings, to investigate the degree coefficients d(A_v,v). As an immediate corollary, we find that for a simple complete m₁-primary ideal I₁ in an immediate quadratic transform (R₁,m₁) of (R,m); the inverse transform of I₁ in R is projectively full.     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

Subideals of Operators II

A subideal (also called a J-ideal) is an ideal of a B(H)-ideal J. This paper is the sequel to Subideals of Operators where a complete characterization of principal and then finitely generated J-ideals were obtained by first generalizing the 1983 work of Fong and Radjavi who determined which principal K(H)-ideals are also B(H)-ideals. Here we determine which countably generated J-ideals are B(H)-ideals, and in the absence of the continuum hypothesis, which J-ideals with generating sets of cardinality less than the continuum are B(H)-ideals. These and some other results herein are based on the dimension of a related quotient space. We use this to characterize these J-ideals and settle additional questions about subideals. A key property in our investigation turned out to be J-softness of a B(H)-ideal I inside J, that is, IJ =? I, a generalization of a recent notion of softness of B(H)-ideals introduced by Kaftal?CWeiss and earlier exploited for Banach spaces by Mityagin and Pietsch.     

Subnormal structure of non-stable unitary groups over rings

Let R be a commutative ring with identity in which 2 is invertible. Let H denote a subgroup of the unitary group U(2n,R,Λ) with n≥4. H is normalized by EU(2n,J,Γ^J) for some form ideal (J,Γ^J) of the form ring (R,Λ). The purpose of the paper is to prove that H satisfies a “sandwich” property, i.e. there exists a form ideal (I,Γ^I) such that

EU(2n,IJ⁸Γ^J,Γ)⊆H⊆CU(2n,I,Γ^I).