Propagation of boundary CR foliations and Morera type theorems for manifolds with attached analytic discs

We prove that homologically nontrivial generic smooth (2n−1)-parameter families of analytic discs in Cn, n?2, attached by their boundaries to a CR-manifold Ω, test CR-functions in the following sense: if a smooth function on Ω analytically extends into any analytic discs from the family, then the function satisfies tangential CR-equations on Ω. In particular, we give an answer (Theorem 1) to the following long standing open question, so called strip-problem, earlier solved only for special families (mainly for circles): given a smooth one-parameter family of Jordan curves in the plane and a function f admitting holomorphic extension inside each curve, must f be holomorphic on the union of the curves? We prove, for real-analytic functions and arbitrary generic real-analytic families of curves, that the answer is “yes,” if no point is surrounded by all curves from the family. The latter condition is essential. We generalize this result to characterization of complex curves in C² as real 2-manifolds admitting nontrivial families of attached analytic discs (Theorem 4). The main result implies fairly general Morera type characterization of CR-functions on hypersurfaces in C² in terms of holomorphic extensions into three-parameter families of attached analytic discs (Theorem 2). One of the applications is confirming, in real-analytic category, the Globevnik-Stout conjecture (Theorem 3) on boundary values of holomorphic functions. It is proved that a smooth function on the boundary of a smooth strictly convex domain in Cn extends holomorphically inside the domain if it extends holomorphically into complex lines tangent to a given strictly convex subdomain. The proofs are based on a universal approach, namely, on the reduction to a problem of propagation, from the boundary to the interior, of degeneracy of CR-foliations of solid torus type manifolds (Theorem 2.2).     

On Analytic Interpolation Manifolds in Boundaries of Weakly Pseudoconvex Domains

Let Ω be a bounded, weakly pseudoconvex domain in C ⁿ , n ≤ 2, with real-analytic boundary. A real-analytic submanifold M ? ?Ω is called an analytic interpolation manifold if every real-analytic function on M extends to a function belonging to (Ω¯). We provide sufficient conditions for M to be an analytic interpolation manifold. We give examples showing that neither of these conditions can be relaxed, as well as examples of analytic interpolation manifolds lying entirely within the set of weakly pseudoconvex points of ?Ω.     

Formal and finite order equivalences

We show that two families of germs of real-analytic subsets in ${{\mathbb C}^{n}}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent of any finite order but not formally equivalent.     

Reflection Ideals and mappings between generic submanifolds in complex space

Results on finite determination and convergence of formal mappings between smooth generic submanifolds in ℂ ^N are established in this article. The finite determination result gibes sufficient conditions to guarantee that a formal map is uniquely determined by its jet, of a preassigned order, at a point. Convergence of formal mappings for real-analytic generic submanifolds under appropriate assumptions is proved, and natural geometric conditions are given to assure that if two germs of such submanifolds are formally equivalent, then, they are necessarily biholomorphically equivalent. It is also shown that if two real-algebraic hypersurfaces in ℂ ^N are biholomorphically equivalent, then, they are algebraically equivalent. All the results are first proved in the more general context of “reflection ideals” associated to formal mappings between formal as well as real-analytic and real-algebraic manifolds.     

Classifying simple closed curve pairs in the 2-sphere and a generalization of the Schoenflies theorem

A classification theory is developed for pairs of simple closed curves (A,B) in the sphere S², assuming that A∩B has finitely many components. Such a pair of simple closed curves is called an SCC-pair, and two SCC-pairs (A,B) and (A^′,B^′) are equivalent if there is a homeomorphism from S² to itself sending A to A^′ and B to B^′. The simple cases where A and B coincide or A and B are disjoint are easily handled. The component code is defined to provide a classification of all of the other possibilities. The component code is not uniquely determined for a given SCC-pair, but it is straightforward that it is an invariant; i.e., that if (A,B) and (A^′,B^′) are equivalent and C is a component code for (A,B), then C is a component code for (A^′,B^′) as well. It is proved that the component code is a classifying invariant in the sense that if two SCC-pairs have a component code in common, then the SCC-pairs are equivalent. Furthermore code transformations on component codes are defined so that if one component code is known for a particular SCC-pair, then all other component codes for the SCC-pair can be determined via code transformations. This provides a notion of equivalence for component codes; specifically, two component codes are equivalent if there is a code transformation mapping one to the other. The main result of the paper asserts that if C and C^′ are component codes for SCC-pairs (A,B) and (A^′,B^′), respectively, then (A,B) and (A^′,B^′) are equivalent if and only if C and C^′ are equivalent. Finally, a generalization of the Schoenflies theorem to SCC-pairs is presented.     

