TY - JOUR

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

AU - Murai, Satoshi

N1 - Funding Information:
The author is supported by JSPS Research Fellowships for Young Scientists.

PY - 2007/10

Y1 - 2007/10

N2 - In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ and τ be simplicial complexes and σ*τ be their join. Let J σ be the exterior face ideal of σ and Δ(σ) the exterior algebraic shifted complex of σ. Assume that σ*τ is a simplicial complex on [n]={1,2,...,n}. For any d-subset S [n], let m_S(σ) denote the number of d-subsets R σ which are equal to or smaller than S with respect to the reverse lexicographic order. We will prove that m_revS(Δ(σ τ)) m_S(Δ(Δ(σ)*Δτ for all S [n]. To prove this fact, we also prove that m_S(Δ(σ)) m_S(Δ(Δ(σ) )) for all S [n] and for all nonsingular matrices, where Δ(σ) is the simplicial complex defined by J_{Δ(σ)}= (J_{σ})).

AB - In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ and τ be simplicial complexes and σ*τ be their join. Let J σ be the exterior face ideal of σ and Δ(σ) the exterior algebraic shifted complex of σ. Assume that σ*τ is a simplicial complex on [n]={1,2,...,n}. For any d-subset S [n], let m_S(σ) denote the number of d-subsets R σ which are equal to or smaller than S with respect to the reverse lexicographic order. We will prove that m_revS(Δ(σ τ)) m_S(Δ(Δ(σ)*Δτ for all S [n]. To prove this fact, we also prove that m_S(Δ(σ)) m_S(Δ(Δ(σ) )) for all S [n] and for all nonsingular matrices, where Δ(σ) is the simplicial complex defined by J_{Δ(σ)}= (J_{σ})).

UR - http://www.scopus.com/inward/record.url?scp=38149110516&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38149110516&partnerID=8YFLogxK

U2 - 10.1007/s11512-006-0030-9

DO - 10.1007/s11512-006-0030-9

M3 - Article

AN - SCOPUS:38149110516

SN - 0004-2080

VL - 45

SP - 327

EP - 336

JO - Arkiv for Matematik

JF - Arkiv for Matematik

IS - 2

ER -