Homological Mirror Symmetry Conjecture by KONTSEVICH
R Commutative ring over C
C R module that has degree
(ΠC)k = Ck+1
BC Free coassociative coalgebra
EC Free coassociative cocommutative coalgebra
BkΠC BΠC that has k number tensor product
EkΠC EΠC that has k number tensor product
mk : BkΠC → ΠC
lk : EkΠC → ΠC
A∞-algebra = 0 at (BΠC, mk) (k>0)
Weak A∞-algebra = 0 at (BΠC, mk) (k≥0)
L∞-algebra = 0 at (EΠC, mk) (k>0)
Weak L∞-algebra = 0 at (EΠC, mk) (k≥0)
M(C) Complex structure's moduli space over compact manifold c
Unobstructed Weak A∞-algebra that satisfies M(C)
M Symplectic manifold
Complex manifold that is mirror of M
L Lagrangian submanifold of M that Weak A∞-algebra is unobstructed
FL Object of M† 's analitic coherent sheaf's category
For L there exists FL. FL's infinite small transformation's moduli space is coefficient to
[b] Element of M(L)
[b] defines A∞-algebra.
[b] defines chain complex's boundary map m1b
Cohomologyy of m1 b is called Floer cohomology.
Floer cohomology is expressed by HF((L, b), (L, b))
Word is seemed as L.
For L there exist language FL and M(L).
Mirror theory on language is supposed by the existence of FL and M(L).
To be continued
Tokyo April 26, 2009