Researcher profile

Kotaro Sugahara

Kotaro Sugahara contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author
2works
0followers
1topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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.