Improving the bounds of the multiplicity conjecture: The codimension 3 level case

The Multiplicity Conjecture (MC) of Huneke and Srinivasan provides upper and lower bounds for the multiplicity of a Cohen-Macaulay algebra A in terms of the shifts appearing in the modules of the minimal free resolution (MFR) of A. All the examples studied so far have lead to conjecture (see [J. Herzog, X. Zheng, Notes on the multiplicity conjecture. Collect. Math. 57 (2006) 211-226] and [J. Migliore, U. Nagel, T. Römer, Extensions of the multiplicity conjecture, Trans. Amer. Math. Soc. (preprint: math.AC/0505229) (in press)]) that, moreover, the bounds of the MC are sharp if and only if A has a pure MFR. Therefore, it seems a reasonable-and useful-idea to seek better, if possibly ad hoc, bounds for particular classes of Cohen-Macaulay algebras.In this work we will only consider the codimension 3 case. In the first part we will stick to the bounds of the MC, and show that they hold for those algebras whose h-vector is that of a compressed algebra.In the second part, we will (mainly) focus on the level case: we will construct new conjectural upper and lower bounds for the multiplicity of a codimension 3 level algebra A, which can be expressed exclusively in terms of the h-vector of A, and which are better than (or equal to) those provided by the MC. Also, our bounds can be sharp even when the MFR of A is not pure.Even though proving our bounds still appears too difficult a task in general, we are already able to show them for some interesting classes of codimension 3 level algebras A: namely, when A is compressed, or when its h-vector h(A) ends with (…,3,2). Also, we will prove our lower bound when h(A) begins with (1,3,h₂,…), where h₂≤4, and our upper bound when h(A) ends with (…,h_c−1,h_c), where h_c−1≤h_c+1.     

Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

Long cycles and paths in distance graphs

For n∈N and D⊆N, the distance graph has vertex set {0,1,…,n−1} and edge set {ij∣0≤i,j≤n−1,|j−i|∈D}. Note that the important and very well-studied circulant graphs coincide with the regular distance graphs.A fundamental result concerning circulant graphs is that for these graphs, a simple greatest common divisor condition, their connectivity, and the existence of a Hamiltonian cycle are all equivalent. Our main result suitably extends this equivalence to distance graphs. We prove that for a finite set D of order at least 2, there is a constant c_D such that the greatest common divisor of the integers in D is 1 if and only if for every n, has a component of order at least n−c_D if and only if for every n≥c_D+3, has a cycle of order at least n−c_D. Furthermore, we discuss some consequences and variants of this result.     

A generalization of Fan’s results: Distribution of cycle lengths in graphs

Fan [G. Fan, Distribution of cycle lengths in graphs, J. Combin. Theory Ser. B 84 (2002) 187-202] proved that if G is a graph with minimum degree δ(G)≥3k for any positive integer k, then G contains k+1 cycles C₀,C₁,…,C_k such that k+1<|E(C₀)|<|E(C₁)|<?<|E(C_k)|, |E(C_i)−E(C_i−1)|=2, 1≤i≤k−1, and 1≤|E(C_k)|−|E(C_k−1)|≤2, and furthermore, if δ(G)≥3k+1, then |E(C_k)|−|E(C_k−1)|=2. In this paper, we generalize Fan’s result, and show that if we let G be a graph with minimum degree δ(G)≥3, for any positive integer k (if k≥2, then δ(G)≥4), if d_G(u)+d_G(v)≥6k−1 for every pair of adjacent vertices u,v∈V(G), then G contains k+1 cycles C₀,C₁,…,C_k such that k+1<|E(C₀)|<|E(C₁)|<?<|E(C_k)|, |E(C_i)−E(C_i−1)|=2, 1≤i≤k−1, and 1≤|E(C_k)|−|E(C_k−1)|≤2, and furthermore, if d_G(u)+d_G(v)≥6k+1, then |E(C_k)|−|E(C_k−1)|=2.     

A uniform Artin-Rees property for syzygies in rings of dimension one and two

