We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for surfaces over a perfect field. In an appendix, explicit local ramification theory is used to recover the fact that in the case of a local complete intersection th...

We characterize the pairs of operator spaces which occur as pairs of Morita equivalence bimodules between non-selfadjoint operator algebras in terms of the mutual relation between the spaces. We obtain a characterization of the operator spaces which are completely isometrically isomorphic to imprimitivity bimodules between some strongly Morita equivalent (in the sense of Rieffel) C*-algebras. A...

All finite-dimensional Leibniz algebra bimodules of a Lie $\mathfrak{sl}_2$ over field characteristic zero are described.

We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S2 condition and the lowest cohomology N of its “dual” complex. We show that if a scheme has a Gorenstein complex satisfying certain coherence conditions, then in a finit...

We introduce the categories of infinitesimal Hopf modules and bimodules over an infinitesimal bialgebra. We show that they correspond to modules and bimodules over the infinitesimal version of the double. We show that there is a natural, but non-obvious way to construct a pre-Lie algebra from an arbitrary infinitesimal bialgebra and a dendriform algebra from a quasitriangular infinitesimal bial...

In this lecture we continue to study the category O0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing projective functors Pi : O0 → O0 that act by w 7→ w(1 + si) on K0(O0). Using these functors we produce a projective generator of O0. In Section 2 we explain some of the work of Soergel that ultimately was used by Elias and Williamson to give a ...

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Ausland...

It has been known since the work of Carlsson [2] and Weinshall [17] that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras and the camera centres themselves. In principle this implies the possibility of dualizing projective reconstruction algorithms to obtain new algorithms. In this paper, this theme is developed at a theoretical ...

To an inclusion H ⊂ G of topological groups, we associate a spectrum DH⊂G, which coincides with the dualizing spectrum DG of [K4] when H = G. We also introduce a fibered spectrum analogue. The main application is to give a purely homotopy theoretic construction of Poincaré embeddings in stable codimension.