Sheaves on quantaloids

We generalize the well-known notions of a singleton, completeQ-set, presheaf, and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary quantaloids. We show that every completeQ-set can be viewed as a sheaf and vice versa. Published in Lietuvos Matematikos Rinkinys, Vol. 40, No. 2, pp. 133–171, April–June, 2000.     

Sheaves on Involutive Quantaloids

We extend the well-known notions of a singleton, complete -set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on and complete -sets come to the same thing. This paper can be considered as a symmetric version of an earlier work of the author.     

Sheaves and sheafification on Q-sites

We introduce noncommutative sites over a quantale, the so-called Q-sites, and define appropriate presheaves and sheaves over these. We show how most of the technical machinery which allows to construct sheaves associated to arbitrary presheaves in the commutative cases transposes to this setting. This allows us to define and study sheafification in this new, noncommutative context.     

Sheaves and duality

It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a generalization of this fact and prove a converse of the generalization. To be precise, we exhibit a one-to-one correspondence (up to isomorphism) between soft sheaf representations of universal algebras over stably compact spaces and frame homomorphisms from the dual frames of such spaces into subframes of pairwise commuting congruences of the congruence lattices of the universal algebras. For distributive-lattice-ordered algebras this allows us to dualize such sheaf representations.     

Perverse Sheaves on Image Multiple Point Spaces

Using multiple point spaces some new examples of perverse sheaves on images of maps are described. Furthermore, suppose is a finite and proper map of complex analytic manifolds of dimension n and n+1 such that every multiple point space is nonsingular and has the dimension expected of a generic map. Then we can describe the composition series for the constant sheaf on the image in the category of perverse sheaves.     

Sheaves of Abelian l-groups

Keimel was first to associate a spectrum with an abelian l-group G. An alternative construction of a spectrum is proposed here. Its points are the prime l-ideals of G, i.e., they are the points of Keimel’s spectrum plus the improper prime l-ideal G. The spectrum is equipped with the inverse topology, which is different from the one used by Keimel. The new spectrum is denoted by Spec_inv(G) and is called the inverse spectrum of G. There is a natural construction of a sheaf of l-groups on Spec_inv(G), which is called the structure sheaf of G on Spec_inv(G). The inverse spectrum and its structure sheaf first appeared in Rump and Yang (Bull Lond Math Soc 40:263–273, 2008) via the Jaffard-Ohm Theorem. We present an elementary and direct construction. The relationship between an l-group H and an l-subgroup G is analyzed via the structure sheaves on the inverse spectra. The structure sheaves are used to give a sheaf-theoretic presentation of the valuation theory of a field. The group of Cartier divisors of an integral affine scheme is identified canonically with an l-group. Special attention is paid to Prüfer domains, where the ties between rings and l-groups are particularly close.     

Model-theoretic Imaginaries and Coherent Sheaves

We show the equivalence of categories of model-theoretic imaginaries (of various kinds) with categories of “small” (finitely generated, finitely presented, coherent) functors. We do this first for certain locally finitely presented categories and then, by localising, for much more general “definable categories” (categories of models of coherent theories). We also investigate the corresponding notion of interpretation.     

Sheaves on abelian surfaces and strange duality

We formulate three versions of a strange duality conjecture for sections of the Theta bundles on the moduli spaces of sheaves on abelian surfaces. As supporting evidence, we check the equality of dimensions on dual moduli spaces, answering a question raised by Göttsche et al. (K-theoretic Donaldson invariants via instanton counting. arXiv:math/0611945).     

Schofield Induction for Sheaves on Weighted Projective Lines

We show that each exceptional vector bundle on a weighted projective line in the sense of Geigle and Lenzing can be obtained by Schofield induction from exceptional sheaves of rank one and zero. This relates to results of Ringel concerning modules over finite dimensional k-algebras over an arbitrary field.     

Moduli of Framed Parabolic Sheaves

This paper gives a construction of the moduli space of framed parabolic sheaves on a Riemann surface. This space serves as a universal, master, space for the well known moduli space of parabolic bundles, as well as moduli spaces of vector bundles, which can all be obtained from this space by torus quotients. The construction is given for the structure group SL(N, C), and indeed is adapted to this case. At the end of the paper, an approach is suggested for dealing with the case of arbitrary reductive groups, involving the associated loop group.     

Symmetric Harmonic Sheaves Possessing Bipotentials

Let be the family of sheaves H of continuous functions on a Brelot harmonic space with a countable base such that locally the Dirichlet problem with respect to H is solvable, H satisfies Harnack inequalities and also H has a symmetry property. Defining the notions of H-biharmonic functions, H-biharmonic Green functions, H-bipotentials, H-biharmonic extensions, etc. we study the interrelation between them and exhibit various classifications of the family of sheaves.     

Maximal Subsheaves of Torsion-Free Sheaves on Nodal Curves

Let Y be a reduced irreducible projective curve of arithmeticgenus g 2 with at most ordinary nodes as singularities. Fora subsheaf F of rank r', degree d' of a torsion-free sheaf Eof rank r, degree d, let s(E,F) = r'd-rd'. Define s_r'(E) = mins(E,F), where the minimum is taken over all subsheaves of Eof rank r'. For a fixed r', s_r' defines a stratification ofthe moduli space U(r,d) of stable torsion-free sheaves of rankr, degree d by locally closed subsets U_r',s. We study the nonemptinessand dimensions of the strata. We show that the general elementin each nonempty stratum is a vector bundle and it has onlyfinitely many (respectively unique) maximal subsheaves of rankr' for s r'(r-r')(g – 1) (respectively s < r'(r-r')(g– 1)). We prove that the tensor product of two generalstable vector bundles on an irreducible nodal curve Y is nonspecial.     

Objects of categories as complex numbers

In many everyday categories (sets, spaces, modules, etc.) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof.     

Orbifolds, Sheaves and Groupoids

We characterize orbifolds in terms of their sheaves, and show that orbifolds correspond exactly to a specific class of smooth groupoids. As an application, we construct fibered products of orbifolds and prove a change-of-base formula for sheaf cohomology.     

Cohomology of Crystalline Smooth Sheaves

We define and study a candidate for 'arithmetic' cohomology theory with values in crystalline p-adic smooth sheaves. We show that it injects into arithmetic étale cohomology and prove a duality result.     

Stability of Multiplier Ideal Sheaves

Chinese Annals of Mathematics, Series B - In the present article, the authors find and establish stability of multiplier ideal sheaves, which is more general than strong openness.