Source author record

Kosuke Ohta

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
1close collaborators

Published work

2 publications

preprint2016arXiv

A function determined by a hypersurface of positive characteristic

Let R be a formal power series ring over a perfect field k of prime characteristic p, and let m be the maximal ideal of R. Suppose f is a non-zero element in m. In this paper, we introduce a function xi (x) associated with a hypersurface defined on the closed interval [0, 1] in R. The Hilbert-Kunz function and the F-signature of a hypersurface appear as the values of our function xi (x) on the interval s endpoints.

preprint2014arXiv

On the limit of Frobenius in the Grothendieck group

Considering the Grothendieck group modulo numerical equivalence, we obtain the finitely generated lattice G0(R)‾\overline{G_0(R)} for a Noetherian local ring RR. Let CCM(R)C_{CM}(R) be the cone in G0(R)‾R\overline{G_0(R)}_{\Bbb R} spanned by cycles of maximal Cohen-Macaulay RR-modules. We shall define the fundamental class μR‾\overline{μ_R} of RR in G0(R)‾R\overline{G_0(R)}_{\Bbb R}, which is the limit of the Frobenius direct images (divided by their rank) [eR]/pde[{}^e R]/p^{de} in the case ch(R)=p>0{ch}(R) = p > 0. The homological conjectures are deeply related to the problems whether μR‾\overline{μ_R} is in the Cohen-Macaulay cone CCM(R)C_{CM}(R) or the strictly nef cone SN(R)SN(R) defined below. In this paper, we shall prove that μR‾\overline{μ_R} is in CCM(R)C_{CM}(R) in the case where RR is FFRT or F-rational.

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.