Program

Abstract

We give a bound on the dimension of the linear automorphism group of a projective variety in terms of its fundamental forms at a general point. Moreover, we show that the bound is achieved precisely when the projective variety is projectively equivalent to an Euler-symmetric variety. As a by-product, we determine the Lie algebra of infinitesimal automorphisms of an Euler-symmetric variety. This is a joint work with Qifeng Li.

Abstract

A normal projective surface with the same Betti numbers of the projective plane $\mathbb{CP}^2$ is called a rational homology projective plane or a $\mathbb{Q}$-homology $\mathbb{CP}^2$. People working in algebraic geometry and topology have long studied a $\mathbb{Q}$-homology $\mathbb{CP}^2$ with possibly quotient singularities.

It is well-known that it has at most five such singular points, but it is still mysterious what is the optimal upper bound for the number of quotient singular points. This is the algebraic Montgomery-Yang problem, which is one of the most famous conjectures in this field.

Recently, we announced a complete resolution of the algebraic Montgomery-Yang problem. The goal of this talk is to give a hidden idea how we approached to resolve it.

This is a joint work with Woohyeok Jo and Kyungbae Park.

Abstract

Koszul modules and resonance loci originated in geometric group theory and made a relatively recent appearance in algebraic geometry. We plan to discuss several applications to illustrate their usefulness. Based on joint work with G. Farkas, C. Raicu, A. Suciu.

Abstract

The Segre locus, the locus of points from which a projective variety is projected non-birationally onto its image, naturally appears when we consider inner projections of projective varieties. In this talk, we present work in progress aimed at computing the defining equations of the Segre locus from given defining equations of a projective variety. Due to computational constraints, our approach assumes that the variety is defined over a field of large positive characteristic. After theoretical considerations, we present explicit calculations for some typical examples of projective varieties with nonempty outer or inner Segre loci. 

Abstract

My talk will begin with the Castelnuovo--Mumford regularity of Castelnuovo-type, coming from a study of cohomologies of locally Cohen--Macaulay modules, which is also related with some geometry of successive generic hyperplane sections. After giving a survey on the regularity, I will talk on a study of the structure of vector bundles on the projective space, especially quasi-Buchsbaum bundles based on a study of the behavior of intermediate cohomologies, and will give a classification of vector bundles on the projective space with small cohomologies in terms of standard system of parameters, including a characterization of null-correlation bundles with corresponding skew-symmetric matrices.

Abstract

In this talk I present results about the behavior of mixed multiplicities and multiplicity sequence under hyperplane sections (in a joint work with C. Polini and B. Ulrich).  We are motivated by the $\mu^\ast$-invariants of an isolated hypersurface singularity, which are the Milnor numbers of the general linear sections of the singularity.  When the singularity is non-isolated, we must replace the Milnor number by the polar multiplicities and Segre numbers, which are variants of mixed multiplicities and multiplicity sequences. Our results show that in most cases, these multiplicities up to an index not greater than the dimension of the base ring minus $1$ remain unchanged by a generic hyperplane section.

Abstract

...

Abstract

...

Abstract

Let $C$ be a general $\nu$-gonal curve of genus $g$. We study Brill--Noether loci of stable rank-two vector bundles on $C$, focusing on bundles of speciality three. We construct and describe irreducible components of these loci via extensions of line bundles, and determine the degree ranges for which such components exist. These components are generically smooth and uniruled, and can be either regular or superabundant. Our approach combines the study of degeneracy loci in extension spaces, the Lange--Narasimhan criterion for stability, and the rank-two Petri map. We also discuss the corresponding loci with fixed determinant. This is joint work with Professor Flaminio Flamini (University of Rome Tor Vergata) and Professor Seonja Kim (Chungwoon University).

Abstract

I first met Professor Sijong Kwak in 2000 at Seoul National University, where we began studying commutative algebra together. Over the years, we had the opportunity to work on several problems in algebraic geometry and commutative algebra.

In this talk, I will share some memories of our mathematical journey, from our early seminars to our joint work on projections of algebraic varieties, partial elimination ideals, syzygies, and generic initial ideals. I will also briefly discuss our last joint paper with Kangjin Han, published in 2023. Finally, I will describe some recent work on affine fat point schemes, Gröbner bases, and Hermite–Vandermonde matrices, revisiting ideas from our earlier studies.

Rather than focusing on technical details, I hope to reflect on the mathematics we explored together and the memories associated with it.

Abstract

The Eisenbud--Goto regularity conjecture predicts a sharp bound for the Castelnuovo--Mumford regularity of projective varieties embedded in projective space. Two methods have been developed to attack this conjecture for projective varieties with mild singularities. The first one is to control the complexity of fibers of general projections, and the second one exploits the positivity of double point divisors. Sijong Kwak has made significant contributions to both approaches. In this talk, I will survey the history and recent progress on the Eisenbud--Goto conjecture with a focus on Sijong Kwak's achievements.

Abstract

...

Abstract

Higher secant varieties lie at the center of additive decomposition problems, and their study is ongoing with active contributions from many algebro-geometers. One of the core questions in this area is how many distinguished additive decompositions a given vector admits, including whether such a decomposition is unique. The latter is known as the identifiability problem. Interestingly, despite its geometric nature, identifiability has unexpected connections with algebraic aspects of higher secant varieties.

In this talk, we present algebraic structures of higher secant varieties, especially those of minimal degree in the sense of Ciliberto and Russo, focusing on their minimal free resolutions. These results were obtained jointly with Professor Sijong Kwak and other collaborators.

Abstract

...

Abstract

Subspace arrangements provide a natural meeting point of projective geometry, commutative algebra, and combinatorics. Given a finite collection of linear subspaces of a projective space, one may study their union through its defining ideal and ask how its geometric configuration is reflected in the algebraic invariants of that ideal. Two fundamental invariants in this context are the Castelnuovo-Mumford regularity and the Hilbert function and polynomial. Despite the simple geometric description of these varieties, understanding their defining ideals can be difficult. A classical result in this area is due to Hartshorne and Hirschowitz who settled in the early ’80 the case of generic lines. 

This talk presents recent developments on these questions, focusing on generic and transversal subspace arrangements. The first part concerns bounds on regularity. The second part develops a homological approach to the Hilbert polynomial and local cohomology, based on a complex naturally associated with a family of ideals.

Abstract

...

Abstract

In 1944 Beniamino Segre proved that the Fermat quartic surface in the $3$-dimensional projective space has infinitely many discrete automorphisms. It was the first example of an algebraic surface with infinite discrete automorphism group. Since then, it has long been an open problem to find generators of the automorphism group. On the other hand, other Fermat hypersurfaces of dimension $>1$ and degree $>2$ admit only projectively linear automorphisms, hence their automorphism groups are finite.

With Keiji Oguiso and Xun Yu, we solve this problem, providing 16 explicit generators, all of finite order. I will talk on this result, along with history of computation of automorphism groups of other K3 surfaces.