Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra ${{\mathcal {V}}}$, we have a surjective homomorphism of differential algebras $\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$; equivalently, the singular support of ${{\mathcal {V}}}$ is a closed subscheme of the arc space of the associated scheme $X_{{{\mathcal {V}}}}$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$ for all positive integers $n$ and $k$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular ${{\mathcal {W}}}$-algebra of ${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras.
Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings
Abstract The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $X_{n/k}=E^g$ and $\tau =0$ , the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.
more »
« less
- Award ID(s):
- 2001128
- NSF-PAR ID:
- 10225264
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 9
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
Abstract -
Abstract We prove an inequality that unifies previous works of the authors on the properties of the Radon transform on convex bodies including an extension of the Busemann–Petty problem and a slicing inequality for arbitrary functions. Let $K$ and $L$ be star bodies in ${\mathbb R}^n,$ let $0<k<n$ be an integer, and let $f,g$ be non-negative continuous functions on $K$ and $L$, respectively, so that $\|g\|_\infty =g(0)=1.$ Then $$\begin{align*} & \frac{\int_Kf}{\left(\int_L g\right)^{\frac{n-k}n}|K|^{\frac kn}} \le \frac n{n-k} \left(d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)\right)^k \max_{H} \frac{\int_{K\cap H} f}{\int_{L\cap H} g}, \end{align*}$$where $|K|$ stands for volume of proper dimension, $C$ is an absolute constant, the maximum is taken over all $(n-k)$-dimensional subspaces of ${\mathbb R}^n,$ and $d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)$ is the outer volume ratio distance from $K$ to the class of generalized $k$-intersection bodies in ${\mathbb R}^n.$ Another consequence of this result is a mean value inequality for the Radon transform. We also obtain a generalization of the isomorphic version of the Shephard problem.more » « less
-
Abstract The goal of this paper is to generalise, refine and improve results on large intersections from [2, 8]. We show that if G is a countable discrete abelian group and $\varphi , \psi : G \to G$ are homomorphisms, such that at least two of the three subgroups $\varphi (G)$ , $\psi (G)$ and $(\psi -\varphi )(G)$ have finite index in G , then $\{\varphi , \psi \}$ has the large intersections property . That is, for any ergodic measure preserving system $\textbf {X}=(X,\mathcal {X},\mu ,(T_g)_{g\in G})$ , any $A\in \mathcal {X}$ and any $\varepsilon>0$ , the set $$ \begin{align*} \{g\in G : \mu(A\cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A)>\mu(A)^3-\varepsilon\} \end{align*} $$ is syndetic (Theorem 1.11). Moreover, in the special case where $\varphi (g)=ag$ and $\psi (g)=bg$ for $a,b\in \mathbb {Z}$ , we show that we only need one of the groups $aG$ , $bG$ or $(b-a)G$ to be of finite index in G (Theorem 1.13), and we show that the property fails, in general, if all three groups are of infinite index (Theorem 1.14). One particularly interesting case is where $G=(\mathbb {Q}_{>0},\cdot )$ and $\varphi (g)=g$ , $\psi (g)=g^2$ , which leads to a multiplicative version of the Khintchine-type recurrence result in [8]. We also completely characterise the pairs of homomorphisms $\varphi ,\psi $ that have the large intersections property when $G = {{\mathbb Z}}^2$ . The proofs of our main results rely on analysis of the structure of the universal characteristic factor for the multiple ergodic averages $$ \begin{align*} \frac{1}{|\Phi_N|} \sum_{g\in \Phi_N}T_{\varphi(g)}f_1\cdot T_{\psi(g)} f_2. \end{align*} $$ In the case where G is finitely generated, the characteristic factor for such averages is the Kronecker factor . In this paper, we study actions of groups that are not necessarily finitely generated, showing, in particular, that, by passing to an extension of $\textbf {X}$ , one can describe the characteristic factor in terms of the Conze–Lesigne factor and the $\sigma $ -algebras of $\varphi (G)$ and $\psi (G)$ invariant functions (Theorem 4.10).more » « less
-
more » « less
Abstract Let $S$ be a scheme and let $\pi : \mathcal{G} \to S$ be a ${\mathbb{G}}_{m,S}$-gerbe corresponding to a torsion class $[\mathcal{G}]$ in the cohomological Brauer group ${\operatorname{Br}}^{\prime}(S)$ of $S$. We show that the cohomological Brauer group ${\operatorname{Br}}^{\prime}(\mathcal{G})$ of $\mathcal{G}$ is isomorphic to the quotient of ${\operatorname{Br}}^{\prime}(S)$ by the subgroup generated by the class $[\mathcal{G}]$. This is analogous to a theorem proved by Gabber for Brauer–Severi schemes.
-
Abstract Inspired by Lehmer’s conjecture on the non-vanishing of the Ramanujan $$\tau $$ τ -function, one may ask whether an odd integer $$\alpha $$ α can be equal to $$\tau (n)$$ τ ( n ) or any coefficient of a newform f ( z ). Balakrishnan, Craig, Ono and Tsai used the theory of Lucas sequences and Diophantine analysis to characterize non-admissible values of newforms of even weight $$k\ge 4$$ k ≥ 4 . We use these methods for weight 2 and 3 newforms and apply our results to L -functions of modular elliptic curves and certain K 3 surfaces with Picard number $$\ge 19$$ ≥ 19 . In particular, for the complete list of weight 3 newforms $$f_\lambda (z)=\sum a_\lambda (n)q^n$$ f λ ( z ) = ∑ a λ ( n ) q n that are $$\eta $$ η -products, and for $$N_\lambda $$ N λ the conductor of some elliptic curve $$E_\lambda $$ E λ , we show that if $$|a_\lambda (n)|<100$$ | a λ ( n ) | < 100 is odd with $$n>1$$ n > 1 and $$(n,2N_\lambda )=1$$ ( n , 2 N λ ) = 1 , then $$\begin{aligned} a_\lambda (n) \in&\{-5,9,\pm 11,25, \pm 41, \pm 43, -45,\pm 47,49, \pm 53,55, \pm 59, \pm 61,\\&\pm 67, -69,\pm 71,\pm 73,75, \pm 79,\pm 81, \pm 83, \pm 89,\pm 93 \pm 97, 99\}. \end{aligned}$$ a λ ( n ) ∈ { - 5 , 9 , ± 11 , 25 , ± 41 , ± 43 , - 45 , ± 47 , 49 , ± 53 , 55 , ± 59 , ± 61 , ± 67 , - 69 , ± 71 , ± 73 , 75 , ± 79 , ± 81 , ± 83 , ± 89 , ± 93 ± 97 , 99 } . Assuming the Generalized Riemann Hypothesis, we can rule out a few more possibilities leaving $$\begin{aligned} a_\lambda (n) \in \{-5,9,\pm 11,25,-45,49,55,-69,75,\pm 81,\pm 93, 99\}. \end{aligned}$$ a λ ( n ) ∈ { - 5 , 9 , ± 11 , 25 , - 45 , 49 , 55 , - 69 , 75 , ± 81 , ± 93 , 99 } .more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fms.2020.60
