MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.