|
|
last edited 11 years ago by Bill Page |
1 2 3 4 5 6 7 8 9 10 11 | ||
Editor: Bill Page
Time: 2011/04/22 10:45:12 GMT-7 |
||
Note: twisted dimension |
changed: -d:𝐋:= - - Ω / - U d:= Ω / U added: This one apparently does not. \begin{axiom} d':= Ω / X / U \end{axiom}
Non-degeneracy of the pairing
Ref:
Frobenius algebras and 2D topological quantum field theories
Section 2.3.11, page 112.
Joachim Kock
We use the Axiom LinearOperator? library
)library MONAL PROP LIN
Monoidal is now explicitly exposed in frame initial Monoidal will be automatically loaded when needed from /var/zope2/var/LatexWiki/MONAL.NRLIB/MONAL Prop is now explicitly exposed in frame initial Prop will be automatically loaded when needed from /var/zope2/var/LatexWiki/PROP.NRLIB/PROP LinearOperator is now explicitly exposed in frame initial LinearOperator will be automatically loaded when needed from /var/zope2/var/LatexWiki/LIN.NRLIB/LIN
and convenient notation
macro Σ(x,i, n)==reduce(+, [x for i in n])
macro Ξ(f,i, n)==[f for i in n]
macro sb == subscript
macro sp == superscript
Let 𝐋 be the domain of 2-dimensional linear operators
dim:=2
(1) |
macro ℒ == List
macro ℚ == Expression Integer
𝐋 := LinearOperator(dim,OVAR [], ℚ)
(2) |
𝐞:ℒ 𝐋 := basisVectors()
(3) |
𝐝:ℒ 𝐋 := basisForms()
(4) |
I:𝐋:=[1] -- identity for composition
(5) |
X:𝐋:=[2,1] -- twist
(6) |
A scalar product (pairing) is denoted by
U:=Σ(Σ(sp('u,[i, j])*𝐝.i*𝐝.j, i, 1..dim), j, 1..dim)
(7) |
Solve the "snake relation" as a system of linear equations.
Ω:𝐋:=Σ(Σ(sb('u,[i, j])*𝐞.i*𝐞.j, i, 1..dim), j, 1..dim)
(8) |
Í:=(I*Ω)/(U*I);
Function: contract : (Integer,%, Integer, %, Integer) -> % is missing from domain: CartesianTensor(1, 2, Expression(Integer)) Internal Error The function contract with signature $(Integer)$(Integer)$(Integer) is missing from domain CartesianTensor12(Expression (Integer))
This is equivalent to a matrix inverse (transposed!)
Um:=matrix Ξ(Ξ((𝐞.i*𝐞.j)/U,i, 1..dim), j, 1..dim)
Function: contract : (Integer,%, Integer, %, Integer) -> % is missing from domain: CartesianTensor(1, 2, Expression(Integer)) Internal Error The function contract with signature $(Integer)$(Integer)$(Integer) is missing from domain CartesianTensor12(Expression (Integer))
Check that the snake relation holds
test ( I Ω ) / ( U I ) = I
Function: contract : (Integer,%, Integer, %, Integer) -> % is missing from domain: CartesianTensor(1, 2, Expression(Integer)) Internal Error The function contract with signature $(Integer)$(Integer)$(Integer) is missing from domain CartesianTensor12(Expression (Integer))
This quantity depends on !
d:= Ω / U
Function: contract : (Integer,%, Integer, %, Integer) -> % is missing from domain: CartesianTensor(1, 2, Expression(Integer)) Internal Error The function contract with signature $(Integer)$(Integer)$(Integer) is missing from domain CartesianTensor12(Expression (Integer))
This one apparently does not.
d':= Ω / X / U
Function: contract : (Integer,%, Integer, %, Integer) -> % is missing from domain: CartesianTensor(1, 2, Expression(Integer)) Internal Error The function contract with signature $(Integer)$(Integer)$(Integer) is missing from domain CartesianTensor12(Expression (Integer))