The Circuit Ideal of a Vector Configuration

Anders Nedergaard Jensen; Tristram Bogart; Rekha Thomas

The Circuit Ideal of a Vector Configuration

Anders Nedergaard Jensen, Tristram Bogart, Rekha Thomas

Publikation: Working paper/Preprint › Working paper › Forskning

Abstract

The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gr\"obner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.

Originalsprog	Engelsk
Udgivelsessted	http://arxiv.org/abs/math.AC/0508628
Udgiver	arxiv.org
Antal sider	25
Status	Udgivet - 2005

Biblioteksadgang?

Tjek tilgængelighed hos det Kgl. Bibliotek

Citationsformater

@techreport{9ce0ef80a82e11dabee902004c4f4f50,

title = "The Circuit Ideal of a Vector Configuration",

abstract = "The circuit ideal, \$\textbackslash{}ica\$, of a configuration \$\textbackslash{}A = \textbackslash{}\{\textbackslash{}a\_1, ..., \textbackslash{}a\_n\textbackslash{}\} \textbackslash{}subset \textbackslash{}Z\textasciicircum{}d\$ is the ideal generated by the binomials \$\{\textbackslash{}x\}\textasciicircum{}\{\textbackslash{}cc\textasciicircum{}+\} - \{\textbackslash{}x\}\textasciicircum{}\{\textbackslash{}cc\textasciicircum{}-\} \textbackslash{}in \textbackslash{}k[x\_1, ..., x\_n]\$ as \$\textbackslash{}cc = \textbackslash{}cc\textasciicircum{}+ - \textbackslash{}cc\textasciicircum{}- \textbackslash{}in \textbackslash{}Z\textasciicircum{}n\$ varies over the circuits of \$\textbackslash{}A\$. This ideal is contained in the toric ideal, \$\textbackslash{}ia\$, of \$\textbackslash{}A\$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study \$\textbackslash{}ica\$ in relation to \$\textbackslash{}ia\$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of \$\textbackslash{}ica\$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that \$\textbackslash{}ia\$ is the unique minimal prime of \$\textbackslash{}ica\$ and that the embedded primes of \$\textbackslash{}ica\$ are indexed by certain faces of the cone spanned by \$\textbackslash{}A\$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to \$\textbackslash{}ia\$ and \$\textbackslash{}ica\$. The Gr\textbackslash{}{"}obner fan of \$\textbackslash{}ica\$ is shown to refine that of \$\textbackslash{}ia\$ when the codimension of the ideals is at most two.",

author = "Jensen, \{Anders Nedergaard\} and Tristram Bogart and Rekha Thomas",

year = "2005",

language = "English",

publisher = "arxiv.org",

type = "WorkingPaper",

institution = "arxiv.org",

}

TY - UNPB

T1 - The Circuit Ideal of a Vector Configuration

AU - Jensen, Anders Nedergaard

AU - Bogart, Tristram

AU - Thomas, Rekha

PY - 2005

Y1 - 2005

N2 - The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gr\"obner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.

AB - The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gr\"obner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.

M3 - Working paper

BT - The Circuit Ideal of a Vector Configuration

PB - arxiv.org

CY - http://arxiv.org/abs/math.AC/0508628

ER -

The Circuit Ideal of a Vector Configuration

Abstract

Biblioteksadgang?

Fingeraftryk

Citationsformater