Source author record

JongHae Keum

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.GT

Catalog footprint

Research overview

14works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Combinatorially minimal Mori dream surfaces of general type

In this paper, we suggest a new approach to study minimal surfaces of general type with $p_g=0$ via their Cox rings, especially using the notion of combinatorially minimal Mori dream space introduced by Hausen. First, we study general properties of combinatorially minimal Mori dream surfaces. Then we discuss how to apply these ideas to the study of minimal surfaces of general type with $p_g=0$ which are very important but still mysterious objects. In our previous paper, we provided several examples of Mori dream surfaces of general type with $p_g=0$ and computed their effective cones explicitly. In this paper, we study their fibrations, explicit combinatorially minimal models and discuss singularities of the combinatorially minimal models. We also show that many minimal surfaces of general type with $p_g=0$ arise from the minimal resolutions of combinatorially minimal Mori dream surfaces.

preprint2015arXiv

A vanishing theorem on fake projective planes with enough automorphisms

For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$ . For every fake projective plane with automorphism group of order 9, we prove the same vanishing for every cubic root (and its twist by a 2-torsion) of the canonical bundle $K$ . As an immediate consequence, there are exceptional sequences of length 3 on such fake projective planes.

preprint2015arXiv

K3 surfaces with an order 50 automorphism

In any characteristic different from 2 and 5, Kondō gave an example of a K3 surface with a purely non-symplectic automorphism of order 50. The surface was explicitly given as a double plane branched along a smooth sextic curve. In this note we show that, in any characteristic $p\neq 2, 5$ , a K3 surface with a cyclic action of order 50 is isomorphic to the example of Kondō.

preprint2014arXiv

K3 surfaces with an automorphism of order 66, the maximum possible

In each characteristic $p\neq 2, 3$ , it was shown in a previous work that the order of an automorphism of a K3 surface is bounded by 66, if finite. Here, it is shown that in each characteristic $p\neq 2, 3$ a K3 surface with a cyclic action of order 66 is unique up to isomorphism. The equation of the unique surface is given explicitly in the tame case ( $p\nmid 66$ ) and in the wild case ( $p=11$ ).

preprint2013arXiv

K3 surfaces with an order 60 automorphism and a characterization of supersingular K3 surfaces with Artin invariant 1

In characteristic $p=0$ or $p>5$ , we show that a K3 surface with an order 60 automorphism is unique up to isomorphism. As a consequence, we characterize the supersingular K3 surface with Artin invariant 1 in characteristic $p=11$ (mod 12) by a cyclic symmetry of order 60.

preprint2013arXiv

Orders of automorphisms of K3 surfaces

We determine all posible orders of automorphisms of finite order of complex K3 surfaces or of K3 surfaces in characteristic $p>3$ . E.g., a positive integer $N$ is the order of an automorphism of a complex K3 surface if and only if $ϕ(N)\le 20$ where $ϕ$ is the Euler function. In particular, 66 is the maximum finite order in each characteristic $p\neq 2,3$ . As a consequence, we give a bound for the orders of finite groups acting on K3 surfaces in characteristic $p>7$ .

preprint2012arXiv

Cyclic groups of automorphisms of complex K3 surfaces

We determine all possible orders of automorphisms of complex K3 surfaces. A positive integer N is the order of an automorphism of a complex K3 surface if and only if $ϕ(N) \leq 20$ where $ϕ$ is the Euler function.

preprint2011arXiv

Algebraic Montgomery-Yang Problem: the noncyclic case

Montgomery-Yang problem predicts that every pseudofree differentiable circle action on the 5-dimensional sphere ${\mathbb S}^5$ has at most 3 non-free orbits. Using a certain one-to-one correspondence, Kollár formulated the algebraic version of the Montgomery-Yang problem: every projective surface $S$ with quotient singularities such that $b_2(S) = 1$ has at most 3 singular points if its smooth locus $S^0$ is simply-connected. In this paper, we prove the conjecture under the assumption that $S$ has at least one noncyclic singularity. In the course of the proof, we classify projective surfaces $S$ with quotient singularities such that (i) $b_2(S) = 1$ , (ii) $H_1(S^0, \mathbb{Z}) = 0$ , and (iii) $S$ has 4 or more singular points, not all cyclic, and prove that all such surfaces have $π_1(S^0)\cong \mathfrak{A}_5$ , the icosahedral group.

