Certain finite dimensional maps and their application to hyperspaces

In [8] Y. Sternfeld and this author gave a positive answer to the following longstanding open problem: Is the hyperspace (=the space of all subcontinua endowed with the Hausdorff metric) of a 2-dimensional continuum infinite dimensional? This result was improved in [9] where it was shown that for every positive integer numbern a 2-dimensional continuum contains a 1-dimensional subcontiuum with hyperspace of dimension ≥n. And it was asked there: Does a 2-dimensional continuum contain a 1-dimensional subcontinuum with infinite dimensional hyperspace? In this note we answer this question in the positive. Our proof applies maps with the following properties. A real valued mapf on a compactumX is called a Bing map if every continuum that is contained in a fiber off is hereditarily indecomposable.f is called ann-dimensional Lelek map if the union of all non-trivial continua which are contained in the fibers off isn-dimensional. It is shown that for dimX=n+1 the maps which are both Bing andn-dimensional Lelek maps form a denseG _σ-subset of the function spaceC(X, I)     

Extremals in some classes of Carnot groups

Let G be a Carnot group and D={e 1,e 2 } be a bracket generating left invariant distribution on G.In this paper,we obtain two main results.We first prove that there only exist normal minimizers in G if the type of D is (2,1,...,1) or (2,1,...,1,2).This immediately leads to the fact that there are only normal minimizers in the Goursat manifolds.As one corollary,we also obtain that there are only normal minimizers when dim G 5.We construct a class of Carnot groups such as that of type (2,1,...,1,2,n 0,...,n a) with n 0 1,n i 0,i=1,...,a,in which there exist strictly abnormal extremals.This implies that,for any given manifold of dimension n 6,we can find a class of n-dimensional Carnot groups having strictly abnormal minimizers.We conclude that the dimension n=5 is the border line for the existence and nonexistence of strictly abnormal extremals.Our main technique is based on the equations for the normal and abnormal extremals.     

Some Results on Cross-Positive Matrices

Let K be a cone in Rⁿ, K1 its dual cone. An n×n matrix A is called cross-positive on K if and only if for all y?K, z?K1 such that (z, y) = 0 we have (z, Ay)?0. In this short note new equivalent conditions for matrices cross-positive on K will be given in terms of the partial ordering in Rⁿ induced by the cone K.     

On the dimension of the space of ℝ-places of certain rational function fields

