Rational singularities and $q$-birational morphism

Donghyeon Kim

2024-07-01

Abstract:In this paper, we generalize the notion of rational singularities for any reflexive sheaf of rank $1$, link our notion of rational singularities with the notion of rational singularities in [Kov11], and prove generalizations of standard facts about rational singularities. Moreover, by using a definition of non-rational locus, we introduce the notion of $(B_{q+1})$ as a dual notion of well-known Serre's notion of $(S_{q+1})$, and prove a theorem about $q$-birational morphisms.

Algebraic Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to generalize the concept of rational singularities and apply it to an arbitrary reflexive sheaf of rank 1, and at the same time explore the relationship between these generalized concepts and the existing definitions of rational singularities. Specifically, by introducing weakly rational singularities and new conditions (such as (KVq), (RSq), etc.), the author gives a broader definition of rational singularities and proves the connections and differences between these new definitions and the existing ones.

In addition, the paper also explores the properties of q - birational morphisms and proves some important theorems about these morphisms. In particular, the author introduces the concept of (Bq + 1) as the dual of the Serre condition (Sq + 1) and proves an important theorem about q - birational morphisms.

The following are some of the key issues involved in the paper:

1. **Generalizing the concept of rational singularities**:
- Generalize the concept of rational singularities from Weil divisors to an arbitrary reflexive sheaf of rank 1.
- Introduce the concept of weakly rational singularities and explore their properties.

2. **Exploring the relationship between the new and old definitions**:
- Compare the new definition with the definitions in [Kov11] and [Kol13], and point out the advantages and differences of the new definition.
- Prove that if a pair (X, D) has rational singularities in the sense of [Kov11] and [Kol13], then - D also has rational singularities under the new definition.

3. **Studying q - birational morphisms**:
- Define q - birational morphisms and prove their relationship with rational singularities.
- Introduce the concept of (Bq + 1) and prove an important theorem about q - birational morphisms.

4. **Proving some basic theorems**:
- Prove some basic theorems about weakly rational singularities and rational singularities.
- Explore the relationship between the CM property (Cohen - Macaulay property) and q - birational morphisms.

Through these works, the author provides a broader and deeper understanding of the theory of rational singularities in algebraic geometry and lays the foundation for further research.