Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 31st 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated _[[elliptic spectrum]]_

   created elliptic spectrum

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMay 16th 2014
   • (edited May 16th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added a detailed remark on the issue "elliptic curve"$\leftrightarrow$"its Picard group" to _[[elliptic spectrum]]_. Currently it reads as follows: *** Originally (and still in many or even most references), def. \ref{EllipticSpectrum} is stated with the [[formal Picard group]] $Pic_A^0$ replaced by the [[formal completion]] $\hat A$ of $A$ at its neutral element. These two versions of the definition in itself are equivalent, since [[elliptic curves]] are self-[[dual abelian varieties]] equipped with a canonical [[isomorphism]] $A\simeq Pic_X^0$exhibited by the [[Poincaré line bundle]]. But for the development of the theory, notably for application to [[equivariant elliptic cohomology]], for the relation of [[elliptic cohomology]] to [[loop group representations]] etc., it is crucial to understand that $E^\bullet(B U(1))$ is the space of [[sections]] of a [[line bundle]] over a (formal) [[moduli space]] of [[line bundles]] on the elliptic curve, instead of on the elliptic curve itself. Indeed, generally for $G$ a [[compact Lie group]], then $E^\bullet(B G)$ is the space of sections of the [[WZW model]]-[[line bundle]] on the (formal) [[moduli space of flat connections]] on $G$-[[principal bundles]] over the elliptic curve. This is the central statement at _[[equivariant elliptic cohomology]]_. As the appearance of the [[WZW model]] here shows, this is also crucial for understanding the role of elliptic spectra in [[quantum field theory]]/[[string theory]], see at _[equivariant elliptic cohomology -- Interpretation in Quantum field theory/String theory](equivariant%20elliptic%20cohomology#InterpretationInQuantumFieldTheory)_ for more on this. Moreover, understanding $Spec E^\bullet(BU(1))$ as being about [[moduli space of (higher) line bundles|moduli of line bundles]] on the elliptic curve is crucial for understanding the generalization of the concept of elliptic spectra, for instance to [[K3-spectra]]. This is indicated in the following table [[!include moduli of higher lines -- table]]

   I have added a detailed remark on the issue “elliptic curve”$\leftrightarrow$“its Picard group” to elliptic spectrum.

   Currently it reads as follows:

   ---

   Originally (and still in many or even most references), def. \ref{EllipticSpectrum} is stated with the formal Picard group $Pic_A^0$ replaced by the formal completion $\hat A$ of $A$ at its neutral element.

   These two versions of the definition in itself are equivalent, since elliptic curves are self-dual abelian varieties equipped with a canonical isomorphism $A\simeq Pic_X^0$exhibited by the Poincaré line bundle.

   But for the development of the theory, notably for application to equivariant elliptic cohomology, for the relation of elliptic cohomology to loop group representations etc., it is crucial to understand that $E^\bullet(B U(1))$ is the space of sections of a line bundle over a (formal) moduli space of line bundles on the elliptic curve, instead of on the elliptic curve itself.

   Indeed, generally for $G$ a compact Lie group, then $E^\bullet(B G)$ is the space of sections of the WZW model-line bundle on the (formal) moduli space of flat connections on $G$-principal bundles over the elliptic curve. This is the central statement at equivariant elliptic cohomology. As the appearance of the WZW model here shows, this is also crucial for understanding the role of elliptic spectra in quantum field theory/string theory, see at equivariant elliptic cohomology – Interpretation in Quantum field theory/String theory for more on this.

   Moreover, understanding $Spec E^\bullet(BU(1))$ as being about moduli of line bundles on the elliptic curve is crucial for understanding the generalization of the concept of elliptic spectra, for instance to K3-spectra. This is indicated in the following table

   !include moduli of higher lines – table

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeNov 16th 2020
   • PermaLink
   Author: Urs
   Format: MarkdownItexFixed a typo in a formula for the identification of a formal elliptic curve with its formal Picard scheme <a href="https://ncatlab.org/nlab/revision/diff/elliptic+spectrum/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/elliptic+spectrum/13">v13</a>, <a href="https://ncatlab.org/nlab/show/elliptic+spectrum">current</a>

   Fixed a typo in a formula for the identification of a formal elliptic curve with its formal Picard scheme

   diff, v13, current