Arc spaces and DAHA representations

A theorem of Y. Berest, P. Etingof and V. Ginzburg states that finite-dimensional irreducible representations of a type A rational Cherednik algebra are classified by one rational number m/n. Every such representation is a representation of the symmetric group S _n . We compare certain multiplicity spaces in its decomposition into irreducible representations of S _n with the spaces of differential forms on a zero-dimensional moduli space associated with the plane curve singularity x ^m = y ⁿ .     

Lagrangian submanifolds in complex projective space CP n

We first prove a basic theorem with respect to the moving frame along a Lagrangian immersion into the complex projective space CP ⁿ . Applying this theorem, we study the rigidity problem of Lagrangian submanifolds in CP ⁿ .     

Double solid twistor spaces: the case of arbitrary signature

In a recent paper ([9]) we constructed a series of new Moishezon twistor spaces which are a kind of variant of the famous LeBrun twistor spaces. In this paper we explicitly give projective models of another series of Moishezon twistor spaces on n CP ² for arbitrary n≥3, which can be regarded as a generalization of the twistor spaces of ‘double solid type’ on 3CP ² studied by Kreußler, Kurke, Poon and the author. Similarly to the twistor spaces of ‘double solid type’ on 3CP ², projective models of the present twistor spaces have a natural structure of double covering of a CP ²-bundle over CP ¹. We explicitly give a defining polynomial of the branch divisor of the double covering, whose restriction to fibers is degree four. If n≥4 these are new twistor spaces, to the best of the author’s knowledge. We also compute the dimension of the moduli space of these twistor spaces. Differently from [9], the present investigation is based on analysis of pluri-(half-)anticanonical systems of the twistor spaces.     

Note on equivariant harmonic maps in complex projective spaces

We give a simple criterion for equivariant harmonic maps into complex projective spaces CP ⁿ . As an application of the criterion, we give examples of equivariant harmonic cylinders. We also give examples of non-equivariant harmonic cylinders as perturbations of equivariant harmonic cylinders.     

Property C and closed maps

A standard theorem from dimension theory states that a closed (m+1) to 1 map defined on a finite dimensional space can raise dimension by at most m. Dimension raising maps on countable dimensional spaces and on weakly infinite dimensional spaces have been investigated by A.V. Arhangelskii, A.I. Vainstein and E.G. Sklyarenko. A typical theorem is that a closed map on such spaces raises dimension only if some point has an uncountable number of preimages. A class of infinite dimensional spaces closely related to the two types mentioned above is the class of C spaces. R. Pol's example in 1980 and work of F.D. Ancel have generated renewed interest in C spaces. We prove results about dimension raising closed maps defined on C spaces that are analogous to the results mentioned above.     

Discretization and best approximation in Besov spaces

In this paper we prove a theorem about existence of best approximation in a class of spaces involving Besov spaces, via a discretization technique. It is a consequence of this theorem that rational functions and exponencial sums are proximinal subsets of B _∞,q ^a (π). It is also proved the proximinality of R _m ⁿ [a, b] in B _p,q ^a (π) for arbitrary p,q and a.     

On Hölder maps of cubes

A map of metric spaces f: X → Y satisfying the inequality $$ \left| {f(x) - f(y)} \right| \leqslant C\left| {x - y} \right|^\alpha $$ for some C and α and all x, y ∈ X is called a Hölder map with exponent α. V. I. Arnold posed the following problem: Does there exist a Höldermap from the square onto the cube with exponent 2/3? The firstmain theorem of this paper gives a general method for constructing Höldermaps of compact metric spaces. This construction yields, in particular, a dimension-raising map f: I ⁿ → I ^m with Hölder exponent arbitrarily close to m/n for m > n > 1 and a map I ¹ → I ^m with Hölder exponent 1/m. The second main theorem states the nonexistence of a regular fractal map f: I ⁿ → I ^m with Hölder exponent n/m from the n-cube onto the m-cube for m < 2n.     

Discretization and best approximation in Besov spaces

In this paper we prove a theorem about existence of best approximation in a class of spaces involving Besov spaces, via a discretization technique. It is a consequence of this theorem that rational functions and exponencial sums are proximinal subsets of B _∞,q ^a (π). It is also proved the proximinality of R _m ⁿ [a, b] in B _p,q ^a (π) for arbitrary p,q and a.     

The characterization of totally geodesic submanifolds ofS m andCP m

We prove a theorem on ruled surfaces that generalizes a theorem of Ferus on totally geodesic foliations. On the basis of this theorem we obtain criteria for totally geodesic submanifolds ofS ^m andCP ^m that generalize and complement certain results of Borisenko, Ferus, and Abe. We give an application to the geodesic differential forms defined by Dombrowski in the case of submanifolds ofS ^m andCP ^m.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 106–116.The author is grateful to V. A. Toponogov for posing this problem and for attention to the work and to A. A. Borisenko for helpful criticisms.     

On the connection between weak and strong convergencies in Cm

In this work wome connections are pursued between weak and strong convergence in the spaces C^m (m-times continuously differentiable functions on Rⁿ). Let f_n, f?C^{m + 1}, where n = 1, 2,…, and m is a nonnegative integer. Suppose that the sequence {f_n} converges to f relative to the weak topology of C^{m + 1}. It is shown that this implies the convergence of {f_n} to f with respect to the strong topology of C^m. Several corollaries to this theorem are established; among them is a sufficient condition for uniform convergence. A stronger result is shown to exist when the sequence constitutes an output sequence of a linear weakly continuous operator.     

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.     

