Canonical matrices of isometric operators on indefinite inner product spaces

We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases:

•

F is an algebraically closed field of characteristic different from 2 or a real closed field, and B is symmetric or skew-symmetric;

•

F is an algebraically closed field of characteristic 0 or the skew field of quaternions over a real closed field, and B is Hermitian or skew-Hermitian with respect to any nonidentity involution on F.

These classification problems are wild if B may be degenerate. We use a method that admits to reduce the problem of classifying an arbitrary system of forms and linear mappings to the problem of classifying representations of some quiver. This method was described in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (3) (1988) 481-501].     

Stable bundles with torsion Chern classes on non-Kählerian elliptic surfaces

If π:X→B is a non-Kählerian elliptic surface with generic fibreF, the moduli space of stable holomorphic vector bundles with torsion Chern classes onX has an induced fibred structure with base Pic^o(F) and the moduli space of stable parabolic bundles onB ^orb as fibre. This is specific to the non-Kähler case.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Partial regularity for optimal transport maps

We prove that, for general cost functions on R ⁿ , or for the cost d ²/2 on a Riemannian manifold, optimal transport maps between smooth densities are always smooth outside a closed singular set of measure zero.     

Analytic Extension of Smooth Functions

Let F be a closed proper subset of ?ⁿ and let ?* be a class of ultradifferentiable functions. We give a new proof for the following result of Schmets and Valdivia on analytic modification of smooth functions: for every function ? ∈ ?* (?ⁿ) there is ${\widetilde f} \in {\cal E}_{*}(\rm R ^{n})$ which is real analytic on ?ⁿF and such that ?^a ? ¦ _F = ?^a ? ¦ _F for any a ∈ ?₀ ⁿ. For bounded ultradifferentiable functions ? we can obtain ${\widetilde f}$ by means of a continuous linear operator.     

A common property of R(E, F) and B(ℝ n , ℝ m ) and a new method for seeking a path to connect two operators

Given two Banach spaces E, F, let B(E, F) be the set of all bounded linear operators from E into F, and R(E, F) the set of all operators in B(E, F) with finite rank. It is well-known that B(? ⁿ ) is a Banach space as well as an algebra, while B(? ⁿ , ? ^m ) for m ≠ n, is a Banach space but not an algebra; meanwhile, it is clear that R(E, F) is neither a Banach space nor an algebra. However, in this paper, it is proved that all of them have a common property in geometry and topology, i.e., they are all a union of mutual disjoint path-connected and smooth submanifolds (or hypersurfaces). Let Σ _r be the set of all operators of finite rank r in B(E, F) (or B(? ⁿ , ? ^m )). In fact, we have that 1) suppose Σ _r ∈ B(? ⁿ , ? ^m ), and then Σ _r is a smooth and path-connected submanifold of B(? ⁿ , ? ^m ) and dimΣ _r = (n + m)r ? r ², for each r ∈ [0, min{n,m}; if m ≠ n, the same conclusion for Σ _r and its dimension is valid for each r ∈ [0, min{n, m}]; 2) suppose Σ _r ∈ B(E, F), and dimF = ∞, and then Σ _r is a smooth and path-connected submanifold of B(E, F) with the tangent space T _A Σ _r = {B ∈ B(E, F): BN(A) ? R(A)} at each A ∈ Σ _r for 0 ? r ? ∞. The routine methods for seeking a path to connect two operators can hardly apply here. A new method and some fundamental theorems are introduced in this paper, which is development of elementary transformation of matrices in B(? ⁿ ), and more adapted and simple than the elementary transformation method. In addition to tensor analysis and application of Thom’s famous result for transversility, these will benefit the study of infinite geometry.     

Hardy space interpolation in the unit ball

Interpolating sequences for the spaces H^p(Bⁿ), 1 <-p < ∞, n≥2, are studied. In contrast to the case n = 1, they are not the same for all p, but Varopoulos' necessary condition for H^∞ interpolation turns out to be necessary for H^p interpolation, for any p≥ 1, and sufficient for the sequence to be a finite union of H¹ interpolating sequences. Sufficient conditions are given for H^p interpolation, npn/(n-1), which are intermediary between Varopoulos' condition and Berndtsson's sufficient condition for H^∞(Bⁿ) interpolation.     

Sturm–Liouville problems in weighted spaces in domains with nonsmooth edges. I

