Related papers: On the complexity of solving linear congruences an…
We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a…
We find modular transformations of normalized characters for the following $W$-algebras: (a) $W^{min}_k(\frak{g})$, where $\frak{g}=D_n \, (n \geq 4)$, or $E_6$, $E_7$, $E_8$, and $k$ is a negative integer $\geq -2$, or $\geq…
We continue the study of the vertex operator algebra $L(k,0)$ associated to a type $G_2^{(1)}$ affine Lie algebra at admissible one-third integer levels, $k = -2 + m + \tfrac{i}{3}\ (m\in \mathbb{Z}_{\ge 0}, i = 1,2)$, initiated in…
Based on the solution of \textbf{Paulsen Problem} by Kwok, Lau, Lee, and Ramachandran [\textit{STOC'18-Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018}] and independently by Hamilton, and Moitra…
Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [18], [12], [17]. If $R$ is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class…
The following integrability theorem for vertex operator algebras V satisfying some finiteness conditions(C_2-cofinite and CFT-type) is proved: the vertex operator subalgebra generated by a simple Lie subalgebra {\frak g} of the weight one…
A number of recent results on optimization problems involving submodular functions have made use of the multilinear relaxation of the problem. These results hold typically in the value oracle model, where the objective function is…
We study functions $f$ on $\mathbb Q$ which statisfy a ``quantum modularity'' relation of the shape $$ f(x+1)=f(x), \qquad f(x) - |x|^{-k} f(-1/x) = h(x) $$ where $h:\mathbb R_{\neq 0} \to \mathbb C$ is a function satisfying various…
Let V^L and V^R be simple vertex operator algebras satisfying certain natural uniqueness-of-vacuum, complete reducibility and cofiniteness conditions and let F be a conformal full field algebra over the tensor product of V^L and V^R. We…
In this paper we survey a number of recent results concerning the existence and moduli spaces of solutions of various geometric problems on noncompact manifolds. The three problems which we discuss in detail are: I. Complete properly…
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic)…
We show that modularity and the gap condition make the holomorphic anomaly equation completely integrable for non-compact Calabi-Yau manifolds. This leads to a very efficient formalism to solve the topological string on these geometries in…
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2,…
To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields…
The multiplicities a_{lambda,mu} of simple modules L(mu) in the composition series of Kac modules V(lambda) for the Lie superalgebra gl(m/n) were described by Serganova, leading to her solution of the character problem for gl(m/n). In…
We investigate the categories of finite-dimensional representations of multicurrent and multiloop hyperalgebras in positive characteristic, i.e., the hyperalgebras associated to the multicurrent algebras $\mathfrak…
We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the…
Among the approximation methods for the verification of counter systems, one of them consists in model-checking their flat unfoldings. Unfortunately, the complexity characterization of model-checking problems for such operational models is…
Let $G$ be the simple algebraic group $\mathrm{SL}_2$ defined over an algebraically closed field $k$ of characteristic $p > 0$. Using results of A. Parker, we develop a method which gives, for any $q \in \mathbb{N}$, a closed form…
We show that C_2-cofiniteness is enough to prove a modular invariance property of vertex operator algebras without assuming the semisimplicity of Zhu algebra. For example, if a VOA V=\oplus_{m=0}^{\infty}V_m is C_2-cofinite, then the space…