Maximal dimensional partially ordered sets III: a characterization of Hiraguchi's inequality for interval dimension

Dushnik and Miller defined the dimensions of a partially ordered set X,denoted dim X, as the smallest positive integer t for which there exist t linear extensions of X whose intersection is the partial ordering on X. Hiraguchi proved that if n ≥2 and |X| ≤2n+1, then dim X ≤ n. Bogart, Trotter and Kimble have given a forbidden subposet characterization of Hiraguchi's inequality by determining for each n ≥ 2, the minimum collection of posets ?_n such that if |X| ?2n+1, the dim X < n unless X contains one of the posets from ?_n. Although |?₃|=24, for each n ≥ 4, ?_n contains only the crown S⁰_n — the poset consisting of all 1 element and n ? 1 element subsets of an n element set ordered by inclusion. In this paper, we consider a variant of dimension, called interval dimension, and prove a forbidden subposet characterization of Hiraguchi's inequality for interval dimension: If n ≥2 and |X 2n+1, the interval dimension of X is less than n unless X contains S⁰_n.     

Secant varieties of toric varieties

Let X_P be a smooth projective toric variety of dimension n embedded in P^r using all of the lattice points of the polytope P. We compute the dimension and degree of the secant variety . We also give explicit formulas in dimensions 2 and 3 and obtain partial results for the projective varieties X_A embedded using a set of lattice points A⊂P∩Zⁿ containing the vertices of P and their nearest neighbors.     

Various types of local connectedness in n-fold hyperspaces

Let X be a continuum. The n-fold hyperspace Cn(X), n<∞, is the space of all nonempty compact subsets of X with the Hausdorff metric. Four types of local connectivity at points of Cn(X) are investigated: connected im kleinen, locally connected, arcwise connected im kleinen and locally arcwise connected. Characterizations, as well as necessary or sufficient conditions, are obtained for Cn(X) to have one or another of the local connectivity properties at a given point. Several results involve the property of Kelley or C^*-smoothness. Some new results are obtained for C(X), the space of subcontinua of X. A class of continua X is given for which Cn(X) is connected im kleinen only at subcontinua of X and for which any two such subcontinua must intersect.     

On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

Set theoretic complete intersection for curves in a smooth affine algebra

Let A be a regular ring of dimension d (d≥3) containing an infinite field k. Let n be an integer such that 2n≥d+3. Let I be an ideal in A of height n and P be a projective A-module of rank n. Suppose P⊕A≈Aⁿ⁺¹ and there is a surjection α: P→I. It is proved in this note that I is a set theoretic complete intersection ideal. As a consequence, a smooth curve in a smooth affine C-algebra with trivial conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck group is torsion.     

Products of longitudinal pseudodifferential operators on flag varieties

Associated to each set S of simple roots of SL(n,C) is an equivariant fibration X→XS of the complete flag variety X of Cn. To each such fibration we associate an algebra JS of operators on L²(X), or more generally on L²-sections of vector bundles over X. This ideal contains, in particular, the longitudinal pseudodifferential operators of negative order tangent to the fibres. Together, they form a lattice of operator ideals whose common intersection is the compact operators. Thus, for instance, the product of negative order pseudodifferential operators along the fibres of two such fibrations, X→XS and X→XT, is a compact operator if S∪T is the full set of simple roots. The construction of the ideals uses noncommutative harmonic analysis, and hinges upon a representation theoretic property of subgroups of SU(n), which may be described as ‘essential orthogonality of subrepresentations’.     

Positive definite solution of the matrix equation \boldsymbol {X=Q+A^{H}(I\otimes X-C)^{\delta}A}

Consider the nonlinear matrix equation X?=?Q?+?A ^H (I???X???C) ^?? A ( ???=???1 or 0?<?|??|?<?1), where Q is an n×n positive definite matrix, C is an mn ×mn positive semidefinite matrix, I is an m×m identity matrix, and A is an arbitrary mn×n matrix. This equation is connected with a certain interpolation problem when ???=???1. Using the properties of the Kronecker product and the theory for the monotonic operator defined in a normal cone, we prove the existence and uniqueness of the positive definite solution which is contained in the set {X|I???X?>?C} under the condition that I???Q?>?C. The iterative methods to compute the unique solution is proposed. Numerical examples show that the methods are feasible and effective.     

Local self-similarity and the Hausdorff dimension

Let X be a locally self-similar stochastic process of index 0<H<1 whose sample paths are a.s. C^H?ε for all ε>0. Then the Hausdorff dimension of the graph of X is a.s. 2?H. To cite this article: A. Benassi et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Structure of cubic mapping graphs for the ring of Gaussian integers modulo n

Let ? _n [i] be the ring of Gaussian integers modulo n. We construct for ?n[i] a cubic mapping graph Γ(n) whose vertex set is all the elements of ?n[i] and for which there is a directed edge from a ∈ ?n[i] to b ∈ ?n[i] if b = a ³. This article investigates in detail the structure of Γ(n). We give suffcient and necessary conditions for the existence of cycles with length t. The number of t-cycles in Γ₁(n) is obtained and we also examine when a vertex lies on a t-cycle of Γ₂(n), where Γ₁(n) is induced by all the units of ?n[i] while Γ₂(n) is induced by all the zero-divisors of ?n[i]. In addition, formulas on the heights of components and vertices in Γ(n) are presented.     

Singular integral operators and norm ideals satisfying a quantitative variant of Kuroda's condition

