Wednesday, October 9, 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-10 / 15:30 ~ 16:30

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

by ()

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.

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

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

by 한강진()

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

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

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

by ()

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.

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

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

by 박철()

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.

2024-10-11 / 13:30 ~ 14:30

학과 세미나/콜로퀴엄 - Topology, Geometry, and Data Analysis:

by ()

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.

2024-10-10 / 11:50 ~ 12:40

대학원생 세미나 - 대학원생 세미나:

by 이도현()

TBA

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

편미분방정식 통합연구실 세미나 - 편미분방정식: Null shell solutions - stability and instability

by (고등과학원)

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.

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

SAARC 세미나 - SAARC 세미나:

by 라준현(KIAS)

Wave turbulence refers to the statistical theory of weakly nonlinear dispersive waves. In the weakly turbulent regime of a system of dispersive waves, its statistics can be described via a coarse-grained dynamics, governed by the kinetic wave equation. Remarkably, kinetic wave equations admit exact power-law solutions, called Kolmogorov-Zakharov spectra, which resemble Kolmogorov spectrum of hydrodynamic turbulence, and is often interpreted as a transient equilibrium between excitation and dissipation. In this talk, we will outline a local well-posedness result for kinetic wave equation for a toy model for wave turbulence. The result includes well-posedness near K-Z spectra, and demonstrates a surprising smoothing effect of the kinetic wave equation. The talk is based on the joint work with Pierre Germain (ICL) and Katherine Zhiyuan Zhang (Northeastern).

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

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

by 김대욱(KAIST 뇌인지과학과)

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.

2024-10-15 / 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-15 / 16:30 ~ 17:30

IBS-KAIST 세미나 - 이산수학: Random walks on percolation

by Kyeongsik Nam(KAIST)

In general, random walks on fractal graphs are expected to exhibit anomalous behaviors, for example heat kernel is significantly different from that in the case of lattices. Alexander and Orbach in 1982 conjectured that random walks on critical percolation, a prominent example of fractal graphs, exhibit mean field behavior; for instance, its spectral dimension is 4/3. In this talk, I will talk about this conjecture for a canonical dependent percolation model.

Events for the 취소된 행사 포함