preprint2010arXiv

Algebraic Montgomery-Yang Problem: the non-rational case and the del Pezzo case

Montgomery-Yang problem predicts that every pseudofree differentiable circle action on the 5-dimensional sphere has at most 3 non-free orbits. Using a certain one-to-one correspondence, Kollár formulated the algebraic version of the Montgomery-Yang problem: every projective surface $S$ with the second Betti number $b_2(S) = 1$ and with quotient singularities only has at most 3 singular points if its smooth locus $S^0$ is simply-connected. In a previous paper, we have confirmed the conjecture when $S$ has at least one non-cyclic quotient singularity. In this paper, we prove the conjecture either when $S$ is not rational or when $-K_S$ is ample.

preprint2010arXiv

Construction of surfaces of general type from elliptic surfaces via Q-Gorenstein smoothing

We present methods to construct interesting surfaces of general type via $\mathbb{Q}$ -Gorenstein smoothing of a singular surface obtained from an elliptic surface. By applying our methods to special Enriques surfaces, we construct new examples of a minimal surface of general type with $p_g=0$ , $π_1=\mathbb{Z}/2\mathbb{Z}$ , and $K^2\le 4$ .

preprint2010arXiv

Constructions of singular rational surfaces of Picard number one with ample canonical divisor

Kollár gave a series of examples of rational surfaces of Picard number $1$ with ample canonical divisor having cyclic singularities. In this paper, we construct several series of new examples in a geometric way, i.e., by blowing up several times inside a configuration of curves on the projective plane and then by contracting chains of rational curves. One series of our examples have the same singularities as Kollár's examples.

preprint2010arXiv

Toward a geometric construction of fake projective planes

We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$ -elliptic surface that is the minimal resolution of a quotient of a fake projective plane. As a consequence, we give a classification of ${\mathbb Q}$ -homology projective planes with cusps only.

preprint2008arXiv

Quotients of fake projective planes

Recently, Prasad and Yeung classified all possible fundamental groups of fake projective planes. According to their result, many fake projective planes admit a nontrivial group of automorphisms, and in that case it is isomorphic to $\bbZ/3\bbZ$, $\bbZ/7\bbZ$, $7:3$ , or $(\bbZ/3\bbZ)^2$, where $7:3$ is the unique non-abelian group of order 21. Let $G$ be a group of automorphisms of a fake projective plane $X$ . In this paper we classify all possible structures of the quotient surface $X/G$ and its minimal resolution.

preprint2001arXiv

Birational automorphisms of quartic Hessian surfaces

We find generators of the group of birational automorphisms of the Hessian surface of a general cubic surface. Its nonsingular minimal model is a K3 surface with the Picard lattice of rank 16. The latter embeds naturally in the even unimodular lattice $II^{1,25}$ of rank 26 and signature $(1,25)$ as the orthogonal complement of a root sublattice of rank 10. Our generators are related to reflections with respect to some Leech roots. A similar observation was made first in the case of quartic Kummer surfaces in the work of S. Kond$\bar {\roman o}$. We shall explain how our generators are related to the generators of the group of birational automorphisms of a general quartic Kummer surface which is birationally isomorphic to a special Hessian surface.

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.

JongHae Keum

Research overview

Is this your work?

14 publications

Combinatorially minimal Mori dream surfaces of general type

A vanishing theorem on fake projective planes with enough automorphisms

K3 surfaces with an order 50 automorphism

K3 surfaces with an automorphism of order 66, the maximum possible

K3 surfaces with an order 60 automorphism and a characterization of supersingular K3 surfaces with Artin invariant 1

Orders of automorphisms of K3 surfaces

Cyclic groups of automorphisms of complex K3 surfaces

Algebraic Montgomery-Yang Problem: the noncyclic case

Algebraic Montgomery-Yang Problem: the non-rational case and the del Pezzo case

Construction of surfaces of general type from elliptic surfaces via Q-Gorenstein smoothing

Constructions of singular rational surfaces of Picard number one with ample canonical divisor

Toward a geometric construction of fake projective planes

Quotients of fake projective planes

Birational automorphisms of quartic Hessian surfaces

See the researcher in context

Building this map preview