Source author record

Kotaro Sugahara

Kotaro Sugahara appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
1topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2016arXiv

Arithmetic Central Extensions and Reciprocity Laws for Arithmetic Surface

Three types of reciprocity laws for arithmetic surfaces are established. For these around a point or along a vertical curve, we first construct $K_2$ type central extensions, then introduce reciprocity symbols, and finally prove the law as an application of Parshin-Beilinson's theory of adelic complex. For reciprocity law along a horizontal curve, we first introduce a new type of arithmetic central extensions, then apply our arithmetic adelic cohomology theory and arithmetic intersection theory to prove the related reciprocity law. All this can be interpreted within the framework of arithmetic central extensions. We add an appendix to deal with some basic structures of such extensions.

preprint2016arXiv

H^1_ar for arithmetic surface is finite

For an arithmetic surface X and a Weil divisor $D$, there are natural arithmetic cohomology groups $H_{\mathrm{ar}}^i(X, \mathcal O_X (D))$ $(i=0,1,2)$. Using ind-pro topology on adelic space $\mathbb A_{X, 012}^{\mathrm{ar}}$, we show that $H_{\mathrm{ar}}^0(X, \mathcal O_X (D))$ is discrete, $H_{\mathrm{ar}}^1(X, \mathcal O_X (D))$ is finite, and $H_{\mathrm{ar}}^2(X, \mathcal O_X (D))$ is compact. Moreover, we prove that all possible summations of canonical subspaces $\mathbb A_{X,i}^{\mathrm{ar}}(D),$ $\mathbb A_{X, kl}^{\mathrm{ar}}(D)$ $(i,k,l=0,1,2)$ are closed in $\mathbb A_{X,012}^{\mathrm{ar}}$, and hence complete our proof of topological dualities of among $H^i_{\mathrm{ar}}$'s.