# 학과 세미나 및 콜로퀴엄

We use the geometry of symmetric products of curves to construct rank one symmetric Ulrich sheaves on the (higher) secant varieties. Time permitting, we will also give an application towards an algebraic theory of knots. This is joint work with M. Kummer and J. Park.

In this talk, we report some results on equations and the ideal of $\sigma_k(v_d(\mathbb{P}^n))$, the $k$-th secant variety of $d$-uple Veronese embedding of a projective space, in case of the $k$-th secant having a relatively small degree. Knowledge on defining equations of higher secant varieties is fundamental in the study of algebraic geometry and in recent years it also has drawn a strong attention in relation to tensor rank problems.
We first recall known results on the equation of a $k$-th secant variety and introduce key notions for this work, which are '$k$-secant variety of minimal degree' and 'del Pezzo $k$-secant variety', due to Ciliberto-Russo and Choe-Kwak, respectively. Next, we focus on the case of $\sigma_4(v_3(\mathbb{P}^3))$ in $\mathbb{P}^{19}$ as explaining our method and considering its consequences. We present more results which can be obtained by the same method. This is a joint work with K. Furukawa (Josai Univ.).

It is believed that one can attach a smooth mod-p representation of a general linear group to a mod-p local Galois representation in a natural way that is called mod-p Langlands program. This conjecture is quite far from being understood beyond GL₂(ℚₚ). However, for a given mod-p local Galois representation one can construct a candidate on the automorphic side corresponding to the Galois representation for mod-p Langlands correspondence via global Langlands. In this talk, we introduce automorphic invariants on the candidate that determine the given Galois representation for a certain family of mod-p Galois representations.

I will explain the notion of projection of syzygies, which was originally given by Ehbauer and later was much used by many mathematicians and then give two applications of it. We will firstly explain how it can be used to study the syzygies of canonical curves and in particular explain its application to a conjecture by Schreyer on the ranks of generating linear syzygies for general canonical curves. We will then explain an application of it to the study of linear syzygies of Veronese varieties.

In this talk, I will take you on a journey from mathematical concepts to their applications in brain and cognitive sciences. We will explore how differential equations and nonlinear dynamical systems can be employed to model complex biological systems, including the brain. I will also discuss how these models help in understanding higher-level processes such as sleep and circadian rhythms, offering a deeper glimpse into how the brain operates as a complex, dynamic system. Additionally, I will share my personal journey from my student days to my current role as a professor in brain and cognitive sciences, illustrating how my research path has evolved over time.

In this talk, I will first review the story about single/multi-parameter persistent homology and its algebraic abstraction, persistence modules, from the perspective of representation theory. Then, I will define the so-called interval rank invariant of persistence modules. This invariant can be computed easily by utilizing our proposed formula though its definition is purely algebraic, which will become the main part of this talk. One direct application of the formula is to show the relation between our invariant and the generalized rank invariant proposed by Kim-Memoli. If time permits, I will introduce some other applications and related content.

In this talk, we study initial value problem for the Einstein equation with null matter fields, motivated by null shell solutions of Einstein equation. In particular, we show that null shell solutions can be constructed as limits of spacetimes with null matter fields. We also study the stability of these solutions in Sobolev space: we prove that solutions with one family of null matter field are stable, while the interaction of two families of null matter fields can give rise to an instability.

The lecture series gives a view on computational methods and their some applications to existence and classfication problems. In the first lectures I will introduce Groebner basis and their basic applications in commutative algebra such as computing kernel and images of morphism between finitely presented modules over polynomial rings. As a theoretical application of Groebner basis I will give Petri's analysis of the equations of a canonical curve. The second topic will be Computer aided existence and unirationality proofs of algebraic varieties and their moduli spaces. In case of curves liaison theory is needed, which will be developed. For existence proofs random searches over finite fields is a technique that has not been exploited very much. I will illustrate this technique in a number of examples, in particular for the construction of certain surfaces. Classification of non-minimal surfaces uses adjunction theory. We will discuss this from a computational point of view.

2-linear varieties are a rich topic. Sijong Kwak initiated the study of 3-regular varieties. In this talk I report on joined work Haoang Le Truong on the classification of smooth 3-regular varieties of small codimension 3. Some of these varieties are analogously to the 2-regular case determinantal. This first non-determinantal cases occurs in codimension 3. In this talk I report on the classification of varieties with Betti table
$$
\begin{matrix}
& 0 & 1 & 2 & 3\\ \hline
0: & 1 & . & . & .\\
1: & . & . & . & .\\
2: & . & 10 & 15 & 6
\end{matrix}
$$
Our approach consist of studying extension starting from curves. Let $X \subset \mathbb P^n$ be a variety. An e-extension $Y \subset \mathbb P^{n+e}$ of $X$ is a variety, which is not a cone, such that there exists a regular sequence $y_1,\ldots,y_e$ of linear forms for the homogeneous coordinate ring $S_Y$ of $Y$ such that $S_Y/(y_1,\ldots,y_e) = S_X$ is the coordinate ring of $X$. Using a computationally easy deformation theoretic method to compute extensions, we classify the extensions of 3-regular curves in $\mathbb P^4$ to surfaces in $\mathhbb P^5$ completely.

