Related papers: Semi-Infinite Induction and Wakimoto Modules

Gheibi, Jorgensen and Takahashi recently introduced the quasi-projective dimension of a module over commutative Noetherian rings, a homological invariant extending the classic projective dimension of a module, and Gheibi later developed the…

We prove a generalization of the Fujita-Kawamata-Zuo semi-positivity Theorem for filtered regular meromorphic Higgs bundles and tame harmonic bundles. Our approach gives a new proof in the cases already considered by these authors. We give…

We introduce a generalization of tilting modules of finite projective dimension, projectively Wakamatsu tilting modules, which are self-orthogonal and Ext-progenerators in their Ext-perpendicular categories. Under a certain finiteness…

We study in detail the semi-infinite or BRST cohomology of general affine Lie algebras. This cohomology is relevant in the BRST approach to gauged WZNW models. We prove the existence of an infinite sequence of elements in the cohomology for…

We show that our construction of boson type realizations of affine $\mathfrak{sl}(n+1)$ in terms of intermediate Wakimoto modules gives representations that are generically isomorphic to certain Verma type modules. We then use this…

Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is…

A theory of quasi modules at infinity for (weak) quantum vertex algebras including vertex algebras was previously developed in \cite{li-infinity}. In this current paper, quasi modules at infinity for vertex algebras are revisited. Among the…

We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-sorted signature modulo builtins. A key feature of the…

We prove a generalised version of finiteness of skein modules for 3-manifolds by including boundary. We show that internal skein modules are holonomic modules over the internal skein algebra of the boundary - a property including finite…

We discuss various techniques for computing the semi-infinite cohomology of highest weight modules which arise in the BRST quantization of two dimensional field theories. In particular, we concentrate on two such theories -- the $G/H$ coset…

We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we…

We construct certain boson type realizations of affine sl(n+1) that depend on a parameter r. When r=0 we get a Fock space realization of Imaginary Verma modules appearing in the work of the first author and when r=n they are the Wakimoto…

A positive level Kazhdan-Lusztig functor is defined using Arkhipov-Gaitsgory duality for affine Lie algebras. The functor sends objects in the DG category of G(O)-equivariant positive level affine Lie algebra modules to objects in the DG…

This paper is the continuation of \cite{CXY}. Let ${\bf G}$ be a simply connected semisimple algebraic group over $\Bbbk=\bar{\mathbb{F}}_q$, the algebraically closure of $\mathbb{F}_q$ (the finite field with $q=p^e$ elements), and $F$ be…

We provide criteria for the cyclotomic quiver Hecke algebras of type C to be semisimple. In the semisimple case, we construct the irreducible modules.

Let $G$ be an abelian group of order $n$ and let $R$ be a commutative ring which admits a homomorphism ${\Bbb Z}[\zeta_{n}]\ra R$, where $\zeta_{n}$ is a (complex) primitive $n$-th root of unity. Given a finite $R[G\e]$-module $M$, we…

The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and…

We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional…

Let $S$ be a semiring. An $S$-semimodule $M$ is called a multiplication semimodule if for each subsemimodule $N$ of $M$ there exists an ideal $I$ of $S$ such that $N=IM$. In this paper we investigate some properties of multiplication…

We consider certain infinite dimensional modules of level 1 for the double Yangian $\text{DY}(\mathfrak{gl}_2)$ which are based on the Iohara-Kohno realization. We show that they possess topological bases of Feigin-Stoyanovsky-type, i.e.…