Table of Contents
Fetching ...

On the $h$-polynomials of cyclotomic standard graded commutative algebras

Akihiro Higashitani, Kenta Ueyama

TL;DR

This work investigates when the $h$-polynomial of a cyclotomic standard graded algebra has roots on the unit circle and factors as a product of $\Psi_m(t)$ (type CI). It proves that if the multiplicity $h_R(1)$ is in $\{1,4,6\}$ or is prime, then $h_R(t)$ is of type CI, tying cyclotomicity to hypersurface or regular structures; conversely, for every non-prime $n\ge 8$, it constructs cyclotomic algebras with $h_R(1)=n$ whose $h$-polynomials are not of type CI. The proofs blend Stanley–Reisner theory, the $g$-theorem, and Macaulay’s theorem, using unions and joins of simplicial complexes to build explicit counterexamples and to translate combinatorial data into realizable Hilbert functions. The results delineate the limits of the type CI characterization and reveal rich behavior of $h$-polynomials under cyclotomic constraints, with explicit constructions for small and large $n$ guiding the general theory.

Abstract

We call a standard graded commutative $\Bbbk$-algebra cyclotomic if its $h$-polynomial has all its roots on the unit circle in the complex plane. Complete intersections provide typical examples of cyclotomic algebras, since the $h$-polynomial of any standard graded complete intersection is a product of polynomials of the form $1 + t + \cdots + t^{m-1}$. We refer to such polynomials as being of type CI. A natural question is whether there exists a cyclotomic standard graded $\Bbbk$-algebra whose $h$-polynomial is not of type CI. In this paper, we give a partial answer to this question. We show that the $h$-polynomial $h_R(t)$ of a cyclotomic standard graded $\Bbbk$-algebra $R$ is of type CI whenever $h_R(1) \in \{1, 4, 6\}$ or $h_R(1)$ is prime. On the other hand, if $n \ge 8$ and $n$ is not prime, then there exists a cyclotomic standard graded $\Bbbk$-algebra $R$ whose $h$-polynomial $h_R(t)$ is not of type CI and satisfies $h_R(1) = n$.

On the $h$-polynomials of cyclotomic standard graded commutative algebras

TL;DR

This work investigates when the -polynomial of a cyclotomic standard graded algebra has roots on the unit circle and factors as a product of (type CI). It proves that if the multiplicity is in or is prime, then is of type CI, tying cyclotomicity to hypersurface or regular structures; conversely, for every non-prime , it constructs cyclotomic algebras with whose -polynomials are not of type CI. The proofs blend Stanley–Reisner theory, the -theorem, and Macaulay’s theorem, using unions and joins of simplicial complexes to build explicit counterexamples and to translate combinatorial data into realizable Hilbert functions. The results delineate the limits of the type CI characterization and reveal rich behavior of -polynomials under cyclotomic constraints, with explicit constructions for small and large guiding the general theory.

Abstract

We call a standard graded commutative -algebra cyclotomic if its -polynomial has all its roots on the unit circle in the complex plane. Complete intersections provide typical examples of cyclotomic algebras, since the -polynomial of any standard graded complete intersection is a product of polynomials of the form . We refer to such polynomials as being of type CI. A natural question is whether there exists a cyclotomic standard graded -algebra whose -polynomial is not of type CI. In this paper, we give a partial answer to this question. We show that the -polynomial of a cyclotomic standard graded -algebra is of type CI whenever or is prime. On the other hand, if and is not prime, then there exists a cyclotomic standard graded -algebra whose -polynomial is not of type CI and satisfies .

Paper Structure

This paper contains 13 sections, 12 theorems, 61 equations.

Key Result

Theorem 1.3

(1) The $h$-polynomial $h_R(t)$ of any cyclotomic standard graded $\Bbbk$-algebra $R$ is of type CI if $h_R(1) \in \{1,4,6\}$ or $h_R(1)$ is prime. (2) There exists a cyclotomic standard graded $\Bbbk$-algebra $R$ whose $h$-polynomial $h_R(t)$ is not of type CI and satisfies $h_R(1)=n$ if $n$ is a

Theorems & Definitions (28)

  • Definition 1.1: cf. BDKKZ
  • Theorem 1.3: Main Result
  • Proposition 2.1: cf. S78
  • Example 2.2
  • Theorem 2.3: Macaulay's theorem, cf. BH and Sbook
  • Example 2.4
  • Example 2.5
  • Theorem 2.6: $g$-theorem, cf. Sbook
  • Lemma 3.1
  • proof
  • ...and 18 more