3 papers
math.AG2026
An algorithm for the minimal model program in dimension three
Takehiko Yasuda
We construct an algorithm for the minimal model program in dimension three over a computable field of characteristic zero admitting a splitting algorithm, such as number fields and…
math.AG2024
Quotient singularities by permutation actions are canonical
Takehiko Yasuda
The quotient variety associated to a permutation representation of a finite group has only canonical singularities in arbitrary characteristic. Moreover, the log pair associated to…
math.AG2021
The isomorphism problem of projective schemes and related algorithmic problems
Takehiko Yasuda
We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in th…