In view of scheme language, we start from the beginning of the theory of elliptic curves and geometric modular forms, and further cover the topics about Jacobians and Galois representation as well as modularity problems.

In this talk, we will survey the article "Modular forms and projective invariants - J.Igusa(1967)".

In this talk, we will survey the article "Class fields over real quadratic fields and Hecke operators - G.Shimura(1972)".

제목: 소수의 역사- 유클리드에서 리만까지

초록: 소수가 무수히 많이 있다는 유클리드의 증명에서 시작하여, 소수의 역수의 합이 무한대로 발산한다는 오일러의 결과, 가우스가 예상한 소수정리 및 관련된 내용, 1859년에 제출된 리만의 논문, 소수정리의 증명, 소수정리와 리만가설의 관계 등을 소개

참석하고자 하시는 분은 사전 등록을 해주시면 감사하겠습니다^^

goo.gl/ScpH4X

Cluster algebras are fundamental objects in mathematics and physics. All important algebraic / combinatorial / geometric / topological / physical objects are conjectured to have cluster algebra structures. 
We introduce cluster algebras and their remarkable properties. Positivity is a central theme in this field. In joint work with Schiffler, we prove the positivity conjecture. We also explain a very recent work of Gross, Hacking, Keel and Kontsevich along this line.  

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

We present a complete combinatorial classification of the associated primes of every fixed power of the edge ideal of a graph. Earlier results have been obtained only for the second and third powers. The classification is achieved by using matching theory. It turns out that these associated primes are characterized by certain kind of subgraphs which can be easily detected. 

 우리가 TV나 서커스에서 종종 볼 수 있는 공을 사용하는 저글링은 공을 공중에 던지고 받는 행위라고 할 수 있다. 이 강연에서는 던지는 공의 높이를 순차적으로 기록해 얻어진 저글링 수열에 대해 알아본다. 가장 흔히 볼 수 있는 "3볼 캐스캐이드"는 모든 공을 같은 높이 3으로 던져서 이것으로 수열을 만들면 33...=3이 된다. 그 밖에도 441, 51, 531 등은 저글링 수열이 되지만 443은 저글링 수열이 될 수 없다. 우리는 주어진 수열이 언제 저글링 수열이 되는지, 그리고 저글링 수열이 될 때 필요한 공의 갯수에 대해 알아볼 것이다. 또한 공의 갯수와 던지는 높이가 제한된 경우 가능한 저글링 수열이 얼마나 있는지 알아본다.

The theory of minimal surbmanifolds has its origin in the theory of calculus of variations developed by Euler and Lagrange in the 18th century and in later investigations by Schwarz, Riemann and Weierstrass in the 19th century, but it has very recently seen remarkable advances that have solved lots of long standing open problems. In the first talk, we illustrate various proofs of Bernstein’s Theorem that the only entire solutions of minimal surface equation are affine functions.

The functions of living cells are regulated by the complex biochemical network, which consists of stochastic interactions among genes and proteins. However, due to the complexity of biochemical networks and the limit of experimental techniques, identifying entire biochemical interaction network is still far from complete. On the other hand, output of the networks, timecourses of genes and proteins can be easily acquired with advances in technology. I will describe how to reveal the biochemical network architecture with oscillating timecourse data. Next, I will discuss how to reduce or simplify the stochastic biochemical networks while preserving the slow timescale dynamics. Specifically, I will show when macroscopic rate functions (e.g. Michaelis-Menten equation)describing the slow timescale dynamics of deterministic systems can be used for stochastic simulations. Finally, I will discuss how the network topology affects the functions and dynamics of biochemical networks with an example of circadian (~24hr) clock.

In the second talk, we provide classical and modern examples of higher dimensional minimal varieties in Euclidean space. In particular, we study the Choe-Hoppe solution of the minimal hypersurface equation.

This talk is about the extension of the previous presentation titled "Hawkes process and high-frequency financial data".

In the previous presentation, I explained the basic properties of the Hawkes process and its use in modeling price dynamics and volatility estimation.

I show the empirical studies based on the symmetric Hawkes process, a simple model to take into account for both clustering property and market micro structure noise, using S&P 500 stock price data.

In addition, I introduce the recent developments of the marked point process approach to describe not only the location of random events but also additional information, called mark, attached to each event.

The original Hawkes process method might be limited to the unit size jump movements but by the marked version, we model the random size of jump in the price dynamics.

In this talk I will present some new result of my research group on the upper bound of $n_0$ such that the depths of the rings $R/I^n$ or $R/{overline I}^n$ become unchanged for all $nge n_0$, where $I$ is a monomial ideal in a polynomial ring $R$.

