The following inequalities between transfinite large inductive dimensions modulo absolutely additive (resp. multiplicative) Borel classes A(α) (resp. M(α)) hold in separable metrizable spaces:
(i) A(0)-trInd≥M(0)-trInd≥max{A(1)-trInd, M(1)-trInd}, and
(ii) min{A(α)-trInd, M(α)-trInd}≥max{A(β)-trInd, M(β)-trInd}, where 1≤α<β<ω₁.
We show that for any two functions a and m from the set of ordinals Ω={α:α<ω₁} to the set {−1}∪Ω∪{∞} such that
(i) a(0)≥m(0)≥max{a(1), m(1)}, and
(ii) min{a(α),m(α)}≥max{a(β),m(β)}, whenever 1≤α<β<ω₁,
there is a separable metrizable space X such that A(α)-trIndX=a(α) and M(α)-trIndX=m(α) for each 0≤α<ω₁.

View full abstract

The extremal function c_K for the variational 2-capacity cap(K) of a compact subset K of the Royden harmonic boundary δR of an open Riemann surface R relative to an end W of R, referred to as the capacitary function of K, is characterized as the Dirichlet finite harmonic function h on W vanishing continuously on the relative boundary ∂W of W satisfying the following three properties: the normal derivative measure *dh of h exists on δR with *dh≧0 on δR; *dh=0 on δR\\K; h=1 quasieverywhere on K. As a simple application of the above characterization, we will show the validity of the following inequality
hm(K)≦κ·cap(K)^1/2
for every compact subset K of δR, where hm(K) is the harmonic measure of K calculated at a fixed point a in W and κ is a constant depending only upon the triple (R,W,a).

View full abstract

Using a criterion of Johnson-Rees [9] we give a list of all four and six dimensional flat Kähler manifolds. We calculate their R–cohomology, including the Hodge numbers. As a corollary, we classify all flat complex manifolds of dimension 3 whose holonomy groups are subgroups of SU(3). Moreover, we define a family of flat Kähler manifolds which are generalizations of the oriented Hantzsche-Wendt Riemannian manifolds [14].

View full abstract

We show that any rosy CM-trivial theory has weak canonical bases, and CM-triviality in the real sort is equivalent to CM-triviality with geometric elimination of imaginaries. We also show that CM-triviality is equivalent to the modularity in O-minimal theories with elimination of imaginaries.

View full abstract

This paper classifies all Q-homology planes which appear as cyclic covers of A².

View full abstract

We consider the group of C^∞-diffeomorphisms of M which is isotopic to the identity through C^∞-diffeomorphisms preserving N for a compact manifold pair (M,N) and prove that the group is perfect. Also we prove that it is uniformly perfect for a certain compact manifold with boundary.

View full abstract

An austere submanifold is a minimal submanifold where for each normal vector, the set of eigenvalues of its shape operator is invariant under the multiplication by −1. In the present paper, we introduce the notion of weakly reflective submanifold, which is an austere submanifold with a reflection for each normal direction, and study its fundamental properties. Using these, we determine weakly reflective orbits and austere orbits of linear isotropy representations of Riemannian symmetric spaces.

View full abstract

In this paper, we study the Lévy-Milman concentration phenomenon of 1-Lipschitz maps from mm-spaces to R-trees. Our main theorems assert that the concentration to R-trees is equivalent to the concentration to the real line.

View full abstract

In the homotopy theory of a 2-category with zeros and having a suspension functor we establish various composition properties of box brackets, including new formulae involving 2-sided matrix Toda brackets and classical Toda brackets. We are lead to define and study a new secondary homotopy operation called the box quartet operation. In the topological category this operation satisfies two triviality properties, one of which may be viewed as the foundation upon which an important classical mod zero result on Toda brackets rests. New insights and computations in the homotopy groups of spheres are obtained.

View full abstract

The classical Hardy theorem on R, which asserts f and the Fourier transform of f cannot both be very small, was generalized by Miyachi in terms of L¹+L^∞ and log⁺-functions. In this paper we generalize Miyachi’s theorem for R^d and then for other generalized Fourier transforms such as the Chébli-Trimèche and the Dunkl transforms.

View full abstract

The hyperbolic Schwarz map is defined in [SYY1] as a map from the complex projective line to the three-dimensional real hyperbolic space by use of solutions of the hypergeometric differential equation. Its image is a flat front ([GMM], [KUY], [KRSUY]), and generic singularities are cuspidal edges and swallowtail singularities. In this paper, for the two-parameter family of the confluent hypergeometric differential equations, we study the singularities of the hyperbolic Schwarz map, count the number of swallowtails, and identify the further singularities, except those which are apparently of type A₅. This describes creations/eliminations of the swallowtails on the image surfaces, and gives a stratification of the parameter space according to types of singularities. Such a study was made for a 1-parameter family of hypergeometric differential equation in [NSYY], which counts only the number of swallowtails without identifying further singularities.

View full abstract

A diagram of a 2-knot consists of a finite number of compact, connected surfaces called sheets. We prove that if a 2-knot admits a non-trivial coloring by some quandle, then any diagram of the 2-knot needs at least four sheets. Moreover, if a 2-knot admits a non-trivial 5- or 7-coloring, then any diagram needs at least five or six sheets, respectively.

View full abstract

A compact Klein surface X=D⁄Γ, where D denotes the hyperbolic plane and Γ is a surface NEC group, is said to be q-trigonal if it admits an automorphism φ of order 3 such that the quotient X⁄<φ> has algebraic genus q.
In this paper we obtain for each q the automorphism groups of q-trigonal planar Klein surfaces, that is surfaces of topological genus 0 with k≥3 boundary components. We also study the surfaces in this family, which have an automorphism group of maximal order (maximal surfaces). It will be done from an algebraic and geometrical point of view.

View full abstract

We show that the nonlinear wave equation □u+u_t³=0 is globally well-posed in radially symmetric Sobolev spaces H^k_rad(R³)×H^k−1_rad(R³) for all integers k>2. This partially extends the well-posedness in H^k(R³)×H^k−1(R³) for all k∈[1,2], established by Lions and Strauss [12]. As a consequence we obtain the global existence of C^∞ solutions with radial C₀^∞ data. The regularity problem requires smoothing and non-concentration estimates in addition to standard energy estimates, since the cubic damping is critical when k=2. We also establish scattering results for initial data (u,u_t)|_t=0 in radially symmetric Sobolev spaces.

View full abstract