Let be a local Noetherian ring, let M be a finitely generated R-module and let I⊂R be an -primary ideal. Let be a free resolution of M. In this paper we study the question whether there exists an integer h such that IⁿF_i∩ker(∂_i)⊂I^n−hker(∂_i) holds for all i. We give a positive answer for rings of dimension at most two. We relate this property to the existence of an integer s such that I^s annihilates the modules for all i>0 and all integers n.     

Partitions of a set satisfying certain set of conditions

In this paper we present a new combinatorial class enumerated by Catalan numbers. More precisely, we establish a bijection between the set of partitions π₁π₂?π_n of [n] such that π_i+1−π_i≤1 for all i=,1,2…,n−1, and the set of Dyck paths of semilength n. Moreover, we find an explicit formula for the generating function for the number of partitions π₁π₂?π_n of [n] such that either π_i+?−π_i≤1 for all i=1,2,…,n−?, or π_i+1−π_i≤m for all i=1,2,…,n−1.     

Local cohomology modules with respect to an ideal containing the irrelevant ideal

Let R=?_n≥0R_n be a homogeneous Noetherian ring, let M be a finitely generated graded R-module and let R₊=?_n>0R_n. Let b?b₀+R₊, where b₀ is an ideal of R₀. In this paper, we first study the finiteness and vanishing of the n-th graded component of the i-th local cohomology module of M with respect to b. Then, among other things, we show that the set becomes ultimately constant, as n→−∞, in the following cases:

(i)

and (R₀,m₀) is a local ring;

(ii)

dim(R₀)≤1 and R₀ is either a finite integral extension of a domain or essentially of finite type over a field;

(iii)

i≤g_b(M), where g_b(M) denotes the cohomological finite length dimension of M with respect to b.

Also, we establish some results about the Artinian property of certain submodules and quotient modules of .     

Normally generated line bundles on general curves, II

Let C be a general curve of genus g≥3. Here we prove that there is a normally generated L∈Pic^d(C) such that h⁰(C,L)=r+1≥4 (i.e. a very ample line bundle which embeds C in P^r as a projectively normal curve) if and only if (r+1)h¹≤g≤r(r−1)/2+2h¹, where h¹?g+r−d=h¹(C,L).     

The semiclassical resolvent and the propagator for non-trapping scattering metrics

Consider a compact manifold with boundary M with a scattering metric g or, equivalently, an asymptotically conic manifold (M^○,g). (Euclidean Rn, with a compactly supported metric perturbation, is an example of such a space.) Let Δ be the positive Laplacian on (M,g), and V a smooth potential on M which decays to second order at infinity. In this paper we construct the kernel of the operator ⁻¹(h²Δ+V−²(λ₀±i0)), at a non-trapping energy λ₀>0, uniformly for h∈(0,h₀), h₀>0 small, within a class of Legendre distributions on manifolds with codimension three corners. Using this we construct the kernel of the propagator, e−it(Δ/2+V), t∈(0,t₀) as a quadratic Legendre distribution. We also determine the global semiclassical structure of the spectral projector, Poisson operator and scattering matrix.     

An even-order three-point boundary value problem on time scales

We study the even-order dynamic equation (−1)ⁿx^(Δ∇)n(t)=λh(t)f(x(t)), t∈[a,c] satisfying the boundary conditions x^(Δ∇)i(a)=0 and x^(Δ∇)i(c)=βx^(Δ∇)i(b) for 0?i?n−1. The three points a,b,c are from a time scale , where 0<β(b−a)<c−a for b∈(a,c), β>0, f is a positive function, and h is a nonnegative function that is allowed to vanish on some subintervals of [a,c] of the time scale.     

The determinantal ideals of extended Hankel matrices

In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals I_t of the extended Hankel matrices. Denote by c-chain a sequence a₁,…,a_k with a_i+c<a_i+1 for all i=1,…,k−1. Using the results of c-chain, we solve the membership problem for the symbolic powers and we compute the primary decomposition of the product I_t1?I_tk of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product I_t1?I_tk has a linear resolution and the multi-homogeneous Rees algebra is defined by a Gröbner basis of quadrics.     

