Codimension 2 and 3 pluricanonical embeddings in projective spaces

In this paper some non existence results are given for smooth varieties of dimension bigger then 1, embedded in projective spaces with low codimension, by the pluricanonical system |mK _X |, withm≥2. The only meaningful cases of codimension 2 are surfaces in P⁴ and threefolds in P⁵, whose existence is excluded. When the codimension is 3, for surfaces in P⁵ is proven thatm=2, while for three-folds in P⁶ and fourfolds in P⁷ only two numerical possibilities for the degree are given.     

Universal Models For Real Submanifolds

In previous papers by the present author, a machinery for calculating automorphisms, constructing invariants, and classifying real submanifolds of a complex manifold was developed. The main step in this machinery is the construction of a “nice” model surface. The nice model surface can be treated as an analog of the osculating paraboloid in classical differential geometry. Model surfaces suggested earlier possess a complete list of the desired properties only if some upper estimate for the codimension of the submanifold is satisfied. If this estimate fails, then the surfaces lose the universality property (that is, the ability to touch any germ in an appropriate way), which restricts their applicability. In the present paper, we get rid of this restriction: for an arbitrary type (n,K) (where n is the dimension of the complex tangent plane, and K is the real codimension), we construct a nice model surface. In particular, we solve the problem of constructing a nondegenerate germ of a real analytic submanifold of a complex manifold of arbitrary given type (n,K) with the richest possible group of holomorphic automorphisms in the given class.     

Existence and nonexistence of skew branes

A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any two distinct points are not parallel. We show that if an oriented closed manifold has a nonzero Euler characteristic c{\chi}, then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than c²/4{\chi^2{/4}}. We give a version of this result for immersed surfaces in dimension 4. We construct examples of skew spheres of arbitrary odd dimensions, generalizing the construction of skew loops in 3-dimensional space due to Ghomi and Solomon (2002). We conclude with two conjectures that are theorems in 1-dimensional case.     

Approximating tensor product Bézier surfaces with tangent plane continuity

We present a simple method for degree reduction of tensor product Bézier surfaces with tangent plane continuity in L₂-norm. Continuity constraints at the four corners of surfaces are considered, so that the boundary curves preserve endpoints continuity of any order α. We obtain matrix representations for the control points of the degree reduced surfaces by the least-squares method. A simple optimization scheme that minimizes the perturbations of some related control points is proposed, and the surface patches after adjustment are C^∞ continuous in the interior and G¹ continuous at the common boundaries. We show that this scheme is applicable to surface patches defined on chessboard-like domains.     

Corank 1 Singularities of Stable Smooth Maps and Special Tangent Hyperplanes to a Space Curve

Let γ be a smooth generic curve in ?P ₃. Denote by C the number of its flattening points, and by T the number of planes tangent to γ at three distinct points. Consider the osculating planes to γ at the flattening points. Let N denote the total number of points where γ intersects these osculating plane transversally. Then T ≡ [N + θ(γ)C]/2 (mod 2), where θ(γ) is the number of noncontractible components of γ. This congruence generalizes the well-known Freedman theorem, which states that if a smooth connected closed generic curve in ?³ has no flattening points, then the number of its triple tangent planes is even. We also give multidimensional analogs of this formula and show that these results follow from certain general facts about the topology of codimension 1 singularities of stable maps between manifolds having the same dimension.     

Some ergodic and rigidity properties of discrete Heisenberg group actions

The goal of this paper is to study ergodic and rigidity properties of smooth actions of the discrete Heisenberg group \(\mathcal{H}\). We establish the decomposition of the tangent space of any C^∞ compact Riemannian manifold M for Lyapunov exponents, and show that all Lyapunov exponents for the central elements are zero. We obtain that if an \(\mathcal{H}\) action contains an Anosov element, then under certain conditions on the eigenvalues of this element, the action of each central element is of finite order. In particular, there is no faithful codimension one Anosov Heisenberg group action on any compact manifold, and there is no faithful codimension two Anosov Heisenberg group action on tori. In addition, we show smooth local rigidity for higher rank ergodic \(\mathcal{H}\) actions by toral automorphisms, using a generalization of the KAM (Kolmogorov–Arnold–Moser) iterative scheme.     

Spatial curve singularities and the monster/semple tower

