Approximation properties and absence of Cartan subalgebra for free Araki–Woods factors

We show that all the free Araki–Woods factors Γ^″(HR,Ut) have the complete metric approximation property. Using Ozawa–Popa?s techniques, we then prove that every nonamenable subfactor N⊂Γ^″(HR,Ut) which is the range of a normal conditional expectation has no Cartan subalgebra. We finally deduce that the type III₁ factors constructed by Connes in the ?70s can never be isomorphic to any free Araki–Woods factor, which answers a question of Shlyakhtenko and Vaes.     

Point simpliciality in Choquet theory on nonmetrizable compact spaces

Let H be a function space on a compact space K. The set of simpliciality of H is the set of all points of K for which there exists a unique maximal representing measure. Properties of this set were studied by M. Ba?ák in the paper Point simpliciality in Choquet representation theory, Illinois J. Math. 53 (2009) 289–302, mainly for K metrizable. We study properties of the set of simpliciality for K nonmetrizable.     

Absolute E-rings

A ring R with 1 is called an E-ring if EndZR is ring-isomorphic to R under the canonical homomorphism taking the value 1σ for any σ∈EndZR. Moreover R is an absolute E-ring if it remains an E-ring in every generic extension of the universe. E-rings are an important tool for algebraic topology as explained in the introduction. The existence of an E-ring R of each cardinality of the form λℵ₀ was shown by Dugas, Mader and Vinsonhaler (1987) [9]. We want to show the existence of absolute E-rings. It turns out that there is a precise cardinal-barrier κ(ω) for this problem: (The cardinal κ(ω) is the first ω-Erd?s cardinal defined in the introduction. It is a relative of measurable cardinals.) We will construct absolute E-rings of any size λ<κ(ω). But there are no absolute E-rings of cardinality ?κ(ω). The non-existence of huge, absolute E-rings ?κ(ω) follows from a recent paper by Herden and Shelah (2009) [24] and the construction of absolute E-rings R is based on an old result by Shelah (1982) [31] where families of absolute, rigid colored trees (with no automorphism between any distinct members) are constructed. We plant these trees into our potential E-rings with the aim to prevent unwanted endomorphisms of their additive group to survive. Endomorphisms will recognize the trees which will have branches infinitely often divisible by primes. Our main result provides the existence of absolute E-rings for all infinite cardinals λ<κ(ω), i.e. these E-rings remain E-rings in all generic extensions of the universe (e.g. using forcing arguments). Indeed all previously known E-rings (Dugas, Mader and Vinsonhaler, 1987 [9]; Göbel and Trlifaj, 2006 [23]) of cardinality ?ℵ₀² have a free additive group R⁺ in some extended universe, thus are no longer E-rings, as explained in the introduction. Our construction also fills all cardinal-gaps of the earlier constructions (which have only sizes λℵ₀). These E-rings are domains and as a by-product we obtain the existence of absolutely indecomposable abelian groups, compare Göbel and Shelah (2007) [22].     

On holomorphic domination, I

Let X be a separable Banach space and u:X→R locally upper bounded. We show that there are a Banach space Z and a holomorphic function h:X→Z with u(x)<‖h(x)‖ for x∈X. As a consequence we find that the sheaf cohomology group Hq(X,O) vanishes if X has the bounded approximation property (i.e., X is a direct summand of a Banach space with a Schauder basis), O is the sheaf of germs of holomorphic functions on X, and q?1. As another consequence we prove that if f is a C¹-smooth -closed (0,1)-form on the space X=L₁[0,1] of summable functions, then there is a C¹-smooth function u on X with on X.     

Extensions of p-adic vector measures

For R being a separating algebra of subsets of a set X, E a complete Hausdorff non-Archimedean locally convex space and m: R → E a bounded finitely additive measure, it is shown that:

a If m is σ-additive and strongly additive, then m has a unique σ-additive extension m^σ on the σ-algebra R^σ generated by R.

b If m is strongly additive and τ-additive, then m has a unique τ-additive extension m^τ on the α-algebra R^bo of all τ_R-Borel sets, where τ_R is the topology having R as a basis.

Also, some other results concerning such measures are given.     

Funny Rank One and the Approximate Transitivity for Induced Actions

 Let H be a closed normal subgroup of a locally compact separable group G, and suppose that H acts ergodically on a Lebesgue space. If both the given H-action and the natural G-action on G/H have funny rank one, then the induced G-action has it also. For G solvable, the second condition is always true. A similar (but easier) theorem is also true for approximately transitive actions, even without the normality assumption on H. Received 23 February 1998     

On metrizability of compactoid sets in non-archimedean locally convex spaces

In 2003, N. De Grande-De Kimpe, J. Kąkol and C. Perez-Garcia using t-frames and some machinery concerning tensor products proved that compactoid sets in non-archimedean (LM)-spaces (i.e. the inductive limits of a sequence of non-archimedean metrizable locally convex spaces) are metrizable. In this paper we show a similar result for a large class of non-archimedean locally convex space with a £-base, i.e. a decreasing base (U_α)_αN^N of neighbourhoods of zero. This extends the first mentioned result since every non-archimedean (LM)-space has a £-base. We also prove that compactoid sets in non-archimedean (DF)-spaces are metrizable.     

Unconditional basic sequences in spaces of large density

We study the problem of the existence of unconditional basic sequences in Banach spaces of high density. We show in particular the relative consistency of the statement that every Banach space of density ℵω contains an unconditional basic sequence.     

The Weyl group and the normalizer of a conditional expectation

