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:

- If $P$ is generated by monomials, the answer is trivially always.
- 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.
- If $P$ is homogeneous, the circuit polynomials need not be
*scheme-theoretic generators*for $P$ (even in the binomial case.)

Get help from others!

Recent Answers

- haakon.io on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP