Related papers: A Logspace Constructive Proof of L=SL

The famous Lomonosov's invariant subspace theorem states that if a continuous linear operator T on an infinite-dimensional normed space E "commutes" with a compact nonzero operator K, i.e., TK=KT, then T has a non-trivial closed invariant…

We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a…

We study the residuated basic logic ($\mathsf{RBL}$) of residuated basic algebra in which the basic implication of Visser's basic propositional logic ($\mathsf{BPL}$) is interpreted as the right residual of a non-associative binary operator…

Given a Legendrian knot $\Lambda \subset \mathbb{R}^3$ and a vertical line dividing the front projection of $\Lambda$ into two halves, we construct a differential graded algebra associated to each half-knot. We then show that one may obtain…

A celebrated theorem of Savitch states that NSPACE(S) is contained in DSPACE(S^2). In particular, Savitch gave a deterministic algorithm to solve ST-CONNECTIVITY (an NL-complete problem) using O(log^2{n}) space, implying NL is in…

Let F be a non-archimedean local field of characteristic zero. We consider distributions on GL(n+1,F) which are invariant under the adjoint action of GL(n,F). We prove that any such distribution is invariant with respect to transposition.…

In a joint work with N. Mok in 1997, we proved that for an irreducible representation $G \subset {\bf GL}(V),$ if a holomorphic $G$-structure exists on a uniruled projective manifold, then the Lie algebra of $G$ has nonzero prolongation. We…

We introduce and study the notion of a logarithmic vertex algebra, which is a vertex algebra with logarithmic singularities in the operator product expansion of quantum fields; thus providing a rigorous formulation of the algebraic…

In this paper, a family of infinite dimensional Lie algebras $\tilde{\mathcal{L}}$ is introduced and investigated, called the extended Heisenberg-Virasoro algebra,denoted by $\tilde{\mathcal{L}}$. These Lie algebras are related to the $N=2$…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

Let K be an algebraically closed field. For a finitely generated graded K algebra R, let cmdef R := dim R - depth R denote the Cohen-Macaulay-defect of R. Let G be a linear algebraic group over K that is reductive but not linearly…

The Cohen-Glashow Very Special Relativity (VSR) algebra [arXiv:hep-ph/0601236] is defined as the part of the Lorentz algebra which upon addition of CP or T invariance enhances to the full Lorentz group, plus the space-time translations. We…

In this paper, we develop the theory of punctured R-maps as a crucial component of logarithmic gauged linear sigma models (log GLSM). A punctured R-map is a punctured map in the sense of ACGS, further twisted by the sheaf of differentials…

A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…

This paper is the first in a series of papers developing a functional-analytic theory of vertex (operator) algebras and their representations. For an arbitrary Z-graded finitely-generated vertex algebra (V, Y, 1) satisfying the standard…

In these notes we review some basic facts about the LLV Lie algebra. It is a rational Lie algebra, introduced by Looijenga-Lunts and Verbitsky, acting on the rational cohomology of a compact K\"{a}hler manifold. We study its structure and…

Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations.…

We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts…

In [8], the affine vertex algebra $L_k(\mathfrak{sl}_2)$ is realized as a subalgebra of the vertex algebra $Vir_c \otimes \Pi(0)$, where $Vir_c$ is a simple Virasoro vertex algebra and $\Pi(0)$ is a half-lattice vertex algebra. Moreover,…

We introduce the notion of a logarithmic stable map from a minimal log prestable curve to a log twisted semi-stable variety of form $xy=0$. We study the compactification of the moduli spaces of such maps and provide a perfect obstruction…