Abstract: We say an integer is y -smooth if all of its prime factors are less than or equal to y . We consider the Diophantine equation a+b=c   where all variables are y -smooth and ( a,b,c )=1  . A recent work of Lagarias and Soundararajan showed that this equation has at least  exp ( y  1/ κ    )   solutions for κ >8   when y  is large. In this talk, I will describe some recent progress in this problem and an analogous theorem for the polynomial rings over finite fields.

A hex tree is an ordered tree of which each vertex has updegree 0, 1, or 2, and an edge from a vertex of updegree 1 is either left, median, or right. In this talk, we introduce an enumeration problem of symmetric hex trees and describe a bijection between symmetric hex trees and a certain class of supertrees. Some algebraic properties of the polynomials arising in this procedure also will be discussed.

Since the revolution of molecular biology and quantitative biology in the early 1980s, mathematical modeling has been widely used to understand complex biological systems, which typically consist of non-linear and stochastic biochemical interactions. Typical process of applying mathematical models to biological systems includes mathematical representation of biological systems, the fitting of the models to experimental data, the predictions with the analysis and simulations and the validation of the prediction with experiments. In this talk, I will describe mathematical tools used in each step of this process. I will also discuss which toolboxes of mathematical biology still lack of solid mathematical foundation due to the relatively short history of mathematical biology.

Abstract. Let K be a number eld and X = Spec OK. Then we can write
the etale fundamental group et 1 (X) ' Gal(Kf ur=K), where Kf ur is the maximal extension of K which is unrami ed over all nite places. This fact is one of the motivations of the study of unrami ed extensions of number elds and their Galois groups. Under the assumption of the GRH(Generalized Riemann
Hypothesis), we show that there are number elds K such that Gal(Kf ur=K) is a nite nonabelian simple group. 

We present a generalized immersed boundary (IB) method combined with the unconstrained Kirchhoff rod theory which has been developed to study the biological fluid mechanics in filamentous structures such as bacterial flagella and DNA sequences.

A thin elastic filament (rod) in the Kirchhoff model that resists bending and twisting can be modeled as a ``three-dimensional space curve'' together with an orthonormal triad (material frame) at each point of the rod. The space curve represents the centerline of the rod and the triad indicates the amount of bend and twist of the elastic rod. This is a well-established theory in the statics and dynamics of thin elastic filaments without fluid. Combining Kirchhoff rod theory with the standard models of viscous incompressible fluids will allow us to study the complicated hydrodynamics of bacterial swimming, DNA supercoiling, and more.

In this talk we will discuss derived categories of coherent sheaves on algebraic varieties and their applications to algebraic geometry.

In this talk we will discuss structures of derived categories of surfaces with $p_g=q=0$. To be more precise we will discuss the notion of semiorthogonal decomposition and how it helps to understand the structures of derived categories of surfaces with $p_g=q=0$. Finally we will give some examples of semiorthogonal decompostions of derived categories of surfaces with $p_g=q=0$.

 A hedging is an action to protect oneself from losing or failing by a counter-balancing action. Several hedging strategies will be presented to help understand the concept of hedging. In reality, complexity arising from multi-dimensional risk factors will make hedging more challenging. The Black-Scholes partial differential equation will be briefly introduced as a primary example to perfectly hedge European options. And more Greeks will be discussed for a complete hedge.

We prove the linearity (of the lengths) of some generalized Davenport-Schinzel sequences. Standard Davenport-Schinzel sequences oforder 2 (avoiding abab) are linear, while those of order 3 (avoiding ababa) and higher can be superlinear. Our goal is to determine what pattern(s), in addition to ababa, must be forbidden to regain linearity. This work is motivated by an intriguing open problem: does the lower envelope of any set of degree 3 polynomials have linear complexity?

An important combinatorial result in equivariant cohomology and K-theorySchubert calculus is represented by the formulas of Billey, Graham and Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this talk we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We discuss its properties and applications. This is a report on the joint work with C. Lenart.

<9회> 11월 14일 김판기교수님 (서울대학교)

제목: Random walks and their limits

내용: Random walks 와 이의 극한으로 표현되는 브라운 운동에 대해 소개합니다. 브라운운동의 몇가지 성질과  브라운운동을 이용한 적분, 그리고 편미분 방정식과의 관계도 설명하고자 합니다.

장소: KAIST 수리과학과 E-6 3435호
시간: 12:00 ~ 13:15
점심식사: 김밥과 음료를 11시 45분부터 1000원에 제공

참석하고자 하시는 분은 사전 등록을 해주시면 감사하겠습니다^^

