Related papers: Uniform interpolation and coherence

Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…

This paper is an exposition of the representation theory of vertex operator algebras in terms of associative algebras A_n(V) and their bimodules. A new result on the rationality is given. That is, a simple vertex operator algebra V is…

In this paper we begin the classification of coherent systems $(E,V)$ on the projective line which are stable with respect to some value of a parameter $\alpha$. In particular we show that the moduli spaces, if non-empty, are always smooth…

Even if a ring A is coherent, the polynomial ring A[X] in one variable could fail to be coherent. In this note we show that A[X] is graded coherent with the standard grading deg X=1. More generally, we give a criterion of graded…

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…

Let $C$ be a polarized nodal curve of compact type. In this paper we study coherent systems $(E,V)$ on $C$ given by a depth one sheaf $E$ having rank $r$ on each irreducible component of $C$ and a subspace $V \subset H^0(E)$ of dimension…

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…

It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is semisimple and each irreducible admissible V-module is ordinary. A contravariant form on a Verma type admissible V-module is constructed…

Let V be a vertex operator algebra. We construct a sequence of associative algebras A_n(V) (n=0,1,2,...) such that A_{n}(V) is a quotient of A_{n+1}(V) and a pair of functors between the category of A_n(V)-modules which are not…

A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.

Building on work of the first and last author, we prove that an embedding of simple affine vertex algebras $V_{\mathbf{k}}(\mathfrak g^0)\subset V_{k}(\mathfrak g)$, corresponding to an embedding of a maximal equal rank reductive subalgebra…

We prove that a compact complex analytic variety is algebraizable if and only if its bounded derived dg-category of coherent sheaves is saturated.

Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^\dag_{\X,\Q} $-module which is overcoherent after any change of basis is an…

In the category \(\mathbf{V}\) of unital archimedean vector lattices, four notions of uniform completeness obtain. In all cases completeness requires the convergence of uniformly Cauchy sequences; the completions are distinguished by the…

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…

The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary…

Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic…

Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The…

We prove that unital graph C*-algebras often admit a convenient decomposition into amalgamated free products. We use this to give a complete characterization of when a unital graph C*-algebra is residually finite-dimensional and when it is…