# 세미나 및 콜로퀴엄

2019-06
Sun Mon Tue Wed Thu Fri Sat
1
2 3 1 4 2 5 1 6 7 8
9 10 2 11 12 1 13 2 14 1 15
16 17 18 19 2 20 21 1 22
23 24 25 1 26 27 28 2 29
30
2019-07
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 1 17 18 19 1 20
21 22 2 23 1 24 2 25 3 26 1 27
28 29 30 31

구글 Calendar나 iPhone 등에서 구독하면 세미나 시작 전에 알림을 받을 수 있습니다.

(This is a reading seminar for graduate students.) Let $X$ be a scheme and $U$ be its open subscheme. If $X$ is noetherian, then any coherent sheaf on $U$ always extends to $X$. By contrast, extension problem of algebraic vector bundles is far from being true in this naive sense; there is a counterexample even for $(mathbf A^3,mathbf A^3setminus0)$. Nevertheless, if $X$ is regular, then the Poincaré duality for $K$-theory shows that a coherent sheaf on $X$ extending a given algebraic vector bundle on $U$ is resolved by a bounded complex of algebraic vector bundles. Together with Waldhausen's approximation theorem stating that $K$-theory essentially depends on derived categories, this suggests that the right objects we should consider for this problem are perfect complexes. We will prove that the failure of extension of perfect complexes on $U$ to $X$ in the derived category is captured by the cokernel of $K_0(X)to K_0(U)$, which is proved by Thomason-Trobaugh. As an analogue to Quillen's localization theorem for $G$-theory of noetherian schemes, it then directly gives the proto-localization theorem for $K$-theory of quasi-compact quasi-separated schemes except that the proto-localization theorem doesn't have surjectivity of $K_0(X)to K_0(U)$. If possible, we will measure to what degree this map is surjective by introducing the non-connective Bass $K$-theory spectrum.

Host: 박진현     Contact: 박진현 (2734)     한국어     2019-07-04 16:48:26

The p-curvature conjecture of Grothendieck--Katz gives an arithmetic criterion for certain differential equations on algebraic varieties to have algebraic solutions. We describe a proof of this conjecture for rank two connections on generic algebraiccurves (joint work with Anand Patel and Ananth Shankar). We also consider a different problem of characterizing surface group representations with finite (or bounded) orbits under the mapping class group action, and give a complete solution in the speciallinear rank two case for positive-genus surfaces (joint work with Indranil Biswas, Subhojoy Gupta, and Mahan Mj). An ingredient common to these works is a type of topological "local-to-global principle" for certain surface group representations.

Host: 이용남     미정     2019-07-11 09:26:18

Unlike classical enumerative problems over the complex numbers, there are no fixed number of points of interest over non-algebraically closed fields (in particular, over the real numbers). In differential topology, one instead finds the fixed signed intersection number; a difference between the number of positive points and negative points. By using this idea and tools from mathbb{A}^1-homotopy theory, Kass-Wickelgren and Levine built mathbb{A}^1-enumerative geometry as a toolkit to find such "signed" intersection numbers. First, I will survey background materials and some known results. Then, I will describe the joint work with Ethan Cotterill and Ignacio Darago on counting the number of inflection points of linear systems on hyperelliptic curves.

Host: 이용남     미정     2019-07-11 09:27:26

The positive definite coefficients in Poisson equations are crucial for the stability and error estimates of numerical methods. However, modelling contacts of classical materials and metamaterials proposes second order PDEs with sign changing coefficients. In this talk we consider numerical methods for Poisson-type model problems with sign changing coefficients. To overcome the difficulty from sign changing coefficients we develop novel hybridized discontinuous Galerkin (HDG) methods with a new error analysis which does not rely on the elliptic regularity assumption.

Host: 이창옥     미정     2019-07-24 09:39:56

I will give a gentle overview of my work with Petter Brändén on Lorentzian polynomials. Lorentzian polynomials link continuous convex analysis and discrete convex analysis via tropical geometry. The tropical connection is used to produce Lorentzian polynomials from discrete convex functions. No specific background beyond linear algebra and multivariable calculus will be needed to enjoy the talk.

Host: 이용남     미정     2019-07-11 09:22:30

I advertise the talk to people with interest in at least one of the following topics: graphs, convex bodies, stable polynomials, projective varieties, Potts model partition functions, tropicalizations, Schur polynomials, highest weight representations. Based on joint works with Petter Brändén, Christopher Eur, Jacob Matherne, Karola Mészáros, and Avery St. Dizier.

