(Homo) Flatness of posets on poideal extensions

We consider pomonoids , where G is a pogroup and I is a poideal of S and show that if an S-poset is principally weakly flat, (weakly) flat, po-flat, (principally) weakly po-flat, (po-) torsion free or satisfies Conditions (P), (P _E ), (P _w ), (PWP), (PWP) _w , (WP) or (WP) _w as an I ¹-poset, then it has these properties as an S-poset. We also show that an S-poset which is free, projective or strongly flat as an I ¹-poset may not generally have these properties as an S-poset.     

Flatness properties of diagonal acts over monoids

If S is a monoid, the right S-act S×S, equipped with componentwise S-action, is called the diagonal act of S. The question of when this act is cyclic or finitely generated has been a subject of interest for many years, but so far there has been no explicit work devoted to flatness properties of diagonal acts. Considered as a right S-act, the monoid S is free, and thus is also projective, flat, weakly flat, and so on. In 1991, Bulman-Fleming gave conditions on S under which all right acts S ^I (for I a non-empty set) are projective (or, equivalently, when all products of projective right S-acts are projective). At approximately the same time, Victoria Gould solved the corresponding problem for strong flatness. Implicitly, Gould’s result also answers the question for condition (P) and condition (E). For products of flats, weakly flats, etc. to again have the same property, there are some published results as well. The specific questions of when S×S has certain flatness properties have so far not been considered. In this paper, we will address these problems. S. Bulman-Fleming research supported by Natural Sciences and Engineering Research Council of Canada Research Grant A4494. Some of the results in this article are contained in the M.Math. thesis of A. Gilmour, University of Waterloo (2007).     

Homoflatness on Ideal Extensions

We consider monoids $S=G\;\dot{\cup}\; I$ where $G$ is a group and $I$ is an ideal of $S$ and show that if an $S$-act is principally weakly homoflat or weakly homoflat as an $I^1$-act, then it has these properties as an $S$-act. We also show that an $S$-act which is (weakly) pullback flat, equalizer flat, (principally) weakly kernel flat, translation kernel flat or satisfies Condition $(E)$ as an $I^1$-act may not generally have these properties as an $S$-act. The flatness notions considered in this paper were introduced in {\it V. Laan, Pullbacks and flatness properties of acts I, Comm. Alg. ${\bf 29}(2)$ (2001), 829--850}.     

Relative MilnorK-theory

LetR be a commutative, semi-local ring,I ₁, ...,I _s ideals. In this paper, we define therelative Milnor K-groups of (R;I ₁, ...,I _s ),K _p ^M (R;I ₁, ...,I _s ), and show that these groups have many of the properties of the usual MilnorK-groups of a field. In particular, assuming a weak condition on the ideals, we show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic to the weightp portion of the relative QuillenK-groupK _p (R;I ₁, ...,I _s ), after inverting (p–1)!. We also define the relative group homology of GL _n (R;I ₁, ...,I _s ), and show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic toH _p (GL_p(R;I ₁, ...,I _s ))/Im(H _p (GL _p–1 (R;I ₁, ...,I _s ))). Finally, we consider a generalization to the relative setting of Kato's conjecture asserting that the Galois symbol gives an isomorphism fromK _p ^M (F)/l ^v to , and show that this relative version of Kato's conjecture implies the Quillen-Lichtenbaum conjectures asserting the Chern class:

An exact Daugavet type inequality for small into isomorphisms in L 1

The well known Daugavet property for the space L ₁ means that || I  +  K || = 1+ || K || for any weakly compact operator K : L ₁ → L ₁, where I is the identity operator in L ₁. We generalize this theorem to the case when we consider an into isomorphism J : L ₁ → L ₁ instead of I and a narrow operator T. Our main result states that , where d  =  || J|| || J ⁻¹||. We also give an example which shows that this estimate is exact. Received: 21 August 2007     

Zur Metrik der Diskrepanz

LetI=[0,1),dω the product measure onI ^? of the Lebesgue measure onI, D _N (ω) the discrepancy ofω ∈I ^?. We show that for α>0 $$\mathop {\lim }\limits_{N \to \infty } N^{\alpha /2} \mathop \smallint \limits_{I^\mathbb{N} } D_N^\alpha (\omega ) d\omega = 4.2 - (3\alpha /2)(2\alpha - 1 - 1) \zeta (\alpha ) \Gamma (\alpha /2 + 1)$$ Furthermore we sharpen and generalize this result.     

Directions of uniform rotundity in direct sums of normed spaces

Let {(X_i,|| · || _i)}_{i ? I},\{(X_i,\left \| {\cdot } \right \| _{i})\}_{i\in I}, be an arbitrary family of normed spaces and let (E,|| · || _E)(E,\left \| {\cdot } \right \| _{E}) be a monotonic normed space of real functions on the set I that is an ideal in \Bbb R^I{\Bbb R}^I. We prove a sufficient condition for the direct sum space E(X_i) to be uniformly rotund in a direction. We show that this condition is also necessary for E=l_￥E=\ell _{\infty }, and it is not necessary for E=l₁E=\ell _1. When E is either uniformly rotund in every direction and has compact order intervals, or weakly uniformly rotund respect to its evaluation functionals, we reestablish as a corollary the result that reads: E(X_i)E(X_i) is uniformly rotund in every direction if and only if so are all the X_i.     

Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup

The study of the free idempotent generated semigroup IG(E) over a biordered set E has recently received a deal of attention. Let G be a group, let \(n\in\mathbb{N}\) with n≥3 and let E be the biordered set of idempotents of the wreath product \(G\wr \mathcal{T}_{n}\) . We show, in a transparent way, that for e∈E lying in the minimal ideal of \(G\wr\mathcal{T}_{n}\) , the maximal subgroup of e in IG(E) is isomorphic to G. It is known that \(G\wr\mathcal{T}_{n}\) is the endomorphism monoid End F _n (G) of the rank n free G-act F _n (G). Our work is therefore analogous to that of Brittenham, Margolis and Meakin for rank 1 idempotents in full linear monoids. As a corollary we obtain the result of Gray and Ru?kuc that any group can occur as a maximal subgroup of some free idempotent generated semigroup. Unlike their proof, ours involves a natural biordered set and very little machinery.     

Fractional integrals on spaces of homogeneous type

We study fractional integrals on spaces of homogeneous type defined byI _α f(x)=∫_Xf(y)|B(x,d(x,y))|^ga?1dμ(y), 0<α<1. If \(1< p\frac{1}{\alpha },\frac{1}{q} = \frac{1}{p} - \alpha \) , we show that I_αf is of strong type (p,q) and is of weak type ( \(\left( {1,\frac{1}{{1 - \alpha }}} \right)\) ). We also consider the necessary and sufficient conditions on two weights for which I_αf is of weak type (p,q) with respect to (w,v).