A norm ideal C is said to satisfy condition (QK) if there exist constants 0<t<1 and 0<B<∞, such that ∥X^[k]∥_C?Bk^t∥X∥_C for every finite-rank operator X and every k∈N, where X^[k] denotes the direct sum of k copies of X. Let μ be a regular Borel measure whose support is contained in a unit cube Q in Rⁿ and let K_j be the singular integral operator on L²(Rⁿ,μ) with the kernel function (x_j-y_j)/|x-y|², 1?j?n. Let {Q_w:w∈W} be the usual dyadic decomposition of Q, i.e., {Q_w:|w|=?} is the dyadic partition of Q by cubes of the size 2^-?×?×2^-?. We show that if C satisfies (QK) and if ∥∑_w∈W2^|w|μ(Q_w)ξ_w⊗ξ_w∥_C^′<∞, where C^′ is the dual of C⁽⁰⁾ and {ξ_w:w∈W} is any orthonormal set, then K₁,…,K_n∈C^′. This is a very general obstruction result for the problem of simultaneous diagonalization of commuting tuples of self-adjoint operators modulo C.     

Power integral bases for Selmer-like number fields

The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f^′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)ⁿ⁻¹) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)ⁿ⁻¹) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)ⁿ⁻¹ is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free.     

Approximation of analytic sets along Nash subvarieties

Let X be an analytic subset of pure dimension n of an open set U ⊂ C^m and let E be a Nash subset of U such that E ⊂ X.Then for every a ∈ E there is an open neighborhood V of a in U and a sequence {X_v} of complex Nash subsets of V of pure dimension n converging to X ∩ V in the sense of holomorphic chains such that the following hold for every v ∈ N: E ∩ V ⊂ X_v and the multiplicity of X_v at x equals the multiplicity of X at x for every x in a dense open subset of E ⊂ V.     

Fractal boundaries are not typical

Let M be a C¹n-dimensional compact submanifold of Rn. The boundary of M, ∂M, is itself a C¹ compact (n−1)-dimensional submanifold of Rn. A carefully chosen set of deformations of ∂M defines a complete subspace consisting of boundaries of compact n-dimensional submanifolds of Rn, thus the Baire Category Theorem applies to the subspace. For the typical boundary element ∂W in this space, it is the case that ∂W is simultaneously nowhere-differentiable and of Hausdorff dimension n−1.     

Curves in Banach spaces which allow a C 1,BV parametrization or a parametrization with finite convexity

We give a complete characterization of those f: [0, 1] → X (where X is a Banach space) which allow an equivalent C ^1,BV parametrization (i.e., a C ¹ parametrization whose derivative has bounded variation) or a parametrization with bounded convexity. Our results are new also for X = ? ⁿ . We present examples which show applicability of our characterizations. For example, we show that the C ^1,BV and C ² parametrization problems are equivalent for X = ? but are not equivalent for X = ? ⁿ .     

Separators of points on algebraic surfaces

For a finite set of points X⊆Pⁿ and for a given point P∈X, the notion of a separator of P in X (a hypersurface containing all the points in X except P) and of the degree of P in X, (the minimum degree of these separators) has been largely studied. In this paper we extend these notions to a set of points X on a projectively normal surface S⊆Pⁿ, considering as separators arithmetically Cohen-Macaulay curves and generalizing the case S=P² in a natural way. We denote the minimum degree of such curves as and we study its relation to . We prove that if S is a variety of minimal degree these two terms are explicitly related by a formula, whereas only an inequality holds for other kinds of surfaces.     

Global solvability for first order real linear partial differential operators

F. Treves, in [17], using a notion of convexity of sets with respect to operators due to B. Malgrange and a theorem of C. Harvey, characterized globally solvable linear partial differential operators on C^∞(X), for an open subset X of Rn.Let P=L+c be a linear partial differential operator with real coefficients on a C^∞ manifold X, where L is a vector field and c is a function. If L has no critical points, J. Duistermaat and L. Hörmander, in [2], proved five equivalent conditions for global solvability of P on C^∞(X).Based on Harvey-Treves's result we prove sufficient conditions for the global solvability of P on C^∞(X), in the spirit of geometrical Duistermaat-Hörmander's characterizations, when L is zero at precisely one point. For this case, additional non-resonance type conditions on the value of c at the equilibrium point are necessary.     

On some finite ramified coverings of Pn

Let S be a hypersurface in Pⁿ (n≧3) with only normal crossings and let ƒ : XPⁿ be a finite ramified covering which is unramified over Pⁿ − S. Then S. Kawai has shown that there are neither regular 1-forms nor regular 2-forms on X. The aim of this article is to derive a stronger conclusion: H⁰(X,Ω_X^p)= 0 for 1≦p<n , and moreover H⁰(X,Ω_X^p)= 0 if deg S≦n+1.     

Inequalities concerning numbers of subsets of a finite set

Let S(n) denote the set of subsets of an n-element set. For an element x of S(n), let Γx and Px denote, respectively, all (|x| ?1)-element subsets of x and all (|x| + 1)-element supersets of x in S(n). Several inequalities involving Γ and P are given. As an application, an algorithm for finding an x-element antichain $\text{X}{}^1$ in S(n) satisfying $\text{| YX}{}^1\text{| ? | YX |}$ for all x-element antichains X in S(n) is developed, where YX is the set of all elements of S(n) contained in an element of X. This extends a result of Kleitman [9] who solved the problem in case x is a binomial coefficient.     

Examples of almost-holomorphic and totally real laminations in complex surfaces

We show that there exists a Lipschitz almost-complex structure J on CP², arbitrarily close to the standard one, and a compact lamination by J-holomorphic curves satisfying the following properties: it is minimal, it has hyperbolic holonomy and it is transversally Lipschitz. Its transverse Hausdorff dimension can be any number δ in an interval (0,δ_max) where . We also show that there is a compact lamination by totally real surfaces in C² with the same properties, unless the transverse dimension can be any number 0<δ<1. Our laminations are transversally totally disconnected.