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 .     

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 .     

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.     

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 .     

Malliavin calculus in abstract Wiener space using infinitesimals

Using infinitesimals, we develop Malliavin calculus on spaces which result from the classical Wiener space by replacing with any abstract Wiener space .We start from a Brownian motion b on a Loeb probability space Ω with values in the Banach space is the standard part of a ∗finite-dimensional Brownian motion B. Then we define iterated Itô integrals as standard parts of internal iterated Itô integrals. The integrator of the internal integrals is B and the values of the integrands are multilinear forms on , where is a ∗finite-dimensional linear space over between the Hilbert space and its ∗-extension .In the first part we prove a chaos decomposition theorem for L²-functionals on Ω that are measurable with respect to the σ-algebra generated by b. This result yields a chaos decomposition of L²-functionals with respect to the Wiener measure on the standard space of -valued continuous functions on [0,1]. In the second part we define the Malliavin derivative and the Skorohod integral as standard parts of internal operators defined on ∗finite-dimensional spaces. In an application we use the transformation rule for finite-dimensional Euclidean spaces to study time anticipating and non-anticipating shifts of Brownian motion by Bochner integrals (Girsanov transformations).     

Topology of manifolds modeled on countable direct limits of Menger compacta

We construct n-dimensional counterparts of manifolds modeled on the space ?² equipped by the bounded weak topology (-manifolds). For -manifolds we prove the characterization, triangulation and classification theorems. In addition, a universal map of onto Q^∞ (the countable direct limit of Hilbert cubes and Z-embeddings) is constructed and characterized.     

Genericity of wild holomorphic functions and common hypercyclic vectors

Let T_α be the translation operator by α in the space of entire functions defined by . We prove that there is a residual set G of entire functions such that for every f∈G and every the sequence is dense in , that is, G is a residual set of common hypercyclic vectors ( functions) for the family . Also, we prove similar results for many families of operators as: multiples of differential operator, multiples of backward shift, weighted backward shifts.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.     

Local indicability and relative presentations of groups

A relative presentation is a triple where A is a group, X is a set, and R is a set of words in the free product A∗F(X) where F(X) is the free group with basis X. Under certain hypotheses on the relative presentation , we show that (1) the group presented by is locally indicable; (2) the pre-aspherical model for is aspherical; (3) the Freiheitssatz holds for . The result has applications in the computation of cohomology of groups and the field of equations over groups.     

The t#-property for integral domains

Generalizing work of Gilmer and Heinzer, we define a t#-domain to be a domain R in which for any two distinct subsets and of the set of maximal t-ideals of R. We provide characterizations of these domains, and we show that polynomial rings over t#-domains are again t#-domains. Finally, we study overrings of t#-domains.     

Ideals of operators and the metric approximation property

We prove that a Banach space X has the metric approximation property if and only if , the space of all finite rank operators, is an ideal in , the space of all bounded operators, for every Banach space Y. Moreover, X has the shrinking metric approximation property if and only if is an ideal in for every Banach space Y.Similar results are obtained for u-ideals and the corresponding unconditional metric approximation properties.     

Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .