Source author record

Jun-Muk Hwang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.DG math.CV math.SG

Catalog footprint

Research overview

16works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Minimal rational curves and 1-flat irreducible G-structures

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öfer 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.

preprint2022arXiv

Partial compactification of metabelian Lie groups with prescribed varieties of minimal rational tangents

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.

preprint2021arXiv

Extending Nirenberg-Spencer's question on holomorphic embeddings to families of holomorphic embeddings

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.

preprint2021arXiv

Unbendable rational curves of Goursat type and Cartan type

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.

preprint2021arXiv

Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures

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.

preprint2016arXiv

Prolongations of infinitesimal automorphisms of cubic hypersurfaces with nonzero Hessian

We study the connected component of the automorphism group of a cubic hypersurface over complex numbers. When the cubic hypersurface has nonzero Hessian, this group is usually small. But there are examples with unusually large automorphism groups: the secants of Severi varieties. Can we characterize them by the property of having unusually large automorphism groups? We study this question from the viewpoint of prolongations of the Lie algebras. Our result characterizes the secants of Severi varieties, among cubic hypersurfaces with nonzero Hessian and smooth singular locus, in terms of prolongations of certain type.

preprint2015arXiv

Mori geometry meets Cartan geometry: Varieties of minimal rational tangents

We give an introduction to the theory of varieties of minimal rational tangents, emphasizing its aspect as a fusion of algebraic geometry and differential geometry, more specifically, a fusion of Mori geometry of minimal rational curves and Cartan geometry of cone structures.

preprint2013arXiv

Uniqueness of equivariant compactifications of C^n by a Fano manifold of Picard number 1

Let X be an $n$ -dimensional Fano manifold of Picard number 1. We study how many different ways X can compactify the complex vector group C^n equivariantly. Hassett and Tschinkel showed that when X = P^n with n \geq 2, there are many distinct ways that X can be realized as equivariant compactifications of C^n. Our result says that projective space is an exception: among Fano manifolds of Picard number 1 with smooth VMRT, projective space is the only one compactifying C^n equivariantly in more than one ways. This answers questions raised by Hassett-Tschinkel and Arzhantsev-Sharoyko.

preprint2013arXiv

Varieties of minimal rational tangents on double covers of projective space

Let $ϕ: X \to \mathbb P^n$ be a double cover branched along a smooth hypersurface of degree $2m, 2 \leq m \leq n-1$ . We study the varieties of minimal rational tangents $\mathcal C_x \subset \mathbb P T_x(X)$ at a general point $x$ of $X$ . We describe the homogeneous ideal of $\mathcal C_x$ and show that the projective isomorphism type of $\mathcal C_x$ varies in a maximal way as $x$ varies over general points of $X$ . Our description of the ideal of $\mathbb C_x$ implies a certain rigidity property of the covering morphism $ϕ$ . As an application of this rigidity, we show that any finite morphism between such double covers with $m=n-1$ must be an isomorphism. We also prove that Liouville-type extension property holds with respect to minimal rational curves on $X$ .

preprint2012arXiv

Webs of Lagrangian Tori in Projective Symplectic Manifolds

For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups.

preprint2011arXiv

Slopes of smooth curves on Fano manifolds

Ross and Thomas introduced the concept of slope stability to study K-stability, which has conjectural relation with the existence of constant scalar curvature Kähler metric. This paper presents a study of slope stability of Fano manifolds of dimension $n\geq 3$ with respect to smooth curves. The question turns out to be easy for curves of genus $\geq 1$ and the interest lies in the case of smooth rational curves. Our main result classifies completely the cases when a polarized Fano manifold $(X, -K_X)$ is not slope stable with respect to a smooth curve. Our result also states that a Fano threefold $X$ with Picard number 1 is slope stable with respect to every smooth curve unless $X$ is the projective space.

preprint2010arXiv

Buser-Sarnak invariant and projective normality of abelian varieties

We show that a general $n$ -dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp lower bound for the volume of a purely one-dimensional complex analytic subvariety in a geodesic tubular neighborhood of a subtorus of a compact complex torus.

preprint2010arXiv

Classification of non-degenerate projective varieties with non-zero prolongation and application to target rigidity

The prolongation g^{(k)} of a linear Lie algebra g \subset gl(V) plays an important role in the study of symmetries of G-structures. Cartan and Kobayashi-Nagano have given a complete classification of irreducible linear Lie algebras g \subset gl(V) with non-zero prolongations. If g is the Lie algebra aut(\hat{S}) of infinitesimal linear automorphisms of a projective variety S \subset \BP V, its prolongation g^{(k)} is related to the symmetries of cone structures, an important example of which is the variety of minimal rational tangents in the study of uniruled projective manifolds. From this perspective, understanding the prolongation aut(\hat{S})^{(k)} is useful in questions related to the automorphism groups of uniruled projective manifolds. Our main result is a complete classification of irreducible non-degenerate nonsingular variety with non zero prolongations, which can be viewed as a generalization of the result of Cartan and Kobayashi-Nagano. As an application, we show that when $S$ is linearly normal and Sec(S) \neq P(V), the blow-up of P(V) along S has the target rigidity property, i.e., any deformation of a surjective morphism Y \to Bl_S(PV) comes from the automorphisms of Bl_S(PV).

