Sets of nonnegative matrices with positive inhomogeneous products

Let X be a set of k×k matrices in which each element is nonnegative. For a positive integer n, let P(n) be an arbitrary product of n matrices from X, with any ordering and with repetitions permitted. Define X to be a primitive set if there is a positive integer n such that every P(n) is positive [i.e., every element of every P(n) is positive]. For any primitive set X of matrices, define the index g(X) to be the least positive n such that every P(n) is positive. We show that if X is a primitive set, then g(X)?2^k?2. Moreover, there exists a primitive set Y such that g(Y) = 2^k?2.     

Some properties of C(X), I

By a result of A.V. Arhangel'skiǐ and E.G. Pytkeiev, the space C(X) of the continuous real functions on X with the topology of pointwise convergence has tightness ω iff Xⁿ is Lindelöf for every n ∈ ω. In this paper we describe other convergence properties of C(X) (e.g. the Fréchet-Urysohn properly) in terms of covering properties of X.In some cases the equivalence between these properties turn out to be dependent on the set theory we choose. Some open problems are also stated.     

Reflection classes whose cubes cover the alternating group

A reflection class (REC) over a finite set A is a conjugacy class of a reflection (permutation of order ? 2) of A. It was known that for no REC X, X² = Alt(n) holds, and that for some RECs X, X⁴ = Alt(n) holds (n ? 5). Let i > 0, and let c(θ) denote the number of cycles of θ?S(n). Let X_i = {ψ ∈ S(n): ψ² = 1, ψ has exactly i fixed points}. We prove that θ?X_i³ if and only if: (1) i ≡ n (mod 2); (2) The parity of X_i equals the parity of θ; and (3) $\text{i ?}\text{1}\text{3}\text{(n + 2 c(θ))}$. As a consequence, {X: X is a REC, X³ = Alt(n)} and {X: X is a REC, X³ = S(n) ? Alt(n)} are determined.     

On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

Multiplicative models for configuration spaces of algebraic varieties

Fulton and MacPherson (Ann. Math. 139 (1994) 183) found a Sullivan dg-algebra model for the space of n-configurations of a smooth complex projective variety X. K?í? (Ann. Math. 139 (1994) 227) gave a simpler model, E_n(H), depending only on the cohomology ring, H?H^*X.We construct an even simpler and smaller model, J_n(H). We then define another new dg-algebra, E_n(H^°), and use J_n(H) to prove that E_n(H^°) is a model of the space of n-configurations of the non-compact punctured manifold X^°, when X is 1-connected. Following an idea of Drinfel’d (Leningrad Math. J. 2 (1991) 829), we put a simplicial bigraded differential algebra structure on {E_n(H^°)}_n?0.     

Function algebras on which homomorphisms are point evaluations on sequences

In the study of the spectrum of a subalgebraA ofC(X), whereX is a completely regular Hausdorff space, a key question is, whether each homomorphism ?:A→R has the point evaluation property for sequences inA, that is whether, for each sequence (f _n ) inA, there exists a pointa inX such that ?(f _n )=f _n (a) for alln. In this paper it is proved that all algebras, which are closed under composition with functions inC ^∞ (R) and have a certain local property, have the point evaluation property for sequences. Such algebras are, for instance, the spaceC ^m (E) (m=0,1,...,∞) ofC ^m -functions on any real locally convex spaceE. This result yields in a trivial manner that each homomorphism ? onA is a point evaluation, ifX is Lindelöf or ifA contains a sequence which separates points inX. Further, also a well known result as well as some new ones are obtained as a consequence of the main theorem.     

Albanese and Picard 1-motives

We define, in a purely algebraic way, 1-motives Alb⁺(X), Alb⁻(X), Pic⁺(X), and Pic⁻(X) associated with any algebraic scheme X over an algebraically closed field of characteristic zero. For X over C of dimension n, the Hodge realizations are, respectively, H^{2n − 1} (X, Z(n))/(torsion), H₁ (X, Z)/(torsion), H¹ (X, Z(1)), and H_{2n − 1} (X, Z(1 n))/(torsion).     

Power integral bases for Selmer-like number fields

The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f^′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)ⁿ⁻¹) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)ⁿ⁻¹) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)ⁿ⁻¹ is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free.     

The structure of the distribution of a couple of observable random variables in credibility theory

We consider Bühlmann's classical model in credibility theory and we assume that the set of possible values of the observable random variables X₁, X₂,… is finite, say with n elements. Then the distribution of a couple (X_r, X_s) (r ≠ s) amounts to a square real matrix of order n, that we call a credibility matrix. In order to estimate credibility matrices or to adjust roughly estimated credibility matrices, we study the set of all credibility matrices and some particular subsets of it.     

Convex hull of set in thick part of Teichmller space

Let X be a non-elementary Riemann surface of type(g,n),where g is the number of genus and n is the number of punctures with 3g-3+n1.Let T(X)be the Teichmller space of X.By constructing a certain subset E of T(X),we show that the convex hull of E with respect to the Teichmller metric,the Carathodory metric and the Weil-Petersson metric is not in any thick part of the Teichmler space,respectively.This implies that convex hulls of thick part of Teichmller space with respect to these metrics are not always in thick part of Teichmller space,as well as the facts that thick part of Teichmller space is not always convex with respect to these metrics.     

Optimal Embeddings of Bessel-Potential-Type Spaces into Generalized Hölder Spaces Involving <Emphasis Type="Italic">k</Emphasis>-Modulus of Smoothness