We define a discrete groupW(E) associated to a faithful normal conditional expectationE : M N forN M von Neuman algebras. This group shows the relation between the unitary groupU _N and the normalizerN _E ofE, which can be also considered as the isotropy of the action of the unitary groupU _M ofM onE. It is shown thatW(E) is finite if dimZ(N)< and bounded by the index in the factor case. Also sharp bounds of the order ofW(E) are founded.W(E) appears as the fibre of a covering space defined on the orbit ofE by the natural action of the unitary group ofM. W(E) is computed in some basic examples.     

Plurisubharmonic domination in Banach spaces

We show that if X is a Banach space with a Schauder basis, Ω⊂X is a pseudoconvex open subset, and u:Ω→(−∞,∞) is a locally bounded function, then there is a continuous plurisubharmonic function w:Ω→(−∞,∞) with u(x)?w(x) for all x∈Ω. This has many applications to analytic cohomology of complex Banach manifolds.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

The index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, index(DA), of the operator DA=(d/dt)+A on L²(R;H) associated with the operator path , where (Af)(t)=A(t)f(t) for a.e. t∈R, and appropriate f∈L²(R;H), via the spectral shift function ξ(⋅;A₊,A₋) associated with the pair (A₊,A₋) of asymptotic operators A_±=A(±∞) on the separable complex Hilbert space H in the case when A(t) is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator A₋.We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function ξ(⋅;A₊,A₋) for the pair (A₊,A₋), and the corresponding spectral shift function ξ(⋅;H₂,H₁) for the pair of operators in this relative trace class context,This formula is then used to identify the Fredholm index of DA with ξ(0;A₊,A₋). In addition, we prove that index(DA) coincides with the spectral flow of the family {A(t)}_t∈R and also relate it to the (Fredholm) perturbation determinant for the pair (A₊,A₋): with the choice of the branch of ln(detH(⋅)) on C₊ such thatWe also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.     

On some subalgebras of von Neumann algebras with analyticity

Let (M,α,G) be a covariant system on a locally compact Abelian group G with the totally ordered dual group which admits the positive semigroup . Let H^∞(α) be the associated analytic subalgebra of M; i.e. . Let be the analytic crossed product determined by a covariant system . We give the necessary and sufficient condition that an analytic subalgebra H^∞(α) is isomorphic to an analytic crossed product related to Landstad's theorem. We also investigate the structure of σ-weakly closed subalgebra of a continuous crossed product N?_θR which contains N?_θR₊. We show that there exists a proper σ-weakly closed subalgebra of N?_θR which contains N?_θR₊ and is not an analytic crossed product. Moreover we give an example that an analytic subalgebra is not a continuous analytic crossed product using the continuous decomposition of a factor of type III_λ(0?λ<1).     

Hochster's theta invariant and the Hodge–Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., for i?0). Since R has only an isolated singularity, these torsion modules are of finite length for i?0. The theta invariant of the pair (M,N) is defined by Hochster to be for i?0. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).     

Convergence of the Dirichlet solutions of the very fast diffusion equation

For any −1<m<0, positive functions f, g and u₀≥0, we prove that under some mild conditions on f, g and u₀ as R→∞ the solution u^R of the Dirichlet problem u_t=(u^m/m)_xx in (−R,R)×(0,∞), u(R,t)=(f(t)|m|R)^1/m, u(−R,t)=(g(t)|m|R)^1/m for all t>0, u(x,0)=u₀(x) in (−R,R), converges uniformly on every compact subset of R×(0,T) to the solution of the equation u_t=(u^m/m)_xx in R×(0,T), u(x,0)=u₀(x) in R, which satisfies some mass loss formula on (0,T) where T is the maximal time such that the solution u is positive. We also prove that the solution constructed is equal to the solution constructed in Hui (2007) [15] using approximation by solutions of the corresponding Neumann problem in bounded cylindrical domains.     

Compactness of Schrödinger semigroups with unbounded below potentials

By using the super Poincaré inequality of a Markov generator L₀ on L²(μ) over a σ-finite measure space (E,F,μ), the Schrödinger semigroup generated by L₀−V for a class of (unbounded below) potentials V is proved to be L²(μ)-compact provided μ(V?N)<∞ for all N>0. This condition is sharp at least in the context of countable Markov chains, and considerably improves known ones on, e.g., Rd under the condition that V(x)→∞ as |x|→∞. Concrete examples are provided to illustrate the main result.     

Finite axiomatizability in ?ukasiewicz logic

We classify every finitely axiomatizable theory in infinite-valued propositional ?ukasiewicz logic by an abstract simplicial complex (V,Σ) equipped with a weight function ω:V→{1,2,…}. Using the W?odarczyk–Morelli solution of the weak Oda conjecture for toric varieties, we then construct a Turing computable one–one correspondence between (Alexander) equivalence classes of weighted abstract simplicial complexes, and equivalence classes of finitely axiomatizable theories, two theories being equivalent if their Lindenbaum algebras are isomorphic. We discuss the relationship between our classification and Markov’s undecidability theorem for PL-homeomorphism of rational polyhedra.     

Associated primes for cohomology modules

Let G be a finite group acting linearly on a finite dimensional vector space V defined over a field k of characteristic p, where p is assumed to divide the group order. Let R := S(V *) be the symmetric algebra of the dual on which G acts naturally by algebra automorphisms. We study the R^G-modules Hⁱ(G, R) for i > 0. In particular we give a formula which describes the annihilator of a general element of Hⁱ(G, R) in terms of the relative transfer ideals of R^G, and consequently prove that the associated primes of these cohomology modules are equal to the radicals of certain relative transfer ideals. Received: 5 June 2008