と言っても、数論幾何学の専門家も圏論の専門家も一緒に首を傾げているわけだけども