Torus quotients of homogeneous spaces

We study torus quotients of principal homogeneous spaces. We classify the Grassmannians for which semi-stable=stable and as an application we construct smooth projective varieties as torus quotients of certain homogeneous spaces. We prove the finiteness of the ring ofT invariants of the homogeneous co-ordinate ring of the GrassmannianG _2,n (n odd) over the ring generated byR ₁, the first graded part of the ring ofT invariants.     

Sobolev problem in the complete scale of Banach Spaces

In a bounded domainG ? ? ⁿ , whose boundary is the union of manifolds of different dimensions, we study the Sobolev problem for a properly elliptic expression of order 2m. The boundary conditions are given by linear differential expressions on manifolds of different dimensions. We study the Sobolev problem in the complete scale of Banach spaces. For this problem, we prove the theorem on a complete set of isomorphisms and indicate its applications.     

Internal approximations of reachable sets of control systems with state constraints

We construct self-intersecting flexible cross-polytopes in the spaces of constant curvature, that is, in Euclidean spaces \(\mathbb{E}^n\) , spheres \(\mathbb{S}^n\) , and Lobachevsky spaces Λ ⁿ of all dimensions n. In dimensions n ≥ 5, these are the first examples of flexible polyhedra. Moreover, we classify all flexible cross-polytopes in each of the spaces \(\mathbb{E}^n\) , \(\mathbb{S}^n\) , and Λ ⁿ . For each type of flexible cross-polytopes, we provide an explicit parametrization of the flexion by either rational or elliptic functions.     

Off-Shell Supersymmetry and Filtered Clifford Supermodules

An off-shell representation of supersymmetry is a representation of the super Poincaré algebra on a dynamically unconstrained space of fields. We describe such representations formally, in terms of the fields and their spacetime derivatives, and we interpret the physical concept of engineering dimension as an integral grading. We prove that formal graded off-shell representations of one-dimensional N-extended supersymmetry, i.e., the super Poincaré algebra \(\mathfrak {p}^{1|N}\), correspond to filtered Clifford supermodules over Cl(N). We also prove that formal graded off-shell representations of two-dimensional (p,q)-supersymmetry, i.e., the super Poincaré algebra \(\mathfrak {p}^{1,1|p,q}\), correspond to bifiltered Clifford supermodules over Cl(p + q). Our primary tools are Rees superalgebras and Rees supermodules, the formal deformations of filtered superalgebras and supermodules, which give a one-to-one correspondence between filtered spaces and graded spaces with even degree-shifting injections. This generalizes the machinery used by Gerstenhaber to prove that every filtered algebra is a deformation of its associated graded algebra. Our treatment extends the notion of Rees algebras and modules to filtrations which are compatible with a supersymmetric structure. We also describe the analogous constructions for bifiltrations and bigradings.     

On the Roter Type of Chen Ideal Submanifolds

Chen ideal submanifolds M ⁿ in Euclidean ambient spaces E ^n+m (of arbitrary dimensions n ?? 2 and codimensions m??? 1) at each of their points do realise an optimal equality between their squared mean curvature, which is their main extrinsic scalar valued curvature invariant, and their ???C(= ??(2)?C) curvature of Chen, which is one of their main intrinsic scalar valued curvature invariants. From a geometric point of view, the pseudo-symmetric Riemannian manifolds can be seen as the most natural symmetric spaces after the real space forms, i.e. the spaces of constant Riemannian sectional curvature. From an algebraic point of view, the Roter manifolds can be seen as the Riemannian manifolds whose Riemann?CChristoffel curvature tensor R has the most simple expression after the real space forms, the latter ones being characterisable as the Riemannian spaces (M ⁿ , g) for which the (0, 4) tensor R is proportional to the Nomizu?CKulkarni square of their (0, 2) metric tensor g. In the present article, for the class of the Chen ideal submanifolds M ⁿ of Euclidean spaces E ^n+m , we study the relationship between these geometric and algebraic generalisations of the real space forms.     

