VS, TS and TG Algebras

2007-06-16T03:44:50Z

62.231.243.138:

{{Paperlets Navigation}}

==Abstract==
We introduce VS-, TS- and TG-Algebras; three types of algebraic entities within which some basic equations of knot theory (related to [[Algebraic Knot Theory - A Call for Action|Algebraic Knot Theory]]) can be written and potentially solved.
===Why Bother?===
* These equations are valuable yet not well understood. My hope is to study them in many simpler spaces (i.e., in many simpler VS-, TS- and TG-Algebras) than the ones that naturally occur in knot theory, in the hope that out of many test cases an understanding will emerge.
* In particular, one day I hope to write (or encourage the writing of) computer programs that will take a VS-, TS-, or TG-algebra "plug-in" and given it, will carry out all the necessary higher-level algebra. This will make it easier to study particular cases computationally. But for this, the notions of VS-, TS- and TG-Algebras must first be completely specified.

===VS-Algebras in One Paragraph===
A VS-Algebra (Vertical Strands Algebra) is an algebraic object that is endowed with the same operations as the algebras <math>{\mathcal A}_n^{hor}</math> of horizontal chord chord diagrams - multiplication (vertical stacking, a binary operation) and strand permutation, strand addition, strand doubling and strand deletion (all unary operations). It is ''local'' if it satisfies the same "locality in time" and "locality in space" relations that <math>{\mathcal A}_n^{hor}</math> satisfies {{ref|Bar-Natan_97}}. In any local VS-algebra the equations for a Drinfel'd associator (i.e., the pentagon and the hexagon) can be written and potentially be solved, and solutions always lead to braid invariants. Likewise in any local VS-algebra the largely undocumented braidor equations can be written and potentially be solved, and solutions always lead to braid invariants.

===TS-Algebras in One Paragraph===
A TS-Algebra (Tangled Strands Algebra) is to tangles as a VS-algebra is to braids. Equally cryptically, it is to <math>{\mathcal A}_n</math> as a VS-algebra is to <math>{\mathcal A}_n^{hor}</math>. Thus a TS-algebra has the same unary operations as a VS-algebra along with a fancier collection of "products" that allow for "reversing" and "bending back" strands before they are concatenated. Thus every TS-algebra is in particular a VS-algebra, hence if it is "local" (with the same definition as for a VS-algebra), associators and braidors make sense it it. In a TS-algebra every associator or braidor satisfying some minor further symmetry conditions leads to a knot and link invariant. Furthermore, sufficiently symmetric associators lead to full-fledged [[Algebraic Knot Theory - A Call for Action|Algebraic Knot Theories]].

===TG-Algebras in One Paragraph===
A TG-Algebra (Trivalent Graph Algebra) is to knotted trivalent graphs as a TS-algebra is to tangles. Knotted trivalent graphs are equivalent to tangles, in some topological sense; indeed, given a knotted trivalent graph, pick a maximal tree and contract it until it is just a thick point. What remains, in the complement of that think point, is just a number of knotted edges with no vertices. That is, it is a tangle. It follows that a knotted trivalent graph is merely a tangle with just a bit of extra combinatorial labeling. Likewise the notions of a TG-algebra and of a TS-algebra are nearly equivalent. They differ mostly just by how certain things are labeled.

==VS-Algebras in Some Detail==

===The basic definitions===

'''Definition.''' For a natural number <math>n</math> let <math>\underline{n}</math> denote the set <math>\{0,1,2,\ldots,n\}</math>. Let <math>{\mathbf{VS}}</math> denote the category whose objects are the natural numbers and whose morphisms are given by
<center><math>\operatorname{mor}_{\mathbf{VS}}(m,n)=\{\alpha:\underline{m}\to\underline{n}:\alpha(0)=0\}</math>,</center>
with the obvious composition of morphisms. For brevity we will often specify morphisms/functions by simply listing their values, omitting the value at <math>0</math> as it is anyway fixed. Thus for example, <math>\alpha=(1,2,2)</math>, or even shorter, <math>\alpha=(122)</math>, means <math>\alpha:\underline{3}\to\underline{2}</math> with <math>\alpha(0)=0</math>, <math>\alpha(1)=1</math>, <math>\alpha(2)=2</math> and <math>\alpha(3)(2)</math> (strictly speaking, the target space of <math>(122)</math> can be any <math>\underline{n}</math> with <math>n\geq 2</math>).

'''Interpretation.''' The object "<math>n</math>" stands for "<math>n</math> strands". A morphism <math>\alpha:m\to n</math> means "for any <math>1\leq k\leq m</math>, strand number <math>k</math> in <math>m</math> looks at strand number <math>\alpha(k)</math> in <math>n</math> if <math>\alpha(k)>0</math>, and looks nowhere if <math>\alpha(k)=0</math>".

