Maximum modulus sets in pseudoconvex boundaries

LedD be a strictly pseudoconvex domain in ? ⁿ withC ^∞ boundary. We denote byA ^∞(D) the set of holomorphic functions inD that have aC ^∞ extension to \(\bar D\) . A closed subsetE of ?D is locally a maximum modulus set forA ^∞(D) if for everyp∈E there exists a neighborhoodU ofp andf∈A ^∞(D∩U) such that |f|=1 onE∩U and |f|<1 on \(\bar D \cap U\backslash E\) . A submanifoldM of ?D is an interpolation manifold ifT _p (M)?T _p ^c (?D) for everyp∈M, whereT _p ^c (?D) is the maximal complex subspace of the tangent spaceT _p (?D). We prove that a local maximum modulus set forA ^∞ (D) is locally contained in totally realn-dimensional submanifolds of ?D that admit a unique foliation by (n?1)-dimensional interpolation submanifolds. LetD =D ₁ x ... xD _r ? ? ⁿ whereD _i is a strictly pseudoconvex domain withC ^∞ boundary in ? ⁿ _i ,i=1,…,r. A submanifoldM of ?D ₁×…×?D _r verifies the cone condition if \(II_p (T_p (M)) \cap \bar C[Jn_1 (p),...,Jn_r (p)] = \{ 0\} \) for everyp∈M, wheren _i (p) is the outer normal toD _i atp, J is the complex structure of ? ⁿ , \(\bar C[Jn_1 (p),...,Jn_r (p)]\) is the closed positive cone of the real spaceV _p generated byJ _{n 1}(p),…,J _{n r}(p), and II _p is the orthogonal projection ofT _p (?D) onV _p . We prove that a closed subsetE of ?D ₁×…×?D _r which is locally a maximum modulus set forA ^∞(D) is locally contained inn-dimensional totally real submanifolds of ?D ₁×…×?D _r that admit a foliation by (n?1)-dimensional submanifolds such that each leaf verifies the cone condition at every point ofE. A characterization of the local peak subsets of ?D ₁×…×?D _r is also given.     

A theorem concerning certain sign symmetric matrices whose inverses are Morishima

Suppose A is an invertible sign symmetric matrix whose associated digraph D(A) is a tree. Then A^-1 will be Morishima iff a^?? ? 0 for all interior points ? in D(A). A^-1 will be anti-Morishima iff a^?? ? 0 for all interior points ? in D(A).     

On Bounded Positive (m,p)-Circle Domains

Let D be a bounded positive (m, p)-circle domain in ?². The authors prove that if dim(Iso(D)⁰) = 2, then D is holomorphically equivalent to a Reinhardt domain; if dim(Iso(D)⁰) = 4, then D is holomorphically equivalent to the unit ball in ?². Moreover, the authors prove the Thullen’s classification on bounded Reinhardt domains in ?² by the Lie group technique.     

Continuation of separately analytic functions defined on part of a domain boundary

Suppose that D ? ?ⁿ is a domain with smooth boundary ?D, E ? ?D is a boundary subset of positive Lebesgue measure mes(E) > 0, and F ? G is a nonpluripolar compact set in a strongly pseudoconvex domain G ? ?^m. We prove that, under some additional conditions, each function separately analytic on the set X = (D×F)∪(E× G) can be holomorphically continued into the domain where ω* is the P-measure and ω _in ^* is the inner P-measure.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART II): In terms of a given Hamiltonian function the 1-form w = dH + ?_j|dπ^j is defined, where {?_j:j = 1,…, n} denotes an invariant basis of the planes of the distribution D_n. The latter is said to be canonical if w = 0 (which is analogous to the definition of Hamiltonian vector fields in symplectic geometry). This condition is equivalent to two sets of canonical equations that are expressed explicitly in term of the derivatives of H with respect to its positional arguments. The distribution D_n is said to be pseudo-Lagrangian if dπ^j(?_j,V_h) = 0; if D_n, is both canonical and pseudo-Lagrangian it is integrable and such that H = const. on each leaf of the resulting foliation. The Cartan form associated with this construction [9] is defined a II = π² ? ? πⁿ. If π is closed, the distribution D_N is integrable, and the exterior system {π^j} admits the representation ψ^j = dS^j in terms of a set of 0-forms S^j on M. If, in addition, the distribution D_N is canonical, these functions satisfy a single first order Hamilton-Jacobi equation, and conversely. Finally, a complete figure is constructed on the basis of the assumptions that (i) the Cartan form be closed, and (ii) that the distribution D_n, be both canonical and integrable. The last of these requirements implies the existence of N functions ψ^A that depend on x^h and N parameters w^B, whose derivatives are given by ?ψ^A (x^h, w^B)/?x^j = B^A _j (x^h, ψ^B (x^h,w^B)). The complete figure then consists of two complementary foliations: the leaves of the first are described by the functions ψ^A and satisfy the standard Euler-Lagrange equations, while the second, that is, the transversal foliation, is represented by the aforementioned solution of the Hamilton-Jacobi equation. The entire configuration then gives rise in a natural manner to a generalized Hilbert independent integral and consequently also to a generalized Weierstrass excess function.     

