Important Mathematics Institutions | Research Institute for Mathematical Sciences (RIMS), Kyoto University

The simple answer: what mathematical job does RIMS perform?

RIMS performs three jobs at once.

• It creates Mathematics through long-term faculty research.
• It circulates Mathematics through international joint-use projects, workshops, research projects and visitors.
• It reproduces mathematical capability through graduate education and the training of younger researchers.

The official Director’s message describes these as three mutually reinforcing pillars rather than separate activities. That distinction is important. A research institute can become intellectually narrow if only permanent faculty remain. A visitor centre can become transient if too little institutional memory remains. A graduate school can become detached from the frontier if students see only settled curriculum. RIMS attempts to keep all three loops active together.

Permanent research gives memory. Joint research gives circulation. Graduate education gives succession.

1963: Japan creates a dedicated mathematical research institute

RIMS was established in May 1963. Its history spans major changes in both Japanese and global Mathematics: the growth of algebraic geometry, modern probability, mathematical physics, operator algebras, representation theory, nonlinear analysis, computer science and rigorous computational methods.

The list of former directors reads like a map of several twentieth-century mathematical frontiers. It includes Kiyosi Itô, Heisuke Hironaka, Mikio Sato, Masaki Kashiwara and Shigefumi Mori, among many others.

These names should not be treated as decorations. Each reveals a different mathematical language.

• Itô helped create stochastic calculus, a language for random change.
• Hironaka transformed algebraic geometry through resolution of singularities.
• Sato created algebraic-analysis frameworks, including hyperfunctions and microlocal ideas.
• Kashiwara developed D-module theory, microlocal analysis and crystal-basis methods in representation theory.
• Mori reshaped higher-dimensional algebraic geometry through birational methods and the minimal-model programme.

The institution therefore carries several generations of mathematical memory inside the same research system.

Kiyosi Itô shows how pure mathematical structure can later become global infrastructure

Kiyosi Itô served as a RIMS director in the 1970s and is one of the central figures in modern probability. Itô calculus created a systematic way to work with stochastic processes whose trajectories are too irregular for ordinary calculus.

In standard calculus, a function changes according to derivatives and infinitesimal increments. In stochastic calculus, random motion contributes an additional structure. The resulting Itô integral and Itô formula became foundational tools in stochastic differential equations.

Decades later, stochastic calculus became central to mathematical finance, filtering, control, statistical physics and many models of systems influenced by noise.

RIMS’s current Director’s message explicitly uses Itô’s work as an example of a general phenomenon: Mathematics developed from internal mathematical questions can later become essential in applications that did not originally motivate the theory.

Application can arrive long after the Mathematics. Institutions preserve the research long enough for that future to remain possible.

Heisuke Hironaka: singularities and the geometry of difficult spaces

Heisuke Hironaka, a former RIMS director and Fields Medalist, is associated with one of algebraic geometry’s great structural achievements: resolution of singularities in characteristic zero.

An algebraic variety can contain singular points where familiar smooth geometric intuition fails. Curves can cross themselves. Tangent spaces can jump in dimension. Equations can describe spaces whose local structure is not manifold-like.

Resolution asks whether one can replace a singular object with a related smooth object through controlled geometric transformations while preserving enough information to study the original.

This is a high-level version of a mathematical habit that appears much earlier in learning: transform a difficult object into a form where the relevant structure becomes easier to analyse, while carefully tracking what the transformation changes and preserves.

For an entry into the underlying subject, continue through Affine Varieties and Algebraic Sets and Morphisms, Singularities and Dimension.

Mikio Sato: the frontier can begin by inventing a new language

Mikio Sato, another former RIMS director, created major parts of algebraic analysis. His work on hyperfunctions, microlocal analysis and related structures changed the way mathematicians could analyse differential equations and singular phenomena.

This is one of the recurring frontier patterns in Mathematics. Sometimes an existing problem does not yield because the known tools are too weak. Sometimes it does not yield because the known objects are too restrictive.

A new language can enlarge the class of objects in which a problem makes sense. Once that happens, earlier obstructions may become manageable and connections to other fields become visible.

A mature mathematical field is often built from several earlier moments when somebody changed what counted as a legitimate object.

Masaki Kashiwara and the 2025 Abel Prize

