Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

Publication date 12 February 2021

Abstract: The elliptic algebras in the title are connected graded

m a t h b b C

-algebras, denoted

Q_{n, k} (E, a u)

, depending on a pair of relatively prime integers

n > k g e 1

, an elliptic curve

E

, and a point

a u i n E

. This paper examines a canonical homomorphism from

Q_{n, k} (E, a u)

to the twisted homogeneous coordinate ring

B (X_{n / k}, s i g m a^{'}, m a t h c a l L'_{n / k})

on the characteristic variety

X_{n / k}

for

Q_{n, k} (E, a u)

. When

X_{n / k}

is isomorphic to

E^{g}

or the symmetric power

S^{g} E

we show the homomorphism

Q_{n, k} (E, a u) o B (X_{n / k}, s i g m a^{'}, m a t h c a l L'_{n / k})

is surjective, that the relations for

B (X_{n / k}, s i g m a^{'}, m a t h c a l L'_{n / k})

are generated in degrees

l e 3

, and the non-commutative scheme

m a t h r m {P r o j}_{n c} (Q_{n, k} (E, a u))

has a closed subvariety that is isomorphic to

E^{g}

or

S^{g} E

, respectively. When

X_{n / k} = E^{g}

and

a u = 0

, the results about

B (X_{n / k}, s i g m a^{'}, m a t h c a l L'_{n / k})

show that the morphism

P h i_{| m a t h c a l L_{n / k} |} : E^{g} o m a t h b b P^{n - 1}

embeds

E^{g}

as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings