Source author record

Sung-Yeon Kim

Sung-Yeon Kim appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CV math.DG

Catalog footprint

What is connected

4works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Totally geodesic discs in bounded symmetric domains

In this paper, we characterize $C^2$-smooth totally geodesic isometric embeddings $f\colon Ω\toΩ'$ between bounded symmetric domains $Ω$ and $Ω'$ which extend $C^1$-smoothly over some open subset in the Shilov boundaries and have nontrivial normal derivatives on it. In particular, if $Ω$ is irreducible, there exist totally geodesic bounded symmetric subdomains $Ω_1$ and $Ω_2$ of $Ω'$ such that $f = (f_1, f_2)$ maps into $Ω_1\times Ω_2\subset Ω$ where $f_1$ is holomorphic and $f_2$ is anti-holomorphic totally geodesic isometric embeddings. If $\text{rank}(Ω')<2\text{rank}(Ω)$, then either $f$ or $\bar f$ is a standard holomorphic embedding.

preprint2020arXiv

Triangular resolutions and effectiveness for holomorphic subelliptic multipliers

A solution to the effectiveness problem in Kohn's algorithm for generating subelliptic multipliers is provided for domains that include those given by sums of squares of holomorphic functions (also including infinite sums). These domains are of particular interest due to their relation with complex and algebraic geometry and in particular, seem to include all previously known cases. Furthermore, combined with a recent result of M. Fassina, our effectiveness method allows establishing effective subelliptic estimates for more general classes of domains. Our main new tool, a triangular resolution, is the construction of subelliptic multipliers decomposable as $Q\circΓ$, where $Γ$ is constructed from pre-multipliers and $Q$ is part of a triangular system. The effectiveness is proved via a sequence of newly proposed procedures, called here meta-procedures, built on top of the Kohn's procedures, where the order of subellipticity can be effectively tracked. Important sources of inspiration are algebraic-geometric techniques by Y.-T. Siu and procedures for triangular systems by D.W. Catlin and J.P. D'Angelo. The proposed procedures are purely algebraic and as such can also be of interest for geometric and computational problems involving Jacobian determinants, such as resolving singularities of holomorphic maps.

preprint2013arXiv

Rigidity of CR maps between Shilov boundaries of bounded symmetric domains

Our goal is to establish what seems to be the first rigidity result for CR embeddings between Shilov boundaries of bounded symmetric domains of higher rank. The result states that any such CR embedding is the standard linear embedding up to CR automorphisms. Our basic assumption extends precisely the well-known optimal bound for the rank one case. There are no other restrictions on the ranks, in particular, the difficult case when the target rank is larger than the source rank is also allowed.

preprint2001arXiv

The equivalence and the embedding problems for CR-structures of any codimension

We give a solution to the equivalence and the embedding problems for smooth CR-submanifolds of complex spaces (and, more generally, for abstract CR-manifolds) in terms of complete differential systems in jet bundles satisfied by all CR-equivalences or CR-embeddings respectively (local and global). For the equivalence problem, the manifolds are assumed to be of finite type and finitely nondegenerate. These are higher order generalizations of the corresponding nondegeneracy conditions for the Levi form. It is shown by a simple example that these nondegeneracy conditions cannot be even slightly relaxed to more general known conditions. In particular, for essentially finite hypersurfaces in $\C^2$, such a complete system may not exist in general. For the embedding problem, the source manifold is assumed to be of finite type and the embeddings to be finitely nondegenerate. Situations are given, where the last condition is automatically satisfied by all CR-embeddings.