A_ -algebras associated with curves and rational functions on M_g,g. I

Abstract: We consider the natural A-infinity structure on the Ext-algebra

E x t^{*} (G, G)

associated with the coherent sheaf

G = {c a l O}_{C} o p l u s {c a l O}_{p_{1}} o p l u s ... o p l u s {c a l O}_{p_{n}}

on a smooth projective curve

C

, where

p_{1}, ..., p_{n} i n C

are distinct points. We study the homotopy class of the product

m_{3}

. Assuming that

h^{0} (p_{1} + ... + p_{n}) = 1

we prove that

m_{3}

is homotopic to zero if and only if

C

is hyperelliptic and the points

p_{i}

are Weierstrass points. In the latter case we show that

m_{4}

is not homotopic to zero, provided the genus of

C

is at least 2. In the case

n = g

we prove that the A-infinity structure is determined uniquely (up to homotopy) by the products

m_{i}

with

i l e 6

. Also, in this case we study the rational map

{c a l M}_{g, g} o {B b b A}^{g^{2} - 2 g}

associated with the homotopy class of

m_{3}

. We prove that for

g g e 6

it is birational onto its image, while for

g l e 5

it is dominant. We also give an interpretation of this map in terms of tangents to

C

in the canonical embedding and in the projective embedding given by the linear series

| 2 (p_{1} + ... + p_{g}) |

.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: \(A_{\infty }\)-algebras associated with curves and rational functions on \(\mathcal{M}_{g,g}\). I