A Support Theorem for the Geodesic Ray Transform on Functions

Let (M,g) be a simple Riemannian manifold. Under the assumption that the metric g is real-analytic, it is shown that if the geodesic ray transform of a function f∈L ²(M) vanishes on an appropriate open set of geodesics, then f=0 on the set of points lying on these geodesics. The approach is based on analytic microlocal analysis.     

The argument principle and holomorphic extendibility to finite Riemann surfaces

Let M be a finite Riemann surface and let A(M) be the algebra of all continuous functions on M∪bM which are holomorphic on M. We prove that a continuous function Φ on bM extends to a function in A(M) if and only if for every f,g in A(M) such that fΦ+g≠0 on bM, the change of argument of fΦ+g is nonnegative.     

Projective Resolutions for Modules over Infinite Groups

We define a notion of complexity for modules over group rings of infinite groups. This generalizes the notion of complexity for modules over group algebras of finite groups. We show that if M is a module over the group ring kG, where k is any ring and G is any group, and M has f-complexity (where f is some complexity function) over some set of finite index subgroups of G, then M has f-complexity over G (up to a direct summand). This generalizes the Alperin-Evens Theorem, which states that if the group G is finite then the complexity of M over G is the maximal complexity of M over an elementary abelian subgroup of G. We also show how we can use this generalization in order to construct projective resolutions for the integral special linear groups, SL(n, ℤ), where n ≥ 2.     

On the analyticity of CR mappings between nonminimal hypersurfaces

Let be a connected real-analytic hypersurface containing a connected complex hypersurface , and let be a smooth CR mapping sending M into another real-analytic hypersurface . In this paper, we prove that if f does not collapse E to a point and does not collapse M into the image of E, and if the Levi form of M vanishes to first order along E, then f is real-analytic in a neighborhood of E. In general, the corresponding statement is false if the Levi form of M vanishes to second order or higher, in view of an example due to the author. We also show analogous results in higher dimensions provided that the target M' satisfies a certain nondegeneracy condition. The main ingredient in the proof, which seems to be of independent interest, is the prolongation of the system defining a CR mapping sending M into M' to a Pfaffian system on M with singularities along E. The nature of the singularity is described by the order of vanishing of the Levi form along E. Received: 12 February 2001 / Published online: 18 January 2002     

Feuilletages holomorphes locaux et analyticité partielle d'applications C ∞

 Let f : M → M′ be a smooth CR mapping between a generic real analytic submanifold M ⊂ ℂ ⁿ , n > 1, and a real analytic subset M′ ⊂ ℂ ^n′ . We prove that if M is minimal and if M′ does not contain any complex curves, then f is analytic on a dense open subset of M. More generally, we establish an upper estimate of the partial analyticity of f, which depends on the maximal dimension of local holomorphic foliations contained in M ^′ . Received: 7 August 2001 Mathematics Subject Classification (2000): 32V25, 32V40, 32H99     

On (Semi)Regular Morphisms

Let M and N be right R-modules. Hom(M, N) is called regular if for each f ∈ Hom(M, N), there exists g ∈ Hom(N, M) such that f = fgf. Let [M, N] = Hom _R (M, N). We prove that if M is finitely generated, then [M, N] is regular if and only if every homomorphism M → N is locally split. In this article, we also study the substructures of Hom(M, N) such as the Jacobson radical J[M, N], the singular ideal Δ[M, N], and the co-singular ideal ?[M, N]. We prove several new results. The question is to characterize when the Jacobson radical is equal to the singular ideal Δ[M, N] or the co-singular ideal ?[M, N] under injectivity and projectivity.     

Discs in Stein manifolds containing given discrete sets

Denote by the open unit disc in . We prove that given a discrete subset S of a connected Stein manifold M there is a proper holomorphic map such that ; if the map f can be chosen to be an embedding. In addition we prove that we can prescribe higher order contacts of with given one dimensional submanifolds in M. Received: 19 June 2000; in final form: 29 November 2000 / Published online: 19 October 2001     

Entire functions with Julia sets of positive measure

Let f be a transcendental entire function for which the set of critical and asymptotic values is bounded. The Denjoy–Carleman–Ahlfors theorem implies that if the set of all z for which |f(z)| > R has N components for some R > 0, then the order of f is at least N/2. More precisely, we have log log M(r, f) ≥ (N/2) log r − O(1), where M(r, f) denotes the maximum modulus of f. We show that if f does not grow much faster than this, then the escaping set and the Julia set of f have positive Lebesgue measure. However, as soon as the order of f exceeds N/2, this need not be true. The proof requires a sharpened form of an estimate of Carleman and Tsuji related to the Denjoy–Carleman–Ahlfors theorem.     

Nonlinear Markov Operators,Discrete Heat Flow,and Harmonic Maps Between Singular Spaces

We develop a theory of harmonic maps f:MN between singular spaces M and N. The target will be a complete metric space (N,d) of nonpositive curvature in the sense of A. D. Alexandrov. The domain will be a measurable space (M,) with a given Markov kernel p(x,dy) on it. Given a measurable map f:MN, we define a new map Pf:MN in the following way: for each xM, the point Pf(x)N is the barycenter of the probability measure p(x,f ^–1(dy)) on N. The map f is called harmonic on DM if Pf=f on D. Our theory is a nonlinear generalization of the theory of Markov kernels and Markov chains on M. It allows to construct harmonic maps by an explicit nonlinear Markov chain algorithm (which under suitable conditions converges exponentially fast). Many smoothing and contraction properties of the linear Markov operator P _M,R carry over to the nonlinear Markov operator P=P _M,N . For instance, if the underlying Markov kernel has the strong Lipschitz Feller property then all harmonic maps will be Lipschitz continuous.     

