Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

CW-complex Nagata Idealizations

CW-complex Nagata Idealizations ARMANDO CAPASSO, PIETRO DE POI, AND GIOVANNA ILARDI Abstract. We introduce a construction which allows us to identify the el- ements of the skeletons of a CW-complex P (m) and the monomials in m variables. From this, we infer that there is a bijection between finite CW- subcomplexes of P (m), which are quotients of finite simplicial complexes, and certain bigraded standard Artinian Gorenstein algebras, generalizing previous constructions of Faridi and ourselves. We apply this to a generalization of Nagata idealization for level algebras. These algebras are standard graded Artinian algebras whose Macaulay dual generator is given explicitly as a bigraded polynomial of bidegree (1, d). We consider the algebra associated to polynomials of the same bidegree (d , d ). 1 2 Introduction Let X = V (f) ⊂ P be a hypersurface, where the underlying field K has char- acteristic 0; the Hessian determinant of f (which we call the Hessian of f or the Hessian of X) is the determinant of the Hessian matrix of f. Hypersurface with vanishing Hessian were studied for the first time in 1851 by O. Hesse; he wrote two papers ([12, 13]) according to which these hypersurfaces should be necessarily cones. In 1876 Gordan and Noether ([9]) proved that Hesse’s claim is true for N ≤ 3, and it is false for N ≥ 4. They and Franchetta classified all the counterexamples to Hesse’s claim in P (see [9, 4, 5, 7]). In 1900, Perazzo classified cubic hypersurfaces with vanishing Hessian for N ≤ 6 ([16]). This work was studied and generalized in [6], and the problem is still open in spaces of higher dimension. Hessians of higher degree were introduced in [15] and used to control the so called Strong Lefschetz Properties (for short, SLP). The Lefschetz properties have attracted a great attention in the last years. The basic papers of the algebraic theory of Lefschetz properties were the original ones of Stanley [17, 18, 19] and the book of Watanabe and others [10]. An algebraic tool that occurs frequently in these papers is the Nagata Idealiza- tion: it is a tool to convert any module M over a (commutative) ring (with unit) R to an ideal of another ring R ⋉ M. The starting point is the isomorphism be- tween the idealization of an ideal I = (g , . . . , g ) of K[u , . . . , u ] and its level 0 n 1 m algebra see [10, Definition 2.72]. In this way, the new ring is a Standard Graded Date: June 29, 2020. 2010 Mathematics Subject Classification. Primary 13A30, 05E40; Secondary 57Q05, 13D40, 13A02, 13E10. Key words and phrases. Lefschetz properties, Artinian Gorenstein Algebra, Nagata idealiza- tion, CW-complex. P.D.P. & G.I. are members of INdAM - GNSAGA and P.D.P is supported by PRIN2017 “Advances in Moduli Theory and Birational Classification”. arXiv:2005.01501v2 [math.AC] 26 Jun 2020 2 Introduction Artinian Gorenstein Algebra (SGAG algebra, for short). An explicit formula for the Macaulay generator f is: f = x g + · · · + x g ∈ K[x , . . . , x , u , . . . , u ] . 0 0 n n 0 n 1 m (1,d) A generalization of this construction is to consider polynomials of the form: d d f = x g + · · · + x g ∈ K[x , . . . , x , u , . . . , u ] ; 0 n 0 n 1 m 0 n (d,d+1) these are called Nagata polynomials of degree d. The Lefschetz properties for the relevant associated algebras A, the geometry of Nagata hypersurfaces of degree d, the interaction between the combinatorics of f and the structure of A were studied in [1], where the g ’s are square free monomials, using a simplicial complex associated to f. In this paper we use the CW-complexes, to study Nagata polynomials of bidegree (d , d ). We study the Hilbert vector and we give a complete description of the ideal 1 2 I for every case, also if the g ’s are not square free monomials. The geometry of the Nagata hypersurface is very similar to the geometry of the hypersurfaces with vanishing Hessian. More precisely, we introduce a new Construction 3.10 which allows us to identify each (monic) monomial of degree d in m variables with an element of the (d − 1)- skeleton of a CW-complex that we call P (m). This CW-complex is constructed by generalizing the construction introduced in [3] which associates to a (monic) square-free monomial in m variables of degree d a unique (d− 1)-cell of the simplex of dimension m − 1, and vice versa. We consider an h-power u as a product of h linear forms: u˜ · · · u˜ ; this corresponds to a (h − 1)-simplex, and we identify all 1 h the δ-faces, with δ < h − 1, of this simplex to just one δ-face, recursively, starting from δ = 0 to δ = h − 2: for δ = 0 we identify all the points to one, then if δ = 1 we obtain a bouquet of h-circles, and we identify all these circles, and so on. Generalizing this construction to a general monic monomial and attaching the corresponding CW-complexes along the common skeletons, we obtain P (m). The paper is organized as follows: in Section 1 we recall some generalities about graded Artinian Gorenstein Algebras and Lefschetz Properties, with their connec- tions with the vanishings of higher order Hessians. In Section 2 we recall what the Nagata idealization is, what we intend for a higher Nagata idealization and we show its connection with the Lefschetz Properties for bihomogeneous polynomials. Section 3 is the core of this article. After recalling generalities about bigraded algebras and the topological definitions that we need, we give the construction of the CW-complex P (m); then, we apply it to the Nagata polynomials ( Definition 2.5) in Theorems 3.16 and 3.18, which give Theorem 3.16 a precise description of the Artinian Gorenstein Algebra associated to a Nagata polynomial and Theorem 3.18 the generators of the annihilator of the polynomial. We show that from these theorems a generalization of the principal results of [1] follows: Corollaries 3.17 and 3.19. We think that the study of the Nagata hypersurfaces can be—among other things—a useful tool for the classification of the hypersurfaces with vanishing Hes- sian in P . Acknowledgments. We thank the anonymous referee for the careful reading and the valuable suggestions. Notations. In this the paper we fix the following notations and assumptions: Graded Artinian Gorenstein Algebras and Lefschetz Properties 3 • K is a field of characteristic 0. • R := K[x , . . . , x ] will always be the ring of polynomials in n + 1 variables 0 n x , . . . , x . 0 n • Q := K[X , . . . , X ] will be the the ring of differential operators of R, where 0 n X = . ∂x • The subscript of a graded K-algebra will indicate the part of that degree; R is the K-vector space of the homogeneous polynomials of degree d, and Q the K-vector space of the homogeneous differential operators of order δ. 1. Graded Artinian Gorenstein Algebras and Lefschetz Properties 1.1. Graded Artinian Gorenstein Algebras are Poincar´e Algebras. Definition 1.1. Let I be a homogeneous ideal of R such that A = R/I = A is i=0 a graded Artinian K-algebra, where A 6= 0. The integer d is the socle degree of A. The algebra A is said standard if it is generated in degree 1. Setting h = dim A , i K i the vector Hilb(A) = (1, h , . . . , h ) is called Hilbert vector of A. Since I = 0, then 1 d 1 h = n + 1 is called codimension of A. We also recall the following definitions. Definition 1.2. A graded Artinian K-algebra A = A is a Poincar´e algebra i=0 if ·: A × A → A is a perfect pairing for i ∈ {0, . . ., d}. i d−i d Definition 1.3. A graded Artinian K-algebra A is Gorenstein if (and only if) dim A = 1 and it is a Poincar´e algebra. K d Remark 1.4. The Hilbert vector of a Poincar´e algebra A is symmetric with respect to h , that is Hilb(A) = (1, h , h , . . . , h , h , 1). d 1 2 2 1 1.2. Graded Artinian Gorenstein Quotient Algebras of Q. For any d ≥ δ ≥ 0 there exists a natural K-bilinear map B : R × Q → R defined by differenti- d δ d−δ ation B(f, α) = α(f) Definition 1.5. Let I = hf , . . . , f i—where f , . . . , f are forms in R—be a finite 1 ℓ 1 ℓ dimensional K-vector subspace of R. The annihilator of I in Q is the following homogeneous ideal Ann(I) := {α ∈ Q | ∀f ∈ I, α(f) = 0}. In particular, if I is generated by a homogeneous element f, we write Ann(I) = Ann(f). Let A = Q/ Ann(f), where f is homogeneous. By construction A is a standard graded Artinian K-algebra; moreover A is Gorenstein. Theorem 1.6 ([14], §60ff, [15], Theorem 2.1). Let I be a homogeneous ideal of Q such that A = Q/I is a standard Artinian graded K-algebra. Then A is Gorenstein if and only if there exist d ≥ 1 and f ∈ R such that A Q/ Ann(f). d 4 Graded Artinian Gorenstein Algebras and Lefschetz Properties Remark 1.7. Using the notation as above, A is called the SGAG K-algebra associ- ated to f. The socle degree d of A is the degree of f and the codimension is n + 1, since I = 0. 1.3. Lefschetz Properties and the Hessian Criterion. Let A = A be a i=0 graded Artinian K-algebra. Definition 1.8. If there exists an L ∈ A such that: (1) The multiplication map ·L: A → A is of maximal rank for all i, then A i i+1 has the Weak Lefschetz Property (WLP, for short); (2) The multiplication map ·L : A → A is of maximal rank for all i and k, i i+k then A has the Strong Lefschetz Property (SLP, for short); Definition 1.9. Let A be the SGAG K-algebra associated to an element f ∈ R , and let B = {α ∈ A | j ∈ {1, . . ., σ }} be an ordered K-basis of A . The k-th k j k k k Hessian matrix of f with respect to B is k k Hess = (α α (f)) . i j i,j=1 The k-th Hessian of f with respect to B is hess = det Hess . f f Theorem 1.10 ([20] Theorem 4). An element L = a X + · · · + a X ∈ A 0 0 n n 1 is a strong Lefschetz element of A if and only if hess (a , . . . , a ) 6= 0 for all 0 n k ∈ 0, . . . , . In particular, if for some k one has hess = 0, then A does not have SLP. 2. Higher Order Nagata Idealization 2.1. Nagata Idealizations. Definition 2.1. Let A be a ring and let M be an A-module. The Nagata idealiza- tion A⋉ M of M is the ring with underlying set A × M and operations defined as follow: (r, m) + (s, n) = (r + s, m + n), (r, m) · (s, n) = (rs, sm + rn). 2.1.1. Bigraded Artinian Gorenstein Algebras. Let A = A be a SGAG K- i=0 algebra, it is bigraded if: A = A K, A = A for i ∈ {0, . . . , d − 1}, d (d ,d ) i (i,h−i) 1 2 h=0 since A is a Gorenstein ring, and the pair (d , d ) is said the socle bidegree of A. In 1 2 this case we call A an SBAG algebra. Remark 2.2. By Definition 1.3, A A = Hom (A ,K) and since the duality i K d−i d−i commutes with direct sums, one has A A for any pair (i, j). (i,j) (d −i,d −j) 1 2 ♦ Higher Order Nagata Idealization 5 We fix notation as in Theorem 2.4: • S := R⊗ K[u , . . . , u ] = K[x , . . . , x , u , . . . , u ] is the bigraded ring of K 1 m 0 n 1 m polynomials in m + n + 1 variables x , . . . , x , u , . . . , u ; 0 n 1 m • We have chosen the natural bigrading of S: x has bidegree (1, 0) and u i j has bidegree (0, 1); • Define S to be the K-vector space of bihomogeneous polynomials f (d ,d ) 1 2 of bidegree (d , d ); that is, f can be written as a b , where a ∈ R = 1 2 i i i d i=0 K[x , . . . , x ] and b ∈ K[u , . . . , u ] . 0 n d1 i 1 m d2 • T := Q ⊗ K[U , . . . , U ] = K[X , . . . , X , U , . . . , U ] is the (bigraded) K 1 m 0 n 1 m ∂ ∂ ring of differential operators of S, where X = and U = ; X has i j i ∂x ∂u i j bidegree (1, 0) and U has bidegree (0, 1). A homogeneous ideal I of S is a bihomogeneous ideal if: I = I , where ∀i, j ∈ N , I = I ∩ S . ≥0 (i,j) (i,j) (i,j) i,j=0 Let f ∈ S , then I = Ann(f) is a bihomogeneous ideal and using Theorem 1.6, (d ,d ) 1 2 A = T/(Ann(f)) is a SBAG K-algebra of socle bidegree (d , d ) (and codimension 1 2 m + n + 1). Remark 2.3. Using the above notations, one has: ∀i > d , j > d , I = T . 1 2 (i,j) (i,j) Indeed, for all α ∈ T with i > d , j > d , α(f) = 0; as a consequence: 1 2 (i,j) ∀k ∈ {0, . . ., d + d }, A = A . 1 2 k (i,j) 0≤i≤d 0≤j≤d i+j=k Moreover, the evaluation map α ∈ T 7→ α(f) ∈ A provides the fol- (i,j) (d −i,d −j) 1 2 lowing short exact sequence: // // // // (1) 0 I T A 0. (i,j) (i,j) (d −i,d −j) 1 2 The following theorem, which links Nagata idealizations with bihomogeneous polynomials, holds. ′ ′ Theorem 2.4 ([10], Theorem 2.77). Let S := K[u , . . . , u ] and S := R ⊗ S be 1 m K ′ ′ rings of polynomials, let T = K[U , . . . , U ] and T := Q ⊗ T be the associated 1 m K ∂ ∂ ring of differential operators, where X = and U = . Let g , . . . , g be i j 0 n ∂x ∂u i j ′ ′ ′ homogeneous elements of S of degree d, let I be the T -submodule of S generated ′ ′ by {∂(g ) ∈ R | ∂ ∈ T, i ∈ {0, . . . , n}} and let A := T / Ann(I). Define f = x g + · · · + x g ∈ R, it is a bihomogeneous polynomial of bidegree (1, d), and let 0 0 n n ′ ′ A := T/ Ann(f). Considering I as an A -module, A ⋉ I A. = 6 Higher Order Nagata Idealization 2.2. Lefschetz Properties for Higher Nagata Idealizations. Definition 2.5. A bihomogeneous polynomial f = x g ∈ S i (d ,d ) i 1 2 i=0 is called a CW-Nagata polynomial of degree d ≥ 1 if g ∈ K[u , . . . , u ], i = 1 i 1 m 0, . . . , n, are linearly independent monomials of degree d ≥ 2. m + d − 1 Remark 2.6. One needs n ≤ otherwise the g cannot be linearly independent. From now on, we assume that n satisfies this condition. We will need the following propositions. Proposition 2.7 ([5] Proposition 2.5). Let n + 1 ≥ m ≥ 2, d > d ≥ 1 and 2 1 m + d − 1 s > ; for any j ∈ {1, . . . , s}, let f ∈ S , g ∈ S . Then the j j (d ,0) (0,d ) 1 2 form f = f g + · · · + f g of degree d + d satisfies 1 1 s s 1 2 hess = 0; that is, A = T/ Ann(f) does not have the SLP condition. Proposition 2.8 ([1] Proposition 2.7). Let n + 1 ≥ m ≥ 2, d ≥ d . Then 1 2 L = X is a Weak Lefschetz Element; that is, A = T/ Ann(f) has the WLP i=0 condition. 3. CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 Let S and T be as in the previous subsection. Definition 3.1. A bihomogeneous CW-Nagata polynomial f = x g ∈ S i (d ,d ) i 1 2 i=0 is called a simplicial Nagata polynomial of degree d if the monomials g are square 1 i free. Remark 3.2. One needs n ≤ otherwise the g cannot be square free. 3.1. CW-complexes and bihomogeneous polynomials. 3.1.1. Abstract finite simplicial complexes. Definition 3.3. Let V = {u , . . . , u } be a finite set. An abstract simplicial 1 m complex Δ with vertex set V is a subset of 2 such that (1) ∀u ∈ V ⇒ {u} ∈ Δ, (2) ∀σ ∈ Δ, τ $ σ, τ 6= ∅ ⇒ τ ∈ Δ. CW-complex Nagata Idealization of bidegree (d , d ) 7 1 2 The elements σ of Δ are called faces or simplices; a face with q + 1 vertices is called q-face or face of dimension q and one writes dim σ = q; the maximal faces (with respect to the inclusion) are called facets; if all facets have the same dimension d ≥ 1 then one says that Δ is of pure dimension d. The set Δ of faces of dimension at most k is called k-skeleton of Δ. 2 is called simplex (of dimension m − 1). Remark 3.4. (1) (cfr. [1, Remark 3.4]) There is a natural bijection, introduced in [3], between the square free monomials, of degree d, in the variables u , . . . , u and the 1 m (d−1)-faces of the simplex 2 , with vertex set V = {u , . . . , u }. In fact, a 1 m square free monomial g = u · · · u corresponds to the subset {u , . . . , u } i i i i 1 d 1 d of 2 . Vice versa, to any subset F of V with d elements one associates the free square monomial m = u of degree d. F i u ∈F (2) Let f = x g ∈ S be a simplicial Nagata polynomial; by hypoth- (d ,d ) i 1 2 i=0 esis there is bijection between the monomials g and the indeterminates x . From this, we can associate to f a simplicial complex Δ with vertices i f u , . . . , u where the facet which corresponds to g is identified with x . 1 m i 3.1.2. CW-complexes. For the topological background, we refer to [11]. We start by fixing some notations. Definition 3.5. Let k ∈ N . A topological space e homeomorphic to the open ≥1 k 2 2 (unitary) ball {(x , . . . , x ) ∈ R | x + · · · + x < 1} of dimension k (with the 1 k 1 k k+1 natural topology induced by R ) is called a k-cell. Its boundary, i.e. the (k − 1)- k−1 k 2 2 dimensional sphere will be denoted byS = {(x , . . . , x ) ∈ R | x +· · ·+x = 1} 1 k 1 k and its closure, i.e. the closed (unitary) k-dimensional disk will be denoted by k k 2 2 D := {(x , . . . , x ) ∈ R | x + · · · + x ≤ 1}. 1 k 1 k We recall the following Definition 3.6. A CW-complex is a topological space X constructed in the fol- lowing way: (1) There exists a fixed and discrete set of points X ⊂ X, whose elements are called 0-cells; k k−1 (2) Inductively, the k-skeleton X of X is constructed from X by attaching k k k−1 k−1 k-cells e (with index set A ) via continuous maps ϕ : S → X (the α α α k k k−1 k attaching maps). This means that X is a quotient of Y = X D α∈A under the identification x ∼ ϕ (x) for x ∈ ∂D ; the elements of the k- skeleton are the (closure of the) attached k cells; (3) X = X and a subset C of X is closed if and only if C ∩ X is closed k∈N ≥0 for any k (closed weak topology). Definition 3.7. A subset Z of a CW-complex X is a CW-subcomplex if it is the union of cells of X, such that the closure of each cell is in Z. 8 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 Definition 3.8. A CW-complex is finite if it consists of a finite number of cells. We will be interested mainly in finite CW-complexes. Example 3.9 (Geometric realization of an abstract simplicial complex). It is an obvious fact that to any simplicial complex Δ one can associate a finite CW-complex Δ via the geometric realization of Δ as a simplicial complex (as a topological space) Δ. In what follows we will always identify abstract simplicial complexes with their corresponding simplicial complexes. Construction 3.10. In Remark 3.4, we saw that to any degree d square-free mono- mial u · · · u ∈ K[u , . . . , u ] one can associate the (d − 1)-face {u , . . . , u } of i i 1 m d i i 1 d 1 d {u ,...,u } 1 m the abstract (m − 1)-dimensional simplex Δ(m) := 2 , and vice versa: if we call ρ := {f ∈ K[u , . . . , u ] | f 6= 0 is a square-free monic monomial} d 1 m d d d−1 D(m) := Δ(m) \ Δ(m) , we have a bijection σ : ρ → D(m) d d d u · · · u 7→ {u , . . . , u } . i i i i 1 d 1 d Alternatively, we can associate to u · · · u the element of the (d − 1)-skeleton i i 1 d d−1 {u , . . . , u } ∈ Δ(m) , so we have a bijection i i 1 d d−1 σ : ρ → Δ(m) d d u · · · u 7→ {u , . . . , u } i i i i 1 d 1 d between the square-free monomials and the (d−1)-faces of the (topological) simplex Δ(m). Using CW-complexes, we will extend this construction to the non-square-free 1 j monic monomials. We proceed as follows. Let g := u · · · u be a generic 1 m degree d := j + · · · + j monomial. Consider the following finite set: W := 1 m n o 1 1 1 j W u , . . . , u , . . . , u , . . . , u , and if Δ(d) := 2 is the abstract associated (fi- 1 1 m m nite) simplex, we consider the corresponding (topological) simplex (which is a CW- complex) Δ(d). If j ≤ 1 we do nothing, while if j ≥ 2, we recursively identify, for ℓ varying k k n o 1 k u ,...,u k k ] from 0 to j − 2, the ℓ-faces of the subsimplex 2 ⊂ Δ(d): start with ℓ = 0, and we identify all the j points to one point—call it u . Then, for ℓ = 1, we k k j +1 k 1 obtain a bouquet of circles, and we identify them in just one circle S passing n o 1 k u ,...,u k k through u , and so on, up to the facets of 2 , i.e. its j + 1 (j − 1)-faces, k k k which, by the construction, have all their boundary in common, and we identify all of them. Make all these identifications for all j , . . . , j ; in this way, we obtain a finite 1 m CW-complex X = X of dimension d − 1, with 0-skeleton X = {u | j 6= 0} ⊂ g i i CW-complex Nagata Idealization of bidegree (d , d ) 9 1 2 {u , . . . , u }, obtained from the (d − 1)-dimensional simplex Δ(d), with the above 1 m identification. In this way, we obtain a finite CW-complex X = X of dimension d − 1, with 0- skeleton X = {u | j 6= 0} ⊂ {u , . . . , u }, obtained from the (d − 1)-dimensional i i 1 m simplex Δ(d), with the above identification. Under this identification each closure n o k 1 of a (j − 1)-cell u , . . . , u becomes a point if j = 1, a circle S if j = 2, a k k k k k topological space with fundamental group Z if j = 2 (i.e. it is not a topological 3 k j −1 j −1 k k surface), etc. We will denote these spaces in what follows by ǫ , i.e. ǫ k k corresponds to u , and vice versa: 1 j Proposition 3.11. Every power in u · · · u (up to a permutation of the vari- 1 m j −1 ables) corresponds to a ǫ , and vice versa. j −1 We can see X as a (d − 1)-dimensional join between these spaces ǫ and the ^ ∼ ] span of the 0-skeleton X i.e. the simplex S ⊂ Δ(m) associated to it; S = Δ(ℓ), X X where ℓ = #X ≤ m. Remark 3.12. This last observation suggests we consider an alternative construc- tion: recall that the cellular decomposition of the real projective space is obtained n−1 attaching a single cell at each passage; indeed, P is obtained from P by attach- R R n−1 n−1 n−1 ing one n-cell with the quotient projection ϕ : S → P as the attaching map. Then, to each power u we associate a real projective space of dimension j − 1 j −1 j −1 j j −1 k k k 0 k P and immersions i : P ֒→ P ; so P = u ∈ P . k−1 k k k k k k j j −1 1 j k Finally, to g = u · · · u we associate the join between the P and the S 1 m k defined above; if we call this join by X , we can proceed in an equivalent way, by j −1 j −1 k k changing ǫ with P . k k It is clear how to glue two of these finite CW-complexes—say X = X j j 1 m u ···u and Y = Y , of degree d = j +· · ·+j and d = k +· · ·+k —along Δ(m): k k 1 m 1 m 1 m u ···u ^ ^ we simply attach X and Y via the inclusion maps S ⊂ Δ(m) and S ⊂ Δ(m), X Y where S and S are the simplexes associated to, respectively, X and Y . X Y Finally, taking all these finite CW-complexes together, we obtain a CW-complex P in the following way: C := X j j P (m) := C/∼ 1 m u ···u 1 m u ···u ∈K[u ,...,u ] m 1 m where ∼ is the equivalence relation induced by the above gluing. Proposition 3.13. There is bijection between the monomials of degree d in K[u , . . . , u ] 1 m and the elements of the (d − 1)-skeleton of P (m). In other words, if we define ρ := {f ∈ K[u , . . . , u ] | f 6= 0 is a monic monomial} 1 m d d 10 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 we have a bijection, using the above notation ′ ′ σ : ρ → P (m) d−1 d d 1 j u · · · u 7→ X j j . 1 m u ···u 1 k j 1 k m m Proposition 3.14. X j ⊂ X k if and only if u · · · u divides u · · · u . j k 1 m 1 m 1 m 1 m u ···u u ···u m m 1 1 Let f = x g ∈ S be a CW-Nagata polynomial; by hypothesis there is i (d ,d ) i 1 2 i=0 bijection between the monomials g and the indeterminates x . From this, we can i i associate to f a finite (d − 1)-dimensional, CW-subcomplex of P (m), Δ where 2 f the (d −1)-skeleton is given by the X ’s glued together with the above procedure. 2 g Each X can be identified with x as before. i i The previous construction generalizes the analogous one given in [1]. 3.2. The Hilbert Function of SBAG Algebras. The first main result of this paper is the following general theorem. Remark 3.15. In order to state it, we observe that the canonical bases of S = K[x , . . . , x ] ⊗K[u , . . . , u ] (d ,d ) 0 n d 1 m d 1 2 1 2 and T = K[X , . . . , X ] ⊗K[U , . . . , U ] (d ,d ) 0 n d1 1 m d2 1 2 given by monomials are dual bases each other, i.e. j i ,...,i ,j ,...,j k k ℓ ℓ i i 1 j 0 n 1 m 0 n 1 m 0 n m X · · · X U · · · U (x · · · x u · · · u ) = δ 0 n 1 m 0 n 1 m k ,...,k ,ℓ ,...,ℓ 0 n 1 m where i + · · · + i = k + · · · + k = d , j + · · · + j = ℓ + · · · + ℓ = d and 0 n 0 n 1 1 m 1 m 2 i ,...,i ,j ,...,j 0 n 1 m δ is the Kronecker delta. k ,...,k ,ℓ ,...,ℓ 0 n 1 m This simple observation allows us to identify—given a CW-Nagata polynomial f = x g ∈ S — the dual differential operator G of the monomial g — r (d ,d ) r r r 1 2 r=0 i.e. the monomial G ∈ K[U , . . . , U ] such that G (g ) = 1 and G (g) = 0 for r 1 m d r r r any other monomial g ∈ K[u , . . . , u ] —with the same element of the (d − 1)- 1 m d 2 skeleton of Δ associated to g . In other words, we associate to g = u · · · u f r r 1 m 1 j and to G = U · · · U the CW-subcomplex of Δ ⊂ P (m), X j . r f 1 m 1 m u ···u d 1 j 1 m Theorem 3.16. Let f = x g ∈ R , with g = u · · · u , be a CW- r r r (d ,d ) m 1 2 1 r=0 Nagata polynomial of (positive) degree d , where n ≤ , let Δ be the CW- 1 f complex associated to f and let A = Q/ Ann(f). Then d=d +d 1 2 A = A h=0 where A = A ⊕ · · · ⊕ A ⊕ · · · ⊕ A , p ≤ d , q ≤ d , A = A h (h,0) (p,q) (0,h) 1 2 d (d ,d ) 1 2 CW-complex Nagata Idealization of bidegree (d , d ) 11 1 2 and moreover, ∀j ∈ {0, 1, . . ., d }, f i = 0 f i ∈ {1, . . ., d − 1}, dim A = a = i,j j,r 1 (i,j) r=0 f i = d d −j 1 where: • f is the number of the elements of the (j − 1)-skeleton of the CW-complex Δ (with the convention that f = 1); f 0 • f is the number of the elements of the (j −1)-skeleton of the CW complex j,r X (with the convention that f = 1, so that dim A = n + 1). G 0,r r (i,0) More precisely, a basis for A , ∀j ∈ {0, 1, . . ., d }, is given by (i,j) 1 s (1) If i = 0, {Ω , . . . , Ω }, where any Ω := U · · · U , with s +· · ·+s = j, 1 f s 1 m j 1 m s s is associated to the element X 1 m of the (j − 1)-skeleton of Δ ; u ···u i,s ,...,s i,s ,...,s i 1 m 1 m (2) If i = 1, . . . , d − 1, Ω where Ω := X · 1 s∈{0,...,n} s s s s ≤,r ,k=1,...,m k k s =j 1 sm s s U · · · U is associated to the element X 1 m of the (j − 1)-skeleton 1 m u ···u of X ; n o 1 d (3) If i = d , X Ω (f), . . . X Ω (f) , where Ω , . . . Ω is the ba- 1 1 f −j 1 f 0 n d d −j 2 2 sis for A of case (1). (0,d −j) In the cases (1) and (2) the basis are given by monomials, in the case (3), in general, not. Proof. We divide the proof into computing the dimension of A and find a basis (i,j) for it, as i varies: i = 0: A = K. (0,0) Then, by definition, if j ∈ {1, . . . , d }, A is generated by the (canon- 2 (0,j) ical images of the) monomials Ω ∈ Q = K[U , . . . , U ] = Q that do s j 1 m j (0,j) not annihilate f. This means that, if we write s s 1 m Ω = U · · · U s + · · · + s = j, s 1 m s s ′ ′ 1 m there exists an r ∈ {0, . . . , n} such that g = u · · · u g , where g ∈ s r s 1 m rs rs s s R is a (nonzero) monomial; this means that X 1 m is an element of d −j u ···u the (j − 1)-skeleton of the CW-complex Δ by Proposition 3.14. We need to prove that these monomials are linearly independent over K: let {Ω , . . . , Ω } be a system of monomials of Q , where any Ω = 1 f (0,j) s s s 1 m U · · · U with s + · · · + s = j, is associated to an element of the 1 m 1 m (j − 1)-skeleton of the CW-complex Δ ; take a linear combination of them and apply it to f: f f f j j n n j X X X X X d d 1 1 0 = c Ω (f) = c x Ω (g ) = x c Ω (g ). s s s s r s s r r r s=1 s=1 r=0 r=0 s=1 By the linear independence of the x ’s (2) c Ω (g ) = 0, ∀r ∈ {0, . . ., n}. s s r s=1 12 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 By hypothesis, for any index s there exists an r ∈ {0, . . ., n} such that Ω (g ) = g ∈ R \ {0}, then for any index s one has c = 0, since the s r d −j s s r 2 linear combinations in (2) are formed by linearly independent monomials (g is fixed in each linear combination!). In other words, dim A = f . r (0,j) j 0 < i < d : Observe that X X (f) = 0 if a 6= b. Therefore A is generated by the 1 a b (i,j) i,s1,...,sm i 1 sm only (canonical images of) the monomials Ω := X U · · · U ∈ s s 1 m Q , with s + · · · + s = j, that do not annihilate f. In particular, a (i,j) 1 m i i basis for A is given by X , . . . , X and we can suppose from now on (i,0) 0 n that j > 0. Since i,s ,...,s d −i s s 1 m 1 1 m Ω (f) = x (U · · · U ) (g ), s s 1 m 1 s ′ in order to obtain that this is not zero, we must have that g = u · · · u g , 1 m s s s where g ∈ R is a nonzero monomial. This means X 1 m ⊂ X by d −j g s 2 u ···u s Proposition 3.14. As above, we can prove that these monomials are linearly independent over K: let i,s ,...,s 1 m s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j i,s ,...,s i 1 s 1 m m be a system of monomials of Q , where any Ω = X ·U · · · U (i,j) s s 1 m is associated to the element X 1 sm of the (j − 1) skeleton of X ⊂ Δ , g f u ···u s s s i.e. X 1 m ⊂ X ⊂ Δ by Proposition 3.14. gs f u ···u Take a linear combination of them and apply it to f: (3) X X X i,s1,...,sm i,s1,...,sm d1−i i,s1,...,sm i,s1,...,sm 0 = c Ω (f) = x c g s s s s s=0 s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j s ≤,r ,k=1,...,m k k k k s =j i,s ,...,s 1 s i,s ,...,s 1 m m 1 m where g ∈ R is the nonzero monomial such that g = u · · · u g . d −j s s 2 1 m s From (3) we deduce, as in the preceding case, that i,s ,...,s i,s ,...,s 1 m 1 m (4) c g = 0 s = 0, . . . , n; s s s ≤,r ,k=1,...,m k k s =j as before, given one choice of s , . . . , s there exists an s ∈ {0, . . . , n} such 1 m i,s ,...,s i,s ,...,s 1 m 1 m g (f) is a nonzero monomial, and the (nonzero) g ’s in (4) s s are linearly independent since are obtained by a fixed g . i = d : By duality, see Remark 2.2, A = A so dim A = f . 1 d −j (d ,j) (d ,j) 2 1 (0,d −j) 1 To find a basis for A , we consider the exact sequence (1) given by (d ,j) evaluation at f, which in this case reads (5) 0 → I → Q → A → 0, (0,d −j) (0,d −j) (d ,j) 2 2 1 then a basis for A is obtained in the following way: if {Ω , . . . Ω } 1 f (d1,j) d −j is the basis for A Q /I of the case i = 0, then a basis (0,d −j) (0,d −j) (0,d −j) 2 2 2 n o 1 d for A is X Ω , . . . , X Ω (f) . (d ,j) 1 f −j 1 0 n d CW-complex Nagata Idealization of bidegree (d , d ) 13 1 2 As a corollary of Theorem 3.16 we see that we can deduce the general case of the simplicial Nagata polynomial, which is a slight improvement of the first part of [1, Theorem 3.5]. Corollary 3.17. Let f = x g ∈ R , with g = x · · · x , be a simplicial r (d ,d ) r r r r 1 2 1 d r=0 Nagata polynomial of (positive) degree d , where n ≤ , let Δ be the simplicial 1 f complex associated to f and let A = Q/ Ann(f). Then d=d +d 1 2 A = A h=0 where A = A ⊕ · · · ⊕ A ⊕ · · · ⊕ A , p ≤ d , q ≤ d , A = A h (h,0) (p,q) (0,h) 1 2 d (d ,d ) 1 2 and moreover, ∀j ∈ {0, 1, . . ., d }, f i = 0  j dim A = a = f i ∈ {1, . . ., d − 1}, j,r 1 (i,j) i,j r=0 f i = d d −j 1 where: • f is the number of (j−1)-cells of the Δ (with the convention that f = 1); j f 0 • f is the number of (j − 1)-subcells of Δ , i.e. the (d − 1)-cell of the j,r g 2 Δ associated to g (with the convention that f = 1, so that dim A = f r 0,r (i,0) n + 1). More precisely, a basis for A , ∀j ∈ {0, 1, . . ., d }, is given by (i,j) 2 (1) If i = 0, {Ω , . . . , Ω }, where any Ω := U · · · U is associated to the 1 f s s s j 1 j (j − 1)-subcell {u , . . . , u } of Δ ; s s f 1 j n o i,s ,...,s i,s ,...,s 1 j 1 j (2) If i = 1, . . . , d −1, Ω where Ω := X U · · · U s s 1 s∈{0,...,n} s s s 1 j s ,...,s ∈ r ,...,r 1 j { 1 } is associated to the (j − 1)-subcell {u , . . . , u } of Δ (⊂ Δ ); s1 sj gs f n o d d 1 1 (3) If i = d , X Ω (f), . . . X Ω (f) , where {Ω , . . . Ω } is the ba- 1 1 f −j 1 f 0 n d d −j 2 2 sis for A of case (1). (0,d −j) In the cases (1) and (2) the bases are given by monomials, in the case (3), in general, not. d r r 1 1 m Theorem 3.18. Let f = x g ∈ S , with g = x · · · x such that r r r (d ,d ) m 1 2 1 r=0 r + · · · + r = d , be a CW-Nagata polynomial whose associated CW-complex is 1 m 2 Δ , as in the preceding theorem. Then I := Ann(f) is generated by: d1+1 (1) X X and X , for i, j, k ∈ {0, . . ., n}, i < j; i j d +1 (2) hU , . . . , U i , i.e. all the (monic) monomials of degree d + 1; 1 m 2 14 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 1 s (3) The monomials U · · · U such that s + · · · + s = j, where X 1 m 1 m 1 m u ···u is a (minimal) element of the (j −1)-skeleton of P (m) not contained in Δ (for j ∈ {1, . . . , d }); (4) The monomials X U , where u does not divide g (i.e. {u } is not an r i i r i element of the 0-skeleton of X ); r r 1 r 1 r m m (5) The monomials X U · · · U such that r +· · ·+r = j, where u · · · u s 1 m 1 m 1 m is minimal among those that do not divide g (i.e. the (minimal) element of the (j − 1)-skeleton of P (m), X r , is not contained in X ), for 1 m u ···u s j ∈ {1, . . ., d }; ρ σ d 1 ρ d 1 σ 1 m 1 m (6) The binomials X U · · · U − X U · · · U with ρ + · · · + ρ = 1 m r 1 m s 1 m 1 ρ σ + · · · + σ = j such that g = GCD(g , g ) and g = u · · · u g , 1 m r,s r s r r,s 1 m 1 σ g = u · · · u g (i.e. X is the element of the (d − j − 1)-skeleton of s r,s g 2 1 m r,s Δ which represents the intersection of X and X : X = X ∩ X ). f g g g g g r s r,s r s Proof. Let A := T/I, where T = K[X , . . . , X , U , . . . , U ]. 0 n 1 m By Theorem 3.16, (1) a basis for A , ∀j ∈ {1, . . . , d }, is {Ω , . . . , Ω }, where (0,j) 2 1 f 1 s s s Ω := U · · · U , with s + · · · + s = j, is associated to the element X 1 m s 1 m 1 m u ···u of the (j − 1)-skeleton of Δ . Therefore, using the identification introduced in 1 s Remark 3.15,a basis for I is given by the monomials U · · · U such that (0,j) 1 m s + · · · + s = j, where X 1 sm is an element of the (j − 1)-skeleton of P (m) 1 m u ···u not contained in Δ (for j ∈ {1, . . ., d }); f 2 d +1 i 1 1 i Observe that X X (f) = 0 if i 6= j and X (f) = 0 = U · · · U (f) with i j 1 m i = d + 1, for degree reasons. Set j 2 j=1 d +1 1 d +1 d +1 1 2 β := (X X , . . . , X X , X , . . . , X , hU , . . . , U i ); 0 1 n−1 n 1 m 0 n T I this is a homogeneous ideal such that β ⊂ I and A / . β β By Theorem 3.16, (2), if i = 1, . . . , d − 1, a basis for A ∀j ∈ {1, . . . , d }, is 1 (i,j) 2 given by i,s ,...,s 1 m s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j i,s ,...,s i 1 s 1 m m where Ω := X · U · · · U is associated to the element X s of the 1 m s s 1 m u ···u (j − 1)-skeleton of X . Again using the identification introduced in Remark 3.15, a basis for (i,j) is given by i 1 s • The monomials X U · · · U such that s +· · ·+s = j, with r 6= s, where 1 m r 1 m 1 s u · · · u divides g (i.e. X 1 sm is an element of the (j − 1)-skeleton 1 m u ···u of X ), for i = 1, . . . , d − 1, and g 1 r r i 1 r 1 r m m • The monomials X U · · · U such that r +· · ·+r = j, where u · · · u 1 m s 1 m 1 m does not divide g (i.e. the element of the (j − 1)-skeleton of P (m), X 1 m , is not contained in X ), u ···u s for j ∈ {1, . . . , d }. It remains to find the generators of I of bidegree (d , j), with j ∈ {1, . . ., d }. 1 2 This is more complicated since the generators of A are not monomials. Let (d ,j) γ be the homogeneous ideal generated by the monomials of the cases (1), (2), (3), (3.2) and (3.2), i.e. the generators that we have found so far. We have β ⊂ γ ⊂ I CW-complex Nagata Idealization of bidegree (d , d ) 15 1 2 and the exact sequence (1) given by evaluation at f becomes 0 → → → A → 0, (0,d −j) γ γ (d ,j) (d ,j) 1 1 T I since we identify A / . Then, if ρ + · · · + ρ = σ + · · · + σ = j, 1 m 1 m γ γ ρ σ ρ d 1 ρ d 1 σ T d 1 ρ 1 m 1 m 1 m X U · · · U −X U · · · U ∈ is in if and only if X U · · · U = r 1 m s 1 m r 1 m (d ,j) (d1,j) σ ρ σ d 1 σ 1 ρ 1 σ 1 m m m X U · · · U ∈ A , which means U · · · U (g ) = U · · · U (g ). Since r s s 1 m (0,d2−j) 1 m 1 m 1 s A is generated by the monomials Ω := U · · · U , with s + · · · + s = s 1 m (0,d2−j) 1 m d − j, associated to the elements of the (d − j − 1)-skeleton of Δ , we obtain case 2 2 f (6). As we have done for Theorem 3.16, we give, as a corollary of Theorem 3.18 the case of the simplicial Nagata polynomial, giving an improvement of the second part of [1, Theorem 3.5]; we also correct that statement, since the authors forgot the generators X X , i 6= j. i j Corollary 3.19. Let f = x g ∈ R , with g = x · · · x , be a simplicial r r r r r (d ,d ) 1 1 2 d r=0 Nagata polynomial whose associated simplicial complex is Δ , as in the preceding theorem. Then I := Ann(f) is generated by: d +1 (1) X X and X , for i, j, k ∈ {0, . . ., n}, i < j; i j 2 2 (2) U , . . . , U ; 1 m (3) The monomials U · · · U , where {u , . . . , u } is a (minimal) (j − 1)-cell s s s s 1 j 1 j {u ,...,u } 1 m of 2 not contained in Δ (for j ∈ {1, . . . , d }); f 2 (4) The monomials X U , where u does not divide g (i.e. {u } ∈/ Δg ); r i i s i r d d 1 1 (5) The binomials X U · · · U − X U · · · U such that g GCD(g , g ), ρ ρ σ σ r,s r s r 1 j s 1 j g = u · · · u g , g = u · · · u g (i.e. g represents the (d −j −1)- r ρ ρ r,s s σ σ r,s r,s 2 1 j 1 j face given by the intersection Δ ∩ Δ of the facets of g and g : Δ = g g r s g r s r,s Δ ∩ Δ ). g g r s Proof. We note only that we have to add the squares of case (2) although they do not correspond to cells, since the polynomials g are square-free. The rest follows from Theorem 3.18. We observe that these squares are in case (2) of Theorem 3.18. Example 3.20. Let d d d d d d d d f = x u u u +x u u u +x u u u +x u u u +x u u u +x u u u +x u u u +x u u u 1 2 3 1 2 4 1 4 5 1 3 5 2 3 6 2 4 6 4 5 6 3 5 6 0 1 2 3 4 5 6 7 be a bihomogeneous bidegree (d, 3) polynomial with d ≥ 1; it is a simplicial Nagata polynomial, whose associated simplicial complex is in the following figure: 16 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 u 0 u 4 2 5 5 We have: A = A ⊕ A ⊕ . . . ⊕ A . 0 1 d+3 We want firstly to compute the Hilbert vector by applying Corollary 3.17; first of all, a = 8 a = 6, 1,0 0,1 and therefore h = h = 1 0 d+3 h = h = a + a = 8 + 6 = 14. 1 d+2 1,0 0,1 Then, we analyze the possible cases depending on the degree d: • If d = 1, then a = 8 · 3 = 24 1,1 a = 12 0,2 h = a + a = 36 2 1,1 0,2 and the Hilbert vector is (1, 14, 36, 14, 1). • If d = 2, then, recalling bigraded Poincar´e duality, a = a = 8 a = a = 12 2,0 0,3 2,1 0,2 and therefore h = a + a + a = 8 + 8 · 3 + 12 = 44, 2 2,0 1,1 0,2 h = 0 + a + a + a = 8 + 8 · 3 + 8 = 44 3 2,1 1,2 0,3 in accordance with Poincar´e duality; so the Hilbert vector is (1, 14, 44, 44, 14, 1) (cfr. [1, Example 3.6]). • If d = 3, then, again by bigraded Poincar´e duality, a = a = 8, a = a = 8 · 3 = 24, a = a = 12, a = a = 24, a = a = 8, 3,0 0,3 2,1 1,2 3,1 0,2 2,2 1,1 1,3 2,0 therefore h = a + a + a = 44, 2 2,0 1,1 0,2 h = a + a + a + a = 64 3 3,0 2,1 1,2 0,3 h = 0 + a + a + a = 44 4 3,1 2,2 1,3 h = h in accordance with Poincar´e duality and the Hilbert vector is 2 4 (1, 14, 44, 64, 44, 14, 1). CW-complex Nagata Idealization of bidegree (d , d ) 17 1 2 • In general, let d ≥ 4; by hypothesis h = h = a + a + a = 44, d+1 2 2,0 1,1 0,2 and h = a + a + a + a ∀k ∈ {3, . . ., d}, k k,0 k−1,1 k−2,2 k−3,3 where a = 8 a = 8 · 3 = 24 a = 8 · 3 = 24 a = 8. k,0 k−1,1 k−2,2 k,3 Again using the Poincar´e duality we have: d + 3 h = h = 64 ∀k ∈ 3, . . . , d+3−k k and the Hilbert vector is (1, 14, 44, 64, . . ., 64, 44, 14, 1). Now, we want to find the generators of Ann(f), by applying Corollary 3.19. Behaviour depends on d: • If d = 1, by Corollary 3.19 Ann(f) is (minimally) generated by: 2 2 (1) hX , . . . , X i = X , X X , . . . ; 0 7 0 1 2 2 (2) U , . . . , U ; 1 6 (3) U U , U U , U U ; 1 6 2 5 3 4 (4) X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , 0 4 0 5 0 6 1 3 1 5 1 6 2 2 2 3 2 6 3 2 3 4 3 6 X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U ; 4 1 4 4 4 5 5 1 5 3 5 5 6 1 6 2 6 3 7 1 7 2 7 4 (5) X U −X U , X U −X U , X U −X U , X U −X U , X U −X U , 0 3 1 4 0 2 3 5 0 1 4 6 1 2 2 5 1 1 5 6 X U −X U , X U −X U , X U −X U , X U −X U , X U −X U , 2 4 3 3 2 1 6 6 3 1 7 6 4 3 5 4 4 2 7 5 X U − X U , X U − X U . 5 2 6 5 6 4 7 3 • If d ≥ 2, by Corollary 3.19 Ann(f) is (minimally) generated by d+1 (1) hX , . . . , X i and X X where h, k ∈ {0, . . ., 7}, h < k; 0 7 h k 2 2 (2) U , . . . , U ; 1 6 (3) U U , U U , U U ; 1 6 2 5 3 4 d d d d d d d d d d d d (4) X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , 4 5 6 3 5 6 2 3 6 2 4 6 0 0 0 1 1 1 2 2 2 3 3 3 d d d d d d d d d d d d X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U ; 1 4 5 1 3 5 1 2 3 1 2 4 4 4 4 5 5 5 6 6 6 7 7 7 d d d d d d d d d (5) X U − X U , X U − X U , X U − X U , X U − X U , X U − 3 4 2 5 1 6 2 5 1 0 1 0 3 0 4 1 2 1 X U , d d d d d d d d d X U − X U , X U − X U , X U − X U , X U − X U , X U − 4 3 1 6 1 6 3 4 2 2 3 2 6 3 7 4 5 4 X U , d d d d X U − X U , X U − X U . 2 5 4 3 5 6 6 7 Example 3.21. Let d d 2 d f = x u u + x u + x u u 0 1 2 1 1 2 2 3 be a bihomogeneous bidegree (d, 2) polynomial, with d ≥ 1; it is a CW-Nagata polynomial whose CW-complex is the following: 2 18 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 We have: A = A ⊕ A ⊕ . . . ⊕ A 0 1 d+2 and we want to find its Hilbert vector; first of all, a = 3 a = 3 1,0 0,1 and therefore h = h = 1 h = h = a + a = 6. 0 d+2 1 d+1 1,0 0,1 Therefore, if d = 1, then Hilbert vector is (1, 6, 6, 1). If d = 2, we have a = 2 + 1 + 2 = 5, 1,1 so h = dim A = a + a + a = 3 + 5 + 3 = 11 2 2 2,0 1,1 0,2 and the Hilbert vector is (1, 6, 11, 6, 1). If d = 3 then, by bigraded Poincar´e duality a = a = 3 a = 3 3,0 0,2 0,3 so h = a + a + a = 11 2 2,0 1,1 0,2 h = a + a + a + a = 3 + 5 + 3 = 11 3 3,0 2,1 1,2 0,3 and the Hilbert vector is (1, 6, 11, 11, 6, 1). In general, let d ≥ 4; by hypothesis h = h = a + a + a = 11, d 2 2,0 1,1 0,2 and h = dim A + dim A + dim A ∀k ∈ {3, . . . , d}, (k,0) (k−1,1) (k−2,2) so, since a = 3 a = 5 a = 3 k,0 k−1,1 k−2,2 using Poincar´e duality we have: d + 2 h = h = a + a + a = 11 ∀k ∈ 3, . . . , , d+2−k k k,0 k−1,1 k−2,2 and the Hilbert vector is (1, 6, 11, . . ., 11, 6, 1). Let d = 1, by Theorem 3.18 Ann(f) is (minimally) generated by: 2 2 2 3 • hX , X , X i , U , U , U U , U ; 0 1 2 1 3 2 3 1 • X U , X U , X U , X U , X U ; 0 0 3 1 2 1 3 2 1 • X U − X U , X U − X U . 0 2 1 1 0 1 3 3 Let d ≥ 2, by Theorem 3.18 Ann(f) is (minimally) generated by: d+1 2 2 3 • hX , X , X i , X X , X X , X X , U , U , U U , U ; 0 1 2 0 1 0 2 1 2 1 3 2 3 1 d 2 d d d d • X U , X U , X U , X U , X U ; 3 2 3 1 0 1 0 1 1 2 d d d d • X U − X U , X U − X U . 2 1 1 3 0 1 0 3 CW-complex Nagata Idealization of bidegree (d , d ) 19 1 2 References [1] A. Cerminara, R. Gondim, G. Ilardi, F. Maddaloni - Lefschetz Properties for Higher Nagata Idealizations, Adv. in Appl. Math. 106 (2019) 37–56. [2] D. Eisenbud (1995) Commutative Algebra with a View toward Algebraic Geometry, Springer- Verlag. [3] S. Faridi - The facet ideal of a simplicial complex, Manuscripta Mathematica 109 (2002) 159–174. [4] A. Franchetta - Sulle forme algebriche di S aventi l’hessiana indeterminata, Rend. Mat. 13 (1954) 1–6. [5] R. Gondim - On Higher Hessians and the Lefschetz Properties, J. of Algebra 219 (2017) 241–263. [6] R. Gondim, F. Russo - Cubic hypersurfaces with vanishing Hessian, Pure Appl. Algebra 219 (2015) 779–806. [7] R. Gondim, F. Russo, G. Staglian`o - Hypersurfaces with vanishing hessian via Dual Cayley Trick, To appear in Journal of Pure and Applied Algebra. [8] R. Gondim, G. Zappala` - Lefschetz properties for Artinian Gorenstein algebras presented by quadrics Proc. Amer. Math. Soc. 146 (2018), no. 3, 993–1003. [9] P. Gordan, M. Noether - Ueber die algebraischen Formen, deren Hesse’sche Determinante identisch verschwindet, Math. Ann. 10 (1876) 547–568. [10] T. Harima, T. Maeno, H. Morita, Y. Numata, A. Wachi, J. Watanabe (2013) The Lefschetz Properties, Springer. [11] A. E. Hatcher (2002) Algebraic topology, Cambridge University Press. [12] O. Hesse - Uber die Bedingung, unter welche eine homogene ganze Function von n un- abh¨angigen Variabeln durch Line¨are Substitutionen von n andern unabhn¨gigen Variabeln auf eine homogene Function sich zuru¨ckfu¨hren l¨asst, die eine Variable weniger enth¨alt, J. reine angew. Math. 42 (1851) 117–124. [13] O. Hesse - Zur Theorie der ganzen homogenen Functionen, J. reine angew. Math. 56 (1859) 263–269. [14] F. H. S. Macaulay - The Algebraic Theory of Modular Systems, Cambridge Univ. Press, Cambridge, U. K. (1916); reprinted with a foreword by P. Roberts, Cambridge Univ. Press, London and New York (1994). [15] T. Maeno, J. Watanabe - Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials, Illinois J. Math. 53 (2009) 593–603. [16] U. Perazzo - Sulle variet`a cubiche la cui hessiana svanisce identicamente, Giornale di Matem- atiche (Battaglini) 38 (1900), 337–354. [17] R. Stanley - Hilbert functions of graded algebras, Adv. in Math. 28 (1978), 57–83. [18] R. Stanley - Weyl groups, the hard Lefschetz theorem, and the Sperner property, SIAM J. Algebraic Discrete Methods 1 (1980) 168-184. [19] R. Stanley - Log-concave and unimodal sequences in algebra, combinatorics, and geometry, Graph theory and its applications (1986) 500–535. [20] J. Watanabe - A remark on the Hessian of homogeneous polynomials, Pure and Appl. Math. 119 (2000) 171–178. Scuola Politecnica e delle Scienze di Base, Universita degli Studi di Napoli “Fed- erico II”, corso Protopisani Nicolangelo 70, Napoli (Italy), C.A.P. 80146; armando.capasso@unina.it Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Universita degli Studi di Udine, via delle Scienze 206, Udine (Italy) C.A.P. 33100; pietro.depoi@uniud.it Dipartimento di Matematica ed Applicazioni “R. Caccioppoli”, Universita degli Studi di Napoli “Federico II”, via Cintia 21, Napoli (Italy) C.A.P. 80126; giovanna.ilardi@unina.it http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

