Source author record

Chanyoung Sung

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

ResearcherUnclaimed source record

math.DG math.GT

Catalog footprint

Research overview

13works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Finite group actions and G-monopole classes on smooth 4-manifolds

On a smooth closed oriented $4$ -manifold $M$ with a smooth action by a compact Lie group $G$ , we define a $G$ -monopole class as an element of $H^2(M;\Bbb Z)$ which is the first Chern class of a $G$ -equivariant Spin $^c$ structure which has a solution of the Seiberg-Witten equations for any $G$ -invariant Riemannian metric on $M$ . We find $\Bbb Z_k$ -monopole classes on some $\Bbb Z_k$ -manifolds such as the connected sum of $k$ copies of a 4-manifold with nontrivial mod 2 Seiberg-Witten invariant or Bauer-Furuta invariant, where the $\Bbb Z_k$ -action is a cyclic permutation of $k$ summands. As an application, we produce infinitely many exotic non-free actions of $\Bbb Z_k\oplus H$ on some connected sums of finite number of $S^2\times S^2$ , $\Bbb CP_2$ , $\overline{\Bbb CP}_2$ , and $K3$ surfaces, where $k\geq 2$ , and $H$ is any nontrivial finite group acting freely on $S^3$ .

preprint2014arXiv

G-monopole invariants on some connected sums of 4-manifolds

On a smooth closed oriented $4$ -manifold $M$ with a smooth action of a finite group $G$ on a Spin $^c$ structure, $G$ -monopole invariant is defined by "counting" $G$ -invariant solutions of Seiberg-Witten equations for any $G$ -invariant Riemannian metric on $M$ . We compute $G$ -monopole invariants on some $G$ -manifolds. For example, the connected sum of $k$ copies of a 4-manifold with nontrivial mod 2 Seiberg-Witten invariant has nonzero $\Bbb Z_k$ -monopole invariant mod 2, where the $\Bbb Z_k$ -action is given by cyclic permutations of $k$ summands.

preprint2014arXiv

Scalar Curvature Functions of Almost-Kähler Metrics

For a closed smooth manifold $M$ admitting a symplectic structure, we define a smooth topological invariant $Z(M)$ using almost-Kähler metrics, i.e. Riemannian metrics compatible with symplectic structures. We also introduce $Z(M, [[ω]])$ depending on symplectic deformation equivalence class $[[ω]]$ . We first prove that there exists a 6-dimensional smooth manifold $M$ with more than one deformation equivalence classes with different signs of $Z(M, [[ω]] )$ . Using $Z$ invariants, we set up a Kazdan-Warner type problem of classifying symplectic manifolds into three categories. We finally prove that on every closed symplectic manifold $(M, ω)$ of dimension $\geq 4$ , any smooth function which is somewhere negative and somewhere zero can be the scalar curvature of an almost-Kähler metric compatible with a symplectic form which is deformation equivalent to $ω$ .

preprint2014arXiv

Some refined higher type adjunction inequalities on 4-manifolds

We further sharpen higher type adjunction inequalities of P. Ozsváth and Z. Szabó on a 4-manifold $M$ with a nonzero Seiberg-Witten invariant for a Spin $^c$ structure $\frak{s}$ , when an embedded surface $Σ\subset M$ satisfies $[Σ]\cdot [Σ]\geq 0$ and $|\langle [Σ],c_1(\frak{s})\rangle|+[Σ]\cdot [Σ]\geq 2b_1(M).$

preprint2013arXiv

An Omori-Yau maximum principle for semi-elliptic operators and Liouville-type theorems

We generalize the Omori-Yau almost maximum principle of the Laplace-Beltrami operator on a complete Riemannian manifold $M$ to a second-order linear semi-elliptic operator $L$ with bounded coefficients and no zeroth order term. Using this result, we prove some Liouville-type theorems for a real-valued $C^{2}$ function $f$ on $M$ satisfying $L f \geq F(f)+ H(|\nabla f|)$ for real-valued continuous functions $F$ and $H$ on $\Bbb R$ such that $H(0)=0$ .

preprint2013arXiv

G-monopole classes, Ricci flow, and Yamabe invariants of 4-manifolds

On a smooth closed oriented 4-manifold $M$ with a smooth action by a finite group $G$ , we show that a $G$ -monopole class gives the $L^2$ -estimate of the Ricci curvature of a $G$ -invariant Riemannian metric, and derive a topological obstruction to the existence of a $G$ -invariant nonsingular solution to the normalized Ricci flow on $M$ . In particular, for certain $m$ and $n$ , $m\Bbb CP_2 # n\bar{\Bbb CP}_2$ admits an infinite family of topologically equivalent but smoothly distinct non-free actions of $\Bbb Z_d$ such that it admits no nonsingular solution to the normalized Ricci flow for any initial metric invariant under such an action, where $d>1$ is a non-prime integer. We also compute the $G$ -Yamabe invariants of some 4-manifolds with $G$ -monopole classes and the oribifold Yamabe invariants of some 4-orbifolds.

preprint2013arXiv