In the 19th century, Kummer extensively studied quartic surfaces in the complex projective 3-space containing 16 nodes(=ordinary double points). One of his notable results states that a quartic surface cannot contain more than 16 nodes. This leads to a classic question: how many nodes may a surface of degree d contain? The answer to this question is known only for a very low degrees, namely, degrees 5 and 6. To find the optimal answer(31) for quintics, Beauville introduced the concept of "even sets of nodes," which turned out to be highly influential in the study of nodal surfaces. Based on the structure theorem of even sets by Casnati and Catanese, we will discuss some structure theorems of nodal quintics and sextics with maximal number of nodes. This talk is based on joint works with Fabrizio Catanese, Stephen Coughlan, Davide Frapporti, Michael Kiermaier, and Sascha Kurz.

Resonance varieties are algebro-geometric objects that emerged from the geometric group theory. They are naturally associated to vector subspaces in second exterior powers and carry natural scheme structures that can be non-reduced. In algebraic geometry, they made an unexpected appearance in connection with syzygies of canonical curves. In this talk, based on works with G. Farkas, Y. Kim, C. Raicu, A. Suciu, and J. Weyman I report on some recent results concerning the geometry of resonance schemes in the vector bundle setup.

https://kaist.zoom.us/j/81427312084?pwd=arF7jyUZ3aVbnQoKv74adW2Bx4Nh6g.1 Meeting ID: 814 2731 2084 Password: syzygies

https://kaist.zoom.us/j/81427312084?pwd=arF7jyUZ3aVbnQoKv74adW2Bx4Nh6g.1 Meeting ID: 814 2731 2084 Password: syzygies

Distances such as the Gromov-Hausdorff distance and its Optimal Transport variants are nowadays routinely invoked in applications related to data classification. Interestingly, the precise value of these distances on pairs of canonical shapes is known only in very limited cases. In this talk, I will describe lower bounds for the Gromov-Hausdorff distance between spheres (endowed with their geodesic distances) which we prove to be tight in some cases via the construction of optimal correspondences. These lower bounds arise from a certain version of the Borsuk-Ulam theorem for discontinuous functions.

We present a formula for the degree of the 3-secant variety of a nonsingular projective variety embedded by a 5-very ample line bundle. The formula is provided in terms of Segre classes of the tangent bundle of a given variety. We use the generalized version of double point formula to reduce the calculation into the case of the 2-secant variety. Due to the singularity of the 2-secant variety, we use secant bundle as a nonsingular birational model and compute multiplications of desired algebraic cycles. Additionally, we compute the Hilbert-Samuel multiplicity of 2-secant variety along given variety.

In this talk we present a construction of quadratic equations and their weight one syzygies of tangent varieties using 4-way tensors of linear forms. This is in line with the 2-minor technique for quadratic equations of projective varieties and with the Oeding-Raicu theorem on equations of tangent varieties to Segre-Veronese varieties. We also discuss generalizations of the method if time permits. This is an early stage research.

The study of monomial ideals is central to many areas of commutative algebra and algebraic geometry, with Stanley-Reisner theory providing a crucial bridge between algebraic invariants and combinatorial structures. We explore how the syzygies and Betti diagrams of Stanley-Reisner ideals can be understood through combinatorial operations on simplicial complexes.
In this talk, we focus on the regularity of Stanley-Reisner ideals. We introduce a graph decomposition that bounds the regularity and a decomposition of simplicial complexes with respect to facets. In addition, we introduce secant complexes corresponding to the joins of varieties defined by Stanley-Reisner ideals and investigate the secant variety of minimal degree defined by the Stanley-Reisner ideals. This talk includes multiple collaborative works with G. Blekherman, J. Choe, J. Kim, M. Kim, and Y. Kim.

Let J={a,b} be an unordered pair of F_q, and E_J the associated elliptic curve of the form y^3=(x-a)(x-b) over \F_q. We show that there are "only three possible values" for the trace of Frobenius of E_J. Furthermore, these three values can be computed via a certain Jacobi sum. As applications, we first compute the average analytic rank of a certain family of elliptic curves. Next, we generate elliptic curves with designated extremal primes. After computing a variant of the n-th moment of Traces of Frobenius, we give explicit values and average values on class numbers of every constant field extension of K_J=F_q(\sqrt[3]{(T-a)(T-b)}). Finally, we compute the exact values and the average values on Euler-Kronecker constants of K_J. This is a joint work with Jinjoo Yoo.

