A solution of the Steenrod problem for G-Moore spaces

The purpose of this paper is to prove the following theorem: If G is a finite group, then every G-module is isomorphic to the homology of a G-Moore space if and only if all Sylow subgroups of G are cyclic.     

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.     

G-theory of group rings for groups of square-free order

The formula for the G-theory of the group ring of a finite group G conjectured by Hambleton, Taylor, and Williams is shown to be valid for ¦G¦ square-free.     

The involution on the equivariant Whitehead group

For a finite group G we define an involution on the equivariant Whitehead group given by reversing the direction of an equivariant h-cobordism. It turns out that the involution is not compatible with the splitting of the equivariant Whitehead group into a direct sum of algebraic Whitehead groups, certain correction terms involving the transfer maps of the normal sphere bundles of the various fixed point sets come in. However, if the group has odd order, these transfer maps all vanish. We prove a duality formula for a G-homotopy equivalence (f f): (M; M) (N, N) relating the equivariant Whitehead torsion of f and (f,f).     

A note on the optimality of the N- and D-policies for the M/G/1 queue

This note considers the N- and D-policies for the M/G/1 queue. We concentrate on the true relationship between the optimal N- and D-policies when the cost function is based on the expected number of customers in the system.     

G-pre-invex functions in mathematical programming

In the present paper, we introduce the concept of G-pre-invex functions with respect to η defined on an invex set with respect to η. These function unify the concepts of nondifferentiable convexity, pre-invexity and r-pre-invexity. Furthermore, relationships of G-pre-invex functions to various introduced earlier pre-invexity concepts are also discussed. Some (geometric) properties of this class of functions are also derived. Finally, optimality results are established for optimization problems under appropriate G-pre-invexity conditions.     

Iterated monoidal categories

We develop a notion of an n-fold monoidal category and show that it corresponds in a precise way to the notion of an n-fold loop space. Specifically, the group completion of the nerve of such a category is an n-fold loop space, and free n-fold monoidal categories give rise to a finite simplicial operad of the same homotopy type as the classical little cubes operad used to parametrize the higher H-space structure of an n-fold loop space. We also show directly that this operad has the same homotopy type as the n-th Smith filtration of the Barratt-Eccles operad and the n-th filtration of Berger's complete graph operad. Moreover, this operad contains an equivalent preoperad which gives rise to Milgram's small model for when n=2 and is very closely related to Milgram's model of for n>2.     

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.     

Approximations for the delay probability in the M/G/s queue

This paper develops approximations for the delay probability in an M/G/s queue. For M/G/s queues, it has been well known that the delay probability in the M/M/s queue, i.e., the Erlang delay formula, is usually a good approximation for other service-time distributions. By using an excellent approximation for the mean waiting time in the M/G/s queue, we provide more accurate approximations of the delay probability for small values of s. To test the quality of our approximations, we compare them with the exact value and the Erlang delay formula for some particular cases.     

Rational Mackey functors for compact lie groups I

A Mackey functor M is a structure analogous to the representationring functor H R(H) encoding good formal behaviour under inductionand restriction. More explicitly, M associates an abelian groupM(H) to each closed subgroup H of a fixed compact Lie groupG, and to each inclusion K H it associates a restriction map and an induction map . This paper gives an analysis of thecategory of Mackey functors M whose values are rational vectorspaces: such a Mackey functor may be specified by giving a suitablycontinuous family consisting of a Q ₀(W_G(H))-module V(H) foreach closed subgroup H with restriction maps V(K) V(K) wheneverK is normal in K and K/K is a torus (a ‘continuous Weyl-toralmodule’). We show that the category of rational Mackeyfunctors is equivalent to the category of rational continuousWeyl-toral modules. In Part II this will be used to give analgebraic analysis of the category of rational Mackey functors,showing in particular that it has homological dimension equalto the rank of the group. 1991 Mathematics Subject Classification:19A22, 20C99, 22E15, 55N91, 55P42, 55P91.     