Masaki Kashiwara is one of the strongest living examples of RIMS’s role in frontier Mathematics. He served twice as Director of RIMS and remains connected to Kyoto University as a project professor.

In 2025, Kashiwara received the Abel Prize for pioneering achievements in algebraic analysis and representation theory. Kyoto University highlighted his work on D-module theory, microlocal analysis and crystal bases, among other contributions.

At the press conference following the award announcement, Kashiwara emphasised the importance of creating new Mathematics and credited the RIMS research environment with giving him the concentration needed for sustained work.

This matters institutionally because it links the abstract idea of “research environment” to a concrete career spanning more than fifty years. A researcher does not produce a programme such as D-module theory in a vacuum. They require collaborators, seminars, younger researchers, papers, criticism and enough freedom for the work to remain active across decades.

Official sources: Kyoto University — Masaki Kashiwara receives the 2025 Abel Prize and Kyoto University — press conference following the Abel Prize announcement.

D-modules show what happens when algebra meets analysis

D-module theory studies systems of linear differential equations using modules over rings of differential operators. The central move is a change of mathematical perspective.

Instead of treating a differential equation only as a request to find functions satisfying a formula, one studies the algebraic structure generated by the differential operators themselves. This makes sophisticated algebraic and geometric tools available.

From there, D-modules interact with algebraic geometry, representation theory, sheaf theory and microlocal analysis.

The educational lesson is not that school students should study D-modules. It is that algebra and analysis are not permanent separate boxes. At the frontier, one field can become the language in which another field becomes tractable.

Crystal bases connect representation theory to combinatorial structure

Kashiwara’s crystal-basis theory provides another example. Representations of quantum groups can be technically complicated objects involving parameters and rich algebraic structure. Crystal bases capture a combinatorial shadow that survives in a limiting regime.

The resulting crystals turn parts of representation theory into graph-like combinatorial objects whose vertices and arrows encode structural information.

This is a recurring mathematical strategy:

Complicated object → controlled degeneration → simpler combinatorial representation → recover structural information.

Readers can enter the wider symmetry route through Representation Theory in Mathematics, Quantum Groups and Categorification.

Shigefumi Mori: birational geometry and the minimal-model programme

Shigefumi Mori, another former RIMS director and Fields Medalist, helped transform higher-dimensional algebraic geometry through the minimal-model programme.

Birational geometry studies algebraic varieties that can be related through rational transformations. Two varieties may look different but share much of the same underlying function-field information.

The minimal-model programme attempts to organise higher-dimensional varieties by applying controlled birational transformations until a simpler canonical form is reached, when possible.

Again the broad mathematical habit is familiar: identify an equivalence relation, transform within that equivalence class, and search for a form that exposes the structure most efficiently.

The current RIMS structure is broad by design

RIMS’s official description says the Institute is organised around three major divisions: Fundamental Mathematics, Infinite Analysis and Applied Mathematics, together with a Computer Laboratory.

The names are revealing.

Fundamental Mathematics covers structures such as geometry, algebra, number theory, topology and representation. Infinite Analysis addresses continuous and infinite-dimensional structures, including analysis, differential equations, probability and mathematical physics. Applied Mathematics includes discrete optimisation, algorithms, computation and mathematically structured applications.

RIMS also operates centres for research interaction, next-generation geometry and broader liaison across mathematical sciences.

The Institute is therefore not built around the assumption that “pure” Mathematics and “useful” Mathematics live in different buildings. Its own Director’s message describes pure inquiry and application as mutually reinforcing.

Yoshinori Namikawa becomes Director in April 2026

The current RIMS members page lists Yoshinori Namikawa as Director, and the official directors list records his term beginning on 1 April 2026.

Namikawa is an algebraic geometer known for work on symplectic singularities and related birational and deformation questions. This continues a long RIMS tradition in geometry while the wider staff preserves substantial breadth across analysis, probability, operator algebras, mathematical physics, computation and logic.

Current members include researchers such as Takuro Mochizuki, Yoshiko Ogata, Narutaka Ozawa, Kenji Nakanishi, Kazuhisa Makino, Kaoru Ono and others working across different mathematical worlds.

Official current roster: RIMS Members. Official director history: RIMS Directors.

