Capelli's Identity - Statement

Statement

Suppose that xij for i,j = 1,...,n are commuting variables. Write Eij for the polarization operator

The Capelli identity states that the following differential operators, expressed as determinants, are equal:


begin{vmatrix} E_{11}+n-1 & cdots &E_{1,n-1}& E_{1n} \ vdots& ddots & vdots&vdots\ E_{n-1,1} & cdots & E_{n-1,n-1}+1&E_{n-1,n} \ E_{n1} & cdots & E_{n,n-1}& E_{nn} +0end{vmatrix} =
begin{vmatrix} x_{11} & cdots & x_{1n} \ vdots& ddots & vdots\ x_{n1} & cdots & x_{nn} end{vmatrix}
begin{vmatrix} frac{partial}{partial x_{11}} & cdots &frac{partial}{partial x_{1n}} \ vdots& ddots & vdots\ frac{partial}{partial x_{n1}} & cdots &frac{partial}{partial x_{nn}} end{vmatrix}.

Both sides are differential operators. The determinant on the left has non-commuting entries, and is expanded with all terms preserving their "left to right" order. Such a determinant is often called a column-determinant, since it can be obtained by the column expansion of the determinant starting from the first column. It can be formally written as

where in the product first come the elements from the first column, then from the second and so on. The determinant on the far right is Cayley's omega process, and the one on the left is the Capelli determinant.

The operators Eij can be written in a matrix form:

where are matrices with elements Eij, xij, respectively. If all elements in these matrices would be commutative then clearly . The Capelli identity shows that despite noncommutativity there exists a "quantization" of the formula above. The only price for the noncommutivity is a small correction: on the left hand side. For generic noncommutative matrices formulas like

do not exist, and the notion of the 'determinant' itself does not make sense for generic noncommutative matrices. That is why the Capelli identity still holds some mystery, despite many proofs offered for it. A very short proof does not seem to exist. Direct verification of the statement can be given as an exercise for n' = 2, but is already long for n = 3.

Read more about this topic:  Capelli's Identity

Other articles related to "statement, statements":

C Syntax - Control Structures - Jump Statements
... Jump statements transfer control unconditionally ... There are four types of jump statements in C goto, continue, break, and return ... The goto statement looks like this goto The identifier must be a label (followed by a colon) located in the current function ...
Understanding Poetry - Contents of The Book - Introduction
... — looking only for a profitable statement or idea in a poem ... A short prose statement can work better than a poem for communicating advice ... to mechanically combine the first two, defining poetry as the "beautiful statement of some high truth", or "truth" with "decorations" ...
Ernst Mally - Failure of Mally's Deontic Logic
... In other words, if A requires B, it requires any true statement ... Thus, if at least one statement ought be true, every statement must materially entail it ought be true, and so every true statement ought be true ... if some statement ought be true then all statements that ought be true are true), consider the following logic ((U → !A) (A → ∩)) → (U → !∩) is a special case of axiom I, but ...
C Syntax - Control Structures - Selection Statements
... C has two types of selection statements the if statement and the switch statement ... The if statement is in the form if () else In the if statement, if the in parentheses is nonzero (true), control passes to ... The switch statement causes control to be transferred to one of several statements depending on the value of an expression, which must have integral type ...
Láadan - Grammar
... speech-act particle – this occurs at the beginning of the sentence and marks it as either a statement (bíi), a question (báa), et cetera in connected speech or writing, this ... The evidence particle – this occurs at the end of statements and indicates the trustworthiness of the statement ... translation bíi ril áya mahina wa statement present-tense beautiful/beautify flower observed-truth The flower is beautiful báa eril mesháad with question past-tense plural-go/co ...

Famous quotes containing the word statement:

    The new statement is always hated by the old, and, to those dwelling in the old, comes like an abyss of skepticism.
    Ralph Waldo Emerson (1803–1882)

    The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.
    Ralph Waldo Emerson (1803–1882)

    Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.
    Robert Benchley (1889–1945)