On the Hypoellipticity of Differential Forms with Isolated Singularities

Hypoellipticity for a class of germs of ?-valued, real-analytic 1-forms with an isolated singularity is studied. The main result states that in dimension ≥3 such forms are real-analytic hypoelliptic over L ^p functions, but are not real-analytic hypoelliptic in dimension 2. The case of C ^∞-hypoellipticity for a class of rotation invariant forms in ?² is also considered.     

Pure states of simple C1-algebras

Pure states of simple C¹-algebras with identity are studied. We prove that pure states of such algebras have a product decomposition property, and that two pure states are unitarily equivalent if and only if they are asymptotically equal.     

Topological equivalence of complex polynomials

The following numerical control over the topological equivalence is proved: two complex polynomials in n≠3 variables and with isolated singularities are topologically equivalent if one deforms into the other by a continuous family of polynomial functions f_s:Cⁿ→C with isolated singularities such that the degree, the number of vanishing cycles and the number of atypical values are constant in the family.     

Local structure of ideal shapes of knots

Relatively extremal knots are the relative minima of the ropelength functional in the C¹ topology. They are the relative maxima of the thickness (normal injectivity radius) functional on the set of curves of fixed length, and they include the ideal knots. We prove that a C1,1 relatively extremal knot in Rn either has constant maximal (generalized) curvature, or its thickness is equal to half of the double critical self distance. This local result also applies to the links. Our main approach is to show that the shortest curves with bounded curvature and C¹ boundary conditions in Rn contain CLC (circle-line-circle) curves, if they do not have constant maximal curvature.     

Hasse invariants and anomalous primes for elliptic curves with complex multiplication

Let C be an elliptic curve defined over Q. Let p be a prime where C has good reduction. By definition, p is anomalous for C if the Hasse invariant at p is congruent to 1 modulo p. The phenomenon of anomalous primes has been shown by Mazur to be of great interest in the study of rational points in towers of number fields. This paper is devoted to discussing the Hasse invariants and the anomalous primes of elliptic curves admitting complex multiplication. The two special cases Y² = X³ + a₄X and Y² = X³ + a₆ are studied at considerable length. As corollaries, some results in elementary number theory concerning the residue classes of the binomial coefficients (_n²ⁿ) (Resp. (_n³ⁿ)) modulo a prime p = 4n + 1 (resp. p = 6n + 1) are obtained. It is shown that certain classes of elliptic curves admitting complex multiplication do not have any anomalous primes and that others admit only very few anomalous primes.     

Bézier curves and interpolation in Riemannian manifolds

In a connected Riemannian manifold, generalised Bézier curves are C^∞ curves defined by a generalisation, in which line segments are replaced by minimal geodesics, of the classical de Casteljau algorithm. As in Euclidean space, these curves join their first and last control points. We compute the endpoint velocities and (covariant) accelerations of a generalised Bézier curve of arbitrary degree and use the formulae to express the curve's control points in terms of these quantities. These results allow generalised Bézier curves to be pieced together into C² splines, and thereby allow C² interpolation of a sequence of data points. For the case of uniform splines in symmetric spaces, we show that C² continuity is equivalent to a simple relationship, involving the global symmetries at knot points, between the control points of neighbouring curve segments. We also present some examples in hyperbolic 2-space.     

Finite jet determination of CR mappings

We prove the following finite jet determination result for CR mappings: Given a smooth generic submanifold M⊂CN, N?2, that is essentially finite and of finite type at each of its points, for every point p∈M there exists an integer ?p, depending upper-semicontinuously on p, such that for every smooth generic submanifold M^′⊂CN of the same dimension as M, if are two germs of smooth finite CR mappings with the same ?p jet at p, then necessarily for all positive integers k. In the hypersurface case, this result provides several new unique jet determination properties for holomorphic mappings at the boundary in the real-analytic case; in particular, it provides the finite jet determination of arbitrary real-analytic CR mappings between real-analytic hypersurfaces in CN of D'Angelo finite type. It also yields a new boundary version of H. Cartan's uniqueness theorem: if Ω,Ω^′⊂CN are two bounded domains with smooth real-analytic boundary, then there exists an integer k, depending only on the boundary ∂Ω, such that if are two proper holomorphic mappings extending smoothly up to ∂Ω near some point p∈∂Ω and agreeing up to order k at p, then necessarily H₁=H₂.     

Homotopy Type of Complexes of Graph Homomorphisms between Cycles