The symmetry of Spin^c Dirac spectrums on Riemannian product manifolds

It is well-known that the spectrum of a $\text{spin}^{\mathbb{C}}$ Dirac operator on a closed Riemannian $\text{spin}^{\mathbb{C}}$ manifold $M^{2k}$ of dimension $2k$ for $k \in \mathbb{N}$ is symmetric. In this article, we prove that over an odd-dimensional Riemannian product $M_{1}^{2p} \times M_{2}^{2q+1}$ with a product $\text{spin}^{\mathbb{C}}$ structure for $p \geq 1, q \geq 0$ , the spectrum of a $\text{spin}^{\mathbb{C}}$ Dirac operator given by a product connection is symmetric if and only if either the $\text{spin}^{\mathbb{C}}$ Dirac spectrum of $M_{2}^{2q+1}$ is symmetric or $(e^{\frac{1}{2}c_{1}(L_{1})} \hat{A}(M_1))[M_{1}]=0$ , where $L_1$ is the associated line bundle for the given $\text{spin}^{\mathbb{C}}$ structure of $M_1$ .

preprint2012arXiv

Ricci curvature and monopole classes on 3-manifolds

We prove an L^2-estimate involving Ricci curvature and a harmonic 1-form on a closed oriented Riemannian 3-manifold admitting a solution of any rescaled Seiberg-Witten equations. We also give a necessary condition to be a monopole class on some special connected sums.

preprint2011arXiv

Connected sums with HP^n or CaP^2 and the Yamabe invariant

Let $M$ be a smooth closed $4k$ -manifold whose Yamabe invariant $Y(M)$ is nonpositive. We show that $Y(M\sharp l \Bbb HP^k\sharp m \bar{\Bbb HP^k})=Y(M),$ where $l,m$ are nonnegative integers, and $\Bbb HP^k$ is the quaternionic projective space. When $k=4$ , we also have $Y(M\sharp l CaP^2\sharp m \bar{CaP^2})=Y(M),$ where $CaP^2$ is the Cayley plane.

preprint2010arXiv

Liouville-type theorems and applications to geometry on complete Riemannian manifolds

On a complete Riemannian manifold M with Ricci curvature satisfying $\textrm{Ric}(\nabla r,\nabla r) \geq -Ar^2(\log r)^2(\log(\log r))^2...(\log^{k}r)^2$ for $r\gg 1$ , where A>0 is a constant, and r is the distance from an arbitrarily fixed point in M. we prove some Liouville-type theorems for a C^2 function $f:M\rightarrow \Bbb R$ satisfying $Δf\geq F(f)$ for a function $F:\Bbb R\rightarrow \Bbb R$ .

preprint2010arXiv

On the nonexistence of Einstein metric on 4-manifolds

By using the gluing formulae of the Seiberg-Witten invariant, we show the nonexistence of Einstein metric on manifolds obtained from a 4-manifold with nontrivial Seiberg-Witten invariant by performing sufficiently many connected sums or appropriate surgeries along circles or homologically trivial 2-spheres with closed oriented 4-manifolds with negative definite intersection form.

preprint2010arXiv

Surgery, Yamabe invariant, and Seiberg-Witten theory

By using the gluing formula of the Seiberg-Witten invariant, we compute the Yamabe invariant Y(X) of 4-manifolds X obtained by performing surgeries along points, circles or tori on compact Kaehler surfaces. For instance, if M is a compact Kaehler surface of nonnegative Kodaira dimension, and N is a smooth closed oriented 4-manifold with b_2^+(N)=0 and Y(N)>= 0, then we show that Y(M # N)=Y(M).

preprint2010arXiv

T-structure and the Yamabe invariant

The Yamabe invariant is an invariant of a closed smooth manifold, which contains information about possible scalar curvature on it. It is well-known that a product manifold T^m\times B where T^m$ is the m-dimensional torus, and B is a closed spin manifold of nonzero \hat{A}-genus has zero Yamabe invariant. We generalize it to various T-structured manifolds, for example T^m-bundles over such B whose transition functions take values in Sp(m,Z) (or Sp(m-1,Z)\oplus \pm 1 for odd m).

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.

Chanyoung Sung

Research overview

Is this your work?

13 publications

Finite group actions and G-monopole classes on smooth 4-manifolds

G-monopole invariants on some connected sums of 4-manifolds

Scalar Curvature Functions of Almost-Kähler Metrics

Some refined higher type adjunction inequalities on 4-manifolds

An Omori-Yau maximum principle for semi-elliptic operators and Liouville-type theorems

G-monopole classes, Ricci flow, and Yamabe invariants of 4-manifolds

The symmetry of Spin^c Dirac spectrums on Riemannian product manifolds

Ricci curvature and monopole classes on 3-manifolds

Connected sums with HP^n or CaP^2 and the Yamabe invariant

Liouville-type theorems and applications to geometry on complete Riemannian manifolds

On the nonexistence of Einstein metric on 4-manifolds

Surgery, Yamabe invariant, and Seiberg-Witten theory

T-structure and the Yamabe invariant

See the researcher in context

Building this map preview