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.     

Existence of twistor spaces of algebraic dimension two over the connected sum of four complex projective planes

We prove the existence of twistor spaces of algebraic dimension two over the connected sum of four complex projective planes . These are the first examples of twistor spaces of algebraic dimension two over a simply connected Riemannian four-manifold with positive scalar curvature. For this purpose we develop a method to distinguish between twistor spaces of algebraic dimension one and two by looking at the order of a certain point in the Picard group of an elliptic curve.

     

A conic bundle description of Moishezon twistor spaces without effective divisors of degree one

In [K2] Moishezon twistor spaces over the connected sum (), which do not contain effective divisors of degree one, were constructed as deformations of the twistor spaces introduced in [LeB]. We study their structure for by constructing a modification which is a conic bundle over . We show that they are rational. In case n = 4 we give explicit equations for such conic bundles and use them to construct explicit birational maps between these conic bundles and . Received October 8, 1996; in final form May 16, 1997     

Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define

$$\begin{aligned} d_{*}^n(K)=\inf \left\{ \dim _{*}(K{\setminus } F): F\subset K \text { is } \sigma \text {-compact with } \dim _T F<n\right\} . \end{aligned}$$

We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.

     

Symplectic mean curvature flow in CP 2

Let Σ be an immersed symplectic surface in CP ² with constant holomorphic sectional curvature k > 0. Suppose Σ evolves along the mean curvature flow in CP ². In this paper, we show that the symplectic mean curvature flow exists for long time and converges to a holomorphic curve if the initial surface satisfies ${|A|^2 \leq \lambda|H|^2 + \frac{2\lambda-1}{\lambda}k}$ and ${\cos\alpha\geq\sqrt{\frac{7\lambda-3}{3\lambda}}\left(\frac{1}{2} < \lambda\leq\frac{2}{3}\right) {\rm or} |A|^2\leq \frac{2}{3}|H|^2+\frac{4}{5}k\cos\alpha\, {\rm and} \cos\alpha\geq 1-\varepsilon}$ , for some ${\varepsilon}$ .     

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

In an earlier paper Buczolich, Elekes and the author introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. They proved that it is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$ . The goal of this paper is to determine the Hausdorff dimension of the fibers of the generic continuous function from $K$ to $\mathbb {R}^n$ . In order to do so, we define the $n$ th inductive topological Hausdorff dimension, $\dim _{t^nH} K$ . Let $\dim _H K,\,\dim _t K$ and $C_n(K)$ denote the Hausdorff and topological dimension of $K$ and the Banach space of the continuous functions from $K$ to $\mathbb {R}^n$ . We show that $\sup _{y\in \mathbb {R}^n} \dim _{H}f^{-1}(y) = \dim _{t^nH} K -n$ for the generic $f \in C_n(K)$ , provided that $\dim _t K\ge n$ , otherwise every fiber is finite. In order to prove the above theorem we give some equivalent definitions for the inductive topological Hausdorff dimensions, which can be interesting in their own right. Here we use techniques coming from the theory of topological dimension. We show that the supremum is actually attained on the left hand side of the above equation. We characterize those compact metric spaces $K$ for which $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ and the generic $y\in f(K)$ . We also generalize a result of Kirchheim by showing that if $K$ is self-similar and $\dim _t K\ge n$ then $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ for every $y\in {{\mathrm{int}}}f(K)$ .     

Quasi-Lipschitz equivalence of fractals

The paper proves that if E and F are dust-like C ¹ self-conformal sets with \(0 < \mathcal{H}^{\dim _H E} (E),\mathcal{H}^{\dim _H F} (F) < \infty \), then there exists a bijection f: E å F such that

$\frac{{(dim_H F)log|f(x) - f(y)|}}{{(dim_H E)log|x - y|}} \to 1$

uniformly as |x?y} å 0. It is also proved that a self-similar arc is Hölder equivalent to [0, 1] if and only if it is a quasi-arc.

     

A new construction of anti-self-dual four-manifolds

