Graph homology: Koszul and Verdier duality

We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to differential graded operads corresponds to the cobar-duality of operads (which specializes to Koszul duality for Koszul operads). This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the space of metric ribbon graphs, known to be homotopy equivalent to the moduli space of Riemann surfaces, and the cohomology of a certain sheaf on the space of usual metric graphs.     

Stone duality for spectral sheaves and the patch monad

We establish a duality between global sheaves on spectral spaces and right distributive bands. This is a sheaf-theoretical extension of classical Stone duality between spectral spaces and bounded distributive lattices.The topology of a spectral space admits a refinement, the so-called patch topology, giving rise to a patch monad on sheaves over a fixed spectral space. Under the duality just mentioned the algebras of this patch monad are shown to correspond to distributive skew lattices.     

Homotopy theory of simplicial sheaves in completely decomposable topologies

There are two approaches to the homotopy theory of simplicial (pre-)sheaves. One developed by Joyal and Jardine works for all sites but produces a model structure which is not finitely generated even in the case of sheaves on a Noetherian topological space. The other one developed by Brown and Gersten gives a nice model structure for sheaves on a Noetherian space of finite dimension but does not extend to all sites. In this paper we define a class of sites for which a generalized version of the Brown-Gersten approach works.     

Group duality with the topology of precompact convergence

The Pontryagin-van Kampen (P-vK) duality, defined for topological Abelian groups, is given in terms of the compact-open topology. Polar reflexive spaces, introduced by Köthe, are those locally convex spaces satisfying duality when the dual space is equipped with the precompact-open topology. It is known that the additive groups of polar reflexive spaces satisfy P-vK duality. In this note we consider the duality of topological Abelian groups when the topology of the dual is the precompact-open topology. We characterize the precompact reflexive groups, i.e., topological groups satisfying the group duality defined in terms of the precompact-open topology. As a consequence, we obtain a new characterization of polar reflexive spaces. We also present an example of a space which satisfies P-vK duality and is not polar reflexive. Some of our results respond to questions appearing in the literature.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

A non-commutative Priestley duality

We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras.     

Duality Construction of Moduli Spaces

The duality of moduli spaces of coherent sheaves on curves and surfaces gives a GIT free construction of these spaces. It is a suitable generalization for topics as: strange duality, jumping lines of vector bundles on projective space, and Faltings' construction of the moduli space of semistable vector bundles on a complex curve given in his article Stable G-bundles and projective connections. Using this duality we propose a construction for the moduli space of semistable sheaves on a surface.     

Modules over motivic cohomology

For fields of characteristic zero, we show that the homotopy category of modules over the motivic ring spectrum representing motivic cohomology is equivalent to Voevodsky's big category of motives. The proof makes use of some highly structured models for motivic stable homotopy theory, motivic Spanier-Whitehead duality, the homotopy theories of motivic functors and of motivic spaces with transfers as introduced from ground up in this paper. Working with rational coefficients, we extend the equivalence for fields of characteristic zero to all perfect fields by employing the techniques of alterations and homotopy purity in motivic homotopy theory.     

Hereditary noetherian categories of positive Euler characteristic

We develop the fundamentals of hereditary noetherian categories with Serre duality over an arbitrary field k, where the category of coherent sheaves over a smooth projective curve over k serves as the prime example and others are coming from the representation theory of finite dimensional algebras. The proper way to view such a category is to think of coherent sheaves on a possibly non-commutative smooth projective curve. We define for each such category notions like function field and Euler characteristic, determine its Auslander-Reiten components and study stable and semistable bundles for an appropriate notion of degree. We provide a complete classification of hereditary noetherian categories for the case of positive Euler characteristic by relating these to finite dimensional representations of (locally bounded) hereditary k-algebras whose underlying valued quiver admits a positive additive function. Dedicated to Otto Kerner on the occasion of his 60th birthday     

COHOMOLOGICAL DIMENSION OF UNIFORM SPACES

Abstract

In this paper we obtain classification and extension theorems for uniform spaces, using the ?ech cohomology theory based on the finite uniform coverings, and study the associated cohomological dimension theory. In particular, we extend results for the cohomological dimension theory on compact Hausdorff spaces or compact metric spaces to those for our cohomological dimension theory on uniform spaces.     