The joint-use model makes RIMS bigger than its permanent faculty

One of RIMS’s defining institutional features is its role as an International Joint Usage/Research Center.

The Institute’s official description says it hosts around eighty RIMS workshops annually with more than four thousand participants in total, including several hundred from outside Japan. Since November 2018, it has held certification as an International Joint Usage/Research Center, allowing joint research activity to expand through international open calls.

This means researchers do not need to belong permanently to Kyoto University for RIMS to become part of their mathematical work.

The institution behaves partly like national shared infrastructure. Researchers propose workshops, research projects, satellite seminars and other forms of collaborative activity. Selected programmes receive institutional support, space and in some cases travel and accommodation funding.

The permanent institute owns the platform; the wider mathematical community continually supplies new research configurations.

RIMS Research Projects create a longer time scale

The RIMS Research Project programme is particularly important. Official guidelines describe it as an international joint research programme in which leading researchers can be invited for medium- to long-term stays and work on specific themes for several months to one year.

This is not merely a larger workshop. It allows a mathematical frontier to remain active for long enough that several stages of research can occur:

• survey the state of the field;
• identify the real bottlenecks;
• teach shared background;
• form working groups;
• test conjectures;
• discover failed routes;
• develop new methods;
• bring in additional visitors; and
• return the resulting network to the international community.

The 2026 programme list includes a major research project on Higher Structures in Geometry and Mathematical Physics, explicitly spanning moduli spaces, deformation theory, derived geometry, enumerative geometry, representation theory, homotopy algebras, Poisson geometry, quantisation, mirror symmetry, string theory and quantum field theory.

That single theme demonstrates how modern frontier Mathematics forms through interfaces rather than isolated subject boxes.

Higher structures are Mathematics learning to remember transformations between transformations

Why do mathematicians need “higher structures”?

Ordinary algebra records objects and maps between objects. Category theory records objects, morphisms and composition. Higher category theory continues this idea: it records transformations between morphisms, transformations between those transformations and further levels when the problem demands them.

This can sound like abstraction piled on abstraction. The need becomes clearer when mathematical or physical systems contain equivalent constructions connected by non-trivial transformations. If those transformations matter, collapsing them into simple equality destroys information.

Higher structures therefore preserve a richer notion of sameness.

This connects naturally to the existing Bukit Timah Tutor routes on Categorification, Fusion Categories and Quantum Groups.

7 September 2026: integrable systems are live at RIMS

On the date this article was checked, RIMS was beginning a workshop titled New Perspectives on Mathematics of Integrable Systems, scheduled for 7–9 September 2026.

Integrable systems are dynamical systems with unusually strong mathematical structure, often allowing exact solutions or large families of conserved quantities.

They sit at a productive intersection of differential equations, geometry, algebra, mathematical physics and special functions.

The subject illustrates another frontier principle. A general dynamical system can be too complicated to solve exactly. An integrable system is special enough that hidden structure dramatically changes what can be known.

The right invariant can turn an apparently complicated evolution into a highly constrained mathematical object.

Operator algebras are another current RIMS frontier

RIMS’s September 2026 schedule also includes a workshop on Recent Developments in Operator Algebras, organised by RIMS professor Narutaka Ozawa.

Operator algebras study algebras of linear operators on Hilbert spaces. They arise naturally in functional analysis and quantum mechanics and develop into deep theories of C*-algebras and von Neumann algebras.

At the frontier, operator algebras interact with group theory, ergodic theory, topology, probability, non-commutative geometry and quantum information.

The phrase non-commutative matters. In ordinary coordinate geometry, multiplying coordinate functions does not depend on order. In quantum structures, operator multiplication generally does. Geometry must therefore be rebuilt using algebraic structures in which AB and BA can differ.

Computer-assisted proof is becoming part of the frontier verification system

RIMS’s current September programme also includes Development of Computer-Assisted Proofs in Dynamical Systems.

This is an important institutional signal. The boundary between theoretical Mathematics and computation is changing.

A computer-assisted proof does not mean asking software for an answer and trusting the output. Rigorous computer-assisted Mathematics builds a chain in which numerical approximations, interval bounds, symbolic manipulations or exhaustive computations are controlled tightly enough that the final claim has a proof-level guarantee.