In this paper we study the homotopy type of Hom(C_m,C_n), where C_k is the cyclic graph with k vertices. We enumerate connected components of Hom(C_m,C_n) and show that each such component is either homeomorphic to a point or homotopy equivalent to S¹. Moreover, we prove that Hom(C_m,L_n) is either empty or is homotopy equivalent to the union of two points, where L_n is an n-string, i.e., a tree with n vertices and no branching points.     

Lagrangian 4-planes in holomorphic symplectic varieties of K3[4]-type

We classify the cohomology classes of Lagrangian 4-planes ?⁴ in a smooth manifold X deformation equivalent to a Hilbert scheme of four points on a K3 surface, up to the monodromy action. Classically, the Mori cone of effective curves on a K3 surface S is generated by nonnegative classes C, for which (C, C) ≥ 0, and nodal classes C, for which (C, C) = ?2; Hassett and Tschinkel conjecture that the Mori cone of a holomorphic symplectic variety X is similarly controlled by “nodal” classes C such that (C, C) = ?γ, for (·,·) now the Beauville-Bogomolov form, where γ classifies the geometry of the extremal contraction associated to C. In particular, they conjecture that for X deformation equivalent to a Hilbert scheme of n points on a K3 surface, the class C = ? of a line in a smooth Lagrangian n-plane ? ⁿ must satisfy (?,?) = ?(n + 3)/2. We prove the conjecture for n = 4 by computing the ring of monodromy invariants on X, and showing there is a unique monodromy orbit of Lagrangian 4-planes.     

A Frequency Function and Singular Set Bounds for Branched Minimal Immersions

We establish a frequency function monotonicity formula for two‐valued C^1,α solutions to the minimal surface system on n‐dimensional domains. We also establish the sharp regularity result that such solutions are of class C^{1, 1/2}, and that their branch sets, if nonempty, have Hausdorff dimension equal to n‐2.© 2016 Wiley Periodicals, Inc.     

On C classifications of hyperbolic vector fields

In this paper we study smooth classification of hyperbolic vector fields based on their linear approximations only and obtain the following. On Rⁿ, n?5, with only two kinds of exceptions, any two hyperbolic vector fields with generic nonlinear parts and where A_i are n×n matrices, are C¹ conjugate to each other if and only if A₁ and A₂ are strictly similar, and they are C¹ orbitally equivalent if and only if A₁ and A₂ are similar.     

Examples of C1-smoothly conjugate diffeomorphisms of the circle with break that are not C1+γ-smoothly conjugate

We prove the existence of two real-analytic diffeomorphisms of the circle with break of the same size and an irrational rotation number of semibounded type that are not C ^1+γ -smoothly conjugate for any γ > 0. In this way, we show that the previous result concerning the C ¹-smoothness of conjugacy for these mappings is the exact estimate of smoothness for this conjugacy.     

C (n)-cardinals

For each natural number n, let C ⁽ⁿ⁾ be the closed and unbounded proper class of ordinals α such that V _α is a Σ _n elementary substructure of V. We say that κ is a C ⁽ⁿ⁾ -cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C ⁽ⁿ⁾. By analyzing the notion of C ⁽ⁿ⁾-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C ⁽ⁿ⁾-cardinals form a much finer hierarchy. The naturalness of the notion of C ⁽ⁿ⁾-cardinal is exemplified by showing that the existence of C ⁽ⁿ⁾-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et?al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C ⁽ⁿ⁾-extendible cardinals.     

Über direkt integrierbare Kurven und strenge Böschungskurven im ℝn sowie geschlossene verallgemeinerte Hyperkreise

A curve in Euclidean space ?ⁿ is called “directly integrable”, if it can be explicitly calculated from the curvatures in a specified way. A necessary and sufficient condition for a curve to be directly integrable is that all its curvatures are real multiples of a single real function. Directly integrable curves in an odd-dimensional space ?ⁿ (n=2q+1) can be interpreted as generalized helices. In the case of even-dimensional space ?ⁿ (n=2p), we give a simple necessary and sufficient condition for a directly integrable curve to be closed.     

Splittings of spaces CX

The n-fold free loop space ⁿSⁿX is for connected spaces X weakly equivalent to a simpler space C_nX, which has a natural filtration F_inr C_nX. It is well known that there is a splitting S^tF_r(C_nX) V _m=1 ^p S^t(F_m(C_nX)¦F_m–1(C_nX) inducing a stable splitting of C_nX. We give a simple construction for such a splitting with comparatively low estimates for the number t of necessary suspension coordinates.