http://goo.gl/RWCrLv

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

 Oriented equivariant cohomology theories and the associated formal groups laws have been a subject of intensive investigations since 60's, mostly inspired by the theory of complex cobordism in topology. In the present talk we discuss several recent developments in the study of algebraic analogues of such theories, e.g. algebraic cobordism of Levine-Morel or algebraic elliptic cohomology, of projective homogeneous varieties. In particular, we address the problem of constructing the Schubert and the Bott-Samelson classes for such theories.

In view of scheme language, we start from the beginning of the theory of elliptic curves and geometric modular forms, and further cover the topics about Jacobians and Galois representation as well as modularity problems.

In this talk, we will survey the article "Modular forms and projective invariants - J.Igusa(1967)".

In this talk, we will survey the article "Class fields over real quadratic fields and Hecke operators - G.Shimura(1972)".

 <8회> 11월 7일 오용근교수님 (IBS)

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

오용근교수님 (IBS)

Title: Hamilton-Jacobi equation and continuous Hamiltonian dynamics

Abstract: In this talk, we will explain how a natural continuous solution to Hamilton-Jacobi equation (HJE) can be constructed by the Floer homology theory in the framework of continuous Hamiltonian dynamics. We will relate its initial value problem and boundary value problem to various constructions arising from Floer homology theory.

 We will discuss filling and divergence functions. We will describe their behaviors for mapping class groups of surfaces and show that these functions exhibit phase transitions at the rank, in analogy to the corresponding result for symmetric spaces. This work is joint with Cornelia Drutu.

For each composition c⃗ we show that the order complex of the poset of pointed set partitions Π∙c⃗ is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with descent composition c⃗ . Furthermore, the action of the symmetric group on the top homology is isomorphic to the Specht module SB where B is a border strip associated to the composition. We also study the filter of pointed set partitions generated by a knapsack integer partition and show the analogous results on homotopy type and action on the top homology.

In view of scheme language, we start from the beginning of the theory of elliptic curves and geometric modular forms, and further cover the topics about Jacobians and Galois representation as well as modularity problems.

In this talk, we will survey the article "Modular forms and projective invariants - J.Igusa(1967)".

In this talk, we will survey the article "Class fields over real quadratic fields and Hecke operators - G.Shimura(1972)".

고등학교 때 미적분을 처음 접했을 때부터  많은 함수에 대해서 그의 미분은 계산하기가 쉬우나 부정적분은 계산하기가 어렵다는 것을 느끼게 됩니다. 로그함수, 역삼각함수 등을 익히고 나면 임의의 유리식의 부정적분을 어떻게 구하는지  배우게 되는데요, 그러면 유리식이 아닌 여러가지 무리식의 부정적분은 어떻게 구하는 걸까요? 이것은 미적분이 도입된 이 후 상당 기간 수학자들에게 가장 큰 관심사였습니다. 이 문제가 어떻게 연구되어 왔는지, 그리고 대학에 와서 수학을 여러 방면으로 더 깊이 배우게 되는데 더 복잡한 무리식의 부정적분은 언제 배우게 되는 것인지 등등 얘기해봅시다.

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

A web of rational curves on a projective manifold is a family of rational curves on the manifold with trivial normal bundle. Most interesting case is when the projective manifold is Fano of number 1. We report on the progress on the Cartan-Fubini type extension theorem for webs of rational curves on Fano manifolds of Picard number 1.

 Classification of proper holomorphicmaps between bounded symmetric domains is deeply related to the study of locally symmetric spaces. In this talk, we consider rigidity problem of proper holomorphic maps between bounded symmetric domains and related problems in locally symmetric spaces. Then we give an introduction to differential geometric techniques on rigidity problems, based on the similar phenomenon for local CR maps between arbitrary boundary components of two bounded symmetric domains of Cartan type I.

A hypergraph on V is a collection E of a subsets of a ground set V. A transversal in a hypergraph H=(V,E) is a subset T of V that intersects every set in E. We are interested in an output-polynomial algorithm for listing the set (inclusion wise) minimal transversals in a given hypergraph (known as Hypergraph Dualization or Transversal Problem). An enumeration algorithm for a set C is an algorithm that lists the elements of C without repetitions; it is said output-polynomial if it can enumerate the set C in time polynomial in the size of C and the input. The Transversal problem is a fifty-year open problem and until now not so many tractable cases are known and has deep connections with several areas of computer science: dualization of monotone functions, data mining, artificial intelligence, etc.

In this talk I will review some known results. In particular I will show that the Transversal problem is polynomially reduced to the enumeration of minimal dominating sets in co-bipartite graphs. A dominating set in a graph is a subset of vertices that intersect the closed neighborhood of every vertex. This interesting connection, we hope, will help in solving the Transversal problem by bringing structural graph theory into this area. I will also review new graph classes where we obtain polynomial delay algorithm for listing the minimal dominating sets. The talk will emphasize on the known techniques rather than a listing of known tractable cases.