Multipliers, paramultipliers, and weak-strong uniqueness for the Navier-Stokes equations

In this article, we describe spaces P such that: if u is a weak (in the sense of Leray [J. Leray, Sur le mouvement d'un fluide visqueux remplissant l'espace, Acta Math. 63 (1934) 193-248]) solution of the Navier-Stokes system for some initial data u₀, and if u belongs to P, then u is unique in the class of weak solutions. We say then that weak-strong uniqueness holds. It turns out that the proof of such results relies on the boundedness of a trilinear functional , where α, β belong to [0,1]. In order to find optimal conditions for the boundedness of F, we are led to describing spaces of multipliers and of paramultipliers (that is, functions which map, by classical pointwise product or by paraproduct, a given Sobolev spaces in another given Sobolev space). The study of these spaces enables us to give conditions for weak-strong uniqueness which generalise all previously known results, from the famous Serrin criterion [J. Serrin, The initial value problem for the Navier-Stokes equations, in: R.E. Langer (Ed.), Nonlinear Problems, Univ. of Wisconsin Press, 1963, pp. 69-98], to the recent conditions formulated by Lemarié-Rieusset [P.-G. Lemarié-Rieusset, Recent Developments in the Navier-Stokes Problem, Chapman and Hall, 2003].     

Bordism of algebras over Hopf algebras

An algebraic theory of bordism via characteristic numbers, analogous to topological bordism, is given. The Steenrod algebra is replaced by a fairly general graded Hopf algebra A, topological spaces by algebras over A, vector bundles by Thom modules, and closed manifolds by Poincaré algebras over A.     

On isometrically universal spaces, mappings, and actions of groups

In this paper we first consider some well-known classes of separable metric spaces which are isometrically ω-saturated (see [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Mathematics Studies, vol. 198, Elsevier, 2005, xvi+559]) and, therefore, contain isometrically universal spaces. We put some problems concerning such spaces most of which are related with the properties of the isometrically universal Urysohn space. Furthermore, using the defined notions of isometrically universal mappings and G-spaces (which are analogies of the notion of isometrically universal spaces) we introduce the notions of an isometrically ω-saturated class of mappings and an isometrically ω-saturated class of G-spaces (in which there are “many” isometrically universal elements). We prove that all results of Sections 6.1 and 7.1 of [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Mathematics Studies, vol. 198, Elsevier, 2005, xvi+559] can be reformulated for isometrically ω-saturated classes of spaces and G-spaces, respectively. In particular, we prove that if D and R are isometrically ω-saturated classes of spaces, then the class of all mappings with the domain in D and range in R is an isometrically ω-saturated class of mappings and, therefore, in this class there are isometrically universal elements. As a corollary of this result we have that since the class of all mappings is isometrically ω-saturated, in this class there are isometrically universal mappings. Similarly, if G is an arbitrary separable metric group and P is an isometrically ω-saturated class of spaces, then the class of all G-spaces (X,F), where X is an element of P, is an isometrically ω-saturated class of G-spaces and, therefore, in this class there are isometrically universal elements. In particular, for any separable metric group G, in the class of all G-spaces there are isometrically universal G-spaces. We also pose some problems concerning isometrically universal mappings and G-spaces some of which concern the Urysohn space.     

Polynomial-Time Homology for Simplicial Eilenberg–MacLane Spaces

