Related papers: Structure of Ann-Categories

We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$,…

In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable…

Let $\mathbf{K}$ be the class of countable structures $M$ with the strong small index property and locally finite algebraicity, and $\mathbf{K}_*$ the class of $M \in \mathbf{K}$ such that $acl_M(\{ a \}) = \{ a \}$ for every $a \in M$. For…

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

We define a notion of weak omega-category internal to a model of Martin-L\"of type theory, and prove that each type bears a canonical weak omega-category structure obtained from the tower of iterated identity types over that type. We show…

The characteristic forms in the bundle of connections of a principal bundle P over M determine the characteristic classes of P for degree less or equal to the dimension of M, and differential forms on the space of connections for higher…

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…

We give a complex polarized variation of Hodge structure over a compact K"ahler manifold $M$ which controls all finite-dimensional complex polarized variations of Hodge structure over $M$ and their tensor relations. As a corollary, we…

We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…

Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…

In [Homotopical Algebra, Springer LNM 43] Quillen introduces the notion of a model category: a category $\mathcal{C}$ provided with three distinguished classes of maps $\{\mathcal{W},\, \mathcal{F},\, co\mathcal{F}\}$ (weak equivalences,…

For a separable $C^*$-algebra $A$, we introduce an exact $C^*$-category called the Paschke Category of $A$, which is completely functorial in $A$, and show that its K-theory groups are isomorphic to the topological K-homology groups of the…

Automorphic Lie Algebras arise in the context of reduction groups introduced in the late 1970s in the field of integrable systems. They are subalgebras of Lie algebras over a ring of rational functions, defined by invariance under the…

We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve…

This is the fourth in a series of papers math.AG/0312190, math.AG/0503029, math.AG/0410267 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration is a finite collection of objects and…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the direct product decompositions of a set or group or…

This paper is devoted to the classification and studying properties of complex unital $3$-dimensional structurable algebras. We provide a complete list of non-isomorphic classes, identifying five algebras for type $(2, 1)$ and two algebras…

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…