'''Definition.''' A VS-algebra is a contravariant functor <math>{\mathbf A}</math> from the category <math>{\mathbf{VS}}</math> to the category of algebras over some fixed ring of scalars. We denote <math>{\mathbf A}(n)</math> by <math>A_n</math> and <math>{\mathbf A}(\alpha)</math> by <math>\alpha^\star</math>.

'''Interpretation.''' In a TS-algebra we have an algebra for any number of strands, with multiplication corresponding to "stacking two <math>n</math>-stranded objects (imagine braids) one on top the other". We think of an element <math>\Psi</math> of <math>A_n</math> as "<math>n</math> strands each of which carrying some algebraic information". If <math>\alpha:m\to n</math>, then <math>\alpha^\star\Psi</math> has <math>m</math> strands carrying algebraic information, and if <math>\alpha(k)>0</math>, strand number <math>k</math> in <math>\alpha^\star\Psi</math> "reads" its information from strand number <math>\alpha(k)</math> in <math>\Psi</math>. If <math>\alpha(k)=0</math>, strand number <math>k</math> in <math>\alpha^\star\Psi</math> reads its information from nowhere, so it carries some "default" information, presumably "empty".

You are probably familiar with the notation used elsewhere (in {{ref|Bar-Natan_97}}, for example) when dealing with associators and the pentagon and hexagon equations. Here's a quick dictionary:
{| align=center cellspacing=0 border=1
|
|Elsewhere
|In Words
|Here
|In Words
|-
|<math>(1\otimes\Delta):{\mathcal A}_2\to{\mathcal A}_3</math>
|Copy the first strand untouched and double the second strand
|<math>(122)^\star</math>
|The first output strand reads from the first input strand, the second and third both read from the second.
|-
|<math>s_2:{\mathcal A}_3\to{\mathcal A}_2</math>
|Delete the second strand.
|<math>(13)^\star</math>
|Nothing reads from the second strand, as <math>2</math> isn't in the range of <math>(13)</math>.
|-
|<math>\Psi\mapsto\Psi^{23}</math>
|Add an empty strand on the left.
|<math>(012)^\star</math>
|The first strand reads from nowhere to it is empty. The second and third output strands read from the first and second input strands respectively.
|-
|<math>\Psi\mapsto\Psi^{231}</math>
|Permute the strands: Install <math>1</math> on <math>2</math>, <math>2</math> on <math>3</math> and <math>3</math> on <math>1</math>.
|<math>(312)^\star</math>
|Permute the strands: Read <math>1</math> from <math>3</math>, <math>2</math> from <math>1</math> and <math>3</math> from <math>2</math>.
|}

Thus the new notation is the opposite of the old when it comes to permutations: if <math>\sigma</math> is a permutation, <math>\Psi^\sigma</math> is now <math>(\sigma^{-1})^\star\Psi</math>. It is a small price to pay considering the very short description (as above) that now becomes available for VS-algebras.

===The VS-Algebra of legs and VS-algebras of animals===

One of the most fundamental VS-Algebras is the VS-algebra <math>{\mathbf L}</math> of "legs", defined as follows. Set <math>L_n</math> to be the free associative and commutative algebra generated by "leg symbols" <math>\{l_1,\ldots,l_n\}</math> (think, "<math>l_k</math> is a leg on strand number <math>k</math>"). Then let

<center><math>(i_1i_2\cdots i_m)^\star l_k := \sum_{\{j\colon i_j=k\}}l_j</math></center>

(thus strand number <math>j</math> in the output looks at strand number <math>i_j</math> in the input, and if it sees a leg there, it takes a copy). It is a routine exercise to verify that <math>{\mathbf L}</math> is indeed a VS-algebra.

An "animal" is a formal symbol with a fixed number of "legs", and it is bilinear in those legs. Thus for example we may declare that the animal <math>Y</math> has three legs, and so "a <math>Y</math> animal in <math>A_n</math>" will be a symbol of the form <math>Y_{k_1k_2k_3}</math> where <math>l_{k_1}</math>, <math>l_{k_2}</math> and <math>l_{k_3}</math> are legs in <math>L_n</math> (thus <math>1\leq k_1,k_2,k_3\leq n</math>), and <math>Y</math> animals get pulled back as the sum of all ways of pulling back their legs:

<center><math>(i_1i_2\cdots i_m)^\star Y_{k_1k_2k_3} := \sum_{\{(j_1,j_2,j_3)\colon\ i_{j_1}=k_1,\ i_{j_2}=k_2, \ i_{j_3}=k_3\}}Y_{j_1j_2j_3}.</math></center>

