We show how the formal Wirthmüller isomorphism theorem proven in [2] simplifies the proof of the Wirthmüller isomorphism in equivariant stable homotopy theory. Other examples from equivariant stable homotopy theory show that the hypotheses of the formal Wirthmüller and formal Grothendieck isomorphism theorems in [2] cannot be weakened.

Abstract We establish a Hirzebruch–Riemann–Roch-type theorem and Grothendieck–Riemann–Roch-type for matrix factorizations on quotient Deligne–Mumford stacks. For this, we first construct Hochschild–Kostant–Rosenberg-type isomorphism explicit enough to yield categorical Chern character formula. Then, find an expression of the canonical pairing Shklyarov under isomorphism.

Vagueness and high dimensional space data are usual features of current data. The paper is an approach to identify conceptual structures among fuzzy three dimensional data sets in order to get conceptual hierarchy. We propose a fuzzy extension of the Galois connections that allows to demonstrate an isomorphism theorem between fuzzy sets closures which is the basis for generating lattices ordere...

Let G be a finite group and/: A—*B a homomorphism of G-modules. In one form, Tate's theorem says that if, for some r and all subgroups U of G, Êr~liU, f) is a surjection, HriU, f) is an isomorphism, and Hr+1iU, f) is an injection, then HniU, f) is an isomorphism for all U and all ra. Whaples has asked if the modification of this theorem stated below is true, and this paper answers Whaples' ques...

polygroups are multivalued systems that satisfy group like axioms. in this paper the class of n-arypolygroups is introduced. the concepts of n-ary normal subpolygroups and strong homomorphisms of n-arypolygroups are adopted. with respect to these concepts the isomorphism theorems for n-ary polygroups arestated and proved. finally, we will consider the fundamental relation  * defined on an n-ar...

We prove a Thom isomorphism theorem for differential forms in the setting of transverse Lie algebra actions on foliated manifolds and vector bundles.