Exact and explicit solutions to some nonlinear evolution equations by utilizing the (G′/G)-expansion method

In this paper, we demonstrate the effectiveness of the so-called (G′/G)-expansion method by examining some nonlinear evolution equations with physical interest. Our work is motivated by the fact that the (G′/G)-expansion method provides not only more general forms of solutions but also periodic and solitary waves. If we set the parameters in the obtained wider set of solutions as special values, then some previously known solutions can be recovered. The method appears to be easier and faster by means of a symbolic computation system.     

G-functions and multisum versus holonomic sequences

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of G-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a G-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.     

A sample path relation for the sojourn times in G/G/1−PS systems and its applications

For the single server system under processor sharing (PS) a sample path result for the sojourn times in a busy period is proved, which yields a sample path relation between the sojourn times under PS and FCFS discipline. This relation provides a corresponding one between the mean stationary sojourn times in G/G/1 under PS and FCFS. In particular, the mean stationary sojourn time in G/D/1 under PS is given in terms of the mean stationary sojourn time under FCFS, generalizing known results for GI/M/1 and M/GI/1. Extensions of these results suggest an approximation of the mean stationary sojourn time in G/GI/1 under PS in terms of the mean stationary sojourn time under FCFS. Mathematics Subject Classification (MSC 2000) 60K25· 68M20· 60G17· 60G10 This work was supported by a grant from the Siemens AG.     

On the Least Number of Fixed Points of an Equivariant Map

The problem on the least number of fixed points of an equivariant map of a compact polyhedron on which a finite group acts is considered. For such a map, the least number of fixed points and the least number of fixed orbits are estimated in terms of invariants of the type of Nielsen numbers. The estimates obtained are sharp. The results are similar to those of P. Wong, but their assumptions are essentially weaker. Some notations are refined. The proofs are constructive.     

Classifying spaces for braided monoidal categories and lax diagrams of bicategories

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well-understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be thought of as the homotopy colimit of the classifying spaces of the bicategories that arise from the initial input data given by the lax diagram. This result is applied to produce bicategories whose classifying space has a double loop space with the same homotopy type, up to group completion, as the underlying category of any given (non-necessarily strict) braided monoidal category. Specifically, it is proven that these double delooping spaces, for categories enriched with a braided monoidal structure, can be explicitly realized by means of certain genuine simplicial sets characteristically associated to any braided monoidal categories, which we refer to as their (Street's) geometric nerves.     

On the algebraicK-theory of infinite product categories

Although theK-theory functor on the category of symmetric monoidal categories preserves finite products for essentially trivial reasons, this is not so in the case of infinite products. In this paper, we show that in factK-theory does preserve infinite products, but for non-trivial reasons.Supported in part by NSF DMS 9209714.     

A controlled M / G / 1 workload process with an application to perishable inventory systems

We derive the stationary distribution of the regenerative process W(t), t ≥ 0, whose cycles behave like an M / G / 1 workload process terminating at the end of its first busy period or when it reaches or exceeds level 1, and restarting with some fixed workload . The result is used to obtain the overflow distribution of this controlled workload process; we derive and , where T is the duration of the first cycle. W(t) can be linked to a certain perishable inventory model, and we use our results to determine the distribution of the duration of an empty period.D. Perry was supported by a Mercator Fellowship of the Deutsche Forschungsgemeinschaft.     

A simple counterexample to the Hambleton-Taylor-Williams conjecture

It is shown that the conjectured formula of Hambleton, Taylor, and Williams for theG-theory of the integral group ring of a finite group does not hold for the symmetric groupsS ₅.     

Classification of discrete derived categories

The main aim of the paper is to classify the discrete derived categories of bounded complexes of modules over finite dimensional algebras.     

Infinite loop spaces,and coherence for symmetric monoidal bicategories

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free symmetric monoidal bicategory on one object is equivalent, as a symmetric monoidal bicategory, to the discrete symmetric monoidal bicategory given by the disjoint union of the symmetric groups. Third, we show that every symmetric monoidal bicategory is equivalent to a strict one.