Search

To each projective hypersurface which is not a cone, we associate an abelian linear algebraic group called the symmetrizer group of the corresponding symmetric form. This group describes the set of homogeneous polynomials with the same Jacobian ideal and gives a conceptual explanation of results by Ueda--Yoshinaga and Wang. In particular, the diagonalizable part of the symmetrizer group detects Sebastiani-Thom property of the hypersurface and its unipotent part is related to the singularity of the hypersurface., Comment: to appear in J. Math. Soc. Japan

The works of Commichau--Grauert and Hirschowitz showed that a formal equivalence between embeddings of a compact complex manifold is convergent, if the embeddings have sufficiently positive normal bundles in a suitable sense. We show that the convergence still holds under the weaker assumption of semi-positive normal bundles if some geometric conditions are satisfied. Our result can be applied to many examples of general minimal rational curves, including general lines on a smooth hypersurface of degree less than $n$ in the $(n+1)$-dimensional projective space. As a key ingredient of our arguments, we formulate and prove a generalized version of Tanaka's prolongation procedure for geometric structures subordinate to vector distributions, a result of independent interest. When applied to the universal family of the deformations of the compact submanifolds satisfying our geometric conditions, the generalized Tanaka prolongation gives a natural absolute parallelism on a suitable fiber space. A formal equivalence of embeddings must preserve these absolute parallelisms, which implies its convergence.

We exploit a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension $5$ to present a new perspective in the study of symmetries of $(2,3,5)$-distributions. This leads to a number of new results in this classical subject, including an unexpected relation between the multiply-transitive families of models having $7$- and $6$-dimensional symmetries, and a one-to-one correspondence between equivalence classes of nontransitive $(2,3,5)$-distributions with $6$-dimensional symmetries and nonhomogeneous nondegenerate Legendrian curves in $\mathbb{P}^3$. An ingredient for establishing the former is an explicit classification of homogeneous nondegenerate Legendrian curves in $\mathbb{P}^3$, which we present., Comment: 33 pages

We study the relation between torsion tensors of principal connections on G-structures and characteristic conic connections on associated cone structures. We formulate sufficient conditions under which the existence of a characteristic conic connection implies the existence of a torsion-free principal connection. We verify these conditions for adjoint varieties of simple Lie algebras, excluding those of type $\textsf{A}_{\ell \neq 2}$ or $\textsf{C}_{\ell}$. As an application, we give a complete classification of the germs of minimal rational curves whose VMRT at a general point is such an adjoint variety: nontrivial ones come from lines on hyperplane sections of certain Grassmannians or minimal rational curves on wonderful group compactifications., Comment: To appear in Journal de Math\'ematiques Pures et Appliqu\'ees

For a symplectic vector space $V$, a projective subvariety $Z \subset {\bf P} V$ is a Legendrian variety if its affine cone $\widehat{Z} \subset V$ is Lagrangian. In addition to the classical examples of subadjoint varieties associated to simple Lie algebras, many examples of nonsingular Legendrian varieties have been discovered which have positive-dimensional automorphism groups. We give a characterization of subadjoint varieties among such Legendrian varieties in terms of the isotropy representation. Our proof uses some special features of the projective third fundamental forms of Legendrian varieties and their relation to the lines on the Legendrian varieties., Comment: to appear in Ann. Inst. Fourier (Grenoble)

We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the normal bundles of the rational curves are positive, the conjecture follows from the results of Commichau-Grauert and Hirschowitz. We prove the conjecture for the opposite case when the normal bundles are furthest from positive vector bundles among bracket-generating families, namely, when the families of rational curves are of Goursat type. The proof uses natural ODEs associated to rational curves of Goursat type and corresponding Cartan connections constructed by Doubrov-Komrakov-Morimoto. As an example, we see that a general line on a smooth cubic fourfold satisfies the formal principle with convergence., Comment: to appear in Algebraic Geometry and Physics

We show that any smooth surface germ in the moduli of abelian surfaces arises from a Lagrangian fibration of abelian surfaces. By Donagi-Markman's cubic condition, the key issue of the proof is to find a suitable affine structure with a compatible cubic form on the base space of the family. We achieve this by analyzing the properties of cubic forms in two variables and proving the existence of the solution of the resulting partial differential equations by Cauchy-Kowalewski Theorem. Modifying the argument, we show also that a smooth curve germ in the moduli of abelian surfaces arises from a Lagrangian fibration if and only if the curve is a null curve with respect to the natural holomorphic conformal structure on the moduli of abelian surfaces.

