# Set-theoretic generation by circuit polynomials

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.)

MathOverflow Asked on January 5, 2022

## Related Questions

### Rings whose Frobenius is flat

0  Asked on December 30, 2020 by anon1432

### $ell^1$-norm of eigenvectors of Erdős-Renyi Graphs

1  Asked on December 30, 2020 by stefan-steinerberger

### The problems of global asymptotic freeness

1  Asked on December 29, 2020 by iliyo

### What OEIS sequence is this?

1  Asked on December 29, 2020 by a-z

### Reference for the rectifiablity of the boundary hypersurface of convex open set

1  Asked on December 28, 2020

### Tannakian group of Galois representations coming from geometry

0  Asked on December 27, 2020 by smn

### Why there is no 3-category or tricategory of bicategories?

1  Asked on December 27, 2020 by lolman

### Analytically controlling sizes in modular arithmetic to demonstrate Dirichlet pigeonhole application

1  Asked on December 27, 2020

### “Weakly” nuclear operators (terminology)

0  Asked on December 26, 2020 by pea

### holomorphy in infinite dimensions (holomorphic families of operators)

2  Asked on December 26, 2020 by andr-henriques

### Max weighted matching where edge weight depends on the matching

2  Asked on December 25, 2020

### Faltings’ height theorem for isogenies over finite fields

0  Asked on December 21, 2020 by asvin

### Probability of positivity of rational solutions to a diophantine system?

0  Asked on December 21, 2020 by vs

### On sup over boundaries of Sobolev functions

0  Asked on December 20, 2020 by yongmin-park

### On weaker forms of the abc conjecture from the theory of Hölder and logarithmic means

1  Asked on December 18, 2020 by user142929

### Set of points with a unique closest point in a compact set

2  Asked on December 18, 2020 by piotr-hajlasz

### Complex $2$ manifold $M$ with a given real 2 dimensional submanifold which meets all complex limit cycles of foliations of $M$

0  Asked on December 17, 2020 by ali-taghavi

### Rigorous multivariate differentiation of integral with moving boundaries (Leibniz integral rule)

1  Asked on December 17, 2020 by amir-sagiv

### Closed form of the sum $sum_{rge2}frac{zeta(r)}{r^2}$

0  Asked on December 15, 2020 by epic_math