A general construction of internal sheaves in algebraic set theory

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Sheaves, local homeomorphisms and local sets as Hilbert locale modules

We give a thorough account of the various equivalent notions for \sheaf" on a locale, namely the separated and complete presheaves, the local home- omorphisms, and the local sets, and to provide a new approach based on quantale modules whereby we see that sheaves can be identi¯ed with certain Hilbert modules in the sense of Paseka. This formulation provides us with an interesting category that has immediate meaningful relations to those of sheaves, local homeomorphisms and local sets. The concept of B-set (local set over the locale B) present in [3] is seen as a simetric idempotent matrix with entries on B, and a map of B-sets as de¯ned in [8] is shown to be also a matrix satisfying some conditions. This gives us useful tools that permit the algebraic manipulation of B-sets. The main result is to show that the existing notions of \sheaf" on a locale B are also equivalent to a new concept what we call a Hilbert module with an Hilbert base. These modules are the projective modules since they are the image of a free module by a idempotent automorphism On the ¯rst chapter, we recall some well known results about partially ordered sets and lattices. On chapter two we introduce the category of Sup-lattices, and the cate- gory of locales, Loc. We describe the adjunction between this category and the category Top of topological spaces whose restriction to spacial locales give us a duality between this category and the category of sober spaces. We ¯nish this chapter with the de¯nitions of module over a quantale and Hilbert Module. Chapter three concerns with various equivalent notions namely: sheaves of sets, local homeomorphisms and local sets (projection matrices with entries on a locale). We ¯nish giving a direct algebraic proof that each local set is isomorphic to a complete local set, whose rows correspond to the singletons. On chapter four we de¯ne B-locale, study open maps and local homeo- morphims. The main new result is on the ¯fth chapter where we de¯ne the Hilbert modules and Hilbert modules with an Hilbert and show this latter concept is equivalent to the previous notions of sheaf over a locale.

On moduli spaces of semistable sheaves on K3 surfaces

Ich untersuche die nicht bereits durch die Arbeit "Singular symplectic moduli spaces" von Kaledin, Lehn und Sorger (Invent. Math. 164 (2006), no. 3) abgedeckten Fälle von Modulräumen halbstabiler Garben auf projektiven K3-Flächen - die Fälle mit Mukai-Vektor (0,c,0) sowie die Modulräume zu nichtgenerischen amplen Divisoren - hinsichtlich der möglichen Konstruktion neuer Beispiele von kompakten irreduziblen symplektischen Mannigfaltigkeiten. Ich stelle einen Zusammenhang zu den bereits untersuchten Modulräumen und Verallgemeinerungen derselben her und erweitere bekannte Ergebnisse auf alle offenen Fälle von Garben vom Rang 0 und viele Fälle von Garben von positivem Rang. Insbesondere kann in diesen Fällen die Existenz neuer Beispiele von kompakten irreduziblen symplektischen Mannigfaltigkeiten, die birational über Komponenten des Modulraums liegen, ausgeschlossen werden.

Energy and weight reduction in hoisting systems with magnetic traction sheaves

At the Chair of Logistics Engineering, TU Dresden, a particular focus is research and development of magnetic traction sheaves. Therein the main fundamentals of these special sheaves are determined for applications in different fields such as elevators, several kinds of winches, hoists and cranes. In the current research project “energy balance of magnetic traction sheaves”, the dynamic behaviour of systems with magnetic traction sheaves was investigated. The research focused on theoretical and practical examinations of energy balance. Moreover, a new approach for dimensioning magnetic traction sheave systems is presented. It is a project of the Research Foundation Intralogistics / Material Handling and Logistics (IFL), which is funded through the AiF under the program of Industrial Collective Research for SMEs (IGF) by the Federal Ministry of Economics and Technology (BMWi).

Sheaves /

Mode of access: Internet.

Garnered sheaves : the complete poetical works of J. G. Holland.

Mode of access: Internet.

The influence of increased line-fishing mortality on the sex ratio and age of sex reversal of the venus tusk fish

The age of sex reversal of the venus tusk fish Choerodon venustus, caught by line fishing at various locations on the southern Great Barrier Reef, indicated that C. venustus is capable of modifying its life cycle in response to increased mortality. The evidence suggests Masthead Reef fish, which experience the highest mortality, underwent sex reversal at a smaller size and younger age than at the other sites. The largest female fish, sexually transitional fish and males were smaller at Masthead Reef than at the Swains Reefs or One Tree Reef at Masthead Reef. There was also considerable overlap in the size of males and females within the exploited populations indicating that sex reversal is not initiated at a particular length but may have a social cause. The sex ratio of fish was essentially the same for fish fully susceptible to line fishing in the Swains and Masthead samples. Circumstantial evidence suggested that the absence of large males in a population may initiate sex reversal, indicating the maintenance of a constant sex ratio may have a social basis. (C) 2002 The Fisheries Society of the British Isles.

Spectrum of some trianguled categories

In this paper, we compute the triangular spectrum (as de fined by P. Balmer) of two classes of tensor triangulated categories which are quite common in algebraic geometry. One of them is the derived category of G-equivariant sheaves on a smooth scheme X, for a fi nite group G. The other class is the derived category of split superschemes.

Lê Cycles and Milnor Classes of Compact Hypersurfaces

