31 votos

¿Cómo hacer que la identidad de Capelli sea menos misteriosa?

La formulación de la Capelli la identidad es muy elemental; no tiene importantes aplicaciones en la teoría de invariantes y teoría de la representación, ver http://en.wikipedia.org/wiki/Capelli%27s_identity

Para recordarle, se requiere de una notación. Vamos $x_{ij}$, $1\leq i,j\leq n$, ser los desplazamientos variables. Definir los operadores diferenciales en el espacio de funciones en $n\times n$ matrices: $$E_{ij}=\sum_{a=1}^n x_{ia}\frac{\partial}{\partial x_{aj}},\, 1\leq i,j\leq n.$$

El Capelli identidad de los estados que $$\det\left[\begin{array}{cccc} E_{11}+n-1&\dots&E_{1,n-1}&E_{1n}\\ \vdots&\vdots&\dots&\vdots\\ E_{n-1,1}&\dots&E_{n-1,n-1}+1&E_{n-1,n}\\ E_{n,1}&\dots&E_{n,n-1}&E_{n,n}+0 \end{array}\right]=\\\det\left[\begin{array}{ccc} x_{11}&\dots&x_{1n}\\ \dots&\dots&\dots\\ x_{n1}&\dots&x_{nn} \end{array} \right]\cdot \det\left[\begin{array}{ccc} \frac{\partial}{\partial x_{11}}&\dots&\frac{\partial}{\partial x_{1n}}\\ \dots&\dots&\dots&\\ \frac{\partial}{\partial x_{n1}}&\dots&\frac{\partial}{\partial x_{nn}} \end{array}\right]. $$

Tenga en cuenta que en el lado derecho de la igualdad de las dos matrices tienen desplazamientos de entradas, mientras que en el lado izquierdo de la entrada no conmutan. Por lo tanto, uno tiene que ser cuidadoso para definir el determinante. La convención para el determinante de tales matrices se $$\det(a_{ij})=\sum_{\sigma\in S_n}sgn(\sigma) a_{1\sigma(1)}a_{2\sigma(2)}\dots a_{n\sigma(n)},$$ donde el orden de los términos es importante.

Este orden de los términos en que el factor determinante es el más misterioso para mí. ¿Hay alguna razón para ello? ¿Qué sucede si uno escoge a algunos otros pedidos de términos: el Capelli identidad de ser modificado de alguna manera o no va a trabajar?

No son más recientes que las generalizaciones de la Capelli identidad, véase, por ejemplo, el enlace de arriba a la Wikipedia. Sin embargo, lamentablemente no aclarar a mí la original Capelli identidad, pero en lugar de usarlo como inspiración básica de extensiones en el futuro (puede ser que me haya perdido algo).

La ACTUALIZACIÓN. Hasta ahora, la mayoría de enfoque conceptual de la Capelli identidad fui capaz de encontrar en la literatura es debido a la I. Gelfand y V. Retakh, Funktsional. Anal. yo Prilozhen. 25 (1991), no. 2, 13--25 (Sección 3.4). Este es su primer papel en su teoría general de la no-conmutativa determinantes. Ellos lo usan para reescribir la Capelli identidad en su idioma. Yo no he estudiado su prueba en detalle, pero al parecer no utilice este extraño y aparentemente arbitraria definición de det como una suma sobre todos los permutación de condiciones prescritas de pedidos. Todavía tengo que entiende lo difícil y lo natural es pasar de su lengua a la clásica.

13voto

Zurab Silagadze Puntos 5695

Este orden de los términos en que el factor determinante es el más misterioso para mí. ¿Hay alguna razón para ello? ¿Qué sucede si uno escoge a algunos otros pedidos de términos: el Capelli identidad de ser modificado de alguna manera o no va a trabajar?

Creo que las respuestas a estas preguntas se pueden encontrar en el papel http://arxiv.org/abs/0809.3516 (no conmutativa determinantes, Cauchy-Binet fórmulas, y Capelli-tipo de identidades. I. las Generalizaciones de la Capelli y Turnbull identidades, por S. Caracciolo, R. Sportiello y A. D. Sokal).

Como primera indicado en http://arxiv.org/abs/math/9309212 (Combinatoria Pruebas de Capelli y Turnbull Identidades desde la Clásica Teoría de Invariantes, por D. Foata y D. Zeilberger), la razón para el uso de este orden en particular de los términos en el l.h.s. determinante es matar a los "chicos malos" que, de lo contrario va en detrimento de la identidad (ver el artículo de cómo estos "chicos malos" se identifican).

11voto

sheetansh Puntos 1

Estoy un poco tarde para un año, lo siento, pero desde el wiki-el artículo es principalmente escrito por mí y yo de alguna manera trabajado sobre el tema, es difícil resistirse a escribir una respuesta.

En la actualidad existe una cierta comprensión acerca de la no-conmutativa determinantes que hace que la identidad de menos misterioso:

Punto 1. Hay determinantes (y toda álgebra lineal) para muy especial clases de matrices con no conmutativa elementos. Aunque para los genéricos de matrices con los no-conmutativa elementos NO hay distingueshed determinante, sin embargo, para algunas clases especiales de matrices con noncommuting entradas que son en cierto sentido no muy lejos de conmutatividad, existen definiciones de la determinante, y por otra parte muchos de los teoremas de álgebra lineal se puede extiende naturalmente a tales matrices. Probablemente, q-factor determinante para los grupos cuánticos es el más conocido ejemplo.

Punto 2. Capelli matriz "E" es de ese tipo especial. La matriz de la "E" de la realidad de este tipo, es decir,
puede estar relacionado con el "Manin matrices", aunque esta relación no es única. Para Manin matrices todo es perfecto: determinante, álgebra lineal ... todo ... - concepto claro y sin misterios.

Punto 3. En particular, sus preguntas:

the determinant is the most mysterious point for me. Is there any reason for it? 

Para Manin matrices no son claras y sencillas razones, por Capelli matriz "E" podemos obtener el determinante por encima de determinante para Manin. (Si usted encuentra relación Capelli <-> Manin "natural", puede no mirar abajo).

What happens if one chooses some other ordering of terms: 
will the Capelli identity be modified somehow or it will not work at all?  

Para Manin matrices definición de determinante que el uso arbitrario de pedidos. Esto implica que no hay control sobre lo que sucede cuando se cambia el orden en el determinante de la "E".


Permítanme esbozar cómo se relacionan Capelli matriz $E$ con Manin matrices. Debemos introducir auxiliar formal de la variable "u" Y tener en cuenta: $$ E(u) = E + u Id$$ Por lo que podemos restaurar $E$ tomando $u=0$. Que no es un Hombre en la matriz, pero es casi Manin matriz.

La idea de que es que a veces matriz $T_0$ no puede ser Manin, pero es posible encontrar correcciones $T_i$, de tal manera que $T(u) = T_0+ u T_1 + u^2 T_2 + ...$, sería (casi) Manin matriz. El Capelli caso es el más simple, donde la corrección es el más simple de $T_1 = uId$.

Por último tengo que explicar lo que quiero decir diciendo: "casi Manin matrix", corta una forma de decir es que si uno introduce un nuevo elemento $K = exp(-d/du)$, que conmuta con $u$ como un operador de desplazamiento a la $K f(u) = f(u+1) K$, a continuación, la matriz de $K E(u)$ sería Manin matriz.

Más, pero de manera más explícita es mirar en la definición de las relaciones de Manin matrices, por ejemplo la columna-conmutatividad: $ac = ca$ son sustituidos por $a(u+1) c(u) = c(u+1) a(u) $ es decir, cambio en $u$ a $u+1$ es introducido.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X