We consider the Euler-Poisson system, which describes the ion dynamics in electrostatic plasmas. In plasma physics, the pressureless model is often employed to simplify analysis. However, the behavior of solutions to the pressureless model generally differs from that of the isothermal model, both qualitatively and quantitatively - for instance, in the case of blow-up solutions.
In previous work, we investigated a class of initial data leads to finite-time C^1 blow-up solutions. In order to understand more precise blow-up profiles, we construct blow-up solutions converging to the stable self-similar blow-up profile of the Burgers equation. For the isothermal model, the density and velocity exhibit C^{1/3} regularity at the blow-up time. For the pressureless model, we provide the exact blow-up profile of the density function, showing that the density is not a Dirac measure at the moment of blow-up.
We also consider the peaked traveling solitary waves, which are not differentiable at a point. Our findings show that the singularities of these peaked solitary waves have nothing to do with the Burgers blow-up singularity. We study numerical solutions to the Euler-Poisson system to provide evidence of whether there are solutions whose blow-up nature is not shock-like.
This talk is based on collaborative work with Junho Choi (KAIST), Yunjoo Kim, Bongsuk Kwon, Sang-Hyuck Moon, and Kwan Woo (UNIST)

We propose a collocation method based on multivariate polynomial splines over triangulation or tetrahedralization for numerical solution of partial differential equations. We start with a detailed explanation of the method for the Poisson equation and then extend the study to other PDEs. We shall show that the numerical solution can approximate the exact PDE solution very well. Then we present a large amount of numerical experimental results to demonstrate the performance of the method over the two- and three-dimensional settings.

An Ulrich bundle E on an n-dimensional projective variety (X, O(1)) is a vector bundle whose module of twisted global sections is a maximal Cohen-Macaulay module having the maximal number of generators in degree 0. It was once studied by commutative algebraists, but after Eisenbud and Schreyer introduced its geometric viewpoint, many people discovered several important applications in wide areas of mathematics. In this motivating paper, Eisenbud-Schreyer asked a question whether a given projective variety has an Ulrich bundle, and what is the minimal possible rank of an Ulrich bundle if exists. The answer is still widely open for algebraic surfaces and higher dimensional varieties.
Thanks to a number of studies, the answer for the above question is now well-understood for del Pezzo threefolds. In particular, a del Pezzo threefold V_d of (degree d≥3) has an Ulrich bundle of rank r for every r at least 2. The Hartshorne-Serre correspondence translates the existence of rank-3 Ulrich bundle into the existence of an ACM curve C in V_d of genus g=2d+4 and degree 3d+3. In this talk, we first recall a construction of rank-3 Ulrich bundle on a cubic threefold by Geiss and Schreyer, by showing that a "random" curve of given genus and degree lies in a cubic threefold and satisfies the whole conditions we needed. We also discuss how this problem is related to the unirationality of the Hurwitz space H(k, 2g+2k-2) and the moduli of curves M_g. An analogous construction works for d=4, however, for d=5 a general curve of genus 14 and degree 18 does not belong to V_5. We characterize geometric conditions when does such a curve can be embedded into V_5 using the vanishing resonance. This is a joint work with Marian Aprodu.

We give L^2-signature obstructions to embedding closed 3-manifolds with infinite cyclic first homology in closed 4-manifolds with infinite cyclic fundamental group preserving first homology. From the obstructions, we obtain lower bounds on the double slice genus of a knot, and give examples of algebraically doubly slice knots with vanishing Casson-Gordon invariants whose double slice genera are arbitrarily large. This is a joint work with Taehee Kim.

I will describe recent joint work with Keller VandeBogert on constructing pure free resolutions over quadric hypersurface rings. Along the way I will describe some connections between total positivity and Koszul algebras and some conjectures regarding the homotopy Lie algebra and its "fattened" versions.

Zoom: https://kaist.zoom.us/j/81046219243?pwd=Py3uTm7NnFeUnshoaoctuZpsKptH5i.1 Meeting ID: 810 4621 9243 Password: syzygies

Zoom: https://kaist.zoom.us/j/81046219243?pwd=Py3uTm7NnFeUnshoaoctuZpsKptH5i.1 Meeting ID: 810 4621 9243 Password: syzygies

In this series of lectures, we will discuss fundamental concepts of Bayesian inference and its applications to dynamical systems in the context of data assimilation. The focus is on the assimilation step, which combines observation data with a prediction model. The lectures will discuss Gaussian and non-Gaussian approaches, including Kalman and particle filters. We will also discuss implementations of various algorithms and consider their computational benefits and efficiency. It is recommended to know basic numerical analysis for predictions, but it is optional to understand the main ideas of the lectures.

There have been at least two surprising events to geometers in 80-90s that they had to admit physics really helps to solve classical problems in geometry. Donaldson proved the existence of exotic 4-dimensional Euclidean space using gauge theory and Givental counts rational curves in quintic threefolds using Feynman diagram in string theory. These events hugely popularised new mathematical topics such as mirror symmetry and enumerative geometry via moduli spaces. In this talk, we present what happened in this field in a past few decades and something happening right now.

Physics-Informed Neural Networks (PINNs) have emerged as a promising method for solving partial differential equations (PDEs) by embedding physical laws directly into the learning process. However, a critical question remains: How do we validate that PINNs accurately solve these PDEs?
This talk explores the types of mathematical validation required to ensure that PINNs can reliably approximate solutions to PDEs. We will discuss the conditions under which PINNs can converge to the correct solution, the relationship between minimizing residuals and achieving accurate results, and the role of optimization algorithms in this process. Our goal is to provide a clear understanding of the theoretical foundations needed to trust PINNs in practical applications while addressing the challenges in this emerging field.