
arXiv: 1903.11798
This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra $Q_{n,k}(E,��)$ introduced by Feigin and Odesskii. The $Q_{n,k}(E,��)$'s are a family of quadratic algebras depending on a pair of coprime integers $n>k\ge 1$, an elliptic curve $E$, and a point $��\in E$. It is already known that the structure and representation theory of $Q_{n,1}(E,��)$ is controlled by the geometry associated to $E$ embedded as a degree $n$ normal curve in the projective space $\mathbb P^{n-1}$, and by the way in which the translation automorphism $z\mapsto z+��$ interacts with that geometry. For $k\ge 2$ a similar phenomenon occurs: $(E,��)$ is replaced by $(X_{n/k},��)$ where $X_{n/k}\subseteq\mathbb P^{n-1}$ is the characteristic variety of the title and $��$ is an automorphism of it that is determined by the negative continued fraction for $\frac{n}{k}$. There is a surjective morphism $��:E^g \to X_{n/k}$ where $g$ is the length of that continued fraction. The main result in this paper is that $X_{n/k}$ is a quotient of $E^g$ by the action of an explicit finite group. We also prove some assertions made by Feigin and Odesskii. The morphism $��$ is the natural one associated to a particular invertible sheaf $\mathcal L_{n/k}$ on $E^g$. The generalized Fourier-Mukai transform associated to $\mathcal L_{n/k}$ sends the set of isomorphism classes of degree-zero invertible $\mathcal O_E$-modules to the set of isomorphism classes of indecomposable locally free $\mathcal O_E$-modules of rank $k$ and degree $n$. Thus $X_{n/k}$ has an importance independent of the role it plays in relation to $Q_{n,k}(E,��)$. The backward $��$-orbit of each point on $X_{n/k}$ determines a point module for $Q_{n,k}(E,��)$.
43 pages + index + references; a number of minor changes
characteristic variety, Noncommutative algebraic geometry, Graded rings and modules (associative rings and algebras), Mathematics - Rings and Algebras, noncommutative algebraic geometry, Sklyanin algebra, Mathematics - Algebraic Geometry, point variety, elliptic curve, Rings and Algebras (math.RA), Derived categories of sheaves, dg categories, and related constructions in algebraic geometry, Mathematics - Quantum Algebra, FOS: Mathematics, Elliptic curves, Quantum Algebra (math.QA), 14A22 (Primary), 16S38, 16W50, 17B37, 14H52 (Secondary), Representation Theory (math.RT), Rings arising from noncommutative algebraic geometry, Algebraic Geometry (math.AG), Mathematics - Representation Theory
characteristic variety, Noncommutative algebraic geometry, Graded rings and modules (associative rings and algebras), Mathematics - Rings and Algebras, noncommutative algebraic geometry, Sklyanin algebra, Mathematics - Algebraic Geometry, point variety, elliptic curve, Rings and Algebras (math.RA), Derived categories of sheaves, dg categories, and related constructions in algebraic geometry, Mathematics - Quantum Algebra, FOS: Mathematics, Elliptic curves, Quantum Algebra (math.QA), 14A22 (Primary), 16S38, 16W50, 17B37, 14H52 (Secondary), Representation Theory (math.RT), Rings arising from noncommutative algebraic geometry, Algebraic Geometry (math.AG), Mathematics - Representation Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