Balanced decomposition of a vertex-colored graph

A balanced vertex-coloring of a graph G is a function c from V(G) to {−1,0,1} such that ∑{c(v):v∈V(G)}=0. A subset U of V(G) is called a balanced set if U induces a connected subgraph and ∑{c(v):v∈U}=0. A decomposition V(G)=V₁∪?∪V_r is called a balanced decomposition if V_i is a balanced set for 1≤i≤r.In this paper, the balanced decomposition number f(G) of G is introduced; f(G) is the smallest integer s such that for any balanced vertex-coloring c of G, there exists a balanced decomposition V(G)=V₁∪?∪V_r with |V_i|≤s for 1≤i≤r. Balanced decomposition numbers of some basic families of graphs such as complete graphs, trees, complete bipartite graphs, cycles, 2-connected graphs are studied.     

Weak cycle partition involving degree sum conditions

Let G be a graph of order n and k a positive integer. A set of subgraphs H={H₁,H₂,…,H_k} is called a k-degenerated cycle partition (abbreviated to k-DCP) of G if H₁,…,H_k are vertex disjoint subgraphs of G such that and for all i, 1≤i≤k, H_i is a cycle or K₁ or K₂. If, in addition, for all i, 1≤i≤k, H_i is a cycle or K₁, then H is called a k-weak cycle partition (abbreviated to k-WCP) of G. It has been shown by Enomoto and Li that if |G|=n≥k and if the degree sum of any pair of nonadjacent vertices is at least n−k+1, then G has a k-DCP, except G≅C₅ and k=2. We prove that if G is a graph of order n≥k+12 that has a k-DCP and if the degree sum of any pair of nonadjacent vertices is at least , then either G has a k-WCP or k=2 and G is a subgraph of K₂∪K_n−2∪{e}, where e is an edge connecting V(K₂) and V(K_n−2). By using this, we improve Enomoto and Li’s result for n≥max{k+12,10k−9}.     

A periodic solution of a differential equation with state-dependent delay

We study a differential equation for delayed negative feedback which models a situation where the delay depends on the present state and becomes effective in the future. The main result is existence of a periodic solution in case the equilibrium is linearly unstable. The proof employs the ejective fixed point principle on a compact convex set K₀⊂C([−h,0],R) of Lipschitz continuous functions and uses that the equation generates a smooth semiflow on an infinite-dimensional submanifold of the space C¹([−h,0],R).     

Valuations, equimultiplicity and normal flatness

Let R be a regular noetherian local ring of dimension n≥2 and (R_i)≡R=R₀⊂R₁⊂R₂⊂?⊂R_i⊂? be a sequence of successive quadratic transforms along a regular prime ideal p of R (i.e if p_i is the strict transform of p in R_i, then p_i≠R_i, i≥0). We say that p is maximal for (R_i) if for every non-negative integer j≥0 and for every prime ideal q_j of R_j such that (R_i) is a quadratic sequence along q_j with p_j⊂q_j, we have p_j=q_j. We show that p is maximal for (R_i) if and only if V=∪_i≥0R_i/p_i is a valuation ring of dimension one. In this case, the equimultiple locus at p is the set of elements of the maximal ideal of R for which the multiplicity is stable along the sequence (R_i), provided that the series of real numbers given by the multiplicity sequence associated with V diverges. Furthermore, if we consider an ideal J of R, we also show that is normally flat along at the closed point if and only if the Hironaka’s character ν^∗(J,R) is stable along the sequence (R_i). This generalizes well known results for the case where p has height one (see [B.M. Bennett, On the characteristic functions of a local ring, Ann. of Math. Second Series 91 (1) (1970) 25-87]).     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Generalizations of a lemma of Freudenburg

Let k be an algebraically closed field of characteristic zero and ℘ a prime ideal in k[X]?k[X₁,…,X_n]. Let g∈k[X] and d?1. If for all 1?|α|?d the derivatives ∂^αg belong to ℘, then there exists c∈k such that g−c∈℘(d+1), the d+1th symbolic power of ℘. In particular, if ℘ is a complete intersection it follows that g−c∈℘d+1.