We describe a new construction of anti-self-dual metrics on four-manifolds. These metrics are characterized by the property that their twistor spaces project as affine line bundles over surfaces. To any affine bundle with the appropriate sheaf of local translations, we associate a solution of a second-order partial differential equations system D ₂ V = 0 on a five-dimensional manifold Y{\mathbf{Y}}. The solution V and its differential completely determine an anti-self-dual conformal structure on an open set in {V = 0}. We show how our construction applies in the specific case of conformal structures for which the twistor space Z{\mathcal{Z}} has dim|-\frac12K_Z| 3 2{ \dim\left|-\frac{1}{2}K_\mathcal{Z}\right|\geq 2}, projecting thus over \mathbb C\mathbb P₂{\mathbb C\mathbb P_2} with twistor lines mapping onto plane conics.     

The PENROSE Transform for Bundles Non-Trivial on the General Line

Let L₀ be a fixed projective line in CP ³ and let M ? C ⁴ be the complexified MINKOWSKI space interpreted as the manifold of all projective lines L ? CP ³ with L ∩ L ₀ ?? Ø. Let D ? M , D ′ ? CP ³/ L ₀ be open sets such that \documentclass{article}\pagestyle{empty}\begin{document}$ D' = \mathop \cup \limits_{L \in D} $\end{document}. Under certain topological conditions on D, R. S. WARD'S PENROSE transform sets up an 1–1 correspondence between holomorphic vector bundles over D ′ trivial over each L ? D and holomorphic connections with anti-self-dual curvature over D (anti-self-dual YANG-MILLIS fields). In the present paper WARD'S construction is generalized to holomorphic vector bundles E over D′ satisfying the condition that \documentclass{article}\pagestyle{empty}\begin{document}$ E|_L \cong E|_{\tilde L} $\end{document} for all \documentclass{article}\pagestyle{empty}\begin{document}$ L,\tilde L \in D $\end{document}.     

Detecting Fourier Subspaces

Let G be a finite abelian group. We examine the discrepancy between subspaces of \(l^2(G)\) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to \(|G| = \mathrm{dim}\left( l^2(G)\right) \) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison–Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is a standard subspace which is essentially indistinguishable from its orthogonal complement.     

Non-Moishezon twistor spaces of with non-trivial automorphism group

We show that a twistor space of a self-dual metric on with -isometry is not Moishezon iff there is a -orbit biholomorphic to a smooth elliptic curve, where the -action is the complexification of the -action on the twistor space. It follows that the -isometry has a two-sphere whose isotropy group is . We also prove the existence of such twistor spaces in a strong form to show that a problem of Campana and Kreußler is affirmative even though a twistor space is required to have a non-trivial automorphism group.

     

Boundaries of Disk-Like Self-affine Tiles

Let $T:= T(A, \mathcal{D })$ T : = T ( A , D ) be a disk-like self-affine tile generated by an integral expanding matrix $A$ A and a consecutive collinear digit set $\mathcal{D }$ D , and let $f(x)=x^{2}+px+q$ f ( x ) = x 2 + px + q be the characteristic polynomial of $A$ A . In the paper, we identify the boundary $\partial T$ ? T with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,\mathcal{D })$ ( A , D ) to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega $ ω , we find the generalized Hausdorff dimension $\dim _H^{\omega } (\partial T)=2\log \rho (M)/\log |q|$ dim H ω ( ? T ) = 2 log ρ ( M ) / log | q | where $\rho (M)$ ρ ( M ) is the spectral radius of certain contact matrix $M$ M . Especially, when $A$ A is a similarity, we obtain the standard Hausdorff dimension $\dim _H (\partial T)=2\log \rho /\log |q|$ dim H ( ? T ) = 2 log ρ / log | q | where $\rho $ ρ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$ x 3 ? ( | p | ? 1 ) x 2 ? ( | q | ? | p | ) x ? | q | , which is simpler than the known result.     

Boundedness and compactness of an integral operator in a mixed norm space on the polydisk

We study the following integral type operator

$T_g (f)(z) = \int\limits_0^{z_{} } { \cdots \int\limits_0^{z_n } {f(\zeta _1 , \ldots ,\zeta _n )} g(\zeta _1 , \ldots ,\zeta _n )d\zeta _1 , \ldots ,\zeta _n } $

in the space of analytic functions on the unit polydisk U ⁿ in the complex vector space ?ⁿ. We show that the operator is bounded in the mixed norm space