The Problem of Prescribed Critical Functions

Let (M,g) be a compact Riemannian manifold on dimension n ≥ 4 not conformally diffeomorphic to the sphere Sⁿ. We prove that a smooth function f on M is a critical function for a metric g conformal to g if and only if there exists x ∈ M such that f(x) > 0.Mathematics Subject Classifications (2000): 53C21, 46E35, 26D10.     

A note on localized directional weak lower semi-continuity

In minimization problems for functionals f : M → R, M ? E a subset of some infinite dimensional Banach space E, we typically have to rely on weak (sequential) lower semi-continuity of f on the whole space E even if M is a proper subset of E. The main reason for this lack of 'localized' weak lower semi-continuity seems to be that it is not known how to get and/or to characterize weak sequential lower semi-continuity on a subset M without knowing it on the whole space. As a first step to overcome this difficulty we propose the concept of 'localized directional weak sequential lower semi-continuity' and offer a way to implement it, namely in terms of conditions on the Gateaux derivative f′ of f (weak K-monotonicity). This allows to formulate a criterium and new sufficient conditions for the existence of a minimizer.

We conclude with a discussion of applications to the variational approach to the solution of (systems of) nonlinear partial differential equations where we focus on the case of integral functionals of vector fields for which the integrand is not assumed to be quasi-convex.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

Integer-Valued Polynomials over Matrix Rings

When D is a commutative integral domain with field of fractions K, the ring Int(D) = {f ∈ K[x] | f(D) ? D} of integer-valued polynomials over D is well-understood. This article considers the construction of integer-valued polynomials over matrix rings with entries in an integral domain. Given an integral domain D with field of fractions K, we define Int(M _n (D)): = {f ∈ M _n (K)[x] | f(M _n (D)) ? M _n (D)}. We prove that Int(M _n (D)) is a ring and investigate its structure and ideals. We also derive a generating set for Int(M _n (?)) and prove that Int(M _n (?)) is non-Noetherian.     

Diffeomorphisms with C 1-stably average shadowing

Let M be a closed smooth manifold M, and let f : M → M be a diffeomorphism. In this paper, we consider a nontrivial transitive set Λ of f . We show that if f has the C1-stably average shadowing property on Λ, then Λ admits a dominated splitting.     

Milnor open books and Milnor fillable contact 3-manifolds

We say that an oriented contact manifold (M,ξ) is Milnor fillable if it is contactomorphic to the contact boundary of an isolated complex-analytic singularity (X,x). In this article we prove that any three-dimensional oriented manifold admits at most one Milnor fillable contact structure up to contactomorphism. The proof is based on Milnor open books: we associate an open book decomposition of M with any holomorphic function f:(X,x)→(C,0), with isolated singularity at x and we verify that all these open books carry the contact structure ξ of (M,ξ)—generalizing results of Milnor and Giroux.     

Multiplication operators on sobolev disk algebra

In this paper,we study the algebra consisting of analytic functions in the Sobolev space W~(2,2) (D) (D is the unit disk),called the Sobolev disk algebra,explore the properties of the multiplication operators M_f on it and give the characterization of the corn- mutant algebra A′(M_f) of M_f.We show that A′(M_f) is commutative if and only if M_f~* is a Cowen-Douglas operator of index 1.     

Hypercyclic Pairs of Coanalytic Toeplitz Operators

A pair of commuting operators, (A,B), on a Hilbert space is said to be hypercyclic if there exists a vector such that {A ⁿ B ^k x : n, k ≥ 0} is dense in . If f, g ∈H ^∞(G) where G is an open set with finitely many components in the complex plane, then we show that the pair (M ^* _f , M ^* _g ) of adjoints of multiplcation operators on a Hilbert space of analytic functions on G is hypercyclic if and only if the semigroup they generate contains a hypercyclic operator. However, if G has infinitely many components, then we show that there exists f, g ∈H ^∞(G) such that the pair (M ^* _f , M ^* _g ) is hypercyclic but the semigroup they generate does not contain a hypercyclic operator. We also consider hypercyclic n-tuples.     

Approximation by Durrmeyer–Bezier operators

In the present paper, we consider the Bezier variant M_n,α(f,x) of the generalized Durrmeyer type operators, and obtain an estimate on the rate of convergence of M_n,α(f,x) for the decomposition technique of functions of bounded variation. In the end we propose an open problem for the readers and give an asymptotic formula for these generalized Durrmeyer type operators.     

A Regularity Result for CR Mappings Between Infinite Type Hypersurfaces

The Schwarz reflection principle in one complex variable can be stated as follows. Let M and M′ be two real analytic curves in ? and f a holomorphic function defined on one side of M, extending continuously through M, and mapping M into M′. Then f has a holomorphic extension across M. In this paper, we extend this classical theorem to higher complex dimensions for a class of hypersurfaces of infinite type.