Related papers: Duality for $\kappa$-additive complete atomic moda…

We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology. We use this to compute the homotopy cofiber of a transfer map K(L/p) --> K(L_p), which we interpret as the algebraic…

We study gerbes with connection over an etale stack via noncommutative algebras of differential forms on a groupoid presenting the stack. We then describe a dg-category of modules over any such algebra, which we claim represents a…

We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched categories. We give a least-solution semantics as well as an…

Let kappa be an uncountable regular cardinal. Assuming 2^kappa=kappa^+, we show that the clone lattice on a set of size kappa is not dually atomic.

We produce a flat $\Lambda$-module of $\Lambda$-adic critical slope overconvergent modular forms, producing a Hida-type theory that interpolates such forms over $p$-adically varying integer weights. This provides a Hida-theoretic…

Let $K$ be a complete non-archimedean valuation field of characteristic $0$, with non-trivial valuation, equipped with (possibly multiple) commuting bounded derivations. We prove a decomposition theorem for finite differential modules over…

Let ${\mathfrak g}$ be a simple Lie algebra. For a level $\kappa$ (thought of as a symmetric ${\mathfrak g}$-invariant form of ${\mathfrak g}$), let $\hat{\mathfrak g}_\kappa$ be the corresponding affine Kac-Moody algebra. Let $Gr_G$ be the…

A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…

The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely…

We are concerned with relating derived categories of all modules of two dual Koszul algebras defined by a locally bounded quiver. We first generalize the well known Acyclic Assembly Lemma and formalize an old method of extending a functor…

Summarizing basic facts from abstract topological modules over Colombeau generalized complex numbers we discuss duality of Colombeau algebras. In particular, we focus on generalized delta functionals and operator kernels as elements of dual…

Let G and K be groupoids. We present the notion of a (G_{\alpha},K_{\beta})-set and we prove a duality theorem in this context, which extends the duality theorem for graded algebras by groups. For A a unital G-graded algebra and X a finite…

Modal dependence logic (MDL) was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n the atomic formula =(p_1,...,p_(n-1),p_n) intuitively states that the…

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…

The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…

We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…

Let $(A,\Delta)$ be a finite-dimensional Hopf algebra. The linear dual $B$ of $A$ is again a finite-dimensional Hopf algebra. The duality is given by an element $V\in B\otimes A$, defined by $\langle V,a\otimes b\rangle=\langle a,b\rangle$…

KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the…

This paper provides a new class of examples for the Koszul dualities established in~\cite{5}. We study quadratic monomial algebras from the perspective of Koszul duality, with particular emphasis on finitely presented and finitely…

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…