In an earlier paper of ?adek, Vok?ínek, Wagner, and the present authors, we investigated an algorithmic problem in computational algebraic topology, namely, the computation of all possible homotopy classes of maps between two topological spaces, under suitable restriction on the spaces. We aim at showing that, if the dimensions of the considered spaces are bounded by a constant, then the computations can be done in polynomial time. In this paper we make a significant technical step towards this goal: we show that the Eilenberg–MacLane space $K(\mathbb{Z},1)$ , represented as a simplicial group, can be equipped with polynomial-time homology (this is a polynomial-time version of effective homology considered in previous works of the third author and co-workers). To this end, we construct a suitable discrete vector field, in the sense of Forman’s discrete Morse theory, on $K(\mathbb{Z},1)$ . The construction is purely combinatorial and it can be understood as a certain procedure for reducing finite sequences of integers, without any reference to topology. The Eilenberg–MacLane spaces are the basic building blocks in a Postnikov system, which is a “layered” representation of a topological space suitable for homotopy-theoretic computations. Employing the result of this paper together with other results on polynomial-time homology, in another paper we obtain, for every fixed k, a polynomial-time algorithm for computing the kth homotopy group π _k (X) of a given simply connected space X, as well as the first k stages of a Postnikov system for X, and also a polynomial-time version of the algorithm of ?adek et al. mentioned above.     

On a generalization of distance sets

A subset X in the d-dimensional Euclidean space is called a k-distance set if there are exactly k distinct distances between two distinct points in X and a subset X is called a locally k-distance set if for any point x in X, there are at most k distinct distances between x and other points in X.Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of k-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally k-distance sets on a sphere. In the first part of this paper, we prove that if X is a locally k-distance set attaining the Fisher type upper bound, then determining a weight function w, (X,w) is a tight weighted spherical 2k-design. This result implies that locally k-distance sets attaining the Fisher type upper bound are k-distance sets. In the second part, we give a new absolute bound for the cardinalities of k-distance sets on a sphere. This upper bound is useful for k-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in (d−1)-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in d-space with more than d(d+1)/2 points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.     

On the (C, α)-means with respect to the Walsh system

In our main result we prove strong convergence theorems for Cesàro means (C, α) on the Hardy spaces H _1/(1+α), where 0 < α < 1.     

Algebraic reflexivity of the isometry group of some spaces of Lipschitz functions

We show that the isometry groups of Lip(X,d) and lip(X,dα) with α∈(0,1), for a compact metric space (X,d), are algebraically reflexive. We also prove that the sets of isometric reflections and generalized bi-circular projections on such spaces are algebraically reflexive. In order to achieve this, we characterize generalized bi-circular projections on these spaces.     

Existence, uniqueness and stability ofC m solutions of iterative functional equations