We consider (in general noncoercive) mixed problems in a bounded domain D in ? ⁿ for a second-order elliptic partial differential operator A(x, ?). It is assumed that the operator is written in divergent form in D, the boundary operator B(x, ?) is the restriction of a linear combination of the function and its derivatives to ?D and the boundary of D is a Lipschitz surface. We separate a closed set Y ? ?D and control the growth of solutions near Y. We prove that the pair (A,B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, where the weight is a power of the distance to the singular set Y. Finally, we prove the completeness of the root functions associated with L.The article consists of two parts. The first part published in the present paper, is devoted to exposing the theory of the special weighted Sobolev–Slobodetskii? spaces in Lipschitz domains. We obtain theorems on the properties of these spaces; namely, theorems on the interpolation of these spaces, embedding theorems, and theorems about traces. We also study the properties of the weighted spaces defined by some (in general) noncoercive forms.     

The duality theorem for min-max functions

The set of min-max functions F : ℝⁿ → ℝⁿ is the least set containing coordinate substitutions and translations and closed under pointwise max, min, and function composition. The Duality Conjecture asserts that the trajectories of a min-max function, considered as a dynamical system, have a linear growth rate (cycle time) and shows how this can be calculated through a representation of F as an infimum of max-plus linear functions. We prove the conjecture using an analogue of Howard's policy improvement scheme, carried out in a lattice ordered group of germs of affine functions at infinity. The methods yield an efficient algorithm for computing cycle times.     

Generalized Interpolation in Bergman Spaces and Extremal Functions

In a recent paper A. Schuster and K. Seip [SchS] have characterized interpolating sequences for Bergman spaces in terms of extremal functions (or canonical divisors). As these are natural analogues in Bergman spaces of Blaschke products, this yields a Carleson type condition for interpolation. We intend to generalize this idea to generalized free interpolation in weighted Bergman spaces B^{p, α} as was done by V. Vasyunin [Va1] and N. Nikolski [Ni1] (cf.also [Ha2]) in the case of Hardy spaces. In particular we get a strong necessary condition for free interpolation in B^{p, α} on zero–sets of B^{p, α}–functions that in the special case of finite unions of B^{p, α}–interpolating sequences turns out to be also sufficient.     

An analytic version of the De Rham theorem

LetV be a real analytic paracompact variety; in §1 of this paper we prove that: $$H^q (V,R) \approx \frac{{closed analytic differentiable q - forms on V}}{{exact analytic differentiable q - forms on V}}$$ Then we prove that the closed (exact) analytic differentiableq-forms onV are dense, in the Whitney topology, in the set of closed (exact) differentiableq-forms onV. We also consider the problem of extending closed (exact) analytic differentiableq-forms, defined on a subvarietyX ofV, to closed (exact) analytic forms defined onV.     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

The annihilator of Bergman space

LetD be a bounded plane domain (with some smoothness requirements on its boundary). LetB _p(D), 1≤p<∞, be the Bergmanp-space ofD. In a previous paper we showed that the “natural projection”P, involving the Bergman kernel forD, is a bounded projection fromL _p(D) ontoB _p(D), 1<p<∞. With this we have the decompositionL _p(D)=B _p(D)⊕B _q ^⊥ (D,p ^–1+q ^–=1, 1<p< ∞. Here, we show that the annihilatorB _q ^⊥ (D) is the space of allL _p-complex derivatives of functions belonging to Sobolev space and which vanish on the boundary ofD. This extends a result of Schiffer for the casep=2. We also study certain operators onL _p(D). Especially, we show that , whereI is the identity operator and ? is an operator involving the adjoint of the Bergman kernel. Other relationships relevant toB _q ^⊥ (D) are studied.     

Zeta function of the projective curveaY 21 =bX 21 +cZ 21 over a class of finite fields, for odd primesl

Letp andl be rational primes such thatl is odd and the order ofp modulol is even. For such primesp andl, and fore = l, 2l, we consider the non-singular projective curvesaY ²¹ =bX ²¹ +cZ ²¹ defined over finite fields F_q such thatq = p ^α? l(mode).We see that the Fermat curves correspond precisely to those curves among each class (fore = l, 2l), that are maximal or minimal over F_q. We observe that each Fermat prime gives rise to explicit maximal and minimal curves over finite fields of characteristic 2. Fore = 2l, we explicitly determine the ζ -function(s) for this class of curves, over F_q, as rational functions in the variablet, for distinct cases ofa, b, andc, in F _q ^* . Theζ-function in each case is seen to satisfy the Weil conjectures (now theorems) for this concrete class of curves. Fore = l, 2l, we determine the class numbers for the function fields associated to each class of curves over F_q. As a consequence, when the field of definition of the curve(s) is fixed, this provides concrete information on the growth of class numbers for constant field extensions of the function field(s) of the curve(s).     

Multiplicity of closed geodesics on Finsler spheres with irrationally elliptic closed geodesics

If all prime closed geodesics on (Sⁿ, F) with an irreversible Finsler metric F are irrationally elliptic, there exist either exactly 2 \(\left[ {\frac{{n + 1}}{2}} \right]\) or infinitely many distinct closed geodesics. As an application, we show the existence of three distinct closed geodesics on bumpy Finsler (S³, F) if any prime closed geodesic has non-zero Morse index.     

Spectral theory and interpolation of operators

Let (B⁰, B¹) be an interpolation pair of Banach spaces, and let T: B^j → B^j be a bounded linear operator, j = 0, 1. We study the spectrum of T on an intermediate space B. In essence, it is shown that this spectrum depends only on the interpolation properties of B.     

L p estimates for the iterated Hardy-Littlewood maximal operator on\mathbb{R}^n and K n , k a local fieldand K n , k a local field

In light of two measure estimate inequalities from [4] for the iterated Hardy-Littlewood maximal operatorM ^k f, certain equivalence betweenM ^k f and the Zygmund classLLog ^a L are established on $\mathbb{R}^n $ , so that we generalize Stein'sLLogL theorem. In Section 3, a simple induction enables us to prove such extensions onK ⁿ, the n-dimensional linear space over a local fieldK, without recoursing to Leckband's result.     

On the commuting extensions of subnormal operators

We give some results concerning the following problem: Given a linear bounded operatorA which is subnormal on a Hilbert spaceH, andB its minimal normal extension on a Hilbert spaceK ～H, when can a quasi-normal operatorT commuting withA be extended to an operatorT ^e onK such thatT ^e commutes withB andT ^e is quasi-normal onK?