Proceedings of the Japan Academy series A mathematical sciences.