The core problem is verification:

Approximate computation + certified error control + mathematical argument → rigorous conclusion.

This connects directly to the site’s operating-manual routes on Iteration, Convergence, Error Control and Stopping Criteria and Construction, Verification, Witnesses and Impossibility.

Combinatorial optimisation connects discrete Mathematics to decisions

RIMS also contains strong work in combinatorial optimisation and algorithms. In July 2026 it hosted a Seminar on Combinatorial Optimization, while RIMS professor Kazuhisa Makino heads the Computer Laboratory and works in optimisation and discrete mathematical systems.

Combinatorial optimisation studies the best feasible object among a discrete set of possibilities: routes, schedules, matchings, cuts, assignments, trees or subsets.

The difficulty is often not writing the objective. It is the number of possibilities. A problem may have a compact description while the space of candidates grows exponentially.

This is where structure matters. Matroids, submodularity, polyhedra, network flows, linear programming and approximation theory can turn a hopeless search into a tractable algorithm.

August 2026: a thirty-year scheduling conjecture is solved with Mathematics and computation

RIMS’s Japanese news feed reported in August 2026 that Associate Professors Akitoshi Kawamura and Yusuke Kobayashi had helped resolve a roughly thirty-year-old conjecture concerning cyclic assignment and packing/covering limits using Mathematics and computation.

The details belong to specialised discrete optimisation, but the institutional signal is broader. Frontier Mathematics increasingly mixes proof, algorithm design and computational exploration.

Computation can discover candidate structure. Mathematics can explain why it must hold. Computer-assisted checking can sometimes close finite but enormous cases. The strongest work knows which job belongs to which tool.

Probability and random geometry remain a strong RIMS line

RIMS has a long probability tradition extending from Kiyosi Itô to current researchers working on stochastic processes, random media, fractal geometry and related analysis.

Modern probability no longer asks only the classroom question “What is the chance of this event?” It studies random paths, random environments, interacting particles, rough geometry and systems whose macroscopic behaviour emerges from enormous numbers of uncertain local interactions.

This is one reason Mathematics needs institutes that allow fields to coexist. A random fractal may require probability, geometry and analysis simultaneously. A stochastic PDE may require probability, functional analysis and numerical computation. A quantum many-body system may require operator algebras, probability and physics.

Next-generation geometry is an explicit institutional commitment

The current RIMS structure includes an International Research Center for Next-Generation Geometry, with project professors including Tomoyuki Arakawa, Masaki Kashiwara, Shigefumi Mori and Hiraku Nakajima.

The phrase “next-generation geometry” is useful because modern geometry is no longer one subject.

• Algebraic geometry studies spaces defined through algebraic equations and schemes.
• Symplectic geometry studies structures underlying Hamiltonian mechanics.
• Differential geometry studies smooth manifolds, metrics and curvature.
• Representation geometry links symmetry to geometric spaces and categories.
• Arithmetic geometry studies number-theoretic information using geometry.
• Derived and categorical geometry retain higher structural information.
• Mathematical physics produces geometric objects from quantum and field-theoretic models.

A research centre can accelerate the subject by treating these as interacting dialects rather than isolated departments.

The Takagi Lectures connect Japan to the global mathematical frontier

RIMS hosts the Takagi Lectures, named for Teiji Takagi, one of the founders of class field theory and a central figure in Japanese Mathematics.

The 26th Takagi Lectures were held at RIMS on 6–7 June 2026. The lecture series has previously hosted researchers who later or already held major international honours, including Masaki Kashiwara, Hugo Duminil-Copin, James Maynard and Mark Braverman.

High-level lecture series perform a different job from workshops. Workshops are often optimised for specialists. Distinguished lectures translate major contemporary Mathematics into a form accessible to a broader professional mathematical audience.

They therefore help connect specialist frontiers back to the wider discipline.

RIMS Kôkyûroku preserves a large layer of mathematical memory

Joint research produces talks, discussions and intermediate results that may never become journal papers in exactly the same form. RIMS preserves much of this activity through RIMS Kôkyûroku and related publication series.

The official Director’s message says the collection has exceeded two thousand volumes and receives more than a million accesses annually.

This is institutionally important because Mathematics has several levels of record:

