English

Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes

Combinatorics 2007-05-23 v2 Commutative Algebra

Abstract

In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ\sigma and τ\tau be simplicial complexes and στ\sigma * \tau their join. Let JσJ_\sigma be the exterior face ideal of σ\sigma and Δ(σ)\Delta(\sigma) the exterior algebraic shifted complex of σ\sigma. Assume that στ\sigma * \tau is a simplicial complex on [n]={1,2,...,n}[n]=\{1,2,...,n\}. For any dd-subset S[n]S \subset [n], let mrevS(σ)m_{\preceq_{rev} S}(\sigma) denote the number of dd-subsets RσR \in \sigma which is equal to or smaller than SS w.r.t. the reverse lexicographic order. We will prove that mrevS(Δ(στ))mrevS(Δ(Δ(σ)Δ(τ)))m_{\preceq_{rev} S}(\Delta({\sigma * \tau}))\geq m_{\preceq_{rev} S}(\Delta ({\Delta(\sigma)} * {\Delta (\tau)})) for all S[n]S \subset [n]. To prove this fact, we also prove that mrevS(Δ(σ))mrevS(Δ(Δϕ(σ)))m_{\preceq_{rev} S}(\Delta(\sigma))\geq m_{\preceq_{rev} S}(\Delta({\Delta_{\phi}(\sigma)})) for all S[n]S\subset [n] and for all non-singular matrices ϕ\phi, where Δϕ(σ)\Delta_{\phi}(\sigma) is the simplicial complex defined by JΔϕ(σ)=\init(ϕ(Jσ))J_{\Delta_{\phi}(\sigma)}=\init(\phi(J_\sigma)).

Keywords

Cite

@article{arxiv.math/0506298,
  title  = {Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes},
  author = {Satoshi Murai},
  journal= {arXiv preprint arXiv:math/0506298},
  year   = {2007}
}

Comments

Improve presentations, 8 pages, to appear in Ark. Mat