Mackey structures on equivariant algebraic K-theory

We study the Mackey structure of the G-spectrum K _G C associated to a monoidal G-category C. It is proved that the coefficient system of K _G C coincides, as a (graded) Mackey functor, with the system of equivariant K-groups in the sense of Fröhlich and Wall. It is also shown that for any exact category U, there exists a G-spectrum Q _G U representing the equivariant K-theory of U in the sense of Dress and Kuku, and that Q _G U is naturally G-homotopy equivalent to K _G IsoU if every short exact sequence in U splits.     

Mackey systems of monoidal categories and G-spectra

We construct an equivariant infinite loop space machine denned on certain class of monoidal O _G -categories which have built-in Mackey structure. Applications include the equivariant infinite delooping of the classifying space BF(G) for stable spherical G-fibrations and also the construction of an infinite loop G-space E(X, G) with ₀ ^HE (X, G) naturally isomorphic to the equivariant Whitehead groups Wh _H (X) of given G-space X.Dedicated to Professor Shôrô Araki on his sixtieth birthday     

On shadowing property for inverse limit spaces

We study here the G-shadowing property of the shift map σ on the inverse limit space X _f, generated by an equivariant self-map f on a metric G-space X.      

Disconnected Equivariant Rational Homotopy Theory

We present a variant of the disconnected equivariant rational homotopy theory to complete the result shown in [8]. For a finite group G let O(G) be the category of its canonical orbits. We prove that the category O(G)-DGA _Q of O(G)S-complete differential graded algebras over the rationals is a closed model category, where S runs over all O(G)-sets. Then, by means of the equivariant KS-minimal models, we show that the homotopy category of O(G)-DGA _Q is equivalent to the rational homotopy category of G-nilpotent disconnected simplicial sets provided G is a finite Hamiltonian group.     

R 0-algebras and weak dually residuated lattice ordered semigroups

We introduce the notion of weak dually residuated lattice ordered semi-groups (WDRL-semigroups) and investigate the relation between R ₀-algebras and WDRL-semigroups. We prove that the category of R ₀-algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.     

Direct solution of an optimal layout problem for isotropic heat conductors with a volume fraction constraint

This paper considers the problem of the optimal layout of two isotropic heat conductors on a plane subject to a constraint on the overall volume fraction of the better conductor. The problem is solved initially using the traditionalG _m -closure technique. Later, the utility of the direct relaxation technique introduced in Ref. 1 is illustrated as we apply it to verify the original results.This paper is dedicated with gratitude by the author to his advisor K. A. Lurie. The author wishes to acknowledge discussions with D. Clomenil.     

Orbit projections as fibrations

The orbit projection π: M → M/G of a proper G-manifold M is a fibration if and only if all points in M are regular. Under additional assumptions we show that π is a quasifibration if and only if all points are regular. We get a full answer in the equivariant category: π is a G-quasifibration if and only if all points are regular.     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

Constructions for Octonion and Exceptional Jordan Algebras

In this note we reverse theusual process of constructing the Lie algebras of types G ₂and F ₄ as algebras of derivations of the splitoctonions or the exceptional Jordan algebra and instead beginwith their Dynkin diagrams and then construct the algebras togetherwith an action of the Lie algebras and associated Chevalley groups.This is shown to be a variation on a general construction ofall standard modules for simple Lie algebras and it is well suitedfor use in computational algebra systems. All the structure constantswhich occur are integral and hence the construction specialisesto all fields, without restriction on the characteristic, avoidingthe usual problems with characteristics 2 and 3.     

An equivariant Novikov conjecture

We discuss and formulate the correct equivariant generalization of the strong Novikov conjecture. This will be the statement that certain G-equivariant higher signatures (living in suitable equivariant K-groups) are invariant under G-maps of manifolds which, nonequivariantly, are homotopy equivalences preserving orientation. We prove this conjecture for manifolds modeled on a complete Riemannian manifold of nonpositive curvature on which G (a compact Lie group) acts by isometries. We also use the theory of harmonic maps to construct (in some cases) G-maps into such model spaces.Dedicated to Alexander GrothendieckPartially supported by NSF Grants DMS 84-00900 and 87-00551.Partially supported by NSF Grant DMS 86-02980, a Presidential Young Investigator Award, and a Sloan Foundation Fellowship.     

Equivariant–Bivariant Chern Character for Profinite Groups

