Wednesday, October 16, 2024

2024-10-16 / 17:00 ~ 18:00

by ()

A vector bundle on projective space is called "Steiner" if it can be recognized simply as the cokernel of a map given by a matrix of linear forms. Such maps arise from various geometric setups and one can ask: from the Steiner bundle, can we recover the geometric data used to construct it? In this talk, we will mention an interesting Torelli-type result of Dolgachev and Kapranov from 1993 that serves as an origin of this story, as well as other work that this inspired. We'll then indicate our contribution which amounts to analogous Torelli-type statements for certain tautological bundles on the very ample linear series of a polarized smooth projective variety. This is joint work with R. Lazarsfeld.

2024-10-16 / 15:30 ~ 16:30

학과 세미나/콜로퀴엄 - 대수기하학:

by ()

A fundamental problem at the confluence of algebraic geometry, commutative algebra and representation theory is to understand the structure and vanishing behavior of the cohomology of line bundles on flag varieties. Over fields of characteristic zero, this is the content of the Borel-Weil-Bott theorem and is well-understood, but in positive characteristic it remains wide open, despite important progress over the years. By embedding smaller flag varieties as Schubert subvarieties in larger ones, one can compare cohomology groups on different spaces and study their eventual asymptotic behavior. In this context I will describe a sharp stabilization result, and discuss some consequences and illustrative examples. Joint work with Keller VandeBogert.

2024-10-16 / 14:00 ~ 15:00

학과 세미나/콜로퀴엄 - 대수기하학:

by 문현석(고등과학원)

Let L be a ample line bundle on a projective scheme X. We say that (X,L) satisfies property QR(k) if the homogeneous ideal can be generated by quadrics of rank less than or equal to k. In the previous paper, we show that the Veronese embedding satisfies property QR(3). Let (X,L) be a Segre-Veronese embedding where X is a product of P^{a_i} with i=1,...,l and L is a very ample lines bundle O_X(d_1,d_2,...,d_l). In the paper [Linear determinantal equations for all projective schemes, SS2011], they prove that (X,L) satisfies QR(4) and it is determinantally presented if at least l-2 entries of d_1,...,d_l are at least 2. in this talk, we prove that (X,L) satisfies Qr(3) if and only if all the entries of d_1,...,d_l are at least 2. For one direction, we compute the radical ideal of 4 by 4 minors of a big matrix with linear forms, and for the other direction, we use the inducution on the sum of entries of (d_1,...,d_l).

2024-10-16 / 11:00 ~ 12:00

학과 세미나/콜로퀴엄 - 대수기하학:

by ()

Syzygies of algebraic varieties have long been a topic of intense interest among algebraists and geometers alike. Starting with the pioneering work of Mark Green on curves, numerous attempts have been made to extend these results to higher dimensions. Ein and Lazarsfeld proved that if A is a very ample line bundle, then K_X + mA satisfies property N_p for any m>=n+1+p. It has ever since been an open question if the same holds true for A ample and basepoint free. In recent joint work with Purnaprajna Bangere we give a positive answer to this question.

2024-10-21 / 17:00 ~ 18:00

편미분방정식 통합연구실 세미나 - 편미분방정식:

by ()

We examine the dynamics of short-range interacting Bose gases with varying diluteness and interaction strength. Using a combination of mean-field and semiclassical methods, we show that, for large numbers of particles, the system’s local mass, momentum, and energy densities can be approximated by solutions to the compressible Euler system (with pressure P = gρ2 ) up to a blow-up time. In the hard-core limit, two key results are presented: the internal energy is derived solely from the many-body kinetic energy, and the coupling constant g = 4πc0 where c0 the electrostatic capacity of the interaction potential. The talk is based on our recent work arXiv:2409.14812v1. This is joint work with Shunlin Shen and Zhifei Zhang. The talk will be delivered in English and is meant for the general audience.

2024-10-23 / 16:30 ~ 18:00

학과 세미나/콜로퀴엄 - 대수기하학:

by ()

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.

2024-10-18 / 10:30 ~ 12:00

학과 세미나/콜로퀴엄 - 대수기하학:

by 조용화(경상대)

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.

2024-10-22 / 16:30 ~ 17:30

IBS-KAIST 세미나 - 이산수학: Permutations, patterns, and twin-width

by Colin Geniet(IBS 이산수학 그룹)

This talk will first introduce combinatorics on permutations and patterns, presenting the basic notions and some fundamental results: the Marcus-Tardos theorem which bounds the density of matrices avoiding a given pattern, and the Guillemot-Marx algorithm for pattern detection using the notion now known as twin-width. I will then present a decomposition result: permutations avoiding a pattern factor into bounded products of separable permutations. This can be rephrased in terms of twin-width: permutation with bounded twin-width are build from a bounded product of permutations of twin-width 0. Comparable results on graph encodings follow from this factorisation. This is joint work with Édouard Bonnet, Romain Bourneuf, and Stéphan Thomassé.

2024-10-17 / 16:15 ~ 17:15

학과 세미나/콜로퀴엄 - 콜로퀴엄:

by ()

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.

2024-10-18 / 11:00 ~ 12:00

IBS-KAIST 세미나 - IBS-KAIST 세미나:

by ()

There has been an increased use of scoring systems in clinical settings for the purpose of assessing risks in a convenient manner that provides important evidence for decision making. Machine learning-based methods may be useful for identifying important predictors and building models; however, their ‘black box’ nature limits their interpretability as well as clinical acceptability. This talk aims to introduce and demonstrate how interpretable machine learning can be used to create scoring systems for clinical decision making.

2024-10-22 / 10:30 ~ 11:30

학과 세미나/콜로퀴엄 - 대수기하학:

by ()

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.

2024-10-17 / 10:30 ~ 11:30

학과 세미나/콜로퀴엄 - 대수기하학:

by ()

Events for the 취소된 행사 포함