Inversion formulas for complex radon transform on projective varieties and boundary value problems for systems of linear PDEs

Let G ? ?P ⁿ be a linearly convex compact set with smooth boundary, D = ?P ⁿ \ G, and let D* ? (?P ⁿ )* be the dual domain. Then for an algebraic, not necessarily reduced, complete intersection subvariety V of dimension d we construct an explicit inversion formula for the complex Radon transform R _V : H ^d,d?1(V ∩ D) → H ^1,0(D*) and explicit formulas for solutions of an appropriate boundary value problem for the corresponding system of differential equations with constant coefficients on D*.     

Continuation of separately analytic functions defined on part of the domain boundary

Let D ? ? ⁿ be a domain with smooth boundary ?D, let E??D be a subset of positive Lebesgue measure mes(E) > 0, and let F ? G be a nonpluripolar compact set in a strongly pseudoconvex domain D ? ? ^m . We prove that, under an additional condition, each function separately analytic on the set X = (D × F) ∪ (E × G) has a holomorphic contination to the domain $\rlap{--} X = \{ (z,w) \in D \times G:\omega _{in}^ * (z,E,D) + \omega ^ * (w,F,D) < 1\} $ , where ω* is the P-measure and ω*_in is the interior P-measure.     

On smooth foliations with Morse singularities

Let M be a smooth manifold and let F be a codimension one, C^∞ foliation on M, with isolated singularities of Morse type. The study and classification of pairs (M,F) is a challenging (and difficult) problem. In this setting, a classical result due to Reeb (1946) [11] states that a manifold admitting a foliation with exactly two center-type singularities is a sphere. In particular this is true if the foliation is given by a function. Along these lines a result due to Eells and Kuiper (1962) [4] classifies manifolds having a real-valued function admitting exactly three non-degenerate singular points. In the present paper, we prove a generalization of the above mentioned results. To do this, we first describe the possible arrangements of pairs of singularities and the corresponding codimension one invariant sets, and then we give an elimination procedure for suitable center-saddle and some saddle-saddle configurations (of consecutive indices).In the second part, we investigate if other classical results, such as Haefliger and Novikov (Compact Leaf) theorems, proved for regular foliations, still hold true in presence of singularities. At this purpose, in the singular set, Sing(F) of the foliation F, we consider weakly stable components, that we define as those components admitting a neighborhood where all leaves are compact. If Sing(F) admits only weakly stable components, given by smoothly embedded curves diffeomorphic to S¹, we are able to extend Haefliger?s theorem. Finally, the existence of a closed curve, transverse to the foliation, leads us to state a Novikov-type result.     

On Reeb components of invariant foliations of projectively Anosov flows

We show that if a C² codimension one foliation on a three-dimensional manifold has a Reeb component and is invariant under a projectively Anosov flow, then it must be a Reeb foliation on S²×S¹.     

Minimal sets of Cartan foliations

A foliation that admits a Cartan geometry as its transversal structure is called a Cartan foliation. We prove that on a manifold M with a complete Cartan foliation ?, there exists one more foliation (M, \(\mathcal{O}\)), which is generally singular and is called an aureole foliation; moreover, the foliations ? and \(\mathcal{O}\) have common minimal sets. By using an aureole foliation, we prove that for complete Cartan foliations of the type ?/? with a compactly embedded Lie subalgebra ? in ?, the closure of each leaf forms a minimal set such that the restriction of the foliation onto this set is a transversally locally homogeneous Riemannian foliation. We describe the structure of complete transversally similar foliations (M, ?). We prove that for such foliations, there exists a unique minimal set ?, and ? is contained in the closure of any leaf. If the foliation (M, ?) is proper, then ? is a unique closed leaf of this foliation.     