Open image in new window

, with p, q ∈ [1, ∞) and α = (α₁, …, α_n), such that α_j > ?1, for every j = 1, …, n, if and only if \(\sup _{z \in U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| < \infty \). Also, we prove that the operator is compact if and only if \(\lim _{z \to \partial U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| = 0\).

     

Donaldson–Friedman construction and deformations of a triple of compact complex spaces,II

In a previous paper of the same title the author gave a generalization of the constrution of Donaldson–Friedman, to prove the existence of twistor spaces of n CP ² with a special kind of divisors. In the present paper, we consider its equivariant version. When n = 3, this gives another proof of the existence of degenerate double solid with C *–action, and we show that the branch quartic surface is birational to an elliptic ruled surface. In case n ≥ 4, this yields new Moishezon twistor spaces with C *–action, which is shown to be the most degenerate ones among twistor spaces studied by Campana and Kreußler.     

Derivationen und Automorphismen von Algebren,in Denen Die Gleichung X2=0 Nur Trivial Lösbar Ist

Let A be a finite-dimensional algebra over a (commutative) field K of characteristic O, assume that x∈A and x²=0 implies x=0. We shall prove among others:

- The derivations and automorphisms of A are semisimple.

- If K is algebraically closed, then Der A=0 and |Aut A|<∞.

- If K=?, then Aut A (and hence Der A) is compact.

     

Dimension and Matchings in Comparability and Incomparability Graphs

We develop some new inequalities for the dimension of a finite poset. These inequalities are then used to bound dimension in terms of the maximum size of matchings. We prove that if the dimension of P is d and d=3, then there is a matching of size d in the comparability graph of P. There is no analogue of this result for cover graphs, as we show that there is a poset P of dimension d for which the maximum matching in the cover graph of P has size \(O(\log d)\). On the other hand, there is a dual result in which the role of chains and antichains is reversed, as we show that there is also a matching of size d in the incomparability graph of P. The proof of the result for comparability graphs has elements in common with Perles’ proof of Dilworth’s theorem. Either result has the following theorem of Hiraguchi as an immediate corollary: \(\dim (P)\le |P|/2\) when |P|=4.     

Continuite-Besov des operateurs definis par des integrales singulieres

Our purpose is to give necessary and sufficient conditions for continuity, on Besov spaces \(\dot B_p^{s,q} \) , of singular integral operators whose kernels satisfy: $$|\partial _x^\alpha K(x, y)| \leqslant C_\alpha |x - y|^{ - n - |\alpha |} for|\alpha | \leqslant m,$$ where m ∈ ? and 0 < s < m. The criterion is compared to the M.Meyer theorem [11] where 0 _p ^s,q spaces for s?1. For 0 _p ^s,p space is characterized by the localization and by Besov-capacity. In particular we show that the BMO ₁ ^s,1 space is characterized by generalized Carleson conditions.     

Einstein-Weyl spaces and (1 , n) -curves in the quadric surface

Following the ideas of Hitchin on the twistoral approach to 3-dimensional Einstein-Weyl geometry we construct a series of complex surfaces containing rational curves with self-intersection number 2. These mini twistor spaces are obtained by taking an n-fold covering of a neighbourhood of a (1 , n)- curve in the quadric CP₁ x CP₁ branched along the curve. We describe the corresponding Einstein-Weyl geometry on the parameter space of curves.     

Concurrent normals to convex bodies and spaces of Morse functions

It is conjectured that if \({K\subset\mathbb R^n}\) is a convex body, then there exists a point in the interior of K which is the point of concurrency of normals from 2n points on the boundary of K. We present a topological proof of this conjecture in dimension four assuming \({\partial K}\) is C ^1,1. From the assumption that the conjecture fails for \({K\subset\mathbb R^4}\), we construct a retraction from \({\overline K}\) to \({\partial K}\). We apply the same strategy to the problem for lower n, assuming no regularity on \({\partial K}\), and show that it provides very simple proofs for the cases of two and three dimensions (the dimension three case was first proved by Erhard Heil). A connection between our approach to this problem and the homotopy type of some function spaces is also explored, and some conjectures along those lines are proposed.