CW-complex Nagata Idealizations

Capasso, Armando; De Poi, Pietro; Ilardi, Giovanna
Mathematics , Volume 2020 (2005) – May 4, 2020
Download PDF
19 pages

Loading next page...
 
/lp/arxiv-cornell-university/cw-complex-nagata-idealizations-QZOPabodV7
ISSN
0196-8858
eISSN
ARCH-3343
DOI
10.1016/j.aam.2020.102079
Publisher site
See Article on Publisher Site

Abstract

ARMANDO CAPASSO, PIETRO DE POI, AND GIOVANNA ILARDI Abstract. We introduce a construction which allows us to identify the el- ements of the skeletons of a CW-complex P (m) and the monomials in m variables. From this, we infer that there is a bijection between finite CW- subcomplexes of P (m), which are quotients of finite simplicial complexes, and certain bigraded standard Artinian Gorenstein algebras, generalizing previous constructions of Faridi and ourselves. We apply this to a generalization of Nagata idealization for level algebras. These algebras are standard graded Artinian algebras whose Macaulay dual generator is given explicitly as a bigraded polynomial of bidegree (1, d). We consider the algebra associated to polynomials of the same bidegree (d , d ). 1 2 Introduction Let X = V (f) ⊂ P be a hypersurface, where the underlying field K has char- acteristic 0; the Hessian determinant of f (which we call the Hessian of f or the Hessian of X) is the determinant of the Hessian matrix of f. Hypersurface with vanishing Hessian were studied for the first time in 1851 by O. Hesse; he wrote two papers ([12, 13]) according to which these hypersurfaces should be necessarily cones. In 1876 Gordan and Noether ([9]) proved that Hesse’s claim is true for N ≤ 3, and it is false for N ≥ 4. They and Franchetta classified all the counterexamples to Hesse’s claim in P (see [9, 4, 5, 7]). In 1900, Perazzo classified cubic hypersurfaces with vanishing Hessian for N ≤ 6 ([16]). This work was studied and generalized in [6], and the problem is still open in spaces of higher dimension. Hessians of higher degree were introduced in [15] and used to control the so called Strong Lefschetz Properties (for short, SLP). The Lefschetz properties have attracted a great attention in the last years. The basic papers of the algebraic theory of Lefschetz properties were the original ones of Stanley [17, 18, 19] and the book of Watanabe and others [10]. An algebraic tool that occurs frequently in these papers is the Nagata Idealiza- tion: it is a tool to convert any module M over a (commutative) ring (with unit) R to an ideal of another ring R ⋉ M. The starting point is the isomorphism be- tween the idealization of an ideal I = (g , . . . , g ) of K[u , . . . , u ] and its level 0 n 1 m algebra see [10, Definition 2.72]. In this way, the new ring is a Standard Graded Date: June 29, 2020. 2010 Mathematics Subject Classification. Primary 13A30, 05E40; Secondary 57Q05, 13D40, 13A02, 13E10. Key words and phrases. Lefschetz properties, Artinian Gorenstein Algebra, Nagata idealiza- tion, CW-complex. P.D.P. & G.I. are members of INdAM - GNSAGA and P.D.P is supported by PRIN2017 “Advances in Moduli Theory and Birational Classification”. arXiv:2005.01501v2 [math.AC] 26 Jun 2020 2 Introduction Artinian Gorenstein Algebra (SGAG algebra, for short). An explicit formula for the Macaulay generator f is: f = x g + · · · + x g ∈ K[x , . . . , x , u , . . . , u ] . 0 0 n n 0 n 1 m (1,d) A generalization of this construction is to consider polynomials of the form: d d f = x g + · · · + x g ∈ K[x , . . . , x , u , . . . , u ] ; 0 n 0 n 1 m 0 n (d,d+1) these are called Nagata polynomials of degree d. The Lefschetz properties for the relevant associated algebras A, the geometry of Nagata hypersurfaces of degree d, the interaction between the combinatorics of f and the structure of A were studied in [1], where the g ’s are square free monomials, using a simplicial complex associated to f. In this paper we use the CW-complexes, to study Nagata polynomials of bidegree (d , d ). We study the Hilbert vector and we give a complete description of the ideal 1 2 I for every case, also if the g ’s are not square free monomials. The geometry of the Nagata hypersurface is very similar to the geometry of the hypersurfaces with vanishing Hessian. More precisely, we introduce a new Construction 3.10 which allows us to identify each (monic) monomial of degree d in m variables with an element of the (d − 1)- skeleton of a CW-complex that we call P (m). This CW-complex is constructed by generalizing the construction introduced in [3] which associates to a (monic) square-free monomial in m variables of degree d a unique (d− 1)-cell of the simplex of dimension m − 1, and vice versa. We consider an h-power u as a product of h linear forms: u˜ · · · u˜ ; this corresponds to a (h − 1)-simplex, and we identify all 1 h the δ-faces, with δ < h − 1, of this simplex to just one δ-face, recursively, starting from δ = 0 to δ = h − 2: for δ = 0 we identify all the points to one, then if δ = 1 we obtain a bouquet of h-circles, and we identify all these circles, and so on. Generalizing this construction to a general monic monomial and attaching the corresponding CW-complexes along the common skeletons, we obtain P (m). The paper is organized as follows: in Section 1 we recall some generalities about graded Artinian Gorenstein Algebras and Lefschetz Properties, with their connec- tions with the vanishings of higher order Hessians. In Section 2 we recall what the Nagata idealization is, what we intend for a higher Nagata idealization and we show its connection with the Lefschetz Properties for bihomogeneous polynomials. Section 3 is the core of this article. After recalling generalities about bigraded algebras and the topological definitions that we need, we give the construction of the CW-complex P (m); then, we apply it to the Nagata polynomials ( Definition 2.5) in Theorems 3.16 and 3.18, which give Theorem 3.16 a precise description of the Artinian Gorenstein Algebra associated to a Nagata polynomial and Theorem 3.18 the generators of the annihilator of the polynomial. We show that from these theorems a generalization of the principal results of [1] follows: Corollaries 3.17 and 3.19. We think that the study of the Nagata hypersurfaces can be—among other things—a useful tool for the classification of the hypersurfaces with vanishing Hes- sian in P . Acknowledgments. We thank the anonymous referee for the careful reading and the valuable suggestions. Notations. In this the paper we fix the following notations and assumptions: Graded Artinian Gorenstein Algebras and Lefschetz Properties 3 • K is a field of characteristic 0. • R := K[x , . . . , x ] will always be the ring of polynomials in n + 1 variables 0 n x , . . . , x . 0 n • Q := K[X , . . . , X ] will be the the ring of differential operators of R, where 0 n X = . ∂x • The subscript of a graded K-algebra will indicate the part of that degree; R is the K-vector space of the homogeneous polynomials of degree d, and Q the K-vector space of the homogeneous differential operators of order δ. 1. Graded Artinian Gorenstein Algebras and Lefschetz Properties 1.1. Graded Artinian Gorenstein Algebras are Poincar´e Algebras. Definition 1.1. Let I be a homogeneous ideal of R such that A = R/I = A is i=0 a graded Artinian K-algebra, where A 6= 0. The integer d is the socle degree of A. The algebra A is said standard if it is generated in degree 1. Setting h = dim A , i K i the vector Hilb(A) = (1, h , . . . , h ) is called Hilbert vector of A. Since I = 0, then 1 d 1 h = n + 1 is called codimension of A. We also recall the following definitions. Definition 1.2. A graded Artinian K-algebra A = A is a Poincar´e algebra i=0 if ·: A × A → A is a perfect pairing for i ∈ {0, . . ., d}. i d−i d Definition 1.3. A graded Artinian K-algebra A is Gorenstein if (and only if) dim A = 1 and it is a Poincar´e algebra. K d Remark 1.4. The Hilbert vector of a Poincar´e algebra A is symmetric with respect to h , that is Hilb(A) = (1, h , h , . . . , h , h , 1). d 1 2 2 1 1.2. Graded Artinian Gorenstein Quotient Algebras of Q. For any d ≥ δ ≥ 0 there exists a natural K-bilinear map B : R × Q → R defined by differenti- d δ d−δ ation B(f, α) = α(f) Definition 1.5. Let I = hf , . . . , f i—where f , . . . , f are forms in R—be a finite 1 ℓ 1 ℓ dimensional K-vector subspace of R. The annihilator of I in Q is the following homogeneous ideal Ann(I) := {α ∈ Q | ∀f ∈ I, α(f) = 0}. In particular, if I is generated by a homogeneous element f, we write Ann(I) = Ann(f). Let A = Q/ Ann(f), where f is homogeneous. By construction A is a standard graded Artinian K-algebra; moreover A is Gorenstein. Theorem 1.6 ([14], §60ff, [15], Theorem 2.1). Let I be a homogeneous ideal of Q such that A = Q/I is a standard Artinian graded K-algebra. Then A is Gorenstein if and only if there exist d ≥ 1 and f ∈ R such that A Q/ Ann(f). d 4 Graded Artinian Gorenstein Algebras and Lefschetz Properties Remark 1.7. Using the notation as above, A is called the SGAG K-algebra associ- ated to f. The socle degree d of A is the degree of f and the codimension is n + 1, since I = 0. 1.3. Lefschetz Properties and the Hessian Criterion. Let A = A be a i=0 graded Artinian K-algebra. Definition 1.8. If there exists an L ∈ A such that: (1) The multiplication map ·L: A → A is of maximal rank for all i, then A i i+1 has the Weak Lefschetz Property (WLP, for short); (2) The multiplication map ·L : A → A is of maximal rank for all i and k, i i+k then A has the Strong Lefschetz Property (SLP, for short); Definition 1.9. Let A be the SGAG K-algebra associated to an element f ∈ R , and let B = {α ∈ A | j ∈ {1, . . ., σ }} be an ordered K-basis of A . The k-th k j k k k Hessian matrix of f with respect to B is k k Hess = (α α (f)) . i j i,j=1 The k-th Hessian of f with respect to B is hess = det Hess . f f Theorem 1.10 ([20] Theorem 4). An element L = a X + · · · + a X ∈ A 0 0 n n 1 is a strong Lefschetz element of A if and only if hess (a , . . . , a ) 6= 0 for all 0 n k ∈ 0, . . . , . In particular, if for some k one has hess = 0, then A does not have SLP. 2. Higher Order Nagata Idealization 2.1. Nagata Idealizations. Definition 2.1. Let A be a ring and let M be an A-module. The Nagata idealiza- tion A⋉ M of M is the ring with underlying set A × M and operations defined as follow: (r, m) + (s, n) = (r + s, m + n), (r, m) · (s, n) = (rs, sm + rn). 2.1.1. Bigraded Artinian Gorenstein Algebras. Let A = A be a SGAG K- i=0 algebra, it is bigraded if: A = A K, A = A for i ∈ {0, . . . , d − 1}, d (d ,d ) i (i,h−i) 1 2 h=0 since A is a Gorenstein ring, and the pair (d , d ) is said the socle bidegree of A. In 1 2 this case we call A an SBAG algebra. Remark 2.2. By Definition 1.3, A A = Hom (A ,K) and since the duality i K d−i d−i commutes with direct sums, one has A A for any pair (i, j). (i,j) (d −i,d −j) 1 2 ♦ Higher Order Nagata Idealization 5 We fix notation as in Theorem 2.4: • S := R⊗ K[u , . . . , u ] = K[x , . . . , x , u , . . . , u ] is the bigraded ring of K 1 m 0 n 1 m polynomials in m + n + 1 variables x , . . . , x , u , . . . , u ; 0 n 1 m • We have chosen the natural bigrading of S: x has bidegree (1, 0) and u i j has bidegree (0, 1); • Define S to be the K-vector space of bihomogeneous polynomials f (d ,d ) 1 2 of bidegree (d , d ); that is, f can be written as a b , where a ∈ R = 1 2 i i i d i=0 K[x , . . . , x ] and b ∈ K[u , . . . , u ] . 0 n d1 i 1 m d2 • T := Q ⊗ K[U , . . . , U ] = K[X , . . . , X , U , . . . , U ] is the (bigraded) K 1 m 0 n 1 m ∂ ∂ ring of differential operators of S, where X = and U = ; X has i j i ∂x ∂u i j bidegree (1, 0) and U has bidegree (0, 1). A homogeneous ideal I of S is a bihomogeneous ideal if: I = I , where ∀i, j ∈ N , I = I ∩ S . ≥0 (i,j) (i,j) (i,j) i,j=0 Let f ∈ S , then I = Ann(f) is a bihomogeneous ideal and using Theorem 1.6, (d ,d ) 1 2 A = T/(Ann(f)) is a SBAG K-algebra of socle bidegree (d , d ) (and codimension 1 2 m + n + 1). Remark 2.3. Using the above notations, one has: ∀i > d , j > d , I = T . 1 2 (i,j) (i,j) Indeed, for all α ∈ T with i > d , j > d , α(f) = 0; as a consequence: 1 2 (i,j) ∀k ∈ {0, . . ., d + d }, A = A . 1 2 k (i,j) 0≤i≤d 0≤j≤d i+j=k Moreover, the evaluation map α ∈ T 7→ α(f) ∈ A provides the fol- (i,j) (d −i,d −j) 1 2 lowing short exact sequence: // // // // (1) 0 I T A 0. (i,j) (i,j) (d −i,d −j) 1 2 The following theorem, which links Nagata idealizations with bihomogeneous polynomials, holds. ′ ′ Theorem 2.4 ([10], Theorem 2.77). Let S := K[u , . . . , u ] and S := R ⊗ S be 1 m K ′ ′ rings of polynomials, let T = K[U , . . . , U ] and T := Q ⊗ T be the associated 1 m K ∂ ∂ ring of differential operators, where X = and U = . Let g , . . . , g be i j 0 n ∂x ∂u i j ′ ′ ′ homogeneous elements of S of degree d, let I be the T -submodule of S generated ′ ′ by {∂(g ) ∈ R | ∂ ∈ T, i ∈ {0, . . . , n}} and let A := T / Ann(I). Define f = x g + · · · + x g ∈ R, it is a bihomogeneous polynomial of bidegree (1, d), and let 0 0 n n ′ ′ A := T/ Ann(f). Considering I as an A -module, A ⋉ I A. = 6 Higher Order Nagata Idealization 2.2. Lefschetz Properties for Higher Nagata Idealizations. Definition 2.5. A bihomogeneous polynomial f = x g ∈ S i (d ,d ) i 1 2 i=0 is called a CW-Nagata polynomial of degree d ≥ 1 if g ∈ K[u , . . . , u ], i = 1 i 1 m 0, . . . , n, are linearly independent monomials of degree d ≥ 2. m + d − 1 Remark 2.6. One needs n ≤ otherwise the g cannot be linearly independent. From now on, we assume that n satisfies this condition. We will need the following propositions. Proposition 2.7 ([5] Proposition 2.5). Let n + 1 ≥ m ≥ 2, d > d ≥ 1 and 2 1 m + d − 1 s > ; for any j ∈ {1, . . . , s}, let f ∈ S , g ∈ S . Then the j j (d ,0) (0,d ) 1 2 form f = f g + · · · + f g of degree d + d satisfies 1 1 s s 1 2 hess = 0; that is, A = T/ Ann(f) does not have the SLP condition. Proposition 2.8 ([1] Proposition 2.7). Let n + 1 ≥ m ≥ 2, d ≥ d . Then 1 2 L = X is a Weak Lefschetz Element; that is, A = T/ Ann(f) has the WLP i=0 condition. 3. CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 Let S and T be as in the previous subsection. Definition 3.1. A bihomogeneous CW-Nagata polynomial f = x g ∈ S i (d ,d ) i 1 2 i=0 is called a simplicial Nagata polynomial of degree d if the monomials g are square 1 i free. Remark 3.2. One needs n ≤ otherwise the g cannot be square free. 3.1. CW-complexes and bihomogeneous polynomials. 3.1.1. Abstract finite simplicial complexes. Definition 3.3. Let V = {u , . . . , u } be a finite set. An abstract simplicial 1 m complex Δ with vertex set V is a subset of 2 such that (1) ∀u ∈ V ⇒ {u} ∈ Δ, (2) ∀σ ∈ Δ, τ $ σ, τ 6= ∅ ⇒ τ ∈ Δ. CW-complex Nagata Idealization of bidegree (d , d ) 7 1 2 The elements σ of Δ are called faces or simplices; a face with q + 1 vertices is called q-face or face of dimension q and one writes dim σ = q; the maximal faces (with respect to the inclusion) are called facets; if all facets have the same dimension d ≥ 1 then one says that Δ is of pure dimension d. The set Δ of faces of dimension at most k is called k-skeleton of Δ. 2 is called simplex (of dimension m − 1). Remark 3.4. (1) (cfr. [1, Remark 3.4]) There is a natural bijection, introduced in [3], between the square free monomials, of degree d, in the variables u , . . . , u and the 1 m (d−1)-faces of the simplex 2 , with vertex set V = {u , . . . , u }. In fact, a 1 m square free monomial g = u · · · u corresponds to the subset {u , . . . , u } i i i i 1 d 1 d of 2 . Vice versa, to any subset F of V with d elements one associates the free square monomial m = u of degree d. F i u ∈F (2) Let f = x g ∈ S be a simplicial Nagata polynomial; by hypoth- (d ,d ) i 1 2 i=0 esis there is bijection between the monomials g and the indeterminates x . From this, we can associate to f a simplicial complex Δ with vertices i f u , . . . , u where the facet which corresponds to g is identified with x . 1 m i 3.1.2. CW-complexes. For the topological background, we refer to [11]. We start by fixing some notations. Definition 3.5. Let k ∈ N . A topological space e homeomorphic to the open ≥1 k 2 2 (unitary) ball {(x , . . . , x ) ∈ R | x + · · · + x < 1} of dimension k (with the 1 k 1 k k+1 natural topology induced by R ) is called a k-cell. Its boundary, i.e. the (k − 1)- k−1 k 2 2 dimensional sphere will be denoted byS = {(x , . . . , x ) ∈ R | x +· · ·+x = 1} 1 k 1 k and its closure, i.e. the closed (unitary) k-dimensional disk will be denoted by k k 2 2 D := {(x , . . . , x ) ∈ R | x + · · · + x ≤ 1}. 1 k 1 k We recall the following Definition 3.6. A CW-complex is a topological space X constructed in the fol- lowing way: (1) There exists a fixed and discrete set of points X ⊂ X, whose elements are called 0-cells; k k−1 (2) Inductively, the k-skeleton X of X is constructed from X by attaching k k k−1 k−1 k-cells e (with index set A ) via continuous maps ϕ : S → X (the α α α k k k−1 k attaching maps). This means that X is a quotient of Y = X D α∈A under the identification x ∼ ϕ (x) for x ∈ ∂D ; the elements of the k- skeleton are the (closure of the) attached k cells; (3) X = X and a subset C of X is closed if and only if C ∩ X is closed k∈N ≥0 for any k (closed weak topology). Definition 3.7. A subset Z of a CW-complex X is a CW-subcomplex if it is the union of cells of X, such that the closure of each cell is in Z. 8 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 Definition 3.8. A CW-complex is finite if it consists of a finite number of cells. We will be interested mainly in finite CW-complexes. Example 3.9 (Geometric realization of an abstract simplicial complex). It is an obvious fact that to any simplicial complex Δ one can associate a finite CW-complex Δ via the geometric realization of Δ as a simplicial complex (as a topological space) Δ. In what follows we will always identify abstract simplicial complexes with their corresponding simplicial complexes. Construction 3.10. In Remark 3.4, we saw that to any degree d square-free mono- mial u · · · u ∈ K[u , . . . , u ] one can associate the (d − 1)-face {u , . . . , u } of i i 1 m d i i 1 d 1 d {u ,...,u } 1 m the abstract (m − 1)-dimensional simplex Δ(m) := 2 , and vice versa: if we call ρ := {f ∈ K[u , . . . , u ] | f 6= 0 is a square-free monic monomial} d 1 m d d d−1 D(m) := Δ(m) \ Δ(m) , we have a bijection σ : ρ → D(m) d d d u · · · u 7→ {u , . . . , u } . i i i i 1 d 1 d Alternatively, we can associate to u · · · u the element of the (d − 1)-skeleton i i 1 d d−1 {u , . . . , u } ∈ Δ(m) , so we have a bijection i i 1 d d−1 σ : ρ → Δ(m) d d u · · · u 7→ {u , . . . , u } i i i i 1 d 1 d between the square-free monomials and the (d−1)-faces of the (topological) simplex Δ(m). Using CW-complexes, we will extend this construction to the non-square-free 1 j monic monomials. We proceed as follows. Let g := u · · · u be a generic 1 m degree d := j + · · · + j monomial. Consider the following finite set: W := 1 m n o 1 1 1 j W u , . . . , u , . . . , u , . . . , u , and if Δ(d) := 2 is the abstract associated (fi- 1 1 m m nite) simplex, we consider the corresponding (topological) simplex (which is a CW- complex) Δ(d). If j ≤ 1 we do nothing, while if j ≥ 2, we recursively identify, for ℓ varying k k n o 1 k u ,...,u k k ] from 0 to j − 2, the ℓ-faces of the subsimplex 2 ⊂ Δ(d): start with ℓ = 0, and we identify all the j points to one point—call it u . Then, for ℓ = 1, we k k j +1 k 1 obtain a bouquet of circles, and we identify them in just one circle S passing n o 1 k u ,...,u k k through u , and so on, up to the facets of 2 , i.e. its j + 1 (j − 1)-faces, k k k which, by the construction, have all their boundary in common, and we identify all of them. Make all these identifications for all j , . . . , j ; in this way, we obtain a finite 1 m CW-complex X = X of dimension d − 1, with 0-skeleton X = {u | j 6= 0} ⊂ g i i CW-complex Nagata Idealization of bidegree (d , d ) 9 1 2 {u , . . . , u }, obtained from the (d − 1)-dimensional simplex Δ(d), with the above 1 m identification. In this way, we obtain a finite CW-complex X = X of dimension d − 1, with 0- skeleton X = {u | j 6= 0} ⊂ {u , . . . , u }, obtained from the (d − 1)-dimensional i i 1 m simplex Δ(d), with the above identification. Under this identification each closure n o k 1 of a (j − 1)-cell u , . . . , u becomes a point if j = 1, a circle S if j = 2, a k k k k k topological space with fundamental group Z if j = 2 (i.e. it is not a topological 3 k j −1 j −1 k k surface), etc. We will denote these spaces in what follows by ǫ , i.e. ǫ k k corresponds to u , and vice versa: 1 j Proposition 3.11. Every power in u · · · u (up to a permutation of the vari- 1 m j −1 ables) corresponds to a ǫ , and vice versa. j −1 We can see X as a (d − 1)-dimensional join between these spaces ǫ and the ^ ∼ ] span of the 0-skeleton X i.e. the simplex S ⊂ Δ(m) associated to it; S = Δ(ℓ), X X where ℓ = #X ≤ m. Remark 3.12. This last observation suggests we consider an alternative construc- tion: recall that the cellular decomposition of the real projective space is obtained n−1 attaching a single cell at each passage; indeed, P is obtained from P by attach- R R n−1 n−1 n−1 ing one n-cell with the quotient projection ϕ : S → P as the attaching map. Then, to each power u we associate a real projective space of dimension j − 1 j −1 j −1 j j −1 k k k 0 k P and immersions i : P ֒→ P ; so P = u ∈ P . k−1 k k k k k k j j −1 1 j k Finally, to g = u · · · u we associate the join between the P and the S 1 m k defined above; if we call this join by X , we can proceed in an equivalent way, by j −1 j −1 k k changing ǫ with P . k k It is clear how to glue two of these finite CW-complexes—say X = X j j 1 m u ···u and Y = Y , of degree d = j +· · ·+j and d = k +· · ·+k —along Δ(m): k k 1 m 1 m 1 m u ···u ^ ^ we simply attach X and Y via the inclusion maps S ⊂ Δ(m) and S ⊂ Δ(m), X Y where S and S are the simplexes associated to, respectively, X and Y . X Y Finally, taking all these finite CW-complexes together, we obtain a CW-complex P in the following way: C := X j j P (m) := C/∼ 1 m u ···u 1 m u ···u ∈K[u ,...,u ] m 1 m where ∼ is the equivalence relation induced by the above gluing. Proposition 3.13. There is bijection between the monomials of degree d in K[u , . . . , u ] 1 m and the elements of the (d − 1)-skeleton of P (m). In other words, if we define ρ := {f ∈ K[u , . . . , u ] | f 6= 0 is a monic monomial} 1 m d d 10 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 we have a bijection, using the above notation ′ ′ σ : ρ → P (m) d−1 d d 1 j u · · · u 7→ X j j . 1 m u ···u 1 k j 1 k m m Proposition 3.14. X j ⊂ X k if and only if u · · · u divides u · · · u . j k 1 m 1 m 1 m 1 m u ···u u ···u m m 1 1 Let f = x g ∈ S be a CW-Nagata polynomial; by hypothesis there is i (d ,d ) i 1 2 i=0 bijection between the monomials g and the indeterminates x . From this, we can i i associate to f a finite (d − 1)-dimensional, CW-subcomplex of P (m), Δ where 2 f the (d −1)-skeleton is given by the X ’s glued together with the above procedure. 2 g Each X can be identified with x as before. i i The previous construction generalizes the analogous one given in [1]. 3.2. The Hilbert Function of SBAG Algebras. The first main result of this paper is the following general theorem. Remark 3.15. In order to state it, we observe that the canonical bases of S = K[x , . . . , x ] ⊗K[u , . . . , u ] (d ,d ) 0 n d 1 m d 1 2 1 2 and T = K[X , . . . , X ] ⊗K[U , . . . , U ] (d ,d ) 0 n d1 1 m d2 1 2 given by monomials are dual bases each other, i.e. j i ,...,i ,j ,...,j k k ℓ ℓ i i 1 j 0 n 1 m 0 n 1 m 0 n m X · · · X U · · · U (x · · · x u · · · u ) = δ 0 n 1 m 0 n 1 m k ,...,k ,ℓ ,...,ℓ 0 n 1 m where i + · · · + i = k + · · · + k = d , j + · · · + j = ℓ + · · · + ℓ = d and 0 n 0 n 1 1 m 1 m 2 i ,...,i ,j ,...,j 0 n 1 m δ is the Kronecker delta. k ,...,k ,ℓ ,...,ℓ 0 n 1 m This simple observation allows us to identify—given a CW-Nagata polynomial f = x g ∈ S — the dual differential operator G of the monomial g — r (d ,d ) r r r 1 2 r=0 i.e. the monomial G ∈ K[U , . . . , U ] such that G (g ) = 1 and G (g) = 0 for r 1 m d r r r any other monomial g ∈ K[u , . . . , u ] —with the same element of the (d − 1)- 1 m d 2 skeleton of Δ associated to g . In other words, we associate to g = u · · · u f r r 1 m 1 j and to G = U · · · U the CW-subcomplex of Δ ⊂ P (m), X j . r f 1 m 1 m u ···u d 1 j 1 m Theorem 3.16. Let f = x g ∈ R , with g = u · · · u , be a CW- r r r (d ,d ) m 1 2 1 r=0 Nagata polynomial of (positive) degree d , where n ≤ , let Δ be the CW- 1 f complex associated to f and let A = Q/ Ann(f). Then d=d +d 1 2 A = A h=0 where A = A ⊕ · · · ⊕ A ⊕ · · · ⊕ A , p ≤ d , q ≤ d , A = A h (h,0) (p,q) (0,h) 1 2 d (d ,d ) 1 2 CW-complex Nagata Idealization of bidegree (d , d ) 11 1 2 and moreover, ∀j ∈ {0, 1, . . ., d }, f i = 0 f i ∈ {1, . . ., d − 1}, dim A = a = i,j j,r 1 (i,j) r=0 f i = d d −j 1 where: • f is the number of the elements of the (j − 1)-skeleton of the CW-complex Δ (with the convention that f = 1); f 0 • f is the number of the elements of the (j −1)-skeleton of the CW complex j,r X (with the convention that f = 1, so that dim A = n + 1). G 0,r r (i,0) More precisely, a basis for A , ∀j ∈ {0, 1, . . ., d }, is given by (i,j) 1 s (1) If i = 0, {Ω , . . . , Ω }, where any Ω := U · · · U , with s +· · ·+s = j, 1 f s 1 m j 1 m s s is associated to the element X 1 m of the (j − 1)-skeleton of Δ ; u ···u i,s ,...,s i,s ,...,s i 1 m 1 m (2) If i = 1, . . . , d − 1, Ω where Ω := X · 1 s∈{0,...,n} s s s s ≤,r ,k=1,...,m k k s =j 1 sm s s U · · · U is associated to the element X 1 m of the (j − 1)-skeleton 1 m u ···u of X ; n o 1 d (3) If i = d , X Ω (f), . . . X Ω (f) , where Ω , . . . Ω is the ba- 1 1 f −j 1 f 0 n d d −j 2 2 sis for A of case (1). (0,d −j) In the cases (1) and (2) the basis are given by monomials, in the case (3), in general, not. Proof. We divide the proof into computing the dimension of A and find a basis (i,j) for it, as i varies: i = 0: A = K. (0,0) Then, by definition, if j ∈ {1, . . . , d }, A is generated by the (canon- 2 (0,j) ical images of the) monomials Ω ∈ Q = K[U , . . . , U ] = Q that do s j 1 m j (0,j) not annihilate f. This means that, if we write s s 1 m Ω = U · · · U s + · · · + s = j, s 1 m s s ′ ′ 1 m there exists an r ∈ {0, . . . , n} such that g = u · · · u g , where g ∈ s r s 1 m rs rs s s R is a (nonzero) monomial; this means that X 1 m is an element of d −j u ···u the (j − 1)-skeleton of the CW-complex Δ by Proposition 3.14. We need to prove that these monomials are linearly independent over K: let {Ω , . . . , Ω } be a system of monomials of Q , where any Ω = 1 f (0,j) s s s 1 m U · · · U with s + · · · + s = j, is associated to an element of the 1 m 1 m (j − 1)-skeleton of the CW-complex Δ ; take a linear combination of them and apply it to f: f f f j j n n j X X X X X d d 1 1 0 = c Ω (f) = c x Ω (g ) = x c Ω (g ). s s s s r s s r r r s=1 s=1 r=0 r=0 s=1 By the linear independence of the x ’s (2) c Ω (g ) = 0, ∀r ∈ {0, . . ., n}. s s r s=1 12 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 By hypothesis, for any index s there exists an r ∈ {0, . . ., n} such that Ω (g ) = g ∈ R \ {0}, then for any index s one has c = 0, since the s r d −j s s r 2 linear combinations in (2) are formed by linearly independent monomials (g is fixed in each linear combination!). In other words, dim A = f . r (0,j) j 0 < i < d : Observe that X X (f) = 0 if a 6= b. Therefore A is generated by the 1 a b (i,j) i,s1,...,sm i 1 sm only (canonical images of) the monomials Ω := X U · · · U ∈ s s 1 m Q , with s + · · · + s = j, that do not annihilate f. In particular, a (i,j) 1 m i i basis for A is given by X , . . . , X and we can suppose from now on (i,0) 0 n that j > 0. Since i,s ,...,s d −i s s 1 m 1 1 m Ω (f) = x (U · · · U ) (g ), s s 1 m 1 s ′ in order to obtain that this is not zero, we must have that g = u · · · u g , 1 m s s s where g ∈ R is a nonzero monomial. This means X 1 m ⊂ X by d −j g s 2 u ···u s Proposition 3.14. As above, we can prove that these monomials are linearly independent over K: let i,s ,...,s 1 m s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j i,s ,...,s i 1 s 1 m m be a system of monomials of Q , where any Ω = X ·U · · · U (i,j) s s 1 m is associated to the element X 1 sm of the (j − 1) skeleton of X ⊂ Δ , g f u ···u s s s i.e. X 1 m ⊂ X ⊂ Δ by Proposition 3.14. gs f u ···u Take a linear combination of them and apply it to f: (3) X X X i,s1,...,sm i,s1,...,sm d1−i i,s1,...,sm i,s1,...,sm 0 = c Ω (f) = x c g s s s s s=0 s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j s ≤,r ,k=1,...,m k k k k s =j i,s ,...,s 1 s i,s ,...,s 1 m m 1 m where g ∈ R is the nonzero monomial such that g = u · · · u g . d −j s s 2 1 m s From (3) we deduce, as in the preceding case, that i,s ,...,s i,s ,...,s 1 m 1 m (4) c g = 0 s = 0, . . . , n; s s s ≤,r ,k=1,...,m k k s =j as before, given one choice of s , . . . , s there exists an s ∈ {0, . . . , n} such 1 m i,s ,...,s i,s ,...,s 1 m 1 m g (f) is a nonzero monomial, and the (nonzero) g ’s in (4) s s are linearly independent since are obtained by a fixed g . i = d : By duality, see Remark 2.2, A = A so dim A = f . 1 d −j (d ,j) (d ,j) 2 1 (0,d −j) 1 To find a basis for A , we consider the exact sequence (1) given by (d ,j) evaluation at f, which in this case reads (5) 0 → I → Q → A → 0, (0,d −j) (0,d −j) (d ,j) 2 2 1 then a basis for A is obtained in the following way: if {Ω , . . . Ω } 1 f (d1,j) d −j is the basis for A Q /I of the case i = 0, then a basis (0,d −j) (0,d −j) (0,d −j) 2 2 2 n o 1 d for A is X Ω , . . . , X Ω (f) . (d ,j) 1 f −j 1 0 n d CW-complex Nagata Idealization of bidegree (d , d ) 13 1 2 As a corollary of Theorem 3.16 we see that we can deduce the general case of the simplicial Nagata polynomial, which is a slight improvement of the first part of [1, Theorem 3.5]. Corollary 3.17. Let f = x g ∈ R , with g = x · · · x , be a simplicial r (d ,d ) r r r r 1 2 1 d r=0 Nagata polynomial of (positive) degree d , where n ≤ , let Δ be the simplicial 1 f complex associated to f and let A = Q/ Ann(f). Then d=d +d 1 2 A = A h=0 where A = A ⊕ · · · ⊕ A ⊕ · · · ⊕ A , p ≤ d , q ≤ d , A = A h (h,0) (p,q) (0,h) 1 2 d (d ,d ) 1 2 and moreover, ∀j ∈ {0, 1, . . ., d }, f i = 0  j dim A = a = f i ∈ {1, . . ., d − 1}, j,r 1 (i,j) i,j r=0 f i = d d −j 1 where: • f is the number of (j−1)-cells of the Δ (with the convention that f = 1); j f 0 • f is the number of (j − 1)-subcells of Δ , i.e. the (d − 1)-cell of the j,r g 2 Δ associated to g (with the convention that f = 1, so that dim A = f r 0,r (i,0) n + 1). More precisely, a basis for A , ∀j ∈ {0, 1, . . ., d }, is given by (i,j) 2 (1) If i = 0, {Ω , . . . , Ω }, where any Ω := U · · · U is associated to the 1 f s s s j 1 j (j − 1)-subcell {u , . . . , u } of Δ ; s s f 1 j n o i,s ,...,s i,s ,...,s 1 j 1 j (2) If i = 1, . . . , d −1, Ω where Ω := X U · · · U s s 1 s∈{0,...,n} s s s 1 j s ,...,s ∈ r ,...,r 1 j { 1 } is associated to the (j − 1)-subcell {u , . . . , u } of Δ (⊂ Δ ); s1 sj gs f n o d d 1 1 (3) If i = d , X Ω (f), . . . X Ω (f) , where {Ω , . . . Ω } is the ba- 1 1 f −j 1 f 0 n d d −j 2 2 sis for A of case (1). (0,d −j) In the cases (1) and (2) the bases are given by monomials, in the case (3), in general, not. d r r 1 1 m Theorem 3.18. Let f = x g ∈ S , with g = x · · · x such that r r r (d ,d ) m 1 2 1 r=0 r + · · · + r = d , be a CW-Nagata polynomial whose associated CW-complex is 1 m 2 Δ , as in the preceding theorem. Then I := Ann(f) is generated by: d1+1 (1) X X and X , for i, j, k ∈ {0, . . ., n}, i < j; i j d +1 (2) hU , . . . , U i , i.e. all the (monic) monomials of degree d + 1; 1 m 2 14 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 1 s (3) The monomials U · · · U such that s + · · · + s = j, where X 1 m 1 m 1 m u ···u is a (minimal) element of the (j −1)-skeleton of P (m) not contained in Δ (for j ∈ {1, . . . , d }); (4) The monomials X U , where u does not divide g (i.e. {u } is not an r i i r i element of the 0-skeleton of X ); r r 1 r 1 r m m (5) The monomials X U · · · U such that r +· · ·+r = j, where u · · · u s 1 m 1 m 1 m is minimal among those that do not divide g (i.e. the (minimal) element of the (j − 1)-skeleton of P (m), X r , is not contained in X ), for 1 m u ···u s j ∈ {1, . . ., d }; ρ σ d 1 ρ d 1 σ 1 m 1 m (6) The binomials X U · · · U − X U · · · U with ρ + · · · + ρ = 1 m r 1 m s 1 m 1 ρ σ + · · · + σ = j such that g = GCD(g , g ) and g = u · · · u g , 1 m r,s r s r r,s 1 m 1 σ g = u · · · u g (i.e. X is the element of the (d − j − 1)-skeleton of s r,s g 2 1 m r,s Δ which represents the intersection of X and X : X = X ∩ X ). f g g g g g r s r,s r s Proof. Let A := T/I, where T = K[X , . . . , X , U , . . . , U ]. 0 n 1 m By Theorem 3.16, (1) a basis for A , ∀j ∈ {1, . . . , d }, is {Ω , . . . , Ω }, where (0,j) 2 1 f 1 s s s Ω := U · · · U , with s + · · · + s = j, is associated to the element X 1 m s 1 m 1 m u ···u of the (j − 1)-skeleton of Δ . Therefore, using the identification introduced in 1 s Remark 3.15,a basis for I is given by the monomials U · · · U such that (0,j) 1 m s + · · · + s = j, where X 1 sm is an element of the (j − 1)-skeleton of P (m) 1 m u ···u not contained in Δ (for j ∈ {1, . . ., d }); f 2 d +1 i 1 1 i Observe that X X (f) = 0 if i 6= j and X (f) = 0 = U · · · U (f) with i j 1 m i = d + 1, for degree reasons. Set j 2 j=1 d +1 1 d +1 d +1 1 2 β := (X X , . . . , X X , X , . . . , X , hU , . . . , U i ); 0 1 n−1 n 1 m 0 n T I this is a homogeneous ideal such that β ⊂ I and A / . β β By Theorem 3.16, (2), if i = 1, . . . , d − 1, a basis for A ∀j ∈ {1, . . . , d }, is 1 (i,j) 2 given by i,s ,...,s 1 m s∈{0,...,n} s ≤,r ,k=1,...,m k k s =j i,s ,...,s i 1 s 1 m m where Ω := X · U · · · U is associated to the element X s of the 1 m s s 1 m u ···u (j − 1)-skeleton of X . Again using the identification introduced in Remark 3.15, a basis for (i,j) is given by i 1 s • The monomials X U · · · U such that s +· · ·+s = j, with r 6= s, where 1 m r 1 m 1 s u · · · u divides g (i.e. X 1 sm is an element of the (j − 1)-skeleton 1 m u ···u of X ), for i = 1, . . . , d − 1, and g 1 r r i 1 r 1 r m m • The monomials X U · · · U such that r +· · ·+r = j, where u · · · u 1 m s 1 m 1 m does not divide g (i.e. the element of the (j − 1)-skeleton of P (m), X 1 m , is not contained in X ), u ···u s for j ∈ {1, . . . , d }. It remains to find the generators of I of bidegree (d , j), with j ∈ {1, . . ., d }. 1 2 This is more complicated since the generators of A are not monomials. Let (d ,j) γ be the homogeneous ideal generated by the monomials of the cases (1), (2), (3), (3.2) and (3.2), i.e. the generators that we have found so far. We have β ⊂ γ ⊂ I CW-complex Nagata Idealization of bidegree (d , d ) 15 1 2 and the exact sequence (1) given by evaluation at f becomes 0 → → → A → 0, (0,d −j) γ γ (d ,j) (d ,j) 1 1 T I since we identify A / . Then, if ρ + · · · + ρ = σ + · · · + σ = j, 1 m 1 m γ γ ρ σ ρ d 1 ρ d 1 σ T d 1 ρ 1 m 1 m 1 m X U · · · U −X U · · · U ∈ is in if and only if X U · · · U = r 1 m s 1 m r 1 m (d ,j) (d1,j) σ ρ σ d 1 σ 1 ρ 1 σ 1 m m m X U · · · U ∈ A , which means U · · · U (g ) = U · · · U (g ). Since r s s 1 m (0,d2−j) 1 m 1 m 1 s A is generated by the monomials Ω := U · · · U , with s + · · · + s = s 1 m (0,d2−j) 1 m d − j, associated to the elements of the (d − j − 1)-skeleton of Δ , we obtain case 2 2 f (6). As we have done for Theorem 3.16, we give, as a corollary of Theorem 3.18 the case of the simplicial Nagata polynomial, giving an improvement of the second part of [1, Theorem 3.5]; we also correct that statement, since the authors forgot the generators X X , i 6= j. i j Corollary 3.19. Let f = x g ∈ R , with g = x · · · x , be a simplicial r r r r r (d ,d ) 1 1 2 d r=0 Nagata polynomial whose associated simplicial complex is Δ , as in the preceding theorem. Then I := Ann(f) is generated by: d +1 (1) X X and X , for i, j, k ∈ {0, . . ., n}, i < j; i j 2 2 (2) U , . . . , U ; 1 m (3) The monomials U · · · U , where {u , . . . , u } is a (minimal) (j − 1)-cell s s s s 1 j 1 j {u ,...,u } 1 m of 2 not contained in Δ (for j ∈ {1, . . . , d }); f 2 (4) The monomials X U , where u does not divide g (i.e. {u } ∈/ Δg ); r i i s i r d d 1 1 (5) The binomials X U · · · U − X U · · · U such that g GCD(g , g ), ρ ρ σ σ r,s r s r 1 j s 1 j g = u · · · u g , g = u · · · u g (i.e. g represents the (d −j −1)- r ρ ρ r,s s σ σ r,s r,s 2 1 j 1 j face given by the intersection Δ ∩ Δ of the facets of g and g : Δ = g g r s g r s r,s Δ ∩ Δ ). g g r s Proof. We note only that we have to add the squares of case (2) although they do not correspond to cells, since the polynomials g are square-free. The rest follows from Theorem 3.18. We observe that these squares are in case (2) of Theorem 3.18. Example 3.20. Let d d d d d d d d f = x u u u +x u u u +x u u u +x u u u +x u u u +x u u u +x u u u +x u u u 1 2 3 1 2 4 1 4 5 1 3 5 2 3 6 2 4 6 4 5 6 3 5 6 0 1 2 3 4 5 6 7 be a bihomogeneous bidegree (d, 3) polynomial with d ≥ 1; it is a simplicial Nagata polynomial, whose associated simplicial complex is in the following figure: 16 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 u 0 u 4 2 5 5 We have: A = A ⊕ A ⊕ . . . ⊕ A . 0 1 d+3 We want firstly to compute the Hilbert vector by applying Corollary 3.17; first of all, a = 8 a = 6, 1,0 0,1 and therefore h = h = 1 0 d+3 h = h = a + a = 8 + 6 = 14. 1 d+2 1,0 0,1 Then, we analyze the possible cases depending on the degree d: • If d = 1, then a = 8 · 3 = 24 1,1 a = 12 0,2 h = a + a = 36 2 1,1 0,2 and the Hilbert vector is (1, 14, 36, 14, 1). • If d = 2, then, recalling bigraded Poincar´e duality, a = a = 8 a = a = 12 2,0 0,3 2,1 0,2 and therefore h = a + a + a = 8 + 8 · 3 + 12 = 44, 2 2,0 1,1 0,2 h = 0 + a + a + a = 8 + 8 · 3 + 8 = 44 3 2,1 1,2 0,3 in accordance with Poincar´e duality; so the Hilbert vector is (1, 14, 44, 44, 14, 1) (cfr. [1, Example 3.6]). • If d = 3, then, again by bigraded Poincar´e duality, a = a = 8, a = a = 8 · 3 = 24, a = a = 12, a = a = 24, a = a = 8, 3,0 0,3 2,1 1,2 3,1 0,2 2,2 1,1 1,3 2,0 therefore h = a + a + a = 44, 2 2,0 1,1 0,2 h = a + a + a + a = 64 3 3,0 2,1 1,2 0,3 h = 0 + a + a + a = 44 4 3,1 2,2 1,3 h = h in accordance with Poincar´e duality and the Hilbert vector is 2 4 (1, 14, 44, 64, 44, 14, 1). CW-complex Nagata Idealization of bidegree (d , d ) 17 1 2 • In general, let d ≥ 4; by hypothesis h = h = a + a + a = 44, d+1 2 2,0 1,1 0,2 and h = a + a + a + a ∀k ∈ {3, . . ., d}, k k,0 k−1,1 k−2,2 k−3,3 where a = 8 a = 8 · 3 = 24 a = 8 · 3 = 24 a = 8. k,0 k−1,1 k−2,2 k,3 Again using the Poincar´e duality we have: d + 3 h = h = 64 ∀k ∈ 3, . . . , d+3−k k and the Hilbert vector is (1, 14, 44, 64, . . ., 64, 44, 14, 1). Now, we want to find the generators of Ann(f), by applying Corollary 3.19. Behaviour depends on d: • If d = 1, by Corollary 3.19 Ann(f) is (minimally) generated by: 2 2 (1) hX , . . . , X i = X , X X , . . . ; 0 7 0 1 2 2 (2) U , . . . , U ; 1 6 (3) U U , U U , U U ; 1 6 2 5 3 4 (4) X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , 0 4 0 5 0 6 1 3 1 5 1 6 2 2 2 3 2 6 3 2 3 4 3 6 X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U ; 4 1 4 4 4 5 5 1 5 3 5 5 6 1 6 2 6 3 7 1 7 2 7 4 (5) X U −X U , X U −X U , X U −X U , X U −X U , X U −X U , 0 3 1 4 0 2 3 5 0 1 4 6 1 2 2 5 1 1 5 6 X U −X U , X U −X U , X U −X U , X U −X U , X U −X U , 2 4 3 3 2 1 6 6 3 1 7 6 4 3 5 4 4 2 7 5 X U − X U , X U − X U . 5 2 6 5 6 4 7 3 • If d ≥ 2, by Corollary 3.19 Ann(f) is (minimally) generated by d+1 (1) hX , . . . , X i and X X where h, k ∈ {0, . . ., 7}, h < k; 0 7 h k 2 2 (2) U , . . . , U ; 1 6 (3) U U , U U , U U ; 1 6 2 5 3 4 d d d d d d d d d d d d (4) X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , 4 5 6 3 5 6 2 3 6 2 4 6 0 0 0 1 1 1 2 2 2 3 3 3 d d d d d d d d d d d d X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U , X U ; 1 4 5 1 3 5 1 2 3 1 2 4 4 4 4 5 5 5 6 6 6 7 7 7 d d d d d d d d d (5) X U − X U , X U − X U , X U − X U , X U − X U , X U − 3 4 2 5 1 6 2 5 1 0 1 0 3 0 4 1 2 1 X U , d d d d d d d d d X U − X U , X U − X U , X U − X U , X U − X U , X U − 4 3 1 6 1 6 3 4 2 2 3 2 6 3 7 4 5 4 X U , d d d d X U − X U , X U − X U . 2 5 4 3 5 6 6 7 Example 3.21. Let d d 2 d f = x u u + x u + x u u 0 1 2 1 1 2 2 3 be a bihomogeneous bidegree (d, 2) polynomial, with d ≥ 1; it is a CW-Nagata polynomial whose CW-complex is the following: 2 18 CW-complex Nagata Idealization of Bidegree (d , d ) 1 2 We have: A = A ⊕ A ⊕ . . . ⊕ A 0 1 d+2 and we want to find its Hilbert vector; first of all, a = 3 a = 3 1,0 0,1 and therefore h = h = 1 h = h = a + a = 6. 0 d+2 1 d+1 1,0 0,1 Therefore, if d = 1, then Hilbert vector is (1, 6, 6, 1). If d = 2, we have a = 2 + 1 + 2 = 5, 1,1 so h = dim A = a + a + a = 3 + 5 + 3 = 11 2 2 2,0 1,1 0,2 and the Hilbert vector is (1, 6, 11, 6, 1). If d = 3 then, by bigraded Poincar´e duality a = a = 3 a = 3 3,0 0,2 0,3 so h = a + a + a = 11 2 2,0 1,1 0,2 h = a + a + a + a = 3 + 5 + 3 = 11 3 3,0 2,1 1,2 0,3 and the Hilbert vector is (1, 6, 11, 11, 6, 1). In general, let d ≥ 4; by hypothesis h = h = a + a + a = 11, d 2 2,0 1,1 0,2 and h = dim A + dim A + dim A ∀k ∈ {3, . . . , d}, (k,0) (k−1,1) (k−2,2) so, since a = 3 a = 5 a = 3 k,0 k−1,1 k−2,2 using Poincar´e duality we have: d + 2 h = h = a + a + a = 11 ∀k ∈ 3, . . . , , d+2−k k k,0 k−1,1 k−2,2 and the Hilbert vector is (1, 6, 11, . . ., 11, 6, 1). Let d = 1, by Theorem 3.18 Ann(f) is (minimally) generated by: 2 2 2 3 • hX , X , X i , U , U , U U , U ; 0 1 2 1 3 2 3 1 • X U , X U , X U , X U , X U ; 0 0 3 1 2 1 3 2 1 • X U − X U , X U − X U . 0 2 1 1 0 1 3 3 Let d ≥ 2, by Theorem 3.18 Ann(f) is (minimally) generated by: d+1 2 2 3 • hX , X , X i , X X , X X , X X , U , U , U U , U ; 0 1 2 0 1 0 2 1 2 1 3 2 3 1 d 2 d d d d • X U , X U , X U , X U , X U ; 3 2 3 1 0 1 0 1 1 2 d d d d • X U − X U , X U − X U . 2 1 1 3 0 1 0 3 CW-complex Nagata Idealization of bidegree (d , d ) 19 1 2 References [1] A. Cerminara, R. Gondim, G. Ilardi, F. Maddaloni - Lefschetz Properties for Higher Nagata Idealizations, Adv. in Appl. Math. 106 (2019) 37–56. [2] D. Eisenbud (1995) Commutative Algebra with a View toward Algebraic Geometry, Springer- Verlag. [3] S. Faridi - The facet ideal of a simplicial complex, Manuscripta Mathematica 109 (2002) 159–174. [4] A. Franchetta - Sulle forme algebriche di S aventi l’hessiana indeterminata, Rend. Mat. 13 (1954) 1–6. [5] R. Gondim - On Higher Hessians and the Lefschetz Properties, J. of Algebra 219 (2017) 241–263. [6] R. Gondim, F. Russo - Cubic hypersurfaces with vanishing Hessian, Pure Appl. Algebra 219 (2015) 779–806. [7] R. Gondim, F. Russo, G. Staglian`o - Hypersurfaces with vanishing hessian via Dual Cayley Trick, To appear in Journal of Pure and Applied Algebra. [8] R. Gondim, G. Zappala` - Lefschetz properties for Artinian Gorenstein algebras presented by quadrics Proc. Amer. Math. Soc. 146 (2018), no. 3, 993–1003. [9] P. Gordan, M. Noether - Ueber die algebraischen Formen, deren Hesse’sche Determinante identisch verschwindet, Math. Ann. 10 (1876) 547–568. [10] T. Harima, T. Maeno, H. Morita, Y. Numata, A. Wachi, J. Watanabe (2013) The Lefschetz Properties, Springer. [11] A. E. Hatcher (2002) Algebraic topology, Cambridge University Press. [12] O. Hesse - Uber die Bedingung, unter welche eine homogene ganze Function von n un- abh¨angigen Variabeln durch Line¨are Substitutionen von n andern unabhn¨gigen Variabeln auf eine homogene Function sich zuru¨ckfu¨hren l¨asst, die eine Variable weniger enth¨alt, J. reine angew. Math. 42 (1851) 117–124. [13] O. Hesse - Zur Theorie der ganzen homogenen Functionen, J. reine angew. Math. 56 (1859) 263–269. [14] F. H. S. Macaulay - The Algebraic Theory of Modular Systems, Cambridge Univ. Press, Cambridge, U. K. (1916); reprinted with a foreword by P. Roberts, Cambridge Univ. Press, London and New York (1994). [15] T. Maeno, J. Watanabe - Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials, Illinois J. Math. 53 (2009) 593–603. [16] U. Perazzo - Sulle variet`a cubiche la cui hessiana svanisce identicamente, Giornale di Matem- atiche (Battaglini) 38 (1900), 337–354. [17] R. Stanley - Hilbert functions of graded algebras, Adv. in Math. 28 (1978), 57–83. [18] R. Stanley - Weyl groups, the hard Lefschetz theorem, and the Sperner property, SIAM J. Algebraic Discrete Methods 1 (1980) 168-184. [19] R. Stanley - Log-concave and unimodal sequences in algebra, combinatorics, and geometry, Graph theory and its applications (1986) 500–535. [20] J. Watanabe - A remark on the Hessian of homogeneous polynomials, Pure and Appl. Math. 119 (2000) 171–178. Scuola Politecnica e delle Scienze di Base, Universita degli Studi di Napoli “Fed- erico II”, corso Protopisani Nicolangelo 70, Napoli (Italy), C.A.P. 80146; armando.capasso@unina.it Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Universita degli Studi di Udine, via delle Scienze 206, Udine (Italy) C.A.P. 33100; pietro.depoi@uniud.it Dipartimento di Matematica ed Applicazioni “R. Caccioppoli”, Universita degli Studi di Napoli “Federico II”, via Cintia 21, Napoli (Italy) C.A.P. 80126; giovanna.ilardi@unina.it

Journal

Mathematics – arXiv (Cornell University)

Published: May 4, 2020

References

  • Lefschetz properties for higher Nagata idealizations
    Cerminara
  • The facet ideal of a simplicial complex
    Faridi
  • Sulle forme algebriche di S4 aventi l'hessiana indeterminata
    Franchetta
  • On higher Hessians and the Lefschetz properties
    Gondim
  • Cubic hypersurfaces with vanishing Hessian
    Gondim
  • Hypersurfaces with vanishing Hessian via dual Cayley trick
    Gondim
  • Ueber die algebraischen Formen, deren Hesse'sche Determinante identisch verschwindet
    Gordan