Local stay of the solutions to the Euler equations for an ideal incompressible fluid in the end-point Triebel-Lizorkin spaces $F^s_{1, \infty}(\mathbb{R}^d)$ with $s \geq d + 1$ is clarified., Comment: 15 pages

Since the celebrated work by Cartan, distributions with \nobreak{small} growth vector $(2,3,5)$ have been studied extensively. In the holomorphic setting, there is a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension 5. We generalize this correspondence to higher dimensions by studying nondegenerate lines on holomorphic contact manifolds and the corresponding class of distributions of small growth vector $(2m, 3m, 3m+2)$ for any positive integer $m$., Comment: To appear in Nagoya Mathematical Journal

Pasquier and Perrin discovered that the ${\rm G}_2$-horospherical manifold ${\bf X}$ of Picard number 1 can be realized as a smooth specialization of the rational homogeneous space parameterizing the lines on the 5-dimensional hyperquadric, in other words, it can be deformed nontrivially to the rational homogeneous space. We show that ${\bf X}$ is the only smooth projective variety with this property. This is obtained as a consequence of our main result that ${\bf X}$ can be recognized by its VMRT, namely, a Fano manifold of Picard number 1 is biregular to ${\bf X}$ if and only if its VMRT at a general point is projectively isomorphic to that of ${\bf X}$. We employ the method the authors developed to solve the corresponding problem for symplectic Grassmannians, which constructs a flat Cartan connection in a neighborhood of a general minimal rational curve. In adapting this method to ${\bf X}$, we need an intricate study of the positivity/negativity of vector bundles with respect to a family of rational curves, which is subtler than the case of symplectic Grassmannians because of the nature of the differential geometric structure on ${\bf X}$ arising from VMRT., Comment: To appear in Transformation Groups

We study minimal rational curves on a complex manifold that are tangent to a distribution. In this setting, the variety of minimal rational tangents (VMRT) has to be isotropic with respect to the Levi tensor of the distribution. Our main result is a converse of this: any smooth projective variety isotropic with respect to a vector-valued anti-symmetric form can be realized as VMRT of minimal rational curves tangent to a distribution on a complex manifold. The complex manifold is constructed as a partial equivariant compactification of a metabelian group, which is a result of independent interest., Comment: 19 pages, to appear in IMRN

1-flat irreducible G-structures, equivalently, irreducible G-structures admitting torsion-free affine connections, have been studied extensively in differential geometry, especially in connection with the theory of affine holonomy groups. We propose to study them in a setting in algebraic geometry, where they arise from varieties of minimal rational tangents (VMRT) associated to families of minimal rational curves on uniruled projective manifolds. We prove that such a structure is locally symmetric when the dimension of the uniruled projective manifold is at least 5. By the classification result of Merkulov and Schwachh\"ofer on irreducible affine holonomy, the problem is reduced to the case when the VMRT at a general point of the uniruled projective manifold is isomorphic to a subadjoint variety. In the latter situation, we prove a stronger result that, without the assumption of 1-flatness, the structure arising from VMRT is always locally flat. The proof employs the method of Cartan connections. An interesting feature is that Cartan connections are considered not for the G-structures themselves, but for certain geometric structures on the spaces of minimal rational curves., Comment: 36 pages, to appear in Journal of Geometric Analysis in the collection in memory of Nessim Sibony

Carbon Nanotubes (CNTs) of sufficiently large diameter and a few layers self-collapse into flat ribbons at atmospheric pressure, forming bundles of stacked CNTs that maximize packing and thus CNT interaction. Their improved stress transfer by shear makes collapsed CNTs ideal building blocks in macroscopic fibers of CNTs with high-performance longitudinal properties, particularly high tensile properties as reinforcing fibres. This work introduces cross-sectional transmission electron microscopy of FIB-milled samples as a way to univocally identify collapsed CNTs and to determine the full population of different CNTs in macroscopic fibers produced by spinning from floating catalyst chemical vapour deposition. We show that close proximity in bundles is a major driver for collapse and that CNT stoutness (number of layers/diameter), which dominates the collapse onset, is controlled by the growth promotor. Despite differences in decomposition route, different C precursors lead to similar distributions of the ratio layers/diameter. The synthesis conditions in this study give a maximum fraction of collapsed CNTs of 70$\%$ when using selenium as promotor, corresponding to an average of $0.25 layer/nm$.