We determine the relation amongst the global Lê cycles and the Milnor classes of analytic hypersurfaces defined by a section of a very ample line bundle over a compact complex manifold. The key point is finding appropriate expressions for the global Lê cycles and for the Milnor classes in terms of polar varieties. Our starting points are an interpretation of the Lê cycles given by T. Gaffney and R. Gassler, a formula by A. Parusinski and P. Pragacz for the Milnor classes via McPherson’s functor, and a conjecture of J.-P. Brasselet, that we prove, stating that Milnor classes can be expressed in terms of polar varieties. We then use the work by R. Piegne for Mather classes, by J. Schürmann and M. Tibăr for MacPherson’s classes for constructible functions, and by D. Massey for an extension of the local Lê cycles for constructible sheaves.

The Euler number of OGradys 10-dimensional symplectic manifold

Wir berechnen die Eulerzahl der 10-dimensionalen exzeptionellen irreduziblen symplektischen Mannigfaltigkeit, die von O Grady konstruiert wurde. Die Idee besteht darin, zunächst eine Lagrangefaserung zu konstruieren und dann die Eulerzahlen der Fasern zu berechnen. Es stellt sich heraus, dass fast alle Fasern die Eulerzahl 0 haben, und deswegen reduziert sich das Problem auf die Berechnung der Eulerzahlen der übrigen Fasern. Diese Fasern sind Modulräume von halbstabilen Garben auf singulären Kurven. Der Hauptteil dieser Dissertation ist der Berechnung der Eulerzahlen dieser Modulräume gewidmet. Diese Resultate sind von unabhängigem Interesse.

Deriving Deligne-Mumford stacks with perfect obstruction theories

Intersection theory on moduli spaces has lead to immense progress in certain areas of enumerative geometry. For some important areas, most notably counting stable maps and counting stable sheaves, it is important to work with a virtual fundamental class instead of the usual fundamental class of the moduli space. The crucial prerequisite for the existence of such a class is a two-term complex controlling deformations of the moduli space. Kontsevich conjectured in 1994 that there should exist derived version of spaces with this specific property. Another hint at the existence of these spaces comes from derived algebraic geometry. It is expected that for every pair of a space and a complex controlling deformations of the space their exists, under some additional hypothesis, a derived version of the space having the chosen complex as cotangent complex. In this thesis one version of these additional hypothesis is identified. We then show that every space admitting a two-term complex controlling deformations satisfies these hypothesis, and we finally construct the derived spaces.

Moduli spaces of (G,h)-constellations

Given a reductive group G acting on an affine scheme X over C and a Hilbert function h: Irr G → N_0, we construct the moduli space M_Ө(X) of Ө-stable (G,h)-constellations on X, which is a common generalisation of the invariant Hilbert scheme after Alexeev and Brion and the moduli space of Ө-stable G-constellations for finite groups G introduced by Craw and Ishii. Our construction of a morphism M_Ө(X) → X//G makes this moduli space a candidate for a resolution of singularities of the quotient X//G. Furthermore, we determine the invariant Hilbert scheme of the zero fibre of the moment map of an action of Sl_2 on (C²)⁶ as one of the first examples of invariant Hilbert schemes with multiplicities. While doing this, we present a general procedure for the realisation of such calculations. We also consider questions of smoothness and connectedness and thereby show that our Hilbert scheme gives a resolution of singularities of the symplectic reduction of the action.

An introduction to alysidal algebra (IV)

Purpose – Deontical impure systems are systems whose object set is formed by an s-impure set, whose elements are perceptuales significances (relative beings) of material and/or energetic objects (absolute beings) and whose relational set is freeways of relations, formed by sheaves of relations going in two-way directions and at least one of its relations has deontical properties such as permission, prohibition, obligation and faculty. The paper aims to discuss these issues. Design/methodology/approach – Mathematical and logical development of human society ethical and normative structure. Findings – Existence of relations with positive imperative modality (obligation) would constitute the skeleton of the system. Negative imperative modality (prohibition) would be the immunological system of protection of the system. Modality permission the muscular system, that gives the necessary flexibility. Four theorems have been formulated based on Gödel's theorem demonstrating the inconsistency or incompleteness of DISs. For each constructed systemic conception can happen to it one of the two following things: either some allowed responses are not produced or else some forbidden responses are produced. Responses prohibited by the system are defined as nonwished effects. Originality/value – This paper is a continuation of the four previous papers and is developed the theory of deontical impure systems.

Strahlenmodifizierte Kunststoffseilscheiben in Seiltrieben

Kunststoffseilscheiben sind leichter als Stahl- oder Graugussseilscheiben, woraus sich insbesondere bei Auslegerkranen Vorteile in deren Konstruktion und Handling-Eigenschaften ergeben. Während die Betriebsdauer von Stahlseilen über metallische Seilscheiben gut bestimmbar ist, ist diese Bestimmung bei Verwendung von Kunststoffseilscheiben nur ungenau möglich. In einem AiF-ZIM-Forschungsprojekt wurden strahlenvernetzte sowie naturbelassene Kunststoffseilscheiben auf ihre veränderten Gebrauchseigenschaften untersucht und mit den Ergebnissen beim Lauf über Stahlseilscheiben verglichen.