• informal conversation;
• seminar and workshop talk;
• workshop proceedings or research notes;
• preprint;
• refereed journal article;
• monograph or textbook.

Not every level has the same authority. But preserving several levels gives future researchers access to motivation, partial developments and specialist context that can disappear from the final polished theorem.

Graduate education means students learn inside the frontier rather than beside it

Unlike several visitor-only institutes in this series, RIMS has maintained graduate education since 1970. Its current institutional description says it admits approximately ten Master’s students and ten doctoral students each year.

This changes the student environment. A graduate student is not simply taught by faculty who once did advanced research. They study inside a place where international visitors, workshops and research projects continually bring current Mathematics into the building.

The advantage is not merely access to famous people. It is exposure to research behaviour:

• how experts choose a problem;
• how definitions are negotiated;
• how conjectures fail;
• how seminars expose hidden assumptions;
• how several fields learn enough of each other to collaborate; and
• how a partial idea becomes a publishable mathematical object.

RIMS creates an Asian frontier node without becoming geographically closed

The first institutions in this series were located in Princeton, Bures-sur-Yvette, Bonn, Berkeley and Cambridge. RIMS adds a major Kyoto node and changes the geographic shape of the map.

This matters because frontier Mathematics is globally distributed. Japanese Mathematics has distinctive historical strengths in probability, algebraic geometry, representation theory, operator algebras, integrable systems and several areas of analysis and mathematical physics. At the same time, RIMS works through international visitors and collaborations rather than treating those traditions as nationally sealed.

Current joint activities include collaborations involving researchers from Europe, North America, Australia, Korea, Taiwan and other parts of Asia.

For Singapore students and teachers, this makes an important point: some of the world’s most advanced Mathematics is being developed within the Asia-Pacific research network, not only in the United States and Western Europe.

The MATRIX–RIMS tandem model shows institutions can collaborate as institutions

RIMS’s 2026 programme includes tandem-workshop activity with external institutes. One September workshop on geometric flows is organised in collaboration across Japan, Korea and the wider research network.

This is a valuable extension of the institution map. Researchers are not the only entities that collaborate. Institutes themselves can coordinate programmes, exchange participants and divide organisational work.

The resulting frontier can become multi-centred:

Institution A ↔ programme ↔ Institution B ↔ visiting researchers ↔ universities ↔ next programme.

The Mathematics travels through a network rather than belonging permanently to one node.

RIMS makes the pure–applied distinction more interesting

RIMS’s Director’s message uses Galois theory, non-Euclidean geometry and Itô stochastic analysis as examples of Mathematics whose later applications became enormously important.

This is not an argument that every pure theorem will eventually produce commercial value. Many will not, and predicting which will is impossible.

The deeper lesson is that the pure–applied boundary is temporally unstable.

Number theory once looked remote from engineering and now supports cryptography. Geometry once looked detached from practical navigation and now underlies relativistic corrections required by satellite positioning. Stochastic calculus became financial infrastructure. Topology and homological methods now appear in data analysis and quantum information.

Frontier institutions therefore need enough patience not to demand premature application from every mathematical idea.

What a school student can learn from RIMS

1. Mathematics does not end at the syllabus boundary

School Mathematics presents a stable learning sequence. RIMS exists because Mathematics itself remains unfinished.

2. Abstraction is often a tool for preserving structure

D-modules, schemes, operator algebras and higher categories become abstract because researchers need representations capable of preserving relationships that simpler objects lose.

3. Mathematics can become useful decades after it is created

Immediate application is not the only measure of mathematical value.

4. Proof and computation can cooperate

Modern rigorous Mathematics increasingly uses computers for exploration, verification and certified calculation without abandoning proof standards.

5. A mathematical career is a network

Researchers move through universities, institutes, workshops and collaborations. No single institution owns the mathematician or the theorem.

From school Mathematics toward RIMS-level frontiers

• Algebra → abstract algebra → representation theory → D-modules, quantum groups and categorical representation.
• Geometry → manifolds and topology → algebraic and symplectic geometry → singularities, birational geometry and higher structures.
• Calculus → real and functional analysis → PDE → dispersive equations, spectral theory and nonlinear dynamics.
• Probability → stochastic processes → stochastic analysis → random geometry and mathematical physics.
• Discrete Mathematics → graphs and combinatorics → optimisation → algorithms, scheduling and computational complexity.
• Linear algebra → operator theory → operator algebras → non-commutative geometry and quantum mathematical structures.

