Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

As always, corrections to my misconceptions/misstatements are appreciated. This question is related to the following one, but in this question the algebras considered are commutative: Non-smooth algebra with smooth representation variety

The "commuting scheme" X is defined intuitively as "pairs of nxn commuting matrices." More precisely, it's the subscheme of the affine space $M_n(\mathbb{C})\times M_n(\mathbb{C})$ defined by the equations in the entries of the matrices corresponding to the matrix equations "XY = YX," which are $n^2$ homogenous equations of degree n. To the best of my knowledge, the question of whether X is reduced is an old problem that is still open.

The commuting scheme is naturally isomorphic to $Rep^n_\mathbb{C}(\mathbb{C}[x,y])$. This leads to my question: Is there an algebra A such that $Spec(A)$ is reduced but $Rep_\mathbb{C}^n(A)$ is not reduced? Even stronger, is there an A with $Spec(A)$ smooth and $Rep_\mathbb{C}^n(A)$ non-reduced? My guess would be yes for both, but I'm not sure how to find one for either one.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.