On manifolds satisfying stable systolic inequalities

We show that for closed orientable manifolds the k-dimensional stable systole admits a metric-independent volume bound if and only if there are cohomology classes of degree k that generate cohomology in top-degree. Moreover, it turns out that in the nonorientable case such a bound does not exist for stable systoles of dimension at least two. Additionally, we prove that the stable systolic constant depends only on the image of the fundamental class in a suitable Eilenberg–Mac Lane space. Consequently, the stable k-systolic constant is completely determined by the multilinear intersection form on k-dimensional cohomology.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Invariants of free Lie algebras

Let k be a principal ideal domain with identity and characteristic zero. For a positive integer n, with n \geqq 2n \geqq 2, let H(n) be the group of all n x n matrices having determinant ±1\pm 1. Further, we write SL(n) for the special linear group. Let L be a free Lie algebra (over k) of finite rank n. We prove that the algebra of invariants L^B(n) of B(n), with B(n) ? { H(n), SL(n)}B(n) \in \{ H(n), {\rm SL}(n)\} , is not a finitely generated free Lie algebra. Let us assume that k is a field of characteristic zero and let áSem(n) ?\langle {\rm Sem}(n) \rangle be the Lie subalgebra of L generated by the semi-invariants (or Lie invariants) Sem(n). We prove that áSem(n) ?\langle {\rm Sem}(n) \rangle is not a finitely generated free Lie algebra which gives a positive answer to a question posed by M. Burrow [4].     

On the Structure of Submanifolds with Degenerate Gauss Maps

An n-dimensional submanifold X of a projective space P ^N (C) is called tangentially degenerate if the rank of its Gauss mapping gamma;; X G(n, N) satisfies 0 < rank < n. The authors systematically study the geometry of tangentially degenerate submanifolds of a projective space P ^N (C). By means of the focal images, three basic types of submanifolds are discovered: cones, tangentially degenerate hypersurfaces, and torsal submanifolds. Moreover, for tangentially degenerate submanifolds, a structural theorem is proven. By this theorem, tangentially degenerate submanifolds that do not belong to one of the basic types are foliated into submanifolds of basic types. In the proof the authors introduce irreducible, reducible, and completely reducible tangentially degenerate submanifolds. It is found that cones and tangentially degenerate hypersurfaces are irreducible, and torsal submanifolds are completely reducible while all other tangentially degenerate submanifolds not belonging to basic types are reducible.     

Gorenstein injective dimension and Tor-depth of modules

The main aim of this paper is to obtain a dual result to the now well known Auslander-Bridger formula for G-dimension. We will show that if R is a complete Cohen-Macaulay ring with residue field k, and M is a non-injective h-divisible Ext-finite R-module of finite Gorenstein injective dimension such that for each i 3 1i \geq 1 Extⁱ (E,M) = 0 for all indecomposable injective R-modules E 1 E(k)E \neq E(k), then the depth of the ring is equal to the sum of the Gorenstein injective dimension and Tor-depth of M. As a consequence, we get that this formula holds over a d-dimensional Gorenstein local ring for every nonzero cosyzygy of a finitely generated R-module and thus in particular each such n^th cosyzygy has its Tor-depth equal to the depth of the ring whenever n 3 dn \geq d.     

Cyclic codes and the Frobenius automorphism

Using the theory of cyclic codes the following problem of K. Burde' on characterizing finite fields GF (qⁿ) is solved:¶ Consider GF (qⁿ) as a vector space over GF (q). For which GF (qⁿ) exists for any k = 0, . . . ,n exactly one subspace C of dimension k and which is invariant under the Frobenius automorphism?     

Finding Large p-Colored Diameter Two Subgraphs

Given a coloring of the edges of the complete graph K on n vertices in k colors, a p-colored subgraph of K_n is any subgraph whose edges only use colors from some p element set. We show for k̿ and k\2hphk that there is always a p-colored diameter two subgraph of K_n containing at least [((k+p)n)/(2k)]\displaystyle{(k+p)n \over 2k} vertices and that this is best possible up to an additive constant l satisfying 0hl<k\2.     

Interior points of convex hulls

If a setX ⊂E ⁿ has non-emptyk-dimensional interior, or if some point isk-dimensional surrounded, then the classic theorem of E. Steinitz may be extended. For example ifX ⊂E ⁿ has int _k X ≠ 0, (0 ≦k≦n) and ifp ɛ int conX, thenp ɛ int conY for someY ⊂X with cardY≦2n−k+1.     

