작용수대수에서 순서구조가 중요한 역할을 한다. C*-대수의 시작이라 할 수 있는 Gelfand-Naimark-Segal 표현정리는 양선형범함수로부터 *-준동형을 만들어내는데, 그 표현정리 이후 여러 가지 종류의 양사상에 대한 연구가 이루어졌다. 최근 활발하게 연구되...
※ 강연 뒷부분이 녹화되지 않았습니다. A symplectic manifold is a space with a global structure on which Hamiltonian equations are defined. A classical result by Darboux says that every symplectic manifold locally looks standard, so it has be...
Equations defining algebraic curves and their tangent and secant varieties
It is a fundamental problem in algebraic geometry to study equations defining algebraic curves. In 1984, Mark Green formulated a famous conjecture on equations defining canonical curves and their syzygies. In early 2000's, Claire Voisin...
Among many different ways to introduce derived algebraic geometry is an interplay between ordinary algebraic geometry and homotopy theory. The infinity-category theory, as a manifestation of homotopy theory, supplies better descent results ...
Toward bridging a connection between machine learning and applied mathematics
This lecture explores the topics and areas that have guided my research in computational mathematics and deep learning in recent years. Numerical methods in computational science are essential for comprehending real-world phenomena, and dee...
Vlasov-Maxwell equations and the Dynamics of Plasmas
In this colloquium talk, we study the Vlasov-Maxwell equations, a collisionless model in the field of kinetic theory. The model is a fundamental model for the dynamics of plasmas and was introduced in 1938 by Vlasov. Due to the hyperbolic n...
Study stochastic biochemical systems via their underlying network structures
When a biological system is modeled using a mathematical process, the following step is normally to estimate the system parameters. Despite the numerous computational and statistical techniques, estimating parameters for complex systems can...
Birational Geometry of varieties with effective anti-canonical divisors
Fano varieties are fundamental objects in algebraic geometry. These can be considered as the unique output of the -K -minimal model program on the varieties with effective anticanonical divisors. Thus the initial models should encode the in...