We study unbendable rational curves, i.e., nonsingular rational curves in a complex manifold of dimension $n$ with normal bundles isomorphic to $\mathcal{O}_{\mathbb{P}^1}(1)^{\oplus p} \oplus \mathcal{O}_{\mathbb{P}^1}^{\oplus (n-1-p)}$ for some nonnegative integer $p$. Well-known examples arise from algebraic geometry as general minimal rational curves of uniruled projective manifolds. After describing the relations between the differential geometric properties of the natural distributions on the deformation spaces of unbendable rational curves and the projective geometric properties of their varieties of minimal rational tangents, we concentrate on the case of $p=1$ and $n \leq 5$, which is the simplest nontrivial situation. In this case, the families of unbendable rational curves fall essentially into two classes: Goursat type or Cartan type. Those of Goursat type arise from ordinary differential equations and those of Cartan type have special features related to contact geometry. We show that the family of lines on any nonsingular cubic 4-fold is of Goursat type, whereas the family of lines on a general quartic 5-fold is of Cartan type, in the proof of which the projective geometry of varieties of minimal rational tangents plays a key role., Comment: To appear in Journal de Math\'ematiques Pures et Appliqu\'ees

A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\mathcal O}_{{\mathbb P}^1}(1)^{\oplus p} \oplus {\mathcal O}_{{\mathbb P}^1}^{\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \in C,$ which is the germ of submanifolds ${\mathcal C}^C_x \subset {\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \subset TX$ such that all small deformations of $C$ are tangent to $D$, one asks what kind of submanifolds of projective space can be realized as the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$. When $D \subset TX$ is a contact distribution, a well-known necessary condition is that ${\mathcal C}_x^C$ should be Legendrian with respect to the induced contact structure on ${\mathbb P} D_x$. We prove that this is also a sufficient condition: we construct a complex manifold $X$ with a contact structure $D \subset TX$ and an unbendable rational curve $C \subset X$ such that all small deformations of $C$ are tangent to $D$ and the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$ at some point $x\in C$ is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory., Comment: 20 pages, to appear in J. Math. Soc. Japan

A cone structure on a complex manifold $M$ is a closed submanifold $\mathcal C \subset \mathbb P TM$ of the projectivized tangent bundle which is submersive over $M$. A conic connection on $\mathcal C$ specifies a distinguished family of curves on $M$ in the directions specified by $\mathcal C$. There are two common sources of cone structures and conic connections, one in differential geometry and another in algebraic geometry. In differential geometry, we have cone structures induced by the geometric structures underlying holomorphic parabolic geometries, a classical example of which is the null cone bundle of a holomorphic conformal structure. In algebraic geometry, we have the cone structures consisting of varieties of minimal rational tangents (VMRT) given by minimal rational curves on uniruled projective manifolds. The local invariants of the cone structures in parabolic geometries are given by the curvature of the parabolic geometries, the nature of which depend on the type of the parabolic geometry, i.e., the type of the fibers of $\mathcal C \to M$. For the VMRT-structures, more intrinsic invariants of the conic connections which do not depend on the type of the fiber play important roles. We study the relation between these two different aspects for the cone structures induced by parabolic geometries associated with a long simple root of a complex simple Lie algebra. As an application, we obtain a local differential-geometric version of the global algebraic-geometric recognition theorem due to Mok and Hong--Hwang. In our local version, the role of rational curves is completely replaced by appropriate torsion conditions on the conic connection., Comment: 39 pages

We study a cone structure ${\mathcal C} \subset {\mathbb P} D$ on a holomorphic contact manifold $(M, D \subset T_M)$ such that each fiber ${\mathcal C}_x \subset {\mathbb P} D_x$ is isomorphic to a Legendrian submanifold of fixed isomorphism type. By characterizing subadjoint varieties among Legendrian submanifolds in terms of contact prolongations, we prove that the canonical distribution on the associated contact G-structure admits a holomorphic horizontal splitting., Comment: 14 pages, to appear in the proceedings volume of the Abel Symposium 2019

Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulated question. When the submanifolds do have nonzero vector fields, we obtain an affirmative answer to the question under the additional assumption that submanifolds have certain nice deformation properties, which is applicable to free rational curves. As an application, we obtain a stronger version of the Cartan-Fubini type extension theorem for Fano manifolds of Picard number 1. We also propose a potential application on hyperplane sections of projective K3 surfaces., Comment: 24 pages. The result in Section 4 has been replaced by a weaker statement, because the argument in the first version had a gap, which was pointed out by Yong Hu. To appear in Duke Math. J