Note 6
Homological Mirror Symmetry Conjecture by KONTSEVICH
1
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
2
Coderivative
A∞-algebra ![](https://docs.zoho.com/writer/image.do?imgurl=a388a7fc54b0cd4ba80de6dcb0234ac96ca1dfe78efa42bea796067ff19408118f44643c2cca960e69b9ad117b6ef8e5)
= 0 at (BΠC, mk) (k>0)
Weak A∞-algebra ![](https://docs.zoho.com/writer/image.do?imgurl=a388a7fc54b0cd4ba80de6dcb0234ac96ca1dfe78efa42bea796067ff1940811e604304a288cd41287ea7c8096b73678)
= 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)
3
M(C) Complex structure's moduli space over compact manifold c
Unobstructed Weak A∞-algebra that satisfies M(C) ![](https://docs.zoho.com/writer/image.do?imgurl=a388a7fc54b0cd4ba80de6dcb0234ac96ca1dfe78efa42bea796067ff19408116fc148561afa6f2ae603a2854533b19a)
4
M Symplectic manifold
M†
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
(Conjecture)
For L there exists FL. FL's infinite small transformation's moduli space is coefficient to
M(L).
5
[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))
6 (Impression)
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).
<References>
No comments:
Post a Comment