<table align=right width=25% style="border-style:solid;border-width:1px; margin: 0 0 0 1em; "><tr><td>*<small>The superscript "<math>nl</math>" stands for "non-local". A local version of this VS-algebra will be introduced after locality is introduced further below.</small></td></tr></table>
Once we choose our formal symbols for animals, we may consider the free associative (though not commutative!) algebra <math>A^{nl}_n</math> generated by all such animals with legs in <math>L_n</math> and the resulting collection of algebras and pullback operations will form a VS-algebra<sup>*</sup>.

The most standard example is the two-legged animal <math>t_{ij}</math> often referred to as "a chord from strand <math>i</math> to strand <math>j</math>"; this animal is also declared to be symmetric - it is declared that <math>t_{ij}=t_{ji}</math> for all <math>i</math> and <math>j</math>. The resulting VS-algebra is the VS-algebra <math>{\mathcal A}^{hor,nl}</math> of (non-local) "horizontal chords".

===The pentagon and the hexagons===

{| align=center width=100%
|- align=center
|[[Image:The Pentagon For Parenthesized Braids.jpg|350px]]
|[[Image:The Hexagons For Parenthesized Braids.jpg|500px]]
|- align=center
|colspan=2|'''The Pentagon and the Hexagons for Parenthesized Braids'''
|}

The main thing I'd like to do in a VS-algebra is to write and solve the pentagon and hexagons equations. The unknowns in these equations are an invertible element <math>R\in A_2</math> and an invertible element <math>\Phi\in A_3</math>, and the equations read:

{{Equation|Pentagon|<math>(1230)^\star\Phi\cdot(1223)^\star\Phi\cdot(0123)^\star\Phi = (1123)^\star\Phi\cdot(1233)^\star\Phi</math>

Talk:06-240/Homework Assignment 1

2007-06-16T01:34:51Z

62.231.243.138:

What information should be included on the homework assignments besides the answers to the assignment?
Is student name, Math 240, Homework Assignment 1 and date sufficient?
MC

Yes.
--[[User:Drorbn|Drorbn]] 14:50, 15 September 2006 (EDT)

== Q4 ==

i have a question on Q4. for the part a^-1=a^2, if it's true, then a*a^2=1, which makes a=1....but a can't be 1 right?

I don't see why <math>a*a^2=1</math> implies <math>a=1</math>. --[[User:Drorbn|Drorbn]] 06:16, 22 September 2006 (EDT)

because <math>b=a^{-1}=a^2</math>, if ab=1, why shouldn't <math>a*a^2=1</math>?

But what's wrong with that? --[[User:Drorbn|Drorbn]] 17:16, 22 September 2006 (EDT)

Finally I'm registered.....ok, if <math>a*a^2=1</math>, then a=1,but a field cannot have identical elements.....or can it?.........btw why is your name shown here but mine not?...never used a wiki based site....

Repeat: I don't see why <math>a*a^2=1</math> implies <math>a=1</math>. --[[User:Drorbn|Drorbn]] 03:24, 23 September 2006 (EDT)

er....since <math>a*a^2=a^3=1</math>, or am I right about <math>a*a^2=a^3</math>?....and what makes <math>a^3=1</math> except a=1?...sorry but please tell me where I got wrong.........

Well, OUR very own field has an element <math>a</math> for which <math>a^3=1</math> yet <math>a\neq 1</math>... --[[User:Drorbn|Drorbn]] 17:08, 23 September 2006 (EDT)

ok.....that's....very...convincing......I'll shut up...

You seem unhappy, but I actually meant what I said. The equality <math>a^3=1</math> in a general field does not imply the equality <math>a\neq 1</math> --- why would it? After all, <math>a^2=1</math> does not imply <math>a\neq 1</math> either. Here are two examples for fields in which there is an <math>a\neq 1</math> for which <math>a^3=1</math>:
# Our field and our <math>a</math>.
# The complex numbers <math>{\mathbb C}</math> and <math>a=-\frac12 \frac{\sqrt{3}}{2}i</math>.
--[[User:Drorbn|Drorbn]] 17:38, 24 September 2006 (EDT)

Actually I guessed it had something to do with the field. But this concept is still new to me, I just can't convice myself a is not 1 when a*a*a=1...But that example of complex numbers is indeed very convincing....thank you for your patience :)

== Assigment 1 Solution ==

I would appreciate if you may notify for any error. [[Media:Assignment 1 Ans.pdf|Assignment 1 Solution]]--[[User:Wongpak|Wongpak]] 08:28, 26 September 2006 (EDT)

Drorbn - User contributions [en]

VS, TS and TG Algebras

Talk:06-240/Homework Assignment 1