Colloquium
Title
Toward a classification of central extensions of 3-dimensional AS-regular quadratic algebras via geometric data
Date
2019.1.30 (Wed) 13:20-14:20
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Shinnosuke Okawa (Osaka University)
Title
On nonvanishing of Miyawaki type lift
Date
2019.1.30 (Wed) 14:40-15:40
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Takuya Yamauchi (Tohoku University)
Title
Generic torus orbit closures in Schubert varieties
Date
2019.1.30 (Wed) 16:30-17:30
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Mikiya Masuda (Osaka City University)
Title
Algebraic structures: Computability vs Automaticity
Date
2019.1.16 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Bakhadyr Khoussainov (RIMS & University of Auckland)
Abstract
How does one introduce computability into the study of algebraic structures, such as groups, vector spaces, algebras? In answering this question we provide two classical definitions. One is the notion of computable structure first introduced by Malcev and Rabin in the early 60s. The other is the notion of automatic structure first observed by Thurston (in the 80s) in the classes of groups, and then further developed in the general setting by Nerode and the speaker. The presentation will be introductory with examples, motivation, and general background to the topics of both the theory of computable structures and the theory of automatic structures. The talk will be aimed at the general mathematics/computer science audience.
Title
Subordinators and its asymptotic behavior
Date
2019.1.9 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Victor Rivero (Centro de Investigación en Matemáticas)
Abstract
Subordinators is a class of stochastic process with non-decreasing paths and stationary and independent increments, so they are non-decreasing Lévy processes. Subordinators are relevant in various areas of theoretical and applied probability, in particular they allow for a better understanding of more general Lévy processes via the so called Wiener-Hopf factorization and its pathwise explanation. The fact of having non-decreasing paths makes them more easy to handle in several aspects but there are some properties that are not so well understood, as for instance explicit formulas for their distribution function. In this talk, I will speak about some areas where subordinators are relevant and I will describe some recent results on the behavior of the first passage time or inverse process, that are rather precise and allow for some explicit computations.
Title
Generalization error analysis of deep learning via kernel method and its adaptivity
Date
2018.12.19 (Wed) 15:00-16:00 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Taiji Suzuki (The University of Tokyo)
Title
Recent situation on the study of virtual fundamental chain
Date
2018.12.19 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Kenji Fukaya (Stony Brook University)
Title
Stringy motivic integrals over the arc spaces of spherical varieties
Date
2018.12.5 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Anne Moreau (RIMS & University of Lille 1)
Abstract
In my talk I will explain how to define new invariants, called the satellites, associated with any spherical homogeneous space. The satellites were introduced by Batyrev and myself. They enjoy nice properties and can be used (among other things) to compute some stringy (motivic) invariants of spherical varieties. After having explained this, I will mention other applications.
Title
Embedding of metric measure spaces with Ricci bounds from below in $L^2$ via eigenfunctions
Date
2018.11.28 (Wed) 15:00-16:00 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Shouhei Honda (Tohoku University)
Title
Invariant measure and flow associated to the $\Phi^4_3$-quantum field model on the torus
Date
2018.11.28 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Seiichiro Kusuoka (Okayama University)
Title
Group actions on quasi-trees
Date
2018.11.21 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Koji Fujiwara (Kyoto University)
Abstract
Bass-Serre theory is a theory that deals with group actions on trees and analyzes the algebraic structure of groups. It is a powerful tool but also there are many examples of groups that do not have any group actions that the theory applies to.
We study group actions on a "quasi-tree", which is a geodesic space that looks like a tree. It turns out that this generalization is useful. I will discuss constructions of quasi-trees with group actions. This is a joint work with Bestvina and Bromberg.
Title
On special values of symmetric power $L$-functions and period relations for Ramakrishnan-Shahidi lifts
Date
2018.11.14 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Kazuki Morimoto (Kobe University)
Title
Vertex algebras and invariants of manifolds
Date
2018.11.7 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Boris Feigin (Landau Institute for Theoretical Physics)
Abstract
I want to present some recent results (Gukov, Vafa and many others) where characters of logarithmic vertex algebras appear as analytic continuation of invariants of 3-dimensional manifolds. Main part of my talk will be relatively elementary-I explain what is known about the logarithmic algebras. Relations with topology-great and challenging mystery.
Title
Codimension 1 symplectic foliations on the 5-sphere
Date
2018.10.31 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Yoshihiko Mitsumatsu (Chuo University)
Abstract
Foliations with symplectic leaves and their constructions are drawing attentions not only as a foliated symplectic geometry but also as important examples of Poisson geometry, because they are nothing but regular Poisson structures. On the other hand, as non-trivial examples not many are known at the present, for instance, on the 7-sphere the existence of codimension 1 symplectic foliations is still an open problem. A method of construction on S^5 is explained in terms of the contact geometry and foliations of exact symplectic open books. We need to destroy the symplectic convexity of Milnor fibers of simple elliptic or cusp singularities. This formulation allowed A. Mori to produce an interesting family of examples on S^1×S^4. Foliated Lefschetz fibration is another technology to produce examples. If the time allows, we apply this technology to our examples and approach to understanding closed symplectic 4-manifolds obtained by our method. This part is a joint work (in progress) with N. Kasuya, H. Kodama, and A.Mori.
Title
Einstein equation according to H. Weyl and beyond
Date
2018.10.24 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Sumio Yamada (Gakushuin University)
Abstract
Hermann Weyl, in 1918, in his book ``Space, Time, Matter'' had written down the then-newly discovered Schwarzschild solution to the Einstein equation using cylindrical coordinates, and discovered that it is completely determined by a harmonic function. Over the next hundred years since, the Einstein equation has been associated to elliptic variational problems, often called the sigma-model approach. In a joint-work with Marcus Khuri and Gilbert Weinstein, we constructed a new set of 5-dimensional vacuum stationary Einstein metrics with a set of axial symmetries, and with 3-dimensional blackhole horizons which are not necessarily spherical. If time allows, we will present topological classification of the domains of outer communication thus constructed, in a joint-work with Yukio Matsumoto.
Title
Towards the classification of holomorphic vertex operator algebras of central charge 24
Date
2018.10.17 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Ching Hung Lam (RIMS & Institute of Mathematics, Academia Sinica)
Abstract
In this talk, we will discuss the recent progress towards the classification of holomorphic vertex operator algebras of central charge 24. Some important tools will be discussed. We will stress on the similarities between the theory of vertex operator algebras and the theory of integral lattices. In particular, Leech lattice, the unique even unimodular lattice of rank 24 with minimal norm 4, plays an important role in the classification.
Title
Isobe-Kakinuma model for water waves as a higher order shallow water approximation
Date
2018.10.10 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Tatsuo Iguchi (Keio University)
Abstract
We consider the initial value problem to the Isobe-Kakinuma model for water waves. As was shown by J. C. Luke, the water wave problem has a variational structure. By approximating the velocity potential in Luke's Lagrangian, we obtain an approximate Lagrangian for water waves. The Isobe-Kakinuma model is a corresponding Euler-Lagrange equation for the approximate Lagrangian. In this talk, we first explain a structure of the Isobe-Kakinuma model and then justify the model rigorously as a higher order shallow water approximation by giving an error estimate between the solutions of the model and of the full water wave problem. It is revealed that the Isobe-Kakinuma model is a much more precise model than the well-known Green-Naghdi equations.
Title
Interaction of two 2d adelic structures on elliptic surfaces, a 2d adelic view of Arakelov geometry, and applications to the BSD conjecture
Date
2018.10.3 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Ivan Fesenko (RIMS & University of Nottingham)
Abstract
2d local non-archimedean local fields have two integral structures, of rank 1 and of rank 2. Correspondingly, there are two 2d adelic structures on elliptic surfaces: a geometric one and an analytic one. The geometric additive structure is self-dual and its topological properties imply a new short proof of the Riemann-Roch theorem, while its adelic view of Arakelov geometry should imply a new proof of the Faltings-Riemann-Roch theorem. The zeta integral of the surface is an integral over the product of two copies of the analytic multiplicative structure. Using 2d Iwasawa-Tate theory (2010) one can compute its pole at the central point by using an interaction between the two adelic structures originating from explicit 2d class field theory, and reformulate the BSD conjecture as a property closely related to the discreteness of rational functions in full geometric adeles.
Title
Tropical geometry and zeta values
Date
2018.7.11 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Hiroshi Iritani (Kyoto University)
Title
On singular stochastic PDEs
Date
2018.7.4 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Tadahiro Oh (The University of Edinburgh)
Abstract
In recent years, there has been significant progress on theoretical understanding of singular stochastic partial differential equations (SPDEs) with rough random forcing. The main difficulty in studying singular SPDEs lies in making sense of products of distributions, thus giving a precise meaning to an equation after appropriately modifying the equation (via renormalization).
In the field of stochastic parabolic PDEs, M. Hairer introduced the theory of regularity structures and gave a precise meaning to the so-called "subcritical" singular SPDEs such as the KPZ equation and the three-dimensional stochastic quantization equation, for which he was awarded a Fields medal in 2014. Around the same time, M. Gubinelli introduced the theory of paracontrolled distributions and solved a similar class of singular SPDEs. In this talk, I will first go over the basic difficulty in the subject and explain the main idea in these theories. Then, I will discuss recent developments in stochastic dispersive PDEs such as stochastic nonlinear wave and Schrödinger equations along with open problems in the field.
Title
Modularity in vertex operator algebras
Date
2018.6.27 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Chongying Dong (RIMS & University of California, Santa Cruz)
Abstract
Modular invariance of characters of a rational conformal field theory has been known since the work of Cardy. It was proved by Zhu that the the space spanned by the irreducible characters of a rational vertex operator algebras is a representation of the full modular group. This representation is a powerful tool in the study of vertex operator algebras and conformal field theory. It conceives many intriguing arithmetic properties, and the Verlinde formula is certainly a notable example. It has been conjectured my people that the kernel of this representation is a congruence subgroup, or the irreducible characters are modular functions on a congruence subgroup. This expository talk will survey our recent proof of this conjecture.
Title
Time-series analysis based on delay coordinate - embedding, integral operator, Groebner basis
Date
2018.6.20 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Naoto Nakano (Kyoto University)
Title
Fast reaction limit problems: analysis and applications
Date
2018.6.13 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Hideki Murakawa (Kyushu University)
Title
Maximally writhed real algebraic knots and links
Date
2018.6.6 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Grigory Mikhalkin (University of Geneva)
Abstract
The Alexander-Briggs tabulation of knots in R^3 (started almost a century ago, and considered as one of the most traditional ones in classical Knot Theory) is based on the minimal number of crossings for a knot diagram. From the point of view of Real Algebraic Geometry it is more natural to consider knots in RP^3 rather than R^3, and also to use a different number also serving as a measure of complexity of a knot: the minimal degree of a real algebraic curve representing the knot.
As it was noticed by Oleg Viro about 20 years ago, the writhe of a knot diagram becomes an invariant of a knot in the real algebraic set-up, and corresponds to a Vassiliev invariant of degree 1. In the talk we'll briefly survey these notions, and consider the knots with the maximal possible writhe for its degree. Surprisingly, it turns out that there is a unique maximally writhed knot in RP^3 for every degree d. Furthermore, this real algebraic knot type has a number of characteristic properties, from the minimal number of diagram crossing points (equal to d(d-3)/2) to the minimal number of transverse intersections with a plane (equal to d-2). Based on a series of joint works with Stepan Orevkov.
[pdf]
Title
Mathematical aspects of numerical computation
Date
2018.5.30 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Koya Sakakibara (Kyoto University)
Title
An algorithm for weighted linear matroid parity problem
Date
2018.5.23 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Yusuke Kobayashi (RIMS, Kyoto University)
Title
Birational boundedness of algebraic varieties
Date
2018.5.16 (Wed) 14:40-15:40
Place
Rm420, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Christopher Hacon (Kyoto University / The University of Utah)
Abstract
Algebraic varieties are geometric objects defined by polynomial equations. The minimal model program (MMP) is an ambitous program that aims to classify algebraic varieties. According to the MMP, there are 3 building blocks: Fano varieties, Calabi-Yau varieties and varieties of general type. In this talk I will recall the general features of the MMP and discuss recent advances in our understanding of Fano varieties and varieties of general type.
Title
Global dynamics of the nonlinear Schrodinger equation with potential
Date
2018.5.16 (Wed) 16:30-17:30
Place
Rm420, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Kenji Nakanishi (RIMS, Kyoto University)
Abstract
Nonlinear dispersive equations describe wave evolution with strong interactions in various physical contexts, such as plasma, superfluid, and water waves. Each equation typically produces many types of solutions, such as scattering, solitons, and blow-up, by competition between the dispersion and the interactions. Recent progress in the space-time analysis, combined with the variational arguments as well as those in the dynamical system and in the spectral theory, has enabled us to study global behavior of large solutions, but the relation between different types is still to be explored.
In this talk, we consider the nonlinear Schrodinger equation in three dimensions with attractive linear potential and nonlinear interaction, as a simple model case with the four typical solutions: scattering, blow-up, stable solitons and unstable solitons. Restricting the solutions by small mass and energy slightly above the first excited states, we can classify them into 9 sets by global behavior. The blow-up solutions are separated from the solutions scattering to the ground states, by an invariant manifold of codimension one, which is around translations of the potential-free ground state. The transverse intersection of the manifold and its time inversion gives the nine-set decomposition. The dynamic transition from the scattering to the blow-up is stable, taking place near the first excited states once and for all.
Title
Superpolynomials of plane curve singularities and zeta-functions
Date
2018.5.9 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Ivan Cherednik (University of North Carolina at Chapel Hill)
Abstract
The talk will be about a recent surprising development in the highly interdisciplinary theory of superpolynomials of plane curve singularities, connecting them with the zeta-functions of the corresponding rings over finite fields. The superpolynomials are stable Khovanov-Rozansky polynomials of algebraic links, which conjecturally coincide with the DAHA superpolynomials and those describing the BPS states in string theory. They are also directly related to affine Springer fibers, $p$-adic orbital integrals and Hilbert schemes of plane curve singularities and the complex plane. The zeta-functions are essentially due to Galkin and Stohr (though we will need some generalization), a very classical direction in number theory. Their definition and examples will be provided and we will formulate a positivity conjecture connecting them with Jacobian factors of plane curve singularities (local factors of the compactifeid Jacobians).
Title
Normal closures of slope elements of knot groups
Date
2018.5.2 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Tetsuya Itoh (Kyoto University)
Title
A reconfigurable information-flow semantics for functional programs
Date
2018.4.25 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Koko Muroya (RIMS, Kyoto University & University of Birmingham)
Abstract
We introduce a new semantic framework---dynamic Geometry of Interaction (dynamic GoI)---for functional programming, as a combination of two styles of program semantics: information-flow and graph-rewriting. A program is interpreted as a network (graph), and program evaluation is modelled using information flow on networks that can be dynamically reconfigured at run-time via graph rewriting. Our starting point is a particular instance of the information-flow semantics, which is Girard's Geometry of Interaction (GoI), a semantic framework to interpret proofs in Linear Logic. It is then interleaved with graph rewriting, on the key principle that the dynamic rewriting is guided and controlled by information flow. This talk gives an overview of development of the dynamic GoI framework, with discussion on its ability to model both intensional and extensional aspects of program evaluation.
Title
Coset construction and quantum geometric Langlands program
Date
2018.4.18 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Research Institute for Mathematical Sciences, Kyoto University
Speaker
Tomoyuki Arakawa (RIMS, Kyoto University)
Abstract
Coset construction is a well-known method to obtain new vertex algebras from known ones. Recently, Davide Gaiotto had started to give new interpretations of coset construction in terms of 4d gauge theories and the geometric Langlands program. In this lecture I first talk about my joint work with Thomas Creutzig and Andrew Linshaw that proves a long-standing conjecture on the coset construction of W-algebras. Then I explain the method used in this work also proves a conjecture of Dennis Gaitsgory that is crucially used in the quantum geometric Langlands program.
Title
Operator Algebras and Conformal Field Theory
Date
2018.4.11 (Wed) 16:30-17:30 (16:00- tea)
Place
Rm110, Building No.3, Faculty of Science, Kyoto University
Speaker
Yasuyuki Kawahigashi (The University of Tokyo)
2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 |