On conjugacy of some systems of functions

Summary. We investigate the bounded solutions j:[0,1]? X \varphi:[0,1]\to X of the system of functional equations¶¶j(f_k(x))=F_k(j(x)),    k=0,?,n-1,x ? [0,1] \varphi(f_k(x))=F_k(\varphi(x)),\;\;k=0,\ldots,n-1,x\in[0,1] ,(*)¶where X is a complete metric space, f₀,?,f_n-1:[0,1]?[0,1] f_0,\ldots,f_{n-1}:[0,1]\to[0,1] and F₀,...,F_n-1:X? X F_0,...,F_{n-1}:X\to X are continuous functions fulfilling the boundary conditions f₀(0) = 0, f_n-1(1) = 1, f_k+1(0) = f_k(1), F₀(a) = a,F_n-1(b) = b,F_k+1(a) = F_k(b), k = 0,?,n-2 f_{0}(0) = 0, f_{n-1}(1) = 1, f_{k+1}(0) = f_{k}(1), F_{0}(a) = a,F_{n-1}(b) = b,F_{k+1}(a) = F_{k}(b),\,k = 0,\ldots,n-2 , for some a,b ? X a,b\in X . We give assumptions on the functions f_k and F_k which imply the existence, uniqueness and continuity of bounded solutions of the system (*). In the case X = \Bbb C X= \Bbb C we consider some particular systems (*) of which the solutions determine some peculiar curves generating some fractals. If X is a closed interval we give a collection of conditions which imply respectively the existence of homeomorphic solutions, singular solutions and a.e. nondifferentiable solutions of (*).     

Rational surfaces and moduli spaces of vector bundles on rational surfaces

Let X be a smooth algebraic surface, L ? Pic(X) L \in \textrm{Pic}(X) and H an ample divisor on X. Set M_X,H(2; L, c₂) the moduli space of rank 2, H-stable vector bundles F on X with det(F) = L and c₂(F) = c₂. In this paper, we show that the geometry of X and of M_X,H(2; L, c₂) are closely related. More precisely, we prove that for any ample divisor H on X and any L ? Pic(X) L \in \textrm{Pic}(X) , there exists n₀ ? \mathbbZ n_0 \in \mathbb{Z} such that for all n₀ \leqq c₂ ? \mathbbZ n_0 \leqq c_2 \in \mathbb{Z} , M_X,H(2; L, c₂) is rational if and only if X is rational.     

Boundedness and convergence of martingales in rearrangement-invariant function spaces

Let (W, F, P)(\Omega, \cal F, P) be a complete nonatomic probability space. We shall give a characterization of rearrangement-invariant spaces X over W\Omega with the property that every martingale f = (f_n)_{n \geqq 0}f = (f_n)_{n \geqq 0} bounded in X converges with respect to the norm topology of X. Using the results, we shall consider the summability of martingales by Toeplitz matrices.     

Free CR distributions

There are only some exceptional CR dimensions and codimensions such that the geometries enjoy a discrete classification of the pointwise types of the homogeneous models. The cases of CR dimensions n and codimensions n ² are among the very few possibilities of the so-called parabolic geometries. Indeed, the homogeneous model turns out to be PSU(n+1,n)/P with a suitable parabolic subgroup P. We study the geometric properties of such real (2n+n ²)-dimensional submanifolds in for all n > 1. In particular, we show that the fundamental invariant is of torsion type, we provide its explicit computation, and we discuss an analogy to the Fefferman construction of a circle bundle in the hypersurface type CR geometry.     

Spaces with large projection constants

For every prime numberk, we give an explicit construction of a complexk-dimensional spaceX _k with projection constantγ(X _k ) = √k − 1/√k + 1/k. Moreover, there are realk-dimensional spacesX _k withγ(x _K ) ≧ √k − 1 for a subsequence of integersk. Hence in both casesγ(X _k )/√k → 1 which is the maximal possible value sinceγ(X _k ) ≦ √k is generally true.     

(2, 3, k)-generated groups of large rank

For any fixed k 3 7k \geq 7 there exist integers n_k and a_k such that if the ring R is generated by a set of m elements t₁,...,t_m, where 2t₁-t₁²2t_1-t_1^2 is a unit of finite multiplicative order, and n 3 n_k+ma_kn \geq n_k+ma_k, then the group E_n(R) generated by elementary transvections is an epimorphic image of the triangle group D(2,3,k).\Delta (2,3,k).     

The Theorem of the k-1 Happy Divorces