Mixed algebras and quivers related to cell complexes

In this paper we study finite dimensional algebras arising from categories of perverse sheaves on finite regular cell complexes (cellular perverse algebras). We prove that such algebras are quasi-hereditary and have finite global dimension. We discuss some restrictions, under which cellular perverse algebras are Koszul. We also study the relationship between Koszul duality functors in the derived categories of categories of graded and non-graded modules over an algebra and its quadratic dual.     

A discrete Lefschetz formula

A Lefschetz formula is given that relates loops in a regular finite graph to traces of a certain representation. As an application the vanishing orders of the Ihara/Bass zeta function are expressed as dimensions of global section spaces of locally constant sheaves.     

A CHARACTERIZATION OF PONTRYAGIN-VAN KAMPEN DUALITY FOR COMPLEX LOCALLY CONVEX SPACES

ABSTRACT

Topological vector spaces (TVS) are topological Abelian groups when considered under the operation of addition. It is therefore natural to ask when they satisfy Pontryagin-van Kampen (P-vK) duality. A number of attempts have been considered for real LCS. In particular, in a previous paper we showed a characterization of (P-vK) duality for real LCS. In this article we show that this characterization also holds for complex spaces.     

Some results on the moduli spaces of quiver bundles

This article is concerned with the study of gauge theory, stability and moduli for twisted quiver bundles in algebraic geometry. We review natural vortex equations for twisted quiver bundles and their link with a stability condition. Then we provide a brief overview of their relevance to other geometric problems and explain how quiver bundles can be viewed as sheaves of modules over a sheaf of associative algebras and why this view point is useful, e.g., in their deformation theory. Next we explain the main steps of an algebro-geometric construction of their moduli spaces. Finally, we focus on the special case of holomorphic chains over Riemann surfaces, providing some basic links with quiver representation theory. Combined with the analysis of the homological algebra of quiver sheaves and modules, these links provide a criterion for smoothness of the moduli spaces and tools to study their variation with respect to stability.      

Rational torus-equivariant stable homotopy I: Calculating groups of stable maps

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show that it is of finite injective dimension. It can be used as a model for rational G-spectra in the sense that there is a homology theory

     

Higher Galois theory

We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally $(n?1)$-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in terms of Galois torsors. We also show that finite locally constant sheaves in an arbitrary ∞-topos are equivalent to finite representations of its fundamental pro-∞-groupoid. Finally, we relate the fundamental pro-∞-groupoid of 1-topoi to the construction of Artin and Mazur and, in the case of the étale topos of a scheme, to its refinement by Friedlander.     

Infinite index subgroups and finiteness properties of intersections of geometrically finite groups

We explore which types of finiteness properties are possible for intersections of geometrically finite groups of isometries in negatively curved symmetric rank one spaces. Our main tool is a twist construction which takes as input a geometrically finite group containing a normal subgroup of infinite index with given finiteness properties and infinite Abelian quotient, and produces a pair of geometrically finite groups whose intersection is isomorphic to the normal subgroup. We produce several examples of such intersections of geometrically finite groups including finitely generated but not finitely presented discrete subgroups.     

Theory of spectral sequences. II

In this paper, we continue to discuss the theory of spectral sequences in Abelian categories. In this connection, attention is paid to the manifestation of different dualities in the theory of spectral sequences. The duality in locally convex, topological vector spaces is of special interest. We use results of functional analysis for solving (co)homology problems (theorems on nondegenerate pairing (co)homology) of manifolds. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 117–149, 2005.     

The complement of polyhedral product spaces and the dual simplicial complexes

In this paper, we define and prove basic properties of complement polyhedral product spaces, dual complexes and polyhedral join complexes. Then we compute the universal algebra of polyhedral join complexes under certain split conditions and the Alexander duality isomorphism on certain polyhedral product spaces.     

Calabi–Yau varieties with semi-stable fibre structures

Motivated by the Strominger–Yau–Zaslow conjecture, we study Calabi–Yau varieties with semi-stable fibre structures. We use Hodge theory to study the higher direct images of wedge products of relative cotangent sheaves of certain semi-stable families over higher dimensional quasi-projective bases, and obtain some results on positivity. We then apply these results to study non-isotrivial Calabi–Yau varieties fibred by semi-stable Abelian varieties (or hyperkähler varieties).