A characterization of non-tube type Hermitian symmetric spaces by visible actions

Let G/K be an irreducible Hermitian symmetric space of non-compact type, and G_\mathbbC/K_\mathbbC{G_{\mathbb{C}}/K_{\mathbb{C}}} its complexification by forgetting the original complex structure. Then, D :=G_\mathbbC/[K_\mathbbC, K_\mathbbC]{D :=G_{\mathbb{C}}/[K_{\mathbb{C}}, K_{\mathbb{C}}]} is a non-symmetric Stein manifold. We prove that a maximal compact subgroup of G_\mathbbC{G_{\mathbb{C}}} acts on D in a strongly visible fashion in the sense of Kobayashi (Publ Res Inst Math Sci 41:497–549, 2005) if and only if G/K is of non-tube type. Our proof uses the theory of multiplicity-free representations and a construction of a slice and an anti-holomorphic involution on D.     

Algebras Generated by Reciprocals of Linear Forms

Let Δ be a finite set of nonzero linear forms in several variables with coefficients in a field K of characteristic zero. Consider the K-algebra C(Δ) of rational functions generated by {1/α  α  Δ}. Then the ring ∂(V) of differential operators with constant coefficients naturally acts on C(Δ). We study the graded ∂(V)-module structure of C(Δ). We especially find standard systems of minimal generators and a combinatorial formula for the Poincaré series of C(Δ). Our proofs are based on a theorem by Brion–Vergne [4] and results by Orlik–Terao [9].     

On uniform approximation by harmonic and almost harmonic vector fields