preprint2010arXiv

Local structure of principally polarized stable Lagrangian fibrations

A holomorphic Lagrangian fibration is stable if the characteristic cycles of the singular fibers are of type $I_m, 1 \leq m <\infty,$ or $A_{\infty}$ . We will give a complete description of the local structure of a stable Lagrangian fibration when it is principally polarized. In particular, we give an explicit form of the period map of such a fibration and conversely, for a period map of the described type, we construct a principally polarized stable Lagrangian fibration with the given period map. This enables us to give a number of examples exhibiting interesting behavior of the characteristic cycles.

preprint2004arXiv

Hecke curves and Hitchin discriminant

Let $C$ be a smooth projective curve of genus $g\geq 4$ over the complex numbers and ${\cal SU}^s_C(r,d)$ be the moduli space of stable vector bundles of rank $r$ with a fixed determinant of degree $d$ . In the projectivized cotangent space at a general point $E$ of ${\cal SU}^s_C(r,d)$ , there exists a distinguished hypersurface ${\cal S}_E$ consisting of cotangent vectors with singular spectral curves. In the projectivized tangent space at $E$ , there exists a distinguished subvariety ${\cal C}_E$ consisting of vectors tangent to Hecke curves in ${\cal SU}^s_C(r,d)$ through $E$ . Our main result establishes that the hypersurface ${\cal S}_E$ and the variety ${\cal C}_E$ are dual to each other. As an application of this duality relation, we prove that any surjective morphism ${\cal SU}^s_C(r,d) \to {\cal SU}^s_{C'}(r,d)$ , where $C'$ is another curve of genus $g$ , is biregular. This confirms, for ${\cal SU}^s_C(r,d)$ , the general expectation that a Fano variety of Picard number 1, excepting the projective space, has no non-trivial self-morphism and that morphisms between Fano varieties of Picard number 1 are rare. The duality relation also gives simple proofs of the non-abelian Torelli theorem and the result of Kouvidakis-Pantev on the automorphisms of ${\cal SU}^s_C(r,d)$ .

preprint1996arXiv

Rigidity of irreducible Hermitian symmetric spaces of the compact type under K"ahler deformation

We study deformations of irreducible Hermitian symmetric spaces $S$ of the compact type, known to be locally rigid, as projective-algberaic manifolds and prove that no jump of complex structures can occur. For each $S$ of rank $\ge 2$ there is an associated reductive linear group $G$ such that $S$ admits a holomorphic $G$ -structure, corresponding to a reduction of the structure group of the tangent bundle. $S$ is characterized as the unique simply-connected compact complex manifold admitting such a $G$ -structure which is at the same time integrable. To prove the deformation rigidity of $S$ it suffices that the corresponding integrable $G$ -structures converge. We argue by contradiction using the deformation theory of rational curves. Assuming that a jump of complex structures occurs, cones of vectors tangent to degree-1 rational curves on the special fiber $X_0$ are linearly degenerate, thus defining a proper meromorphic distribution $W$ on $X_0$ . We prove that such $W$ cannot possibly exist. On the one hand, integrability of $W$ would contradict the fact that $b_2(X)=1$ . On the other hand, we prove that $W$ would be automatically integrable by producing families of integral complex surfaces of $W$ as pencils of degree-1 rational curves. For the verification that there are enough integral surfaces we need a description of generic cones on the special fiber. We show that they are in fact images of standard cones under linear projections. We achieve this by studying deformations of normalizations of Chow spaces of minimal rational curves marked at a point, which are themselves Hermitian symmetric, irreducible except in the case of Grassmannians.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jun-Muk Hwang

Research overview

Is this your work?

16 publications

Minimal rational curves and 1-flat irreducible G-structures

Partial compactification of metabelian Lie groups with prescribed varieties of minimal rational tangents

Extending Nirenberg-Spencer's question on holomorphic embeddings to families of holomorphic embeddings

Unbendable rational curves of Goursat type and Cartan type

Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures

Prolongations of infinitesimal automorphisms of cubic hypersurfaces with nonzero Hessian

Mori geometry meets Cartan geometry: Varieties of minimal rational tangents

Uniqueness of equivariant compactifications of C^n by a Fano manifold of Picard number 1

Varieties of minimal rational tangents on double covers of projective space

Webs of Lagrangian Tori in Projective Symplectic Manifolds

Slopes of smooth curves on Fano manifolds

Buser-Sarnak invariant and projective normality of abelian varieties

Classification of non-degenerate projective varieties with non-zero prolongation and application to target rigidity

Local structure of principally polarized stable Lagrangian fibrations

Hecke curves and Hitchin discriminant

Rigidity of irreducible Hermitian symmetric spaces of the compact type under K"ahler deformation

See the researcher in context

Building this map preview