We describe all the factorial double covers of P^3 ramified along nodal quartic surface.

We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational models obtained by Mori's program are also moduli spaces of parabolic vector bundles with certain parabolic weights. In this talk, we introduce wall-crossings of the moduli space, sl_2-conformal blocks and double sequences that are central techniques for the computation of the effective cone. This is a joint work with Dr. Han-Bom Moon.

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

In this talk I will define quasi-homomorphisms from braid groups to the smooth concordance group of knots and examine its properties and consequences of its existence. In particular, I will provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infinite families of concordance classes of knots with uniformly bounded four ball genus. I will also provide applications to the geometry of the infinite braid group. In particular, I will show that its commutator subgroup admits a stably unbounded conjugation invariant norm. This answers an open problem posed by Burago, Ivanov and Polterovich. If time permits I will describe an interesting connection between the concordance group of knots and number theory. This work is partially joint with Jarek Kedra.

We consider an initial value problem for a nonlocal differential equation with a bistable nonlinearity in several space dimensions and discuss the large time behavior of the solution. The proof that the solution orbits are relatively compact is based upon rearrangement theory. We also characterise the limit function and prove that it is given by a step function. (This is joint work with Hiroshi Matano, Thanh Nam Nguyen and Hendrik Weber.)

Consider a polytope P with integer vertices, then one can define its Ehrhart polynomial f(t) by counting integer points in t.P. After a change of basis, it becomes a polynomial with positive integer coefficients, called the h*-polynomial. It is then a problem to find the combinatorial meaning of these coefficients for special polytopes. For exampe, the n-dimensional hypercube gives the n-th Eulerian polynomial, counting descents in permutations. The goal of this work is to refine this result by considering slices of hypercube and considering descents and excedences in permutations, that are two different Eulerian statistics.

In view of scheme language, we start from the beginning of the theory of elliptic curves and geometric modular forms, and further cover the topics about Jacobians and Galois representation as well as modularity problems.

In this talk, we will survey the article "Modular forms and projective invariants - J.Igusa(1967)".

In this talk, we will survey the article "Class fields over real quadratic fields and Hecke operators - G.Shimura(1972)".

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

In this series of lectures I will give an overview to the status of explicit birational geometry of algebraic 3-folds. First I explain the idea to classify the weighted basket of 3-folds. Then I provide two applications of the basket theory to 3-folds of general type as well as to Q-Fano 3-folds (very new results). Finally I will introduce the status of 3-dimensional geography — Noether’s inequality and so on.

신용상품에는 크게 국가 및 회사은행개인의 신용을 거래하는 금융 상품으로 크게는 채권과 Credit Default Swap 및 옵션이 있습니다. 이 시간에는 첫번째로 각각의 상품의 개요와 미국 신용 상품 거래 시장이 어떻게 발전해 왔는지에 대해서 개략적으로 설명하겠습니다. 두번째로는 2008년 금융 위기 이후에 새로 바뀐 제도적 규제가 신용상품 거래 시장에 어떠한 영향을 미쳤는 지를 설명하겠습니다. 마지막으로 이 규제로 인해 현재 은행 및 투자자들이 당면한 문제들과 어떻게 이것을 해결할 방법이 있는지에 대해서 알아 보는 시간을 가지겠습니다.

In this series of lectures I will give an overview to the status of explicit birational geometry of algebraic 3-folds. First I explain the idea to classify the weighted basket of 3-folds. Then I provide two applications of the basket theory to 3-folds of general type as well as to Q-Fano 3-folds (very new results). Finally I will introduce the status of 3-dimensional geography — Noether’s inequality and so on.

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

We generate ring class fields of imaginary quadratic fields in terms of the special values of certain eta-quotients, which are related to the relative norm of Siegel-Ramachandra invariants. These give us minimal polynomials with relatively small coefficients from which we are able to solve certain quadratic Diophantine equations concerning non-convenient numbers.

In this series of lectures I will give an overview to the status of explicit birational geometry of algebraic 3-folds. First I explain the idea to classify the weighted basket of 3-folds. Then I provide two applications of the basket theory to 3-folds of general type as well as to Q-Fano 3-folds (very new results). Finally I will introduce the status of 3-dimensional geography — Noether’s inequality and so on.

In this series of lectures I will give an overview to the status of explicit birational geometry of algebraic 3-folds. First I explain the idea to classify the weighted basket of 3-folds. Then I provide two applications of the basket theory to 3-folds of general type as well as to Q-Fano 3-folds (very new results). Finally I will introduce the status of 3-dimensional geography — Noether’s inequality and so on.