Given a binary relation R between the elements of two sets X and Y and a natural number k, it is shown that there exist k injective maps f₁, f₂,...,f_k: X \hookrightarrow Y X \hookrightarrow Y with # {f₁(x), f₂(x),...,f_k(x)}=k    and    (x,f₁(x)), (x, f₂(x)),...,(x, f_k(x)) ? R \# \{f_1(x), f_2(x),...,f_k(x)\}=k \quad{\rm and}\quad (x,f_1(x)), (x, f_2(x)),...,(x, f_k(x)) \in R for all x ? X x \in X if and only if the inequality k ·# A ￡ ?_{y ? Y} min(k, #{a ? A | (a,y) ? R}) k \cdot \# A \leq \sum_{y \in Y} min(k, \#\{a \in A \mid (a,y) \in R\}) holds for every finite subset A of X, provided {y ? Y | (x,y) ? R} \{y \in Y \mid (x,y) \in R\} is finite for all x ? X x \in X .¶Clearly, as suggested by this paper's title, this implies that, in the context of the celebrated Marriage Theorem, the elements x in X can (simultaneously) marry, get divorced, and remarry again a partner from their favourite list as recorded by R, for altogether k times whenever (a) the list of favoured partners is finite for every x ? X x \in X and (b) the above inequalities all hold.¶In the course of the argument, a straightforward common generalization of Bernstein's Theorem and the Marriage Theorem will also be presented while applications regarding (i) bases in infinite dimensional vector spaces and (ii) incidence relations in finite geometry (inspired by Conway's double sum proof of the de Bruijn-Erdös Theorem) will conclude the paper.     

Sum Complexes—a New Family of Hypertrees

A k-dimensional hypertree X is a k-dimensional complex on n vertices with a full (k−1)-dimensional skeleton and \binomn-1k\binom{n-1}{k} facets such that H _k (X;ℚ)=0. Here we introduce the following family of simplicial complexes. Let n,k be integers with k+1 and n relatively prime, and let A be a (k+1)-element subset of the cyclic group ℤ _n . The sum complex X _A is the pure k-dimensional complex on the vertex set ℤ _n whose facets are σ⊂ℤ _n such that |σ|=k+1 and ∑ _x∈σ x∈A. It is shown that if n is prime, then the complex X _A is a k-hypertree for every choice of A. On the other hand, for n prime, X _A is k-collapsible iff A is an arithmetic progression in ℤ _n .     

Extension theorems for functional equations with bisymmetric operations

Summary. In this paper we deal with the extension of the following functional equation¶¶ f (x) = M (f (m₁(x, y)), ..., f (m_k(x, y)))        (x, y ? K) f (x) = M \bigl(f (m_{1}(x, y)), \dots, f (m_{k}(x, y))\bigr) \qquad (x, y \in K) , (*)¶ where M is a k-variable operation on the image space Y, m₁,..., m_k are binary operations on X, K ì X K \subset X is closed under the operations m₁,..., m_k, and f : K ? Y f : K \rightarrow Y is considered as an unknown function.¶ The main result of this paper states that if the operations m₁,..., m_k, M satisfy certain commutativity relations and f satisfies (*) then there exists a unique extension of f to the (m₁,..., m_k)-affine hull K^* of K, such that (*) holds over K^*. (The set K^* is defined as the smallest subset of X that contains K and is (m₁,..., m_k)-affine, i.e., if x ? X x \in X , and there exists y ? K^* y \in K^* such that m₁(x, y), ?, m_k(x, y) ? K^* m_{1}(x, y), \ldots, m_{k}(x, y) \in K^* then x ? K^* x \in K^* ). As applications, extension theorems for functional equations on Abelian semigroups, convex sets, and symmetric convex sets are obtained.     

A Seidel-Walsh theorem with linear differential operators

Assume that {S_n}₁^￥ \{S_n\}_1^\infty is a sequence of automorphisms of the open unit disk \Bbb D{\Bbb D} and that {T_n}₁^￥\{T_n\}_1^\infty is a sequence of linear differential operators with constant coefficients, both of them satisfying suitable conditions. We prove that for certain spaces X of holomorphic functions in the open unit disk, the set of functions f ? Xf \in X such that {(T_n f) °S_n:  n ? \Bbb N}\{(T_n\,f) \circ S_n: \, n \in {\Bbb N}\} is dense in H(\Bbb D)H({\Bbb D}) is residual in X. This extends the Seidel-Walsh theorem together with some subsequent results.     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).