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

For a given partition $[n_{1},...,n_{k}]$ of $N \in \mathbb{N}$ there exists a corresponding nilpotent orbit variety $O_{[n_{1},...,n_{k}]}$ in $\mathfrak{gl}(N)$ which can be represented by a set of polynomial equations relating the conditions on matrices in $\mathfrak{gl}(N)^{\text{nilp}}$. I was wondering if anyone has implemented the computation of nilpotent orbit varieties in Sage or Magma, because otherwise I am going to make my own code for doing so. If you happen to know of any references, that would help!

share|improve this question
    
I added the tag software. Hoping it might attract a Magma or Sage expert. –  Neil Hoffman May 16 '13 at 19:10
    
Can you, please, clarify what kind of operations or properties you are interested in? Also, I am not an expert, but Macaulay seems more likely to have something of this kind. –  Victor Protsak May 16 '13 at 21:10
    
@Victor Protsak: What do you mean by "Macaulay seems more likely to have something of this kind." Any references you could point me to? –  Samuel Reid May 17 '13 at 19:10
    
I still don't understand what you are trying to accomplish, but Macaulay was written by commutative algebra/algebraic geometry researchers and implements a lot more stuff relevant to these subjects than SAGE. I've added a theoretical answer below. –  Victor Protsak May 23 '13 at 22:39

1 Answer 1

up vote 2 down vote accepted

I don't know how this would help "constructing local weak Neron models for the varieties given as output of the program", but the defining equations of the nilpotent varieties are known. They were conjectured by Tanisaki and proved by Weyman in

The equations of conjugacy classes of nilpotent matrices, Invent. Math. 98:2 (1989).

Weyman's later book, Cohomology of vector bundles and syzygies, contains a complete exposition.

The easiest way to describe the equations on a matrix $A$ in the nilpotent variety is by saying that the characteristic polynomial of $A$ is equal to $\lambda^N$ and for $1\leq k\leq N-1$, the order $k$ minors of $\lambda I_N-A$ are divisible by $\lambda^{d_k}$, where $d_k$ is an integer given by a simple formula in terms of the parts of the corresponding partition.

(These generators for the defining ideal are $Ad$-invariant but not minimal, and there is an alternative system, also non-minimal, whose definition involves the inverse matrix $(\lambda I_N -A)^{-1}$, that may be better computationally.)

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.