c ycle g raph g raded a lgebra & c yclohedra derriell springfield march 30, 2009

10
CYCLE GRAPH GRADED ALGEBRA & CYCLOHEDRA Derriell Springfield March 30, 2009

Upload: shauna-cannon

Post on 21-Jan-2016

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

CYCLE GRAPHGRADED ALGEBRA &

CYCLOHEDRA

Derriell Springfield

March 30, 2009

Page 2: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

BASIC DEFINITIONS

Algebra: vector space V with a map • :V V V 1. (c v) • w = c (v • w) = v • (c w) 2. u • (v + w) = u • v + u • w 3. (u v) • w = u • (v w)

Graded Vector Space V = Vi

Each Vi is a vector space with basis Bi

Graded Algebra vi • vj = vi + j

vi is made of combinations of b ε U Bi

Page 3: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

A tube is a connected subgraph that contains all of its edges.

A tubing is any collection of tubes where each pair of tubes is either nested or non-adjacent.

Complete tubing

COMPLETE TUBINGS ON CONNECTED GRAPHS

Page 4: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

COMPLETE TUBINGS OF CYCLE GRAPHS AS A GRADED ALGEBRA

Let Ci be the free vector space over the complete tubing on the cycle graph of i nodes.

Basis = {set of complete tubings on Ci} Vector = a formal linear combination of complete

tubings (v = aT1 + bT2 + … + cTn) + , • by scalars are concatenating formal linear

combinations and distributing the scalar multiplication.

Page 5: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

COMPLETE TUBINGS OF CYCLE GRAPHS AS A GRADED ALGEBRA(cont.)

Let C = the free vector space on all the complete tubings of cycle graphs. Therefore C = C Ci , C is a graded vector space.

Multiplication of tubing on cycle graphs

Page 6: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

COMPLETE TUBINGS OF CYCLE GRAPHS AS A GRADED ALGEBRA (cont.)

Conjecture: C is a Graded Algebra. If we define • : C C C on the basis vectors and

extend linearly. We must show associativity to demonstrate that this is true.

Page 7: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

CYCLOHEDRON

Page 8: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

PROBLEM STATEMENT

If you include all the tubings (even incomplete) of cycles, is it still an algebra? Is the boundary map a derivative?

Graded vector space Basis {Smaller tubings around the cyclohedron} Grading: 2 (nodes) – (tubes)

Using the same multiplication (Associative)

Page 9: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

The derivative Obtained by way of the faces on the cyclohedron

Takes you down level

Check product rule

(( • ) = ( ) • + •

Second derivative 2= 0

PROBLEM STATEMENT

Page 10: C YCLE G RAPH G RADED A LGEBRA & C YCLOHEDRA Derriell Springfield March 30, 2009

QUESTIONS?