We establish necessary and sufficient conditions for embeddings of Bessel potential spaces H ^σ X(IR ⁿ ) with order of smoothness σ?∈?(0, n), modelled upon rearrangement invariant Banach function spaces X(IR ⁿ ), into generalized Hölder spaces (involving k-modulus of smoothness). We apply our results to the case when X(IR ⁿ ) is the Lorentz-Karamata space \(L_{p,q;b}({{\rm I\kern-.17em R}}^n)\). In particular, we are able to characterize optimal embeddings of Bessel potential spaces \(H^{\sigma}L_{p,q;b}({{\rm I\kern-.17em R}}^n)\) into generalized Hölder spaces. Applications cover both superlimiting and limiting cases. We also show that our results yield new and sharp embeddings of Sobolev-Orlicz spaces W ^k?+?1 L ^n/k(logL) ^α (IR ⁿ ) and W ^k L ^n/k(logL) ^α (IR ⁿ ) into generalized Hölder spaces.     

A continuum with no prime shape factors

As the main result of this paper, we prove that there exists a continuum with non-trivial shape without any prime factor. This answers a question of K. Borsuk [K. Borsuk, Concerning the notion of the shape of compacta, in: Proc. Internat. Symposium on Topology and Its Applications, Herceg-Novi, 1968, pp. 98-104]. We also show that for each integer n?3 there exists a continuum X such that Sh(X,x)=Shn(X,x), but Sh(X,x)≠Shn−1(X,x). Therefore we obtain the negative answer to another question of K. Borsuk [K. Borsuk, Some remarks concerning the shape of pointed compacta, Fund. Math. 67 (1970) 221-240]: Does Sh(X,x)=Shn(X,x), for a compactum X and some integer n?3, implie that Sh(X,x)=Sh²(X,x)?     

Exklusive Graphen und Hamiltonche Graphenn-ten Grades II

The graphs considered are finite and undirected, loops do not occur. An induced subgraphI of a graphX is called animitation ofX, if

1. the degreesd _I(v)≡d _X(v) (mod 2) for allv∈V(I)
2. eachu∈V(X)?V(I) is connected with the setv(I) by an even number of edges. If the set of imitations ofX consists only ofX itself, thenX is anexclusive graph. AHamiltonian graph of degree n (abbr.:HG ⁿ) in the sense ofA. Kotzig is ann-regular graph (n>1) with a linear decomposition and with the property, that any two of the linear components together form a Hamiltonian circuit of the graph.

In the first chapter some theorems concerning exclusive graphs and Euler graphs are stated. Chapters 2 deals withHG ^n′ s and bipartite graphs. In chapters 3 a useful concept—theX-graph of anHG ⁿ—is defined; in this paper it is the conceptual connection between exclusive graphs andHG ^n′ s, since a graphG is anHG ⁿ, if all itsX-graphs are exlusive. Furthermore, some theorems onX-graphs are proved. Chapter 4 contains the quintessence of the paper: If we want to construct a newHG ⁿ F from anotherHG ⁿ G, we can consider certain properties of theX-graphs ofG to decide whetherF is also anHG ⁿ.     

A short note on the Frobenius norm of the commutator

This note mainly aims to improve the inequality, proposed by Böttcher and Wenzel, giving the upper bound of the Frobenius norm of the commutator of two particular matrices in ? ^n×n . We first propose a new upper bound on basis of the Böttcher and Wenzel’s inequality. Motivated by the method used, the inequality ‖XY ? XY‖ _F ² ≤ 2‖X‖ _F ² ‖Y‖ _F ² is finally improved into $$ \left\| {XY - YX} \right\|_F^2 \leqslant 2\left\| X \right\|_F^2 \left\| Y \right\|_F^2 - 2[tr(X^T Y)]^2 . $$ . In addition, a further improvement is made.     

Projective varieties with projectively equivalent singular 0-dimensional sections

Fix integers m, n such that 1 ≤ m ≤ n ? 3. Let X ? Pⁿ be an integral non-degenerate m-dimensional variety. Assume either char(K) = 0 or char(K) > deg(X). Here we prove that all general 0-dimensional sections of X containing a tangent vector to a smooth point of X are protectively equivalent if and only if n ? m + 1 ≤ deg(X) ≤ n ? m + 2.     

On I-Lindelöf sets

A space (X, T) is called I-Lindelöf [1] if every cover A of X by regular closed subsets of the space (X, T) contains a countable subfamily A′ such that X = ∪{int (A): A ∈ A′}. In this work we introduce the class of I-Lindelöf sets as a proper subclass of rc-Lindelöf sets [3]. We study various properties of I-Lindelöf sets and investigate the relationship between I-Lindelöf sets and I-Lindelöf subspaces. We give a new characterization of I-Lindelöf spaces in terms of this type of sets. Also, we study spaces (X, T) in which every I-Lindelöf set in (X, T) is closed.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

Lagrangian 4-planes in holomorphic symplectic varieties of K3[4]-type

We classify the cohomology classes of Lagrangian 4-planes ?⁴ in a smooth manifold X deformation equivalent to a Hilbert scheme of four points on a K3 surface, up to the monodromy action. Classically, the Mori cone of effective curves on a K3 surface S is generated by nonnegative classes C, for which (C, C) ≥ 0, and nodal classes C, for which (C, C) = ?2; Hassett and Tschinkel conjecture that the Mori cone of a holomorphic symplectic variety X is similarly controlled by “nodal” classes C such that (C, C) = ?γ, for (·,·) now the Beauville-Bogomolov form, where γ classifies the geometry of the extremal contraction associated to C. In particular, they conjecture that for X deformation equivalent to a Hilbert scheme of n points on a K3 surface, the class C = ? of a line in a smooth Lagrangian n-plane ? ⁿ must satisfy (?,?) = ?(n + 3)/2. We prove the conjecture for n = 4 by computing the ring of monodromy invariants on X, and showing there is a unique monodromy orbit of Lagrangian 4-planes.