Source author record

Kei-ichi Watanabe

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

ResearcherUnclaimed source record

math.AC math.AG math.RT math.GR

Catalog footprint

Research overview

13works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures

Hilbert-Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert--Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert--Kunz multiplicity.

preprint2020arXiv

Hilbert-Kunz density function for graded domains

We prove the existence of HK density function for a pair $(R, I)$ , where $R$ is a ${\mathbb N}$ -graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result where one proves the existence of such a function for a pair $(R, I)$ , where, in addition $R$ is standard graded. As one of the consequences we show that if $G$ is a finite group scheme acting linearly on a polynomial ring $R$ of dimension $d$ then the HK density function $f_{R^G, {\bf m}_G}$ , of the pair $(R^G, {\bf m}_G)$ , is a piecewise polynomial function of degree $d-1$ . We also compute the HK density functions for $(R^G, {\bf m}_G)$ , where $G\subset SL_2(k)$ is a finite group acting linearly on the ring $k[X, Y]$ .

preprint2020arXiv

Hilbert-Kunz density functions and $F$ -thresholds

We had shown earlier that for a standard graded ring $R$ and a graded ideal $I$ in characteristic $p>0$ , with $\ell(R/I) <\infty$ , there exists a compactly supported continuous function $f_{R, I}$ whose Riemann integral is the HK multiplicity $e_{HK}(R, I)$ . We explore further some other invariants, namely the shape of the graph of $f_{R, {\bf m}}$ (where ${\bf m}$ is the graded maximal ideal of $R$ ) and the maximum support (denoted as $α(R,I)$ ) of $f_{R, I}$ . In case $R$ is a domain of dimension $d\geq 2$ , we prove that $(R, {\bf m})$ is a regular ring if and only if $f_{R, {\bf m}}$ has a symmetry $f_{R, {\bf m}}(x) = f_{R, {\bf m}}(d-x)$ , for all $x$ . If $R$ is strongly $F$ -regular on the punctured spectrum then we prove that the $F$ -threshold $c^I({\bf m})$ coincides with $α(R,I)$ . As a consequence, if $R$ is a two dimensional domain and $I$ is generated by homogeneous elements of the same degree, thene have (1) a formula for the $F$ -threshold $c^I({\bf m})$ in terms of the minimum strong Harder-Narasimahan slope of the syzygy bundle and (2) a well defined notion of the $F$ -threshold $c^I({\bf m})$ in characteristic $0$ . This characterisation readily computes $c^{I(n)}({\bf m})$ , for the set of all irreducible plane trinomials $k[x,y,z]/(h)$ , where ${\bf m} = (x,y,z)$ and $I(n) = (x^n, y^n, z^n)$ .

preprint2015arXiv

$F$ -singularities: applications of characteristic $p$ methods to singularity theory

This is a survey article on $F$ -singularities and their applications.

preprint2015arXiv

Some computations of generalized Hilbert-Kunz function and multiplicity

Let $R$ be a local ring of characteristic $p>0$ which is $F$ -finite and has perfect residue field. We compute the generalized Hilbert-Kunz invariant for certain modules over several classes of rings: hypersurfaces of finite representation type, toric rings, $F$ -regular rings.

preprint2014arXiv

Classification of 2-dimensional graded normal hypersurfaces with $a(R)\le 6$

Let k be a field of any characteristic and R = k[x,y,z]/(f) be a graded normal hypersurface. We call (a,b,c; h) = deg(x,y,z;f) the type of R with gcd(a,b,c)=1. Then the a-invariant a(R) is given by h - (a+b+c). The classification of such R (or f) was made by many authors (Arnold, Saito, Wagreich, ...). Here we classify the possible types of R for a fixed a(R) with $- 1 \le a(R) \le 6$ by commutative ring theoretic method using the Dolgachev-Pinkham-Demazure construction of normal graded rings. We also show that if we fix $a(R) \ge 0$ , then the number of possible types of R is finite.

preprint2013arXiv

Ulrich ideals and modules

In this paper we study Ulrich ideals of and Ulrich modules over Cohen--Macaulay local rings from various points of view. We determine the structure of minimal free resolutions of Ulrich modules and their associated graded modules, and classify Ulrich ideals of numerical semigroup rings and rings of finite CM-representation type.

preprint2013arXiv

Ulrich ideals and modules over two-dimensional rational singularities

The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals.