Three- dimensional analogs of rational uniform approximation in \mathbbC \mathbb{C} are considered. These analogs are related to approximation properties of harmonic (i. e., curl-free and solenoidal) vector fields. The usual uniform approximation by fields harmonic near a given compact set K ⊂ \mathbbR³ \mathbb{R}^3 is compared with the uniform approximation by smooth fields whose curls and divergences tends to zero uniformly on K. A similar two-dimensional modification of the uniform approximation by functions f that are complex analytic near a given compact set K ⊂ \mathbbC \mathbb{C} (when f is assumed to be in C ¹ with [`(?)] f\bar \partial {\kern 1pt}f small on K) results in a problem equivalent to the original one. In the three-dimensional settings, the two problems (of harmonic and of almost harmonic approximation) are different. The first problem is nonlocal whereas the second one is local (i. e., an analog of the Bishop theorem on the locality of R(K) is still valid for almost harmonic approximation). Almost curl-free approximation is also considered. Bibliography: 7 titles.     

Universal Overconvergence of Polynomial Expansions of Harmonic Functions

For each compact subset K of ^N let (K) denote the space of functions that are harmonic on some neighbourhood of K. The space (K) is equipped with the topology of uniform convergence on K. Let Ω be an open subset of ^N such that 0Ω and ^N\Ω is connected. It is shown that there exists a series ∑H_n, where H_n is a homogeneous harmonic polynomial of degree n on ^N, such that (i) ∑H_n converges on some ball of centre 0 to a function that is continuous on Ω and harmonic on Ω, (ii) the partial sums of ∑H_n are dense in (K) for every compact subset K of ^N\Ω with connected complement. Some refinements are given and our results are compared with an analogous theorem concerning overconvergence of power series.     

Approximation by rational modules in Sobolev and Lipschitz norms

Let X?C be compact, 0>n∈Z, and g a continuous function on X. Let R(n,g,X) be the rational module consisting of the functions on X of the type r₀ + r₁g + ··· + r_ngⁿ, where r_j is a rational function with poles off X, 0 ? j ? n. It is shown that if X is nowhere dense, g is sufficiently smooth, and $\text{}\text{?}\text{t6g(z) ≠ 0, z ∈ X}$, then the restriction to X of each function in C∈(C) is approximable in the Lip(n ? 1, X)-norm, n ? 2, by functions in R(n, g, X). Also dealt with are approximation problems in Sobolev norms by more general types of rational modules.     

Variational Principles in Curve Design

The paper considers Hermite interpolation for vector-valued functions. Corresponding to the interpolating functions f we define functionals I which contain function values of f^(r) and integrals of f^(r) where 0 ≤ r ≤ m for some integer m. The main purpose of the paper is to characterize those functions which satisfy the interpolation problem and have a minimal value of I. These characterizations contain several results of the literature including splines in tension and geometric splines.     

Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

Circular Favard Length of the Four-Corner Cantor Set

Let C_n\mathcal{C}_{n} be the n-th generation in the construction of the middle-half Cantor set. The Cartesian square K_n\mathcal{K}_{n} of C_n\mathcal{C}_{n} consists of 4 ⁿ squares of side-length 4⁻ⁿ . We drop a circle of radius r on the plane and try to estimate from below the conditional probability of this circle to intersect K_n\mathcal{K}_{n} if it already intersects a disc containing K_n\mathcal{K}_{n}. If the radius is very large  ≈4 ⁿ then clearly this should not differ too much from the usual Buffon needle probability. But it turns out that the best known lower bound (Bateman and Volberg in , 2008) persists even when the radius is much smaller than this—r>Cn ^ε suffices—and the intersection probability is at least \fracC_elognn\frac{C_{\varepsilon}\log n}{n}. This suggests that the method of Bateman and Volberg (, 2008) may be of use in proving a certain estimate for the lacunary circular maximal function from Seeger et al. (Preprint, 2005).     

Invariant Elliptic Curves as Attractors in the Projective Plane

Let f be a rational self-map of ℙ² which leaves invariant an elliptic curve C\mathcal{C} with strictly negative transverse Lyapunov exponent. We show that C\mathcal{C} is an attractor, i.e. it possesses a dense orbit and its basin has strictly positive measure.     

A characteristic property of the Euclidean disc

In this paper the following is proved: Let K ⊂ $ \mathbb{E}^2 $ \mathbb{E}^2 be a smooth strictly convex body, and let L ⊂ $ \mathbb{E}^2 $ \mathbb{E}^2 be a line. Assume that for every point x ∈ L/K the two tangent segments from x to K have the same length, and the line joining the two contact points passes through a fixed point in the plane. Then K is an Euclidean disc.     

Multiplicities and Reduction Numbers

Let (Rmbe a Cohen–Macaulay local ring and let I be an ideal. There are at least five algebras built on I whose multiplicity data affect the reduction number r(I) of the ideal. We introduce techniques from the Rees algebra theory of modules to produce estimates for r(I), for classes of ideals of dimension one and two. Previous cases of such estimates were derived for ideals of dimension zero.     

Reduced invariant sets

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X){\mathcal{I}(X)} denote the ideal of X in \mathbbR[W]{\mathbb{R}[W]} and let I_K(X){\mathcal{I}_{K}(X)} be the ideal generated by I(X)^K{\mathcal{I}(X)^{K}} . We find necessary conditions and sufficient conditions for I(X) = I_K(X){{\mathcal{I}(X) = \mathcal{I}_{K}(X)}} and for ?{I_K(X)} = I(X){{\sqrt{\mathcal{I}_{K}(X)} = \mathcal{I}(X)}} . We consider analogous questions for actions of complex reductive groups.     

The structure of the algebraic eigenspace to the spectral radius of eventually compact, nonnegative integral operators

Let K be an eventually compact linear integral operator on L^p(Ω, μ), 1 p < ∞, with nonnegative kernel k(x, y), where the underlying measure μ is totally σ-finite on the domain set Ω when P = 1. This work extends the previous analysis of the author who characterized the distinguished eigenvalues of K and K^*, and the support sets for the eigenfunctions and generalized eigenfunctions belonging to the spectral radius of K or K^*. The characterizations of the support sets for the algebraic eigenspaces of K or K^* are phrased in terms of significant k-components which are maximal irreducible subsets of Ω and which yield a positive spectral radius for the integral operator defined by the restriction of k(x, y) to the Cartesian product of such sets. In this paper, we show that a basis for the functions, constituting the algebraic eigenspaces of K and K^* belonging to the spectral radius of K, can be chosen to consist of elements which are positive on their sets of support, except possibly on sets of measure less than some arbitrarily specified positive number. In addition, we present necessary and sufficient conditions, in terms of the significant k-components, for both K and K^* to possess a positive eigenfunction (a.e. μ) corresponding to the spectral radius, as well as necessary and sufficient conditions for the sequence γⁿKⁿg _p to converge whenever g 0, where − _p denotes the norm in L^p(Ω, μ), and γ₁ the smallest (in modulus) characteristic value of K. This analysis is made possible by introducing the concepts of chains, lengths of chains, height, and depth of a significant k-component as was done by U. Rothblum [Lin. Alg. Appl. 12 (1975), 281–292] for the matrix setting.     

A rigidity theorem for the pair ${\cal q}{\Bbb C} P^n$ (complex hyperquadric, complex projective space)

Given a compact Kähler manifold M of real dimension 2n, let P be either a compact complex hypersurface of M or a compact totally real submanifold of dimension n. Let q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n) be the complex hyperquadric (resp. the totally geodesic real projective space) in the complex projective space \Bbb C Pⁿ{\Bbb C} P^n of constant holomorphic sectional curvature 4l \lambda . We prove that if the Ricci and some (n-1)-Ricci curvatures of M (and, when P is complex, the mean absolute curvature of P) are bounded from below by some special constants and volume (P) / volume (M) ￡\leq volume (q\cal q)/ volume (\Bbb C Pⁿ)({\Bbb C} P^n) (resp. ￡\leq volume (\Bbb R Pⁿ)({\Bbb R} P^n) / volume (\Bbb C Pⁿ)({\Bbb C} P^n)), then there is a holomorphic isometry between M and \Bbb C Pⁿ{\Bbb C} P^n taking P isometrically onto q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n). We also classify the Kähler manifolds with boundary which are tubes of radius r around totally real and totally geodesic submanifolds of half dimension, have the holomorphic sectional and some (n-1)-Ricci curvatures bounded from below by those of the tube \Bbb R Pⁿ_r{\Bbb R} P^n_r of radius r around \Bbb R Pⁿ{\Bbb R} P^n in \Bbb C Pⁿ{\Bbb C} P^n and have the first Dirichlet eigenvalue not lower than that of \Bbb R Pⁿ_r{\Bbb R} P^n_r.     

Generic Initial Ideals,Graded Betti Numbers,and k-Lefschetz Properties

We introduce the k-strong Lefschetz property and the k-weak Lefschetz property for graded Artinian K-algebras, which are generalizations of the Lefschetz properties. The main results are:

1. Let I be an ideal of R = K[x ₁, x ₂,…, x _n ] whose quotient ring R/I has the n-SLP. Suppose that all kth differences of the Hilbert function of R/I are quasi-symmetric. Then the generic initial ideal of I is the unique almost revlex ideal with the same Hilbert function as R/I.

2. We give a sharp upper bound on the graded Betti numbers of Artinian K-algebras with the k-WLP and a fixed Hilbert function.     

Rates of Best Rational Approximation of Analytic Functions

Let E be a compact set in the extended complex plane C and let f be holomorphic on E. Denote by ρ_n the distance from f to the class of all rational functions of order at most n, measured with respect to the uniform norm on E. We obtain results characterizing the relationship between estimates of lim inf_n→∞ ρ^1/n_n and lim sup_n→∞ ρ^1/n_n.     

The characteristic of noncompact convexity and random fixed point theorem for set-valued operators

Let (Ω, Σ) be a measurable space, X a Banach space whose characteristic of noncompact convexity is less than 1, C a bounded closed convex subset of X, KC(C) the family of all compact convex subsets of C. We prove that a set-valued nonexpansive mapping T: C → KC(C) has a fixed point. Furthermore, if X is separable then we also prove that a set-valued nonexpansive operator T: Ω × C → KC(C) has a random fixed point.     

On the structure of biharmonic functions satisfying the clamped plate conditions on a right angle

Let u(r,θ) be biharmonic and bounded in the circular sector ¦θ¦ < π/4, 0 < r < ρ (ρ > 1) and vanish together with δu/δθ when ¦θ¦ = π/4. We consider the transform û(p,θ) = ∝₀¹r^{p − 1}u(r,θ)dr. We show that for any fixed θ₀ u(p,θ₀) is meromorphic with no real poles and cannot be entire unless u(r, θ₀) ≡ 0. It follows then from a theorem of Doetsch that u(r, θ₀) either vanishes identically or oscillates as r → 0.     

Certain Homology Cycles of the Independence Complex of Grids

Let G be an infinite graph such that the automorphism group of G contains a subgroup K ?? ^d with the property that G/K is finite. We examine the homology of the independence complex Σ(G/I) of G/I for subgroups I of K of full rank, focusing on the case that G is the square, triangular, or hexagonal grid. Specifically, we look for a certain kind of homology cycles that we refer to as “cross-cycles,” the rationale for the terminology being that they are fundamental cycles of the boundary complex of some cross-polytope. For the special cases just mentioned, we determine the set Q(G,K) of rational numbers r such that there is a group I with the property that Σ(G/I) contains cross-cycles of degree exactly r?|G/I|?1; |G/I| denotes the size of the vertex set of G/I. In each of the three cases, Q(G,K) turns out to be an interval of the form [a,b]∩?={r∈?:a≤r≤b}. For example, for the square grid, we obtain the interval $[\frac{1}{5},\frac{1}{4}]\cap \mathbb{Q}Let G be an infinite graph such that the automorphism group of G contains a subgroup K ≅ℤ ^d with the property that G/K is finite. We examine the homology of the independence complex Σ(G/I) of G/I for subgroups I of K of full rank, focusing on the case that G is the square, triangular, or hexagonal grid. Specifically, we look for a certain kind of homology cycles that we refer to as “cross-cycles,” the rationale for the terminology being that they are fundamental cycles of the boundary complex of some cross-polytope. For the special cases just mentioned, we determine the set Q(G,K) of rational numbers r such that there is a group I with the property that Σ(G/I) contains cross-cycles of degree exactly r⋅|G/I|−1; |G/I| denotes the size of the vertex set of G/I. In each of the three cases, Q(G,K) turns out to be an interval of the form [a,b]∩ℚ={r∈ℚ:a≤r≤b}. For example, for the square grid, we obtain the interval [\frac15,\frac14]?\mathbbQ[\frac{1}{5},\frac{1}{4}]\cap \mathbb{Q}.