Table of Contents
Fetching ...

The van der Waerden Simplicial Complex and its Lefschetz Properties

Naveena Ragunathan, Adam Van Tuyl

Abstract

The van der Waerden simplicial complex, denoted ${\tt vdw}(n,k)$, is the simpicial complex whose facets correspond to the arithmetic progressions of length $k$ in the set $\{1,\ldots,n\}$. We study the Lefschetz properties of the Artinian ring $A(n,k) = K[x_1,\ldots,x_n]/(I_{{\tt vdw}(n,k)} + \langle x_1^2,\ldots,x_n^2\rangle)$ where $I_{{\tt vdw}(n,k)}$ is the associated Stanley--Reisner ideal. If $k=1,2$ or $n-1$, the ring $A(n,k)$ will have the Weak Lefschetz Property for all $n > k$. When $k=3$, we classify the rings $A(n,3)$ that have the Weak Lefschetz Property. We conjecture that $A(n,k)$ fails to have the Weak Lefschetz Property if $n \gg k \geq 3$ and $k$ odd. We also classify when ${\tt vdw}(n,k)$ is a pseudo-manifold, which allows us to show that $A(n,k)$ satisfies the Weak Lefschetz Property in some degrees by using a result of Dao and Nair.

The van der Waerden Simplicial Complex and its Lefschetz Properties

Abstract

The van der Waerden simplicial complex, denoted , is the simpicial complex whose facets correspond to the arithmetic progressions of length in the set . We study the Lefschetz properties of the Artinian ring where is the associated Stanley--Reisner ideal. If or , the ring will have the Weak Lefschetz Property for all . When , we classify the rings that have the Weak Lefschetz Property. We conjecture that fails to have the Weak Lefschetz Property if and odd. We also classify when is a pseudo-manifold, which allows us to show that satisfies the Weak Lefschetz Property in some degrees by using a result of Dao and Nair.

Paper Structure

This paper contains 9 sections, 23 theorems, 72 equations, 4 tables.

Key Result

Theorem 1.1

Let $n > k\geq 1$ be integers and define $A({\tt vdw}(n,k))$ as above. Then

Theorems & Definitions (45)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 2.1
  • Theorem 2.2
  • Definition 2.3
  • Theorem 2.4
  • Example 2.5
  • Theorem 2.6: DN
  • Definition 2.7
  • Example 2.8
  • ...and 35 more