We prove that for every n ∈ ? the space M(K(x ₁, …, x _n ) of ?-places of the field K(x ₁, …, x _n ) of rational functions of n variables with coefficients in a totally Archimedean field K has the topological covering dimension dimM(K(x ₁, …, x _n )) ≤ n. For n = 2 the space M(K(x ₁, x ₂)) has covering and integral dimensions dimM(K(x ₁, x ₂)) = dim_? M(K(x ₁, x ₂)) = 2 and the cohomological dimension dim _G M(K(x ₁, x ₂)) = 1 for any Abelian 2-divisible coefficient group G.     

Maximal exponents of polyhedral cones (I)

Let K be a proper (i.e., closed, pointed, full convex) cone in Rn. An n×n matrix A is said to be K-primitive if there exists a positive integer k such that ; the least such k is referred to as the exponent of A and is denoted by γ(A). For a polyhedral cone K, the maximum value of γ(A), taken over all K-primitive matrices A, is called the exponent of K and is denoted by γ(K). It is proved that if K is an n-dimensional polyhedral cone with m extreme rays then for any K-primitive matrix A, γ(A)?(mA−1)(m−1)+1, where mA denotes the degree of the minimal polynomial of A, and the equality holds only if the digraph (E,P(A,K)) associated with A (as a cone-preserving map) is equal to the unique (up to isomorphism) usual digraph associated with an m×m primitive matrix whose exponent attains Wielandt's classical sharp bound. As a consequence, for any n-dimensional polyhedral cone K with m extreme rays, γ(K)?(n−1)(m−1)+1. Our work answers in the affirmative a conjecture posed by Steve Kirkland about an upper bound of γ(K) for a polyhedral cone K with a given number of extreme rays.     

Maximal exponents of polyhedral cones (II)

Let K be a proper (i.e., closed, pointed, full convex) cone in Rⁿ. An n×n matrix A is said to be K-primitive if there exists a positive integer k such that ; the least such k is referred to as the exponent of A and is denoted by γ(A). For a polyhedral cone K, the maximum value of γ(A), taken over all K-primitive matrices A, is called the exponent of K and is denoted by γ(K). It is proved that the maximum value of γ(K) as K runs through all n-dimensional minimal cones (i.e., cones having n+1 extreme rays) is n²-n+1 if n is odd, and is n²-n if n is even, the maximum value of the exponent being attained by a minimal cone with a balanced relation for its extreme vectors. The K-primitive matrices A such that γ(A) attain the maximum value are identified up to cone-equivalence modulo positive scalar multiplication.     

Stability theorems for projections of convex sets

LetH ^n?1 denote the set of all (n ? 1)-dimensional linear subspaces of euclideann-dimensional spaceE ⁿ (n≧3), and letJ andK be two compact convex subsets ofE ⁿ. It is well-known thatJ andK are translation equivalent (or homothetic) if for allH ∈H ^n?1 the respective orthogonal projections, sayJ _H, K_H, are translation equivalent (or homothetic). This fact gives rise to the following stability problem: Ifε≧0 is given, and if for everyH ∈H ^n?1 a translate (or homothetic copy) ofK _H is within Hausdorff distanceε ofJ _H, how close isJ to a nearest translate (or homothetic copy) ofK? In the case of translations it is shown that under the above assumptions there is always a translate ofK within Hausdorff distance (1 + 2√2)ε ofJ. Similar results for homothetic transformations are proved and applications regarding the stability of characterizations of centrally symmetric sets and spheres are given. Furthermore, it is shown that these results hold even ifH ^n?1 is replaced by a rather small (but explicitly specified) subset ofH ^n?1.     

On the duality operator of a convex cone

Let C be a convex set in Rⁿ. For each y?C, the cone of C at y, denoted by cone(y, C), is the cone {α(x ? y): α ? 0 and x?C}. If K is a cone in Rⁿ, we shall denote by $\text{K}{}^1$ its dual cone and by F(K) the lattice of faces of K. Then the duality operator of K is the mapping $\text{d}{}_{\mathrm{K}}\text{: F(K) → F(K}{}^1\text{)}$ given by $\text{d}{}_{\mathrm{K}}\text{(F) = (}\text{span}\text{F)}{}^{\mathrm{\perp }}\text{∩ K}{}^1$. Properties of the duality operator d_K of a closed, pointed, full cone K have been studied before. In this paper, we study d_K for a general cone K, especially in relation to d_{cone(y, K)}, where y?K. Our main result says that, for any closed cone K in Rⁿ, the duality operator d_K is injective (surjective) if and only if the duality operator d_{cone(y, K)} is injective (surjective) for each vector y?K ～ [K ∩ (? K)]. In the last part of the paper, we obtain some partial results on the problem of constructing a compact convex set C, which contains the zero vector, such that cone (0, C) is equal to a given cone.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

On linear versions of some addition theorems

Let K ? L be a field extension. Given K-subspaces A, B of L, we study the subspace ?AB? spanned by the product set AB = {ab∣ a ∈ A, b ∈ B}. We obtain some lower bounds on dim _K ?AB? and dim _K ?B ⁿ ? in terms of dim _K A, dim _K B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.     

Rainbow and orthogonal paths in factorizations of Kn

For n even, a factorization of a complete graph K_n is a partition of the edges into n?1 perfect matchings, called the factors of the factorization. With respect to a factorization, a path is called rainbow if its edges are from distinct factors. A rainbow Hamiltonian path takes exactly one edge from each factor and is called orthogonal to the factorization. It is known that not all factorizations have orthogonal paths. Assisted by a simple edge‐switching algorithm, here we show that for n?8, the rotational factorization of K_n, GK_n has orthogonal paths. We prove that this algorithm finds a rainbow path with at least (2n+1)/3 vertices in any factorization of K_n (in fact, in any proper coloring of K_n). We also give some problems and conjectures about the properties of the algorithm. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 167–176, 2010     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Absolutely indecomposable symmetric matrices

Let A be a symmetric matrix of size n×n with entries in some (commutative) field K. We study the possibility of decomposing A into two blocks by conjugation by an orthogonal matrix T∈Mat_n(K). We say that A is absolutely indecomposable if it is indecomposable over every extension of the base field. If K is formally real then every symmetric matrix A diagonalizes orthogonally over the real closure of K. Assume that K is a not formally real and of level s. We prove that in Mat_n(K) there exist symmetric, absolutely indecomposable matrices iff n is congruent to 0, 1 or −1 modulo 2s.     

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

Let K be a field of characteristic 0 and let (K^*)ⁿ denote the n-fold Cartesian product of K^*, endowed with coordinatewise multiplication. Let Γ be a subgroup of (K^*)ⁿ of finite rank. We consider equations (*) a₁x₁ + … + a_nx_n = 1 in x = (x₁x_n)Γ, where a = (a₁,a_n)(K^*)ⁿ. Two tuples a, b(K^*)ⁿ are called Γ-equivalent if there is a uΓ such that b = u · a. Gy?ry and the author [Compositio Math. 66 (1988) 329-354] showed that for all but finitely many Γ-equivalence classes of tuples a(K^*)ⁿ, the set of solutions of (*) is contained in the union of not more than 2⁽ⁿ⁺¹! proper linear subspaces of Kⁿ. Later, this was improved by the author [J. reine angew. Math. 432 (1992) 177-217] to (n!)²ⁿ⁺². In the present paper we will show that for all but finitely many Γ-equivalence classes of tuples of coefficients, the set of non-degenerate solutions of (*) (i.e., with non-vanishing subsums) is contained in the union of not more than 2ⁿ proper linear subspaces of Kⁿ. Further we give an example showing that 2ⁿ cannot be replaced by a quantity smaller than n.     

Extremal critically connected matroids

A connected matroid M is called a critically connected matroid if the deletion of any one element from M results in a disconnected matroid. We show that a critically connected matroid of rank n, n≥3, can have at most 2n?2 elements. We also show that a critically connected matroid of rank n on 2n?2 elements is isomorphic to the forest matroid of K₂, n?2.     

Extreme positive operators on minimal and almost minimal cones

Fiedler and Pták called a cone minimal if it is n-dimensional and has n+1 extremal rays. We call a cone almost minimal if it is n-dimensional and has n+2 extremal rays. Duality properties stemming from the use of Gale pairs lead to a general technique for identifying the extreme cone-preserving (positive) operators between polyhedral cones. This technique is most effective for cones with dimension not much smaller than the number of their extreme rays. In particular, the Fiedler-Pták characterization of extreme positive operators between minimal cones is extended to the following cases: (i) operators from a minimal cone to an arbitrary polyhedral cone, (ii) operators from an almost minimal cone to a minimal cone.     

Covering shadows with a smaller volume

For n?2 a construction is given for convex bodies K and L in Rn such that the orthogonal projection Lu onto the subspace u^⊥ contains a translate of Ku for every direction u, while the volumes of K and L satisfy Vn(K)>Vn(L).A more general construction is then given for n-dimensional convex bodies K and L such that each orthogonal projection Lξ onto a k-dimensional subspace ξ contains a translate of Kξ, while the mth intrinsic volumes of K and L satisfy Vm(K)>Vm(L) for all m>k.For each k=1,…,n, we then define the collection Cn,k to be the closure (under the Hausdorff topology) of all Blaschke combinations of suitably defined cylinder sets (prisms).It is subsequently shown that, if L∈Cn,k, and if the orthogonal projection Lξ contains a translate of Kξ for every k-dimensional subspace ξ of Rn, then Vn(K)?Vn(L).The families Cn,k, called k-cylinder bodies of Rn, form a strictly increasing chain

Cn,1⊂Cn,2⊂?⊂Cn,n−1⊂Cn,n,     

A solution to de Groot’s absolute cone conjecture

A compactum X is an ‘absolute cone’ if, for each of its points x, the space X is homeomorphic to a cone with x corresponding to the cone point. In 1971, J. de Groot conjectured that each n-dimensional absolute cone is an n-cell. In this paper, we give a complete solution to that conjecture. In particular, we show that the conjecture is true for n≤3 and false for n≥5. For n=4, the absolute cone conjecture is true if and only if the 3-dimensional Poincaré Conjecture is true.     

Embedding finite posets in cubes

In this paper we define the n-cube Q_n as the poset obtained by taking the cartesian product of n chains each consisting of two points. For a finite poset X, we then define dim₂X as the smallest positive integer n such that X can be embedded as a subposet of Q_n. For any poset X we then have log₂ |X| ? dim₂X ? |X|. For the distributive lattice $\text{L =}\text{2}{}^{\mathrm{X}}$, dim₂L = |X| and for the crown S^k_n, dim₂ (S^k_n) = n + k. For each k ? 2, there exist positive constants c₁ and c₂ so that for the poset X consisting of all one element and k-element subsets of an n-element set, the inequality c₁ log₂n < dim₂(X) < c₂ log₂n holds for all n with k < n. A poset is called Q-critical if dim₂ (X ? x) < dim₂(X) for every x ? X. We define a join operation ⊕ on posets under which the collection Q of all Q-critical posets which are not chains forms a semigroup in which unique factorization holds. We then completely determine the subcollection $\text{M}$ ? Q consisting of all posets X for which dim₂ (X) = |X|.     

Coherence relative to a weak torsion class

Let R be a ring. A subclass T of left R-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let T be a weak torsion class of left R-modules and n a positive integer. Then a left R-module M is called T-finitely generated if there exists a finitely generated submodule N such that M/N ∈ T; a left R-module A is called (T,n)-presented if there exists an exact sequence of left R-modules

$$0 \to {K_{n - 1}} \to {F_{n - 1}} \to \cdots \to {F_1} \to {F_0} \to M \to 0$$

such that F₀,..., F_n?1 are finitely generated free and K_n?1 is T-finitely generated; a left R-module M is called (T,n)-injective, if Ext ⁿ _R (A,M) = 0 for each (T, n+1)-presented left R-module A; a right R-module M is called (T,n)-flat, if Tor ^R _n (M,A) = 0 for each (T, n+1)-presented left R-module A. A ring R is called (T,n)-coherent, if every (T, n+1)-presented module is (n + 1)-presented. Some characterizations and properties of these modules and rings are given.