Contact complete integrability

Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the existence of a canonical ? ? ? ^n?1 structure on the leaves of the co-Legendrian foliation. Further, the above structure implies the existence of n commuting contact fields preserving a special contact 1-form, thus providing the geometric framework and establishing equivalence with previously known definitions of contact integrability. We also show that contact completely integrable systems are solvable in quadratures. We present an example of contact complete integrability: the billiard system inside an ellipsoid in pseudo-Euclidean space, restricted to the space of oriented null geodesics. We describe a surprising acceleration mechanism for closed light-like billiard trajectories.     

Integration of complex polynomial differential equations in higher dimension,a first step: Lie transverse structure

We prove that a one-dimensional holomorphic foliationswith generic singularities on a complex projective space ?P ^m+1, m ≥ 2, exhibiting a Lie group transverse structure in some Zariski open subset, is logarithmic. That is, it is given by a system of m closed rational one-forms with simple poles. The foliation is given by a linear vector field in some affine space ? ^m+1 ? ?P ^m+1 if, and only if, it exhibits only one singularity in this affine space. An application to foliations invariant under Lie group transverse actions is given.     

SOME NORMALITY CRITERIA OF MEROMORPHIC FUNCTIONS

Let F be a family of functions meromorphic in a domain D, let n ≥ 2 be a positive integer, and let a ≠ 0, b be two finite complex numbers. If, for each f ∈ F, all of whose zeros have multiplicity at least k ＋ 1, and f ＋ a（f^（k））^n≠b in D, then F is normal in D.     

The Lindelöf principle in ℂ n

Let D be a bounded domain in ? ⁿ . A holomorphic function f: D → ? is called normal function if f satisfies a Lipschitz condition with respect to the Kobayashi metric on D and the spherical metric on the Riemann sphere ??. We formulate and prove a few Lindelöf principles in the function theory of several complex variables.     

Local index theory over foliation groupoids

We give a local proof of an index theorem for a Dirac-type operator that is invariant with respect to the action of a foliation groupoid G. If M denotes the space of units of G then the input is a G-equivariant fiber bundle P→M along with a G-invariant fiberwise Dirac-type operator D on P. The index theorem is a formula for the pairing of the index of D, as an element of a certain K-theory group, with a closed graded trace on a certain noncommutative de Rham algebra Ω^*B associated to G. The proof is by means of superconnections in the framework of noncommutative geometry.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ?_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ? ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ?_q,1(B _n )- module D^λ remains irreducible on restriction to ?_q(D _n ).     

Analytic extension of non quasi-analytic Whitney jets of Roumieu type

Let (M_r)_{r∈? 0} be a logarithmically convex sequence of positive numbers which verifies M₀ = 1 as well as M_r ≥ 1 for every r ∈ ? and defines a non quasi-analytic class. Let moreover F be a closed proper subset of ?ⁿ. Then for every function ? on ?ⁿ belonging to the non quasi-analytic (M_r)-class of Roumieu type, there is an element g of the same class which is analytic on ?ⁿ F and such that D^α ?(x) = D^αg(x) for every σ ∈ ?₀ ⁿ SBAP and x ∈ F.     

A note on the number of solutions of the generalized Ramanujan-Nagell equation x 2 ? D = p n

Let D be a positive integer, and let p be an odd prime with p ? D. In this paper we use a result on the rational approximation of quadratic irrationals due to M. Bauer, M.A. Bennett: Applications of the hypergeometric method to the generalized Ramanujan-Nagell equation. Ramanujan J. 6 (2002), 209–270, give a better upper bound for N(D, p), and also prove that if the equation U ² ? DV ² = ?1 has integer solutions (U, V), the least solution (u ₁, v ₁) of the equation u ² ? pv ² = 1 satisfies p ? v ₁, and D > C(p), where C(p) is an effectively computable constant only depending on p, then the equation x ² ? D = p ⁿ has at most two positive integer solutions (x, n). In particular, we have C(3) = 10⁷.     

A class of (4,2)-disk pairs which are trivial

Suppose Δ?S³ is a ribbon disk and let D (Δ) denote the cononical properly embedded 2-disk obtained by pushing the interior of Δ into B⁴. A well-known conjecture states that the disk pair (B⁴, D(Δ)) is trivial provided the sphere pair ?(B⁴, D(Δ)) is trivial. We show here that the conjecture is true for those D(Δ) with the property that there is an embedded 2-disk, D²?S³, whose boundary is ?D(Δ) and which intersects Δ in ‘transverse double points’.