The Monster tower ([MZ01], [MZ10]), known as the Semple Tower in Algebraic Geometry ([Sem54], [Ber10]), is a tower of fibrations canonically constructed over an initial smooth n-dimensional base manifold. Each consecutive fiber is a projective n — 1 space. Each level of the tower is endowed with a rank n distribution, that is, a subbundle of its tangent bundle. The pseudogroup of diffeomorphisms of the base acts on each level so as to preserve the fibration and the distribution. The main problem is to classify orbits (equivalence classes) relative to this action. Analytic curves in the base can be prolonged (= Nash blown-up) to curves in the tower which are integral for the distribution. Prolongation yields a dictionary between singularity classes of curves in the base n-space and orbits in the tower. This dictionary yielded a rather complete solution to the classification problem for n = 2 ([MZ10]). A key part of this solution was the construction of the ‘RVT’ classes, a discrete set of equivalence classes built from verifying conditions of transversality or tangency to the fiber at each level ([MZ10]). Here we define analogous ‘RC’ classes for n > 2 indexed by words in the two letters, R (for regular, or transverse) and C (for critical, or tangent). There are 2 ^k?1 such classes of length k and they exhaust the tower at level k. The codimension of such a class is the number of C’s in its word. We attack the classification problem by codimension, rather than level. The codimension 0 class is open and dense and its structure is well known. We prove that any point of any codimension 1 class is realized by a curve having a classical A _2k singularity (k depending on the type of class). Following ([MZ10]) we define what it means for a singularity class in the tower to be “tower simple”. The codimension 0 and 1 classes are tower simple, and tower simple implies simple in the usual sense of singularity. Our main result is a classification of the codimension 2 tower simple classes in any dimension n. A key step in the classification asserts that any point of any codimension 2 singularity is realized by a curve of multiplicity 3 or 4. A central tool used in the classification are the listings of curve singularities due to Arnol’d ([Arn99], Bruce-Gaffney ([BG82]), and Gibson-Hobbs ([GH93]). We also classify the first occurring truly spatial singularities as subclasses of the codimension 2 classes. (A point or a singularity class is “spatial” if there is no curve which realizes it and which can be made to lie in some smooth surface.) As a step in the classification theorem we establish the existence of a canonical arrangement of hyperplanes at each point, lying in the distribution n-plane at that point. This arrangement leads to a coding scheme finer than the RC coding. Using the arrangement coding we establish the lower bound of 29 for the number of distinct orbits in the case n = 3 and level 4. Finally, Mormul ([Mor04], [Mor09]) has defined a different coding scheme for singularity classes in the tower and in an appendix we establish some relations between our coding and his.     

Combinatorial construction of tangent vector fields on spheres

For every odd n, on the sphere S ⁿ , ρ(n) ? 1 linear orthonormal tangent vector fields, where ρ(n) is the Hurwitz-Radon number, are explicitly constructed. For each 8 × 8 sign matrix, compositions for infinite-dimensional positive definite quadratic forms are explicitly constructed. The infinite-dimensional real normed algebras thus arising are proved to have certain properties of associativity and divisibility type.     

Classifying foliations of 3-manifolds via branched surfaces

We use branched surfaces to define an equivalence relation on C¹ codimension one foliations of any closed orientable 3-manifold that are transverse to some fixed nonsingular flow. There is a discrete metric on the set of equivalence classes with the property that foliations that are sufficiently close (up to equivalence) share important topological properties.     

Minimal helix surfaces in <Emphasis Type="Italic">N</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℝ

An immersed surface M in N ⁿ ×ℝ is a helix if its tangent planes make constant angle with ∂ _t . We prove that a minimal helix surface M, of arbitrary codimension is flat. If the codimension is one, it is totally geodesic. If the sectional curvature of N is positive, a minimal helix surfaces in N ⁿ ×ℝ is not necessarily totally geodesic. When the sectional curvature of N is nonpositive, then M is totally geodesic. In particular, minimal helix surfaces in Euclidean n-space are planes. We also investigate the case when M has parallel mean curvature vector: A complete helix surface with parallel mean curvature vector in Euclidean n-space is a plane or a cylinder of revolution. Finally, we use Eikonal f functions to construct locally any helix surface. In particular every minimal one can be constructed taking f with zero Hessian.     

A class of algebraic-trigonometric blended splines

This paper presents a new kind of algebraic-trigonometric blended spline curve, called xyB curves, generated over the space {1,t,sint,cost,sin²t,sin³t,cos³t}. The new curves not only inherit most properties of usual cubic B-spline curves in polynomial space, but also enjoy some other advantageous properties for modeling. For given control points, the shape of the new curves can be adjusted by using the parameters x and y. When the control points and the parameters are chosen appropriately, the new curves can represent some conics and transcendental curves. In addition, we present methods of constructing an interpolation xyB-spline curve and an xyB-spline curve which is tangent to the given control polygon. The generation of tensor product surfaces by these new spline curves is straightforward. Many properties of the curves can be easily extended to the surfaces. The new surfaces can exactly represent the rotation surfaces as well as the surfaces with elliptical or circular sections.     

Isotropic ppmc immersions

Isometric immersions with parallel pluri-mean curvature (“ppmc”) in euclidean n-space generalize constant mean curvature (“cmc”) surfaces to higher dimensional Kähler submanifolds. Like cmc surfaces they allow a one-parameter family of isometric deformations rotating the second fundamental form at each point. If these deformations are trivial the ppmc immersions are called isotropic. Our main result drastically restricts the intrinsic geometry of such a submanifold: Locally, it must be a symmetric space or a Riemannian product unless the immersion is holomorphic or a superminimal surface in a sphere. We can give a precise classification if the codimension is less than 7. The main idea of the proof is to show that the tangent holonomy is restricted and to apply the Berger-Simons holonomy theorem.     

Sur la topologie d'une famille de pinceaux de germes d'hypersurfaces complexes

We study the pencils of germs of complex hypersurfaces defined by the couples (ƒ, g): (C^{n+1, 0}) → (C², 0) without blowing-up in codimension 0. We approximate the equisingularity set of such a pencil in terms of the tangent directions to the discriminant germ of the morphism (ƒ, g). We next compare the monodromy modules of the generic member of this pencil with those of the atypical ones.     

Functional equations of the dilogarithm in motivic cohomology

We prove relations between fractional linear cycles in Bloch's integral cubical higher Chow complex in codimension two of number fields, which correspond to functional equations of the dilogarithm. These relations suffice, as we shall demonstrate with a few examples, to write down enough relations in Bloch's integral higher Chow group CH²(F,3) for certain number fields F to detect torsion cycles. Using the regulator map to Deligne cohomology, one can check the non-triviality of the torsion cycles thus obtained. Using this combination of methods, we obtain explicit higher Chow cycles generating the integral motivic cohomology groups of some number fields.     

Laudal-type theorems in P

In this paper we classify all integral, non-degenerate, locally Cohen-Macaulay subvarieties in P^N, whose general complementary section is a complete intersection set of points: they are either complete intersections or curves on a quadric surface in P³ or degree 4 arithmetically Buchsbaum surfaces in P⁴ (i.e. the Veronese surface or a degeneration of it). As a consequence we show that every locally Cohen-Macaulay threefold in P^S of degree 4 is a complete intersection.Moreover, we obtain a generalization of Laudal's Lemma to threefolds in P⁵ and fourfolds in P⁶, which gives a bound on the degree of a codimension 2, integral subvariety X in P^N, depending both on N and a non-lifting level s of X.     

A characterization of projective subspaces of codimension two as quasi-symmetric designs with good blocks

Consider an incidence structure whose points are the points of a PG_n(n+2,q) and whose block are the subspaces of codimension two, where n?2. Since every two subspaces of codimension two intersect in a subspace of codimension three or codimension four, it is easily seen that this incidence structure is a quasi-symmetric design. The aim of this paper is to prove a characterization of such designs (that are constructed using projective geometries) among the class of all the quasi-symmetric designs with correct parameters and with every block a good block. The paper also improves an earlier result for the special case of n=2 and obtains a Dembowski-Wagner-type result for the class of all such quasi-symmetric designs.     

On varieties of almost minimal degree III: Tangent spaces and embedding scrolls

Let X⊂P^r be a variety of almost minimal degree which is the projected image of a rational normal scroll from a point p outside of . In this paper we study the tangent spaces at singular points of X and the geometry of the embedding scrolls of X, i.e. the rational normal scrolls Y⊂P^r which contain X as a codimension one subvariety.     

Constructing one-parameter families of elliptic curves with moderate rank

We give several new constructions for moderate rank elliptic curves over Q(T). In particular we construct infinitely many rational elliptic surfaces (not in Weierstrass form) of rank 6 over Q using polynomials of degree two in T. While our method generates linearly independent points, we are able to show the rank is exactly 6 without having to verify the points are independent. The method generalizes; however, the higher rank surfaces are not rational, and we need to check that the constructed points are linearly independent.     

A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension

In this paper, we prove a classification theorem for self-shrinkers of the mean curvature flow with |A|² ≤ 1 in arbitrary codimension. In particular, this implies a gap theorem for self-shrinkers in arbitrary codimension.     

Geosphere laminations in free groups

We construct geosphere laminations for free groups, which are codimension one analogues of geodesic laminations on surfaces. Other analogues that have been constructed by several authors are dimension-one instead of codimension-one. Our main result is that the space of such laminations is compact. This in turn is based on the result that crossing, in the sense of Scott-Swarup, is an open condition. Our construction is based on Hatcher??s normal form for spheres in the model manifold.