In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f ⁿ (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ?,G∈C ^m (J ⁿ⁺¹, ?) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.     

Super-Clifford Gravity,Higher Spins,Generalized Supergeometry and Much More

An extended Orthogonal-Symplectic Clifford Algebraic formalism is developed which allows the novel construction of a graded Clifford gauge field theory of gravity. It has a direct relationship to higher spin gauge fields, bimetric gravity, antisymmetric metrics and biconnections. In one particular case it allows a plausible mechanism to cancel the cosmological constant contribution to the action. The possibility of embedding these Orthogonal-Symplectic Clifford algebras into an infinite dimensional algebra, coined Super-Clifford Algebra is described. Finally, some physical applications of the geometry of Super-Clifford spaces to Generalized Supergeometries, Double Field Theories, U-duality, 11D supergravity, M-theory, and E ₇, E ₈, E ₁₁ algebras are outlined.     

Products of symmetric spaces, and k-networks

As is well known, every product of symmetric spaces need not be symmetric. For symmetric spaces X and Y, in terms of their balls, we give characterizations for the product X×Y to be symmetric under X and Y having certain k-networks, or Y being semi-metric.     

The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism X→Y, the Hochschild complex HX/Y, as introduced in [R.-O. Buchweitz, H. Flenner, Global Hochschild (co-)homology of singular spaces, Adv. Math. (2007), doi: 10.1016/j.aim.2007.06.012], decomposes naturally in the derived category D(X) into _⊕p?0Sp(LX/Y[1]), the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case.Even in the affine case, our proof is new and provides further information. It shows that the decomposition is given explicitly and naturally by the universal Atiyah-Chern character, the exponential of the universal Atiyah class.We further use the decomposition theorem to show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded centre of the derived category.     

On the greatest splitting topology

It is well known that (see, for example, [H. Render, Nonstandard topology on function spaces with applications to hyperspaces, Trans. Amer. Math. Soc. 336 (1) (1993) 101-119; M. Escardo, J. Lawson, A. Simpson, Comparing cartesian closed categories of (core) compactly generated spaces, Topology Appl. 143 (2004) 105-145; D.N. Georgiou, S.D. Iliadis, F. Mynard, in: Elliott Pearl (Ed.), Function Space Topologies, Open Problems in Topology, vol. 2, Elsevier, 2007, pp. 15-22]) the intersection of all admissible topologies on the set C(Y,Z) of all continuous maps of an arbitrary space Y into an arbitrary space Z, is always the greatest splitting topology. However, this intersection maybe not admissible. In the case, where Y is a locally compact Hausdorff space the compact-open topology on the set C(Y,Z) is splitting and admissible (see [R.H. Fox, On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1945) 429-432; R. Arens, A topology for spaces of transformations, Ann. of Math. 47 (1946) 480-495; R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31]), which means that the intersection of all admissible topologies on C(Y,Z) is admissible. In [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] an example of a non-locally compact Hausdorff space Y is given having the same property for the case, where Z=[0,1], that is on the set C(Y,[0,1]) the compact-open topology is splitting and admissible. This space Y is the set [0,1] with a topology τ, whose semi-regular reduction coincides with the usual topology on [0,1]. Also, in [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31, Theorem 5.3] another example of a non-locally compact space Y is given such that the compact-open topology on the set C(Y,[0,1]) is distinct from the greatest splitting topology.In this paper first we construct non-locally compact Hausdorff spaces Y such that the intersection of all admissible topologies on the set C(Y,Z), where Z is an arbitrary regular space, is admissible. Furthermore, for a Hausdorff splitting topology t on C(Y,Z) we find sufficient conditions in order that t to be distinct from the greatest splitting topology. Using this result, we construct some concrete non-locally compact spaces Y such that the compact-open topology on C(Y,Z), where Z is a Hausdorff space, is distinct from the greatest splitting topology. Finally, we give some open problems.     

Reiteration formulae for interpolation methods associated to polygons

We study spaces generated by applying the interpolation methods defined by a polygon Π to an N-tuple of real interpolation spaces with respect to a fixed Banach couple {X,Y}. We show that if the interior point (α,β) of the polygon does not lie in any diagonal of Π then the interpolation spaces coincide with sums and intersections of real interpolation spaces generated by {X,Y}. Applications are given to N-tuples formed by Lorentz function spaces and Besov spaces. Moreover, we show that results fail in general if (α,β) is in a diagonal.     

Certain classes of weakly infinite-dimensional spaces and topological games

In [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52] classes w-m-C of weakly infinite-dimensional spaces, 2?m?∞, were introduced. We prove that all of them coincide with the class wid of all weakly infinite-dimensional spaces in the Alexandroff sense. We show also that transfinite dimensions dimwm, introduced in [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52], coincide with dimension dimw2=dim, where dim is the transfinite dimension invented by Borst [P. Borst, Classification of weakly infinite-dimensional spaces. I. A transfinite extension of the covering dimension, Fund. Math. 130 (1) (1988) 1-25]. Some topological games which are related to countable-dimensional spaces, to C-spaces, and some other subclasses of weakly infinite-dimensional spaces are discussed.     

Surface Measures and Tightness of (r,p)-Capacities on Poisson Space

We prove tightness of (r,p)-Sobolev capacities on configuration spaces equipped with Poisson measure. By using this result we construct surface measures on configuration spaces in the spirit of the Malliavin calculus. A related Gauss-Ostrogradskii formula is obtained.