The progression is not simply a sequence of harder formulas. It is a shift toward structures that can survive greater abstraction and connect more mathematical worlds.

How RIMS compares with the earlier institutions in this series

Institution	Dominant frontier mechanism
Institute for Advanced Study	Permanent faculty + rotating Members + protected individual research
IHES	Very small permanent faculty + international visitors + Mathematics–physics interface
MPIM Bonn	Small permanent core + large continuous guest programme
SLMath	Semester thematic programmes + workshops + temporary research membership
Isaac Newton Institute	Long visitor programmes + workshops + national coordination + interdisciplinary exchange
RIMS Kyoto	Permanent faculty + graduate education + international joint-use research + workshops + long research projects

The comparison is architectural, not hierarchical. Each institution solves a different coordination problem inside the global Mathematics ecosystem.

RIMS institutional map

Entity	Research Institute for Mathematical Sciences (RIMS), Kyoto University
Type	University research institute and International Joint Usage/Research Center
Established	1963
Location	Kyoto, Japan
Current Director checked	Yoshinori Namikawa, from 1 April 2026
Major divisions	Fundamental Mathematics, Infinite Analysis, Applied Mathematics, plus Computer Laboratory
Joint activity scale	Official RIMS description: around 80 workshops and more than 4,000 participants annually
Long programme mechanism	RIMS Research Projects with medium- to long-term international participation
Graduate education	Master’s and doctoral training within the institute
Current 2026 research-project example	Higher Structures in Geometry and Mathematical Physics
Live 7 September 2026 activity	New Perspectives on Mathematics of Integrable Systems
Recent major recognition	Masaki Kashiwara, 2025 Abel Prize
Verification date	7 September 2026

Connections into the Bukit Timah Tutor Mathematics estate

This page owns the RIMS institutional node. Detailed mathematical topics remain with their specialist learning routes.

• Affine Varieties and Algebraic Sets
• Morphisms, Singularities and Dimension
• Representation Theory in Mathematics
• Quantum Groups
• Categorification
• Topological Spaces and Continuity
• Homology and Cohomology
• Iteration, Convergence, Error Control and Stopping Criteria
• Construction, Verification, Witnesses and Impossibility
• Integer Factorisation and Computational Limits

Return to the Singapore Mathematics Hub for the wider school-to-frontier Mathematics estate.

Official RIMS and Kyoto University sources

• RIMS — official homepage
• RIMS — Message from the Director
• RIMS — Members
• RIMS — Directors
• International Joint Usage/Research Center
• RIMS Joint Research Activities — Calls for Proposals
• RIMS Workshops
• Kyoto University — Masaki Kashiwara receives the 2025 Abel Prize
• Kyoto University — Masaki Kashiwara press conference
• Kyoto University — Abel Prize record

The larger lesson

RIMS demonstrates that a frontier Mathematics institution does not need to choose between being a permanent research institute, a visitor centre, a graduate school and a national collaborative platform.

It can combine those roles if the architecture remains clear.

The permanent faculty gives depth. Graduate students provide succession. International projects bring changing frontier problems into Kyoto. Workshops provide rapid exchange. Research projects create longer concentration. Publication series preserve intermediate mathematical memory. The computer laboratory and applied groups connect abstract theory to algorithms and computation. Geometry, analysis, probability, operator algebras and mathematical physics remain close enough to cross-pollinate.

Its history makes the mechanism visible. Itô created a calculus for randomness. Hironaka transformed singular geometry. Sato opened new algebraic-analytic language. Kashiwara expanded that language into representation theory and won the 2025 Abel Prize. Mori reshaped birational geometry. The current institute continues with higher geometry, integrable systems, operator algebras, computer-assisted proof and discrete optimisation.

RIMS matters because it preserves a place where Mathematics can remain fundamental, become collaborative, train its successors, meet computation and applications, and still keep enough freedom for entirely new mathematical languages to appear.

That makes Kyoto University’s Research Institute for Mathematical Sciences one of the essential Asian nodes in any serious global map of frontier Mathematics.