Host: 이용남     미정     2019-07-11 09:24:37

In this talk, we study the $Lambda$-module structure of the Mordell-Weil, Selmer, and Tate-Shafarevich groups of an abelian variety over $mathbb{Z}_p$-extensions.

Host: 이용남     미정     2019-07-19 10:27:39

The geometry of compact moduli spaces of log surfaces is mysterious in general, as opposed to moduli of curves. Thus, describing an example with its geometric properties is already valuable. To do so, we consider an 'almost K3' stable log surface (an extension of Hacking's idea), which is a pair where the log canonical divisor is positive but very close to 0. We study compactified moduli spaces of such log surfaces, constructed using the techniques of Kollár, Shepherd-Barron, Alexeev, and Hacking. I will describe recent joint works with Anand Deopurkar on a compactification of the moduli space of (X, D) where X is a quadric surface and D is a canonical genus 4 curve, obtaining a new birational model of the moduli space M_4 of smooth curves of genus 4. As a generalization, I will survey on the moduli of 'almost K3 stable log quadrics', which are Q-Gorenstein degenerations of a pair of smooth quadric surface with a curve of bidegree (d,d).

Host: 이용남     미정     2019-07-11 09:16:20

Moduli spaces of local systems on surfaces are widely studied in geometry. Focusing on the special linear rank two case, after motivating our Diophantine study we use mapping class group dynamics and differential geometric tools to establisha structure theorem for the integral points on the moduli spaces, generalizing work of Markoff (1880). We also give an effective analysis of integral points for nondegenerate algebraic curves on these spaces. Along the way, we present other related resultsconnecting the geometry and arithmetic of the moduli spaces to elementary observations on surfaces.

Host: 이용남     미정     2019-07-11 09:21:03

We present a locally conservative enriched Galerkin finite element method that can be applied for solving parabolic equation as well as Stokes equation in a unified fashion. We present the reason why local conservation is important by establishing continuous and discrete maximum principle of coupled flow and transports. We also present that the resulting system can be solved effectively using a fast solver based on algebraic Multigrid method. Finally, a number of application areas will be presented, which include modeling of Tornado and enhanced Oil recovery.

Host: 곽도영     한국어     2019-07-15 15:20:33

Given a finite set of elements V">VV and a family C">CC of subsets of V">VV, the set covering problem is to find a minimum cardinality subset of V">VVintersecting every subset in the family C">CC. The set covering problem, also known as the hitting set problem, admits a simple integer linear programming formulation. The constraint system of the integer linear programming formulation defines a polyhedron, and we call it the set covering polyhedron of C">CC. We say that a set covering polyhedron is integral if every extreme point is an integer lattice point. Although the set covering problem is NP-hard in general, conditions under which the problem becomes polynomially solvable have been studied. If the set covering polyhedron is integral, then it is straightforward that the problem can be solved using a polynomial-time algorithm for linear programming.

In this talk, we will focus on the question of when the set covering polyhedron is integral. We say that the family C">CC is a clutter if every subset in C">CC is inclusion-wise minimal. As taking out non-minimal subsets preserves integrality, we may assume that C">CC is a clutter. We call C">CC ideal if the set covering polyhedron of it is integral. To understand when a clutter is ideal, the notion of clutter minors is important in that C">CC is ideal if and only if so is every minor of it. We will study two fundamental classes of non-ideal clutters, namely, deltas and the blockers of extended odd holes. We will characterize when a clutter contains either a delta or the blocker of an extended odd hole as a minor.

This talk is based on joint works with Ahmad Abdi and Gérard Cornuéjols.

Host: 엄상일     영어     2019-07-09 15:57:17

(This is a reading seminar for graduate students.) In previous talks, we investigated perfect complexes on a scheme and Waldhausen categories for which $K$-theory spectrum is defined. We'll define algebraic $K$-theory of quasi-compact quasi-separated schemes with these notions. Basic properties of algebraic $K$-theory will be discussed; properties include functoriality, excision property, relation with inverse limits and Poincaré duality. For this, we need various models of algebraic $K$-theory which give homotopy equivalent $K$-theory spectra most of which are proved by dependency of the derived categories of $K$-theory spectra.

Host: 박진현     Contact: 박진현 (2734)     한국어     2019-06-19 20:24:03

Over the past decade, electrical bioimpedance has been undergoing a rebirth as enhanced methodologies and new theories are greatly extending its use in the field of neuromuscular disease (NMD). Simply put, NMDs change the structure and internal composition of skeletal muscle which, in turn, alter the electrical properties muscle. Thus, the capability of measuring the electrical properties of muscle with accuracy has great potential to provide valuable new insights to inform medical assessment and diagnosis of NMDs. One technique well-suited for measuring the electrical properties of muscle is electrical bioimpedance, where an electrical current is applied to the muscle using two electrodes and the resultant voltage is measured using two additional electrodes. However, the accuracy to detect onset of disease, track disease progression and response to therapy using surface electrodes placed on the skin is limited: data are largely influenced by skin and subcutaneous fat (SF) overlying the muscle. Here, we will present a new source separation (SS) technique that, unlike existing blinded SS techniques principal component analysis (PCA) and independent component analysis (ICA), can distinguish muscle from SF with the accuracy being 99.2%.
However, the standard procedure of patient care for diagnosing NMDs consists of inserting needles electrodes into the muscle to measure the electrical activity at rest and during muscle contraction. To take advantage of this, we have designed an enhanced needle device also integrating impedance recording capabilities. Our new needle improves the accuracy measuring the electrical properties by recording these properties and their direction dependence directly in the muscle, the latter also known as anisotropy. Ongoing work in this area promises exciting and valuable new applications in the years to come.

Host: 임미경     미정     2019-05-31 09:56:34
We discuss how the model theoretic notion of first-order transduction allows to define a notion of structural sparsity, and give some example of applications, like existence of low shrub-depth decompositions for tranductions of bounded expansion classes, characterization of transductions of classes with bounded pathwidth, decompositions of graphs with bounded rank-width into cographs.

Host: 엄상일     영어     2019-06-20 17:48:37

I will review the current status of 2D Coulomb gas with $beta = 1$ (hence "normal matrices" in the title).

When the potential is nice enough (algebraic Hele-Shaw) we can apply the method that has been developed to study complex orthogonal polynomials.

I will explain such method (called Riemann-Hilbert method) and its usefulness in studying the partition function of the Coulomb system.

Host: Paul Jung     영어     2019-06-17 11:00:14

Consider the complex Monge-Ampere equation (i∂∂u¯ )n = dµ in a bounded domain in Cn, where u is a plurisubharmonic function and dµ is a positive Radon measure. We give a sharp condition on the right hand side to guarantee the existence of a H¨older continuous solution. Namely, there exists a H¨older continuous plurisubharmonic function ϕ such that dµ ≤ (i∂∂ϕ¯ )n in the sense of measures. In particular, the answer to a question of Ahmed Zeriahi is always positive. Then, we will discuss its counterparts on compact complex manifolds and some applications.

영어     2019-06-14 18:52:16

We survey recent applications of weak plurisubharmonic solutions to complex MongeAmpere equations, using pluripotential theory, for problems arising from complex geometry and algebraic geometry. On one hand it is used to construct singular K¨ahler-Einstein metrics, which may occur as the limits of the Kahler-Ricci flow or the limits of families of Calabi-Yau metrics when the K¨ahler class hits the boundary of the K¨ahler cone. On the other hand it played a crucial role in studying structure of the K¨ahler cone. In particular, we will discuss a weak form of a conjecture due to Demailly and Paun in 2004.

영어     2019-06-14 18:56:19

(This is a reading seminar for graduate students.) Quillen's $K$-theory is defined for categories in which a suitable notion of exactness can be spoken. In much more generality, Waldhausen introduced the $S$-construction for categories equipped with suitable notions of cofibrations and weak equivalences. We will discuss the definition of S-construction, its dependence on the derived category, the cofinality theorem, and its comparison to Quillen's $K$-theory.

Host: 박진현     Contact: 박진현 (2734)     한국어     2019-06-04 23:52:50

We impose a rather unknown algebraic structure called a hyperstructure' to the underlying space of an affine algebraic group scheme. This algebraic structure generalizes the classical group structure and is canonically defined by the structure of a Hopf algebra of global sections. This paper partially generalizes the result of A.Connes and C.Consani.

Host: 박진현     Contact: 박진현 (2734)     한국어 (필요한 경우 영어 가능) ( )     2019-05-20 08:33:37

Pairs of commuting nilpotent matrices have been extensively studied, especially from the view point of quivers, but the space of commuting nilpotents modulo simultaneous conjugation has not received any attention at all despite its moduli theory flavor. I will explain how a 'moduli space' can be constructed via three different methods and demonstrate many interesting properties of the space:

- It is isomorphic to an open subscheme of a punctual Hilbert scheme.
- Over the field of complex numbers, it is diffeomorphic to a direct sum of twisted tangent bundles over a projective space.
- It is isomorphic to a bundle of regular jets.
- It gives examples of affine space bundles that are not vector bundles.

This is a joint work with W. Haboush (Illinois) and G. Bérczi (Zurich).

Host: 이용남     미정     2019-05-20 17:01:15

The still open topological surgery conjecture for 4-manifolds is equivalent to the statement that all good boundary links are freely slice. In this talk, I will show that every good boundary link with a pair of derivative links on a Seifert surface satisfying a homotopically trivial plus assumption is freely slice. This subsumes all previously known methods for freely slicing good boundary links with two or more components, and provides new freely slice links. This is joint work with Jae Choon Cha and Mark Powell.

Host: 백형렬     미정     2019-05-24 09:15:44
심사위원장: 폴정, 심사위원: 황강욱, 강완모, 이지운, 양홍석(전산학부)
영어     2020-05-19 14:35:28
The higher Chow group was introduced by Bloch as an algebro-geometric analogue of singular (co)homology.
It is related to various important objects in arithmetic geometry such as motivic cohomology, algebraic $K$-theory, special values of zeta functions and so on.

However, the higher Chow group does not capture some important information on algebraic varieties, e.g., multiplicities and wild ramifications.
As a variant to capture multiplicities, the additive higher Chow group was introduced by Bloch-Esnault, was generalized by Park, and studied by Krishna, Levine and Park.
On the other hand, in order to capture wild ramifications, the Chow group of zero cycles with modulus was introduced by Kerz-Saito.
They came from different contexts, but have the same condition on algebraic cycles called the `modulus condition''.

Recently, Binda-Saito introduced the higher Chow group with modulus, which simultaneously generalizes the higher Chow group, the additive higher Chow group, and the Chow group of zero cycles with modulus.
In this talk, we discuss some fundamental properties of higher Chow groups with modulus, including a generalization of homotopy property.
Host: 박진현     Contact: 박진현 (2734)     영어     2019-03-20 16:38:22
In the arena of stochastic learning, Mathematics played a crucial role in laying out infrastructures for the arena. We will see pieces of historic evidence of the role. The lecture will mostly be in plain words. The topics in the lecture includes the basic notions of probability,  backward reasoning, graph theory, and random graph, and the current status quo of the random graphs will be presented in a variety of forms.
Host: 백상훈     영어     2019-02-25 15:46:29

Since the early 2000s, it has turned out that well developed mathematical tools can play crucial roles in quantum information theory. One monumental work was made by Hastings in 2009. He disproved a long standing conjecture in quantum information theory, which is called the additivity conjecture of Holevo capacities. A natural way to prove this result will be covered in this talk based on the theory of i.i.d. random unitary matrices. Another outstanding application of random matrix theory in quantun information theory is to provide a systematic way to produce PPT entangled states in high dimensional tensor product spaces. This construction comes from i.i.d. random Gaussian matrices and I will try to explain why this application is important in view of quantun information theory.

Host: Paul Jung     미정     2019-05-24 15:28:36

Directed polymer models are well known Gibbs measures on random walk paths. Canonically they are defined so as to tilt the path distribution towards regions of space-time where an independent random field happens to be large, and as a result the paths tend to exhibit superdiffusive Kardar-Parisi-Zhang type fluctuation exponents, somehow betraying their random walk upbringing. Constructing these models on in the discrete space-time setting with a finite time horizon is straightforward, but extending them to infinite time horizons is difficult even in the fully discrete setting. I will review some relatively recent progress in the discrete and semi-discrete setting by myself and several other authors, some previous work of myself, Khanin, and Quastel on constructing continuous space-time models in the finite time horizon setting, and some attempts in progress to connect the two.

Host: Paul Jung     영어     2019-05-24 15:34:01

Let Qn be the n-dimensional Hamming cube (hypercube) and N=2n. We prove that the number of maximal independent sets in Qn is asymptotically 2n2N/4, as was conjectured by Ilinca and Kahn in connection with a question of Duffus, Frankl and Rödl. The value is a natural lower bound derived from a connection between maximal independent sets and induced matchings. The proof of the upper bound draws on various tools, among them “stability” results for maximal independent set counts and old and new results on isoperimetric behavior in Qn. This is joint work with Jeff Kahn.

Host: 엄상일     미정     2019-05-27 09:32:37