preprint2013arXiv

Upper bound of multiplicity of F-rational rings and F-pure rings

This paper answers in the affirmative a question raised by Karl Schwede concerning an upper bound on the multiplicity of F-pure rings.

preprint2011arXiv

F-signature of graded Gorenstein rings

For a commutative ring $R$ , the $F$ -signature was defined by Huneke and Leuschke \cite{H-L}. It is an invariant that measures the order of the rank of the free direct summand of $R^{(e)}$ . Here, $R^{(e)}$ is $R$ itself, regarded as an $R$ -module through $e$ -times Frobenius action $F^e$ .In this paper, we show a connection of the F-signature of a graded ring with other invariants. More precisely, for a graded $F$ -finite Gorenstein ring $R$ of dimension $d$ , we give an inequality among the $F$ -signature $s(R)$ , $a$ -invariant $a(R)$ and Poincaré polynomial $P(R,t)$ . $s(R)\le\frac{(-a(R))^d}{2^{d-1}d!}\lim_{t\rightarrow 1}(1-t)^dP(R,t)$ Moreover, we show that $R^{(e)}$ has only one free direct summand for any $e$ , if and only if $R$ is $F$ -pure and $a(R)=0$ . This gives a characterization of such rings.

preprint2011arXiv

Genus of numerical semigroups generated by three elements

In this paper we study numerical semigroups generated by three elements. We give a characterization of pseudo-symmetric numerical semigroups. Also, we will give a simple algorithm to get all the pseudo-symmetric numerical semigroups with give Frobenius number.

preprint2011arXiv

Jet schemes of homogeneous hypersurfaces

This paper studies the singularities of jet schemes of homogeneous hypersurfaces of general type. We obtain the condition of the degree and the dimension for the singularities of the jet schemes to be of dense $F$ -regular type. This provides us with examples of singular varieties whose $m$ -jet schemes have rational singularities for every $m$ .

preprint2010arXiv

Multiplicity bounds in graded rings

The $F$ -threshold $c^J(\a)$ of an ideal $\a$ with respect to an ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$ . We study a conjecture formulated in an earlier paper \cite{HMTW} by the same authors together with M. Mustaţă, which bounds $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$ , when $\a$ and $J$ are zero-dimensional ideals and $J$ is generated by a system of parameters. We prove the conjecture when $\a$ and $J$ are generated by homogeneous systems of parameters in a Noetherian graded $k$ -algebra. We also prove a similar inequality involving, instead of the $F$ -threshold, the jumping number for the generalized parameter test submodules introduced in \cite{ST}.

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.

Kei-ichi Watanabe

Research overview

Is this your work?

13 publications

Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures

Hilbert-Kunz density function for graded domains

Hilbert-Kunz density functions and $F$ -thresholds

$F$ -singularities: applications of characteristic $p$ methods to singularity theory

Some computations of generalized Hilbert-Kunz function and multiplicity

Classification of 2-dimensional graded normal hypersurfaces with $a(R)\le 6$

Ulrich ideals and modules

Ulrich ideals and modules over two-dimensional rational singularities

Upper bound of multiplicity of F-rational rings and F-pure rings

F-signature of graded Gorenstein rings

Genus of numerical semigroups generated by three elements

Jet schemes of homogeneous hypersurfaces

Multiplicity bounds in graded rings

See the researcher in context

Building this map preview

Kei-ichi Watanabe

Research overview

Is this your work?

13 publications

Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures

Hilbert-Kunz density function for graded domains

Hilbert-Kunz density functions and FFF-thresholds

FFF-singularities: applications of characteristic ppp methods to singularity theory

Some computations of generalized Hilbert-Kunz function and multiplicity

Classification of 2-dimensional graded normal hypersurfaces with a(R)≤6a(R)\le 6a(R)≤6

Ulrich ideals and modules

Ulrich ideals and modules over two-dimensional rational singularities

Upper bound of multiplicity of F-rational rings and F-pure rings

F-signature of graded Gorenstein rings

Genus of numerical semigroups generated by three elements

Jet schemes of homogeneous hypersurfaces

Multiplicity bounds in graded rings

See the researcher in context

Building this map preview

Hilbert-Kunz density functions and $F$ -thresholds

$F$ -singularities: applications of characteristic $p$ methods to singularity theory

Classification of 2-dimensional graded normal hypersurfaces with $a(R)\le 6$