For the action of a locally compact and totally disconnected group G on a pair of locally compact spaces X and Y we construct, by sheaf theoretic means, a new equivariant and bivariant cohomology theory. If we take for the first space Y an universal proper G-action then we obtain for the second space its delocalized equivariant homology. This is in exact formal analogy to the definition of equivariant K-homology by Baum, Connes, Higson starting from the bivariant equivariant Kasparov KK-theory. Under certain basic finiteness conditions on the first space Y we conjecture the existence of a Chern character from the equivariant Kasparov KK-theory of Y and X into our cohomology theory made two-periodic which becomes an isomorphism upon tensoring the KK-theory with the complex numbers. This conjecture is proved for profinite groups G. An essential role in our construction is played by a bivariant version of Segal localization which we establish for KK-theory.     

A Convenient Subcategory of Tych

A map f:XY between Hausdorff topological spaces is k-continuous if its restriction f| _K to every compact subspace K of X is continuous. X is called a k _R -space if every k-continuous function from X to a Tychonoff space is continuous. In this paper we investigate the category of Tychonoff k _R -spaces, and show that it is Cartesian closed (thus convenient in the sense of Wyler).     

Free <Emphasis Type="Italic">G</Emphasis>-spaces and maximal equivariant compactifications

For a compact Lie group G we prove that every free (resp., semifree) G-space admits a based-free (resp., semifree) G-compactification. Examples of finite- and infinite-dimensional G-spaces are presented that do not admit a free or based-free G-compactification. We give several characterizations of the maximal G-compactification β_GX that are further applied to prove the formula (β_GX)/H=β_G/H(X/H) for arbitrary closed normal subgroup H⊂G. Mathematics Subject Classification (2000) 54H15, 54D35     

Equivariant Cyclic Cohomology of H-Algebras

We define an equivariant K ₀-theory for Yetter–Drinfeld algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.     

The Automorphism Groups of Finite Type G-Structures on Orbifolds

The automorphism group of a G-structure of finite type and order k on a smooth n-dimensional orbifold is proved to be a Lie group of dimension n+dim(g+g ₁+...+g _k-1), where g _i is the ith prolongation of the Lie algebra g of a given group G. This generalizes the corresponding result by Ehresmann for finite type G-structures on manifolds. The presence of orbifold points is shown to sharply decrease the dimension of the automorphism group of proper orbifolds. Estimates are established for the dimension of the isometry group and the dimension of the group of conformal transformations of Riemannian orbifolds, depending on the types of orbifold points.     

Properties of Distortion Risk Measures

The current literature does not reach a consensus on which risk measures should be used in practice. Our objective is to give at least a partial solution to this problem. We study properties that a risk measure must satisfy to avoid inadequate portfolio selections. The properties that we propose for risk measures can help avoid the problems observed with popular measures, like Value at Risk (VaR _α ) or Conditional VaR _α (CVaR _α ). This leads to the definition of two new families: complete and adapted risk measures. Our focus is on risk measures generated by distortion functions. Two new properties are put forward for these: completeness, ensuring that the distortion risk measure uses all the information of the loss distribution, and adaptability, forcing the measure to use this information adequately. This research was partially funded by ^1,3 Welzia Management, SGIIC SA, RD Sistemas SA, Comunidad Autónoma de Madrid Grant s-0505/tic/000230, and MEyC Grant BEC2000-1388-C04-03 and by ² the Natural Sciences and Engineering Research Council of Canada (NSERC) Grant 36860-06.     

A generalization of Brauer''s map of decomposition

We first reformulate Quillen's localization theorem forG-theory in complicial bi-Waldhausen category setting. Secondly, because of this reformulation, we are able to generalize Brauer's decomposition mapd ₀:G ₀(KG)G ₀(kG) to higherG-theory leveld _n :G _n (KG)G _n (kG),n=0, 1 ..., whereG is a finite group,R a Dedekind domain,m a maximal ideal ofR,K=quotient field ofR andk=R/m.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-mixed intersection bodies

In this paper the author first introduce a new concept of L _p -dual mixed volumes of star bodies which extends the classical dual mixed volumes. Moreover, we extend the notions of L _p intersection body to L _p -mixed intersection body. Inequalities for L _p -dual mixed volumes of L _p -mixed intersection bodies are established and the results established here provide new estimates for these type of inequalities. This work was supported by the Natural Science Foundation of Zhejiang Province of China (Grant No. Y605065) and the Foundation of the Education Department of Zhejiang Province of China (Grant No. 20050392)