Higher-dimensional Bruckner-Garg type theorem

In this paper, we investigate several properties of maps from a compactum X to an n-dimensional (combinatorial) manifold Mn. We introduce the notions of stable point and locally extreme point of map, and we prove a higher-dimensional Bruckner-Garg type theorem for the fiber structure of a generic map in the space C(X,Mn) of maps from a compactum X with dimX?n to an n-dimensional manifold Mn (n?1). As applications, we also study the spaces of Bing maps, Lelek maps, k-dimensional maps and Krasinkiewicz maps in C(X,Mn).     

Topological vector spaces problems in homology and homotopy theories

Three data are interesting here: domains of integration, integrands and integration itself. There is a lack of symmetry between polyhedral chains as domains of integration and differential forms as integrands. The non-symmetric situation disappears after considering the topological spaces of the de Rham differential forms and forms with compact supports and their strong duals, i.e., currents with compact supports and currents, respectively. This idea goes back to Schwartz distributions and Schwartz distributions with compact supports, in other terminology, generalized functions and generalized functions with compact supports.Some problems are raised, e.g., whether every quasi-complete barreled nuclear space E, whose strongly dual E^′ is nuclear, is strongly hereditary reflexive. This concerns the above mentioned de Rham spaces. Problems on R- and Q-homotopy, proper R- and Q-homotopy and proper R- and Q-homotopy at infinity are also considered as well as the coalgebra structure on currents and currents with compact supports.The classical theorem concerning derivation of additive functions with respect to volumes in points is generalized to a theorem on derivation of continuous m-forms with compact supports ωm of an oriented n-dimensional C¹-manifold Mn with respect to its m-dimensional oriented submanifolds Vm in compact regular oriented submanifolds Lk of Mn, 0?k<m?n.     

A Lagrangian relaxation approach to the edge-weighted clique problem

The b-clique polytope CPⁿ_b is the convex hull of the node and edge incidence vectors of all subcliques of size at most b of a complete graph on n nodes. Including the Boolean quadric polytope QPⁿ=CPⁿ_n as a special case and being closely related to the quadratic knapsack polytope, it has received considerable attention in the literature. In particular, the max-cut problem is equivalent with optimizing a linear function over CPⁿ_n. The problem of optimizing linear functions over CPⁿ_b has so far been approached via heuristic combinatorial algorithms and cutting-plane methods.We study the structure of CPⁿ_b in further detail and present a new computational approach to the linear optimization problem based on the idea of integrating cutting planes into a Lagrangian relaxation of an integer programming problem that Balas and Christofides had suggested for the traveling salesman problem. In particular, we show that the separation problem for tree inequalities becomes polynomial in our Lagrangian framework. Finally, computational results are presented.     

Embedding of Sobolev spaces with limit exponent revisited

An embedding of the Sobolev spaces W _p ^s (? ⁿ ) in Lizorkin-type spaces of locally integrable functions of smoothness zero is obtained; a similar assertion for Riesz and Bessel potentials is presented. The embedding theorem is extended to Sobolev spaces on irregular domains in n-dimensional Euclidean space. The statement of the theorem depends on geometric parameters of the domain of functions.     

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.     

Extension dimension and quasi-finite CW-complexes

We extend the definition of quasi-finite complexes from countable complexes to arbitrary ones and provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications. Several results related to the class of quasi-finite complexes are established, such as completion of metrizable spaces, existence of universal spaces and a version of the factorization theorem. Furthermore, we define UV(L)-spaces in the realm of metrizable spaces and show that some properties of UV(n)-spaces and UV(n)-maps remain valid for UV(L)-spaces and UV(L)-maps, respectively.     

Bi-Lipschitz maps in <Emphasis Type="Italic">Q</Emphasis>-regular Loewner spaces

By applying the theory of quasiconformal maps in measure metric spaces that was introduced by Heinonen-Koskela, we characterize bi-Lipschitz maps by modulus inequalities of rings and maximal, minimal derivatives in Q-regular Loewner spaces. Meanwhile the sufficient and necessary conditions for quasiconformal maps to become bi-Lipschitz maps are also obtained. These results generalize Rohde’s theorem in ℝ ⁿ and improve Balogh’s corresponding results in Carnot groups. This research is supported by China NSF (Grant No. 10271077)     

Real hypersurfaces of a complex space form

In this paper we are interested in obtaining a condition under which a compact real hypersurface of a complex projective space CP ⁿ is a geodesic sphere. We also study the question as to whether the characteristic vector field of a real hypersurface of the complex projective space CP ⁿ is harmonic, and show that the answer is in negative.     

L 2 Harmonic 1-Forms on Minimal Submanifolds in Spheres

We study a complete noncompact minimal submanifold M ⁿ in a sphere S ^n+p . We prove there is no nontrivial L ² harmonic 1-form and at most one nonparabolic end on M if the total curvature is bounded from above by a constant depending only on n. The rigidity theorem is a generalized version of Ni’s, Yun’s and the second author’s results on submanifolds in Euclidean spaces and Seo’s result on minimal submanifolds in hyperbolic spaces.