# Set-theoretic generation by circuit polynomials

MathOverflow Asked on January 5, 2022

Let $$P$$ be a prime ideal in $$S=mathbb{C}[x_1,ldots , x_n],$$ and write $$[n] = { 1, ldots , n }.$$ The algebraic matroid of $$P$$ can be defined according to circuit axioms as follows: $$Csubset [n]$$ is a circuit if $$P cap mathbb{C} [x_i mid i in C]$$ is principal, and we call a generator of this ideal a circuit polynomial. The circuit ideal $$P_{mathcal{C}}subset S$$ is generated by all circuit polynomials.

Question For which $$P$$ do we have $$sqrt{P_{mathcal{C}}}=P$$?

For context, I include the following facts:

1. If $$P$$ is generated by monomials, the answer is trivially always.
2. If $$P$$ is generated by binomials, the answer is always, though seemingly less trivial. This follows from results in the article "Binomial Ideals" by Eisenbud and Sturmfels.
3. If $$P$$ is homogeneous, the circuit polynomials need not be scheme-theoretic generators for $$P$$ (even in the binomial case.)

## Related Questions

### Examples of “non equivalent” algebras that are derived equivalent?

0  Asked on November 3, 2021 by marco-farinati

### Equivalence of families indexes of Fredholm operators

1  Asked on November 3, 2021 by rodrigo-dias

### An example of a special $1$-dimensional non-Noetherian valuation domain

1  Asked on November 3, 2021 by s-t-stanly

### What are some interesting applications of the Archimedean Property?

0  Asked on November 3, 2021 by fisura-filozofica

### Origins of the “baby Freiman” theorem

0  Asked on November 3, 2021 by seva

### Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

0  Asked on November 3, 2021 by omar-antoln-camarena

### Unrestricting The Parameters of a Functional Equation

0  Asked on November 3, 2021

### Pseudoreflection groups in affine varieties

0  Asked on November 3, 2021

### Image of function contains identity elements

0  Asked on November 3, 2021 by pi66

### Integrate Radon-Nikodým derivatives against Lebesgue measure

1  Asked on November 3, 2021

### Higher derivatives of weighted zeta function and continuation to $s=1$

0  Asked on November 3, 2021 by milo-moses

### Distance properties of the permutations of a set of points in a Euclidean space

0  Asked on November 3, 2021

### Roots of determinant of matrix with polynomial entries — a generalization

0  Asked on November 3, 2021

### Laplacian coupled with another equation over a two-dimensional rectangular region

0  Asked on November 3, 2021

### Is there a finite equational basis for the join of the commutative and associative equations?

0  Asked on November 3, 2021

### What are some examples of proving that a thing exists by proving that the set of such things has positive measure?

9  Asked on November 3, 2021 by tom-leinster

### Literature and history for: lifting matrix units modulo various kinds of ideal

0  Asked on November 3, 2021 by yemon-choi

### Smallest family of subsets that generates the discrete topology

2  Asked on November 3, 2021 by user175348

### A global mathematics library

3  Asked on November 3, 2021