Skip to main content
18 events
when toggle format what by license comment
Oct 29, 2023 at 3:45 history edited Joe CC BY-SA 4.0
added 3 characters in body
Oct 29, 2023 at 3:30 history edited Joe CC BY-SA 4.0
major revamp of phrasing
S Oct 26, 2023 at 18:02 history bounty ended CommunityBot
S Oct 26, 2023 at 18:02 history notice removed CommunityBot
Oct 25, 2023 at 20:12 comment added Joe In the boson example above, the $e^{i \alpha \phi(0)}$ correspond to different vacua $| \alpha \rangle$. More generally, they act as intertwiners taking the $| \beta \rangle$-module $M_\beta$ to the $| \alpha + \beta \rangle$-module $M_{\alpha+\beta}$ for all $\beta$. In this case, with $\sum_i \alpha_i = 0$, the operator $e^{i \alpha_n \phi(z_n)} \cdots e^{i \alpha_1 \phi(z_1)}$ maps modules $M_0 \to M_{\alpha_1} \to M_{\alpha_1 + \alpha_2} \to \cdots \to M_{\alpha_1 + \cdots \alpha_n} = M_0$. And indeed we can write this in terms of currents like above.
Oct 25, 2023 at 20:04 comment added Joe I understand now that simple currents keep one in same VOA module (essentially by definition). As above, the better question is about correlators of primary fields. I think my question translates as follows. Take primaries $\Phi_1(z_1), \cdots, \Phi_n(z_n)$ corresponding to punctures $z_i$ and modules $M_i$. How does one write the projection to the vacuum sector of the operator $\Phi_1(z_1) \cdots \Phi_n(z_n)$ in terms of the VOA? This is only nonzero if $M_1 \otimes \cdots \otimes M_n$ decomposes with an identity representation.
Oct 25, 2023 at 1:04 comment added Pulcinella To reiterate Nikita's point, if you write down what you mean by "in terms of WZW currents" you see it's incorrect. What I think you're saying is that every integrable representation $M$ of the affine VOA $V(\mathfrak{g})$ is generated by a single vector $m\in M$, which is false. Since if $M$ is generated by a single vector there's a surjection $V(\mathfrak{g})\twoheadrightarrow M$, i.e. $M$ must be a quotient of $V(\mathfrak{g})$. So it's easy to create counterexamples: $M=V(\mathfrak{g})\oplus V(\mathfrak{g})$, or indeed most smooth representations of $\hat{\mathfrak{g}}$ (i.e. reps of V(g)).
Oct 25, 2023 at 0:31 history edited Joe
edited tags
Oct 18, 2023 at 21:58 history edited Joe CC BY-SA 4.0
added 291 characters in body
S Oct 18, 2023 at 16:39 history bounty started Joe
S Oct 18, 2023 at 16:39 history notice added Joe Draw attention
Oct 17, 2023 at 23:02 history edited YCor
edited tags
Oct 17, 2023 at 18:42 history edited Joe CC BY-SA 4.0
added 1814 characters in body; edited title
Oct 17, 2023 at 18:37 history edited Joe CC BY-SA 4.0
added 1814 characters in body; edited title
Oct 17, 2023 at 18:31 history edited Joe CC BY-SA 4.0
added 1814 characters in body; edited title
Oct 16, 2023 at 21:49 answer added Nikita Grygoryev timeline score: 3
Oct 15, 2023 at 21:00 history edited Joe CC BY-SA 4.0
added 85 characters in body; edited tags
Oct 15, 2023 at 20:37 history asked Joe CC BY-SA 4.0