Baire functions and spaces of Baire functions

The paper considers (1) the tightness of spaces of Baire functions and their subspaces endowed with the topology of pointwise convergence; (2) Z _σ-mappings of K-analytic spaces; (3) K _σ-analytic spaces (Tychonoff spaces that are Z _σ-images of K-analytic spaces). __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 4, pp. 3–39, 2003.     

Boundaries of Asplund spaces

We study the relationship between the classical combinatorial inequalities of Simons and the more recent (I)-property of Fonf and Lindenstrauss. We obtain a characterization of strong boundaries for Asplund spaces using the new concept of finitely self-predictable set. Strong properties for w^∗-K-analytic boundaries are established as well as a sup-lim sup theorem for Baire maps.     

The weak theory of monads

We construct a ‘weak’ version EMw(K) of Lack and Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EMw(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of ‘weak liftings’ for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of weak lifting via an appropriate pseudo-functor EMw(K)→K. Weak entwining structures and partial entwining structures are shown to realize weak liftings of a comonad for a monad in these respective senses. Weak bialgebras are characterized as algebras and coalgebras, such that the corresponding monads weakly lift for the corresponding comonads and also the comonads weakly lift for the monads.     

A note on a theorem of Talagrand

We provide an elementary argument to show that if for a hemicompact kR-space X the space Cp(X) contains a subset S which separates the points of X and is dominated by irrationals, i.e. S is covered by a family of compact sets such that Kα⊂Kβ for α?β, then Cp(X) is also dominated by irrationals; consequently Cp(X) is K-analytic. This fact (which fails for non-hemicompact spaces X) extends an old result of Talagrand.     

Morphisms of projective geometries and semilinear maps

Morphisms between projective geometries are introduced; they are partially defined maps satisfying natural geometric conditions. It is shown that in the arguesian case the morphisms are exactly those maps which in terms of homogeneous coordinates are described by semilinear maps. If one restricts the considerations to automorphisms (collineations) one recovers the so-called fundamental theorem of projective geometry, cf. Theorem 2.26 in [2].Supported by a grant from the Fonds National Suisse de la Recherche Scientifique.     

Various products of category densities and liftings

We extend earlier work [M.R. Burke, N.D. Macheras, K. Musia?, W. Strauss, Category product densities and liftings, Topology Appl. 153 (2006) 1164-1191] of the authors on the existence of category liftings in the product of two topological spaces X and Y such that X×Y is a Baire space. For given densities ρ, σ on X and Y, respectively, we introduce two ‘Fubini type’ products ρ⊙σ and ρ?σ on X×Y. We present a necessary and sufficient condition for ρ⊙σ to be a density. Provided (X,Y) and (Y,X) have the Kuratowski-Ulam property, we prove for given category liftings ρ, σ on the factors the existence of a category lifting π on the product, dominating the density ρ?σ and such that

     

State-dependent Foster–Lyapunov criteria for subgeometric convergence of Markov chains

We consider a form of state-dependent drift condition for a general Markov chain, whereby the chain subsampled at some deterministic time satisfies a geometric Foster–Lyapunov condition. We present sufficient criteria for such a drift condition to exist, and use these to partially answer a question posed in Connor and Kendall (2007) [2] concerning the existence of so-called ‘tame’ Markov chains. Furthermore, we show that our ‘subsampled drift condition’ implies the existence of finite moments for the return time to a small set.     

On the epicomplete monoreflection of an archimedean lattice-ordered group

In a category C an object it G is epicomplete if the only epic monics out of G are isomorphisms, epic or monic meant in the categorical sense of right or left cancellable. For each of the categories Arch: archimedean ?-groups with ?-homomorphisms, and its companion category W: Arch-objects with distinguished weak unit and unit-preserving ?-homomorphisms, (and for the corresponding categories of vector lattices) epicompleteness has been characterized as divisible and conditionally and laterally σ-complete, and it has been shown to be monoreflective. Denote the reflecting functors by β and β ^W , respectively. What are they? For W the Yosida representation has been used to realize β ^W A as a certain quotient of B (Y A), the Baire functions on the Yosida space of A. For Arch, very little has been known. Here we give a general representation theorem, Theorem A, for β G as a certain subdirect product of W-epicomplete objects derived from G. That result, some W-theory, and the relation between epicity and relative uniform density are then employed to show Theorem B: β C _K (Y)=B _L (Y), where C _K (Y)is the ?-group of continuous functions on Y with compact support and B _L (Y) is the ?-group of Baire functions on Y having Lindelöf cozero sets.     

Proper asymptotic unitary equivalence in KK-theory and projection lifting from the corona algebra

In this paper we generalize the notion of essential codimension of Brown, Douglas, and Fillmore using KK-theory and prove a result which asserts that there is a unitary of the form ‘identity + compact’ which gives the unitary equivalence of two projections if the ‘essential codimension’ of two projections vanishes for certain C^∗-algebras employing the proper asymptotic unitary equivalence of KK-theory found by M. Dadarlat and S. Eilers. We also apply our result to study the projections in the corona algebra of C(X)⊗B where X is [0,1], (−∞,∞), [0,∞), and [0,1]/{0,1}.     

A combinatorial result related to the consistency of New Foundations

We prove a combinatorial result for models of the 4-fragment of the Simple Theory of Types (TST), TST₄. The result says that if A=〈A₀,A₁,A₂,A₃〉 is a standard transitive and rich model of TST₄, then A satisfies the 〈0,0,n〉-property, for all n≥2. This property has arisen in the context of the consistency problem of the theory New Foundations (NF). The result is a weak form of the combinatorial condition (existence of ω-extendible coherent triples) that was shown in Tzouvaras (2007) [5] to be equivalent to the consistency of NF. Such weak versions were introduced in Tzouvaras (2009) [6] in order to relax the intractability of the original condition. The result strengthens one of the main theorems of Tzouvaras (2007) [5, Theorem 3.6] which is just equivalent to the 〈0,0,2〉-property.     

Cyclotomic Solomon algebras

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type G(r,1,n). As with the Solomon descent algebra, our algebra has a basis given by sums of ‘distinguished’ coset representatives for certain ‘reflection subgroups.’ We explicitly describe the structure constants with respect to this basis and show that they are polynomials in r. This allows us to define a deformation, or q-analogue, of these algebras which depends on a parameter q. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.     

Any 7-Chromatic Graphs Has K 7 Or K 4,4 As A Minor

In 1943, Hadwiger made the conjecture that every k-chromatic graph has a K _k -minor. This conjecture is, perhaps, the most interesting conjecture of all graph theory. It is well known that the case k=5 is equivalent to the Four Colour Theorem, as proved by Wagner [39] in 1937. About 60 years later, Robertson, Seymour and Thomas [29] proved that the case k=6 is also equivalent to the Four Colour Theorem. So far, the cases k7 are still open and we have little hope to verify even the case k=7 up to now. In fact, there are only a few theorems concerning 7-chromatic graphs, e. g. [17].In this paper, we prove the deep result stated in the title, without using the Four Colour Theorem [1,2,28]. This result verifies the first unsettled case m=6 of the (m,1)-Minor Conjecture which is a weaker form of Hadwigers Conjecture and a special case of a more general conjecture of Chartrand et al. [8] in 1971 and Woodall [42] in 1990.The proof is somewhat long and uses earlier deep results and methods of Jørgensen [20], Mader [23], and Robertson, Seymour and Thomas [29].* Research partly supported by the Japan Society for the Promotion of Science for Young Scientists. Research partly supported by the Danish Natural Science Research Council.Dedicated to Professor Mike Plummer on the occasion of his sixty-fifth birthday.     

Covering by discrete and closed discrete sets

Say that a cardinal number κ is small relative to the space X if κ<Δ(X), where Δ(X) is the least cardinality of a non-empty open set in X. We prove that no Baire metric space can be covered by a small number of discrete sets, and give some generalizations. We show a ZFC example of a regular Baire σ-space and a consistent example of a normal Baire Moore space which can be covered by a small number of discrete sets. We finish with some remarks on linearly ordered spaces.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

Comparison of Bartlett-type adjusted tests in the multiparameter case

Considering some Bartlett-type adjusted tests for a simple hypothesis about a multidimensional parameter, this paper clarifies similarities and dissimilarities with the one-parameter case developed in the 1990s, where a major emphasis is put on the issue posed by Rao and Mukerjee [C.R. Rao, R. Mukerjee, Comparison of Bartlett-type adjustments for the efficient score statistic, J. Statist. Plann. Inference 46 (1995) 137-146] on the power under a sequence of local alternatives. Not surprisingly, there is an infinite number of adjustments which extend Chandra-Mukerjee and Taniguchi approaches to the multiparameter case. Revisiting their ideas, this paper presents four specific cases (type K, K=0,1,2,3) and gives a sufficient condition under which our generalized adjustment for each case is uniquely determined, where type 0 is a counterpart of Chandra and Mukerjee’s original proposal for Rao’s test statistic, whereas the latter three types are introduced as double adjustments related to the Cordeiro and Ferrari approach. If the adjustment of type 1 is made instead of type K, K=0,2,3, it is shown that Chandra and Mukerjee’s approach is equivalent to Taniguchi’s approach in terms of the third-order local power. The same is partially true for type 0, depending on the model under consideration. However, the adjustments of type K, K=2,3, reveal, in general, the non-equivalence of these two approaches in terms of the third-order local power.     

Classical proof forestry

Classical proof forests are a proof formalism for first-order classical logic based on Herbrand’s Theorem and backtracking games in the style of Coquand. First described by Miller in a cut-free setting as an economical representation of first-order and higher-order classical proof, defining features of the forests are a strict focus on witnessing terms for quantifiers and the absence of inessential structure, or ‘bureaucracy’.This paper presents classical proof forests as a graphical proof formalism and investigates the possibility of composing forests by cut-elimination. Cut-reduction steps take the form of a local rewrite relation that arises from the structure of the forests in a natural way. Yet reductions, which are significantly different from those of the sequent calculus, are combinatorially intricate and do not exclude the possibility of infinite reduction traces, of which an example is given.Cut-elimination, in the form of a weak normalisation theorem, is obtained using a modified version of the rewrite relation inspired by the game-theoretic interpretation of the forests. It is conjectured that the modified reduction relation is, in fact, strongly normalising.     

Unique representation domains, II

Given a star operation ∗ of finite type, we call a domain R a ∗-unique representation domain (∗-URD) if each ∗-invertible ∗-ideal of R can be uniquely expressed as a ∗-product of pairwise ∗-comaximal ideals with prime radical. When ∗ is the t-operation we call the ∗-URD simply a URD. Any unique factorization domain is a URD. Generalizing and unifying results due to Zafrullah [M. Zafrullah, On unique representation domains, J. Nat. Sci. Math. 18 (1978) 19-29] and Brewer-Heinzer [J.W. Brewer, W.J. Heinzer, On decomposing ideals into products of comaximal ideals, Comm. Algebra 30 (2002) 5999-6010], we give conditions for a ∗-ideal to be a unique ∗-product of pairwise ∗-comaximal ideals with prime radical and characterize ∗-URD’s. We show that the class of URD’s includes rings of Krull type, the generalized Krull domains introduced by El Baghdadi and weakly Matlis domains whose t-spectrum is treed. We also study when the property of being a URD extends to some classes of overrings, such as polynomial extensions, rings of fractions and rings obtained by the D+XD_S[X] construction.     

Globally F-regular and log Fano varieties

We prove that every globally F-regular variety is log Fano. In other words, if a prime characteristic variety X is globally F-regular, then it admits an effective Q-divisor Δ such that −KX−Δ is ample and (X,Δ) has controlled (Kawamata log terminal, in fact globally F-regular) singularities. A weak form of this result can be viewed as a prime characteristic analog of de Fernex and Hacon's new point of view on Kawamata log terminal singularities in the non-Q-Gorenstein case. We also prove a converse statement in characteristic zero: every log Fano variety has globally F-regular type. Our techniques apply also to F-split varieties, which we show to satisfy a “log Calabi-Yau” condition. We also prove a Kawamata-Viehweg vanishing theorem for globally F-regular pairs.     

Rationality problem of GL4 group actions

Let K be any field which may not be algebraically closed, V be a four-dimensional vector space over K, σ∈GL(V) where the order of σ may be finite or infinite, f(T)∈K[T] be the characteristic polynomial of σ. Let α, αβ₁, αβ₂, αβ₃ be the four roots of f(T)=0 in some extension field of K.Theorem 1.BothK(V)^〈σ〉andare rational (=purelytranscendental) overKif at least one of the following conditions is satisfied: (i) charK=2, (ii) f(T) is a reducible or inseparable polynomial inK[T], (iii) not all ofβ₁,β₂,β₃are roots of unity, (iv) iff(T) is separable irreducible, then the Galois group off(T) overKis not isomorphic to the dihedral group of order 8 or the Klein four group.Theorem 2.Suppose that allβ_iare roots of unity andf(T)∈K[T] is separable irreducible. (a) If the Galois group off(T) is isomorphic to the dihedral group of order 8, then bothK(V)^〈σ〉andare not stably rational overK. (b) When the Galois group off(T) is isomorphic to the Klein four group, then a necessary and sufficient condition for rationality ofK(V)^〈σ〉andis provided. (See Theorem 1.5. for details.)     

Moment properties of multivariate infinitely divisible laws and criteria for multivariate self-decomposability

Ramachandran (1969) [9, Theorem 8] has shown that for any univariate infinitely divisible distribution and any positive real number α, an absolute moment of order α relative to the distribution exists (as a finite number) if and only if this is so for a certain truncated version of the corresponding Lévy measure. A generalized version of this result in the case of multivariate infinitely divisible distributions, involving the concept of g-moments, was given by Sato (1999) [6, Theorem 25.3]. We extend Ramachandran’s theorem to the multivariate case, keeping in mind the immediate requirements under appropriate assumptions of cumulant studies of the distributions referred to; the format of Sato’s theorem just referred to obviously varies from ours and seems to have a different agenda. Also, appealing to a further criterion based on the Lévy measure, we identify in a certain class of multivariate infinitely divisible distributions the distributions that are self-decomposable; this throws new light on structural aspects of certain multivariate distributions such as the multivariate generalized hyperbolic distributions studied by Barndorff-Nielsen (1977) [12] and others. Various points relevant to the study are also addressed through specific examples.