On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .     

Sequences and filters of characters characterizing subgroups of compact Abelian groups

Let H be a countable subgroup of the metrizable compact Abelian group G and a (not necessarily continuous) character of H. Then there exists a sequence of (continuous) characters of G such that limn→∞χn(α)=f(α) for all α∈H and does not converge whenever α∈G?H. If one drops the countability and metrizability requirement one can obtain similar results by using filters of characters instead of sequences. Furthermore the introduced methods allow to answer questions of Dikranjan et al.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Pseudocompact group topologies with no infinite compact subsets

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property ).Every pseudocompact Abelian group G with cardinality |G|≤2^2c satisfies this inequality and therefore admits a pseudocompact group topology with property . Under the Singular Cardinal Hypothesis (SCH) this criterion can be combined with an analysis of the algebraic structure of pseudocompact groups to prove that every pseudocompact Abelian group admits a pseudocompact group topology with property .We also observe that pseudocompact Abelian groups with property contain no infinite compact subsets and are examples of Pontryagin reflexive precompact groups that are not compact.     

Non-linear numerical radius isometries on atomic nest algebras and diagonal algebras

A nonlinear map φ between operator algebras is said to be a numerical radius isometry if w(φ(T−S))=w(T−S) for all T, S in its domain algebra, where w(T) stands for the numerical radius of T. Let and be two atomic nests on complex Hilbert spaces H and K, respectively. Denote the nest algebra associated with and the diagonal algebra. We give a thorough classification of weakly continuous numerical radius isometries from onto and a thorough classification of numerical radius isometries from onto .     

On the topological Helly theorem

The main result of this paper is the following theorem, related to the missing link in the proof of the topological version of the classical result of Helly: Let be any family of simply connected compact subsets of R² such that for every i,j∈{0,1,2} the intersections Xi∩Xj are path connected and is nonempty. Then for every two points in the intersection there exists a cell-like compactum connecting these two points, in particular the intersection is a connected set.     

Effective codescent morphisms, amalgamations and factorization systems

The paper deals with the question whether it is sufficient, when investigating the problem of the effectiveness of a descent morphism, to restrict the consideration only to the descent data (C,γ,ξ), where γ lies in a certain morphism class. The notion of a factorization system and the dual to the amalgamation property in the sense of Kiss, Marki, Pröhle and Tholen play the key role in our discussion.It is shown that a category inherits from a category the property that all descent morphisms are effective if either is regular and is a full coreflective, closed under pullbacks of certain epimorphisms, subcategory of or is regular, has coequalizers and there exists a topological functor . This implies that in the category of topological spaces, all regular monomorphisms are effective codescent morphisms (the result of Mantovani). The same is shown to be valid also for the categories of compact Hausdorff topological spaces, normal topological spaces, Banach spaces, (quasi-)uniform spaces, and (quasi-)proximity spaces. Moreover, the effectiveness of all codescent morphisms is established for the categories of Hausdorff topological spaces and (complete) metric spaces. The internal characterization of such morphisms p:B→E is given for the category of Hausdorff topological spaces, in the case of compact B and regular E.     

On the Cauchy problem for the fast diffusion equation

For , the author studies the existence of a kind of weak solution to the Cauchy problem

     

Deduction of L. Hörmander's extension of Ásgeirsson's mean value theorem

L. Hörmander's extension of Ásgeirsson's mean value theorem states that if u is a solution of the inhomogeneous ultrahyperbolic equation (Δ_x−Δ_y)u=f, , , then

     

Decomposition of the Witt-Burnside ring and Burnside ring of an abelian profinite group

Let G, H be abelian profinite groups whose orders are coprime and assume that q ranges over the set of integers. The aim of this paper is to establish an isomorphism of functors , where denotes the q-deformed Witt-Burnside ring functor of G introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. To do this, we first establish an isomorphism of functors , where denotes the q-deformed Burnside ring functor of G which was also introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 207 (1) (2007) 151-191]. As an application, we derive a pseudo-multiplicative property of the q-Möbius function associated to the lattice of open subgroups of the direct sum of G and H.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.