ON THE SHEAF OF GENERALIZED FUNDAMENTAL GROUP AND COVERING SPACE

ＯＮ ＴＨＥ ＳＨＥＡＦ ＯＦ ＧＥＮＥＲＡＬＩＺＥＤ ＦＵＮＤＡＭＥＮＴＡＬ ＧＲＯＵＰ ＡＮＤ ＣＯＶＥＲＩＮＧ ＳＰＡＣＥ￥ＧＡＮＤＡＮＹＡＮＡｂｓｔｒａｃｔ：Ｔｈｅａｕｔｈｏｒｃｏｎｓｔｒｕｃｔｓｔｈｅｓｈｅａｆｏｆｇｅｎｅｒａｌｉｚｅｄｆｕ...     

量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示

本文是文献[4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述,就是拟序的层),而通常的拟序则是常值拟序层的特例。     

Prime Submodules and a Sheaf on the Prime Spectra of Modules

We define and investigate a sheaf of modules on the prime spectra of modules, and it is shown that there is an isomorphism between the sections of this sheaf and the ideal transform module.     

The functional analytic foundation of Colombeau algebras

Colombeau algebras constitute a convenient framework for performing nonlinear operations like multiplication on Schwartz distributions. Many variants and modifications of these algebras exist for various applications. We present a functional analytic approach placing these algebras in a unifying hierarchy, which clarifies their structural properties as well as their relation to each other.     

Regularity, Local and Microlocal Analysis in Theories of Generalized Functions

We introduce a general context involving a presheaf and a subpresheaf ℬ of  . We show that all previously considered cases of local analysis of generalized functions (defined from duality or algebraic techniques) can be interpretated as the ℬ-local analysis of sections of  . But the microlocal analysis of the sections of sheaves or presheaves under consideration is dissociated into a “frequential microlocal analysis” and into a “microlocal asymptotic analysis”. The frequential microlocal analysis based on the Fourier transform leads to the study of propagation of singularities under only linear (including pseudodifferential) operators in the theories described here, but has been extended to some non linear cases in classical theories involving Sobolev techniques. The microlocal asymptotic analysis is a new spectral study of singularities. It can inherit from the algebraic structure of ℬ some good properties with respect to nonlinear operations.      

Relatively Noetherian rings, localization and sheaves. II: Structure sheaves

In the first part of this note, we have introduced a version of the (strong) second layer condition for ringsR which are relatively Noetherian with respect to some radical inR-mod and studied its impact on classical and symmetric localization theory. As an application, we now show how the relative version of the strong second layer condition allows us to endowK(), the generically closed subset of Spec(R) canonically associated to , with structure sheaves, which generalize most previously studied sheaf constructions in noncommutative algebra.     

Infinitary first-order categorical logic

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by Gödel, Kripke, Beth, Karp and Joyal. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics.     

Suppleness of the sheaf of algebras of generalized functions on manifolds

We show that the sheaves of algebras of generalized functions Ω→G(Ω) and Ω→G^∞(Ω), Ω are open sets in a manifold X, are supple, contrary to the non-suppleness of the sheaf of distributions.     

On a sheaf-theoretic version of the Witt’s decomposition theorem. A Lagrangian perspective

The approach to a counterpart, in Abstract Geometric Algebra, that is, Geometric Algebra via sheaves of modules, of the classical Witt’s decomposition theoremis based on the axiomatization of the classical context, which however leads to the formulation of a specific subcategory of the category of sheaves of modules: the full subcategory of convenient sheaves of modules. Convenient sheaves of modules turn out, by the very essence of the matter at hand, to be of further importance as far as the setting of results leading to the sheaf-theoretic aspect of several forms of the Witt’s theorem is concerned. Further versions of the Witt’s theorem are still to be treated elsewhere.      

Relatively Noetherian rings, localization and sheaves. I: The relative second layer condition

In this note, we introduce a version of the (strong) second layer condition for ringsR which are relatively Noetherian with respect to some radical inR-mod and study its impact on classical and symmetric localization theory. As an application, we will show in the second part of this paper how the strong second layer condition allows us to endowK(), the generically closed subset of Spec(R) canonically associated to , with structure sheaves, which generalize most previously studied sheaf constructions in noncommutative algebra.