arXiv subjects

Shihoko Ishii

Publications and source records attributed to Shihoko Ishii.

At least 19 recordsLinked to original sources

arXiv2026

Liftings of ideals in positive characteristic to those in characteristic zero:Surface case

In this paper, we introduce the notion of a characteristic-zero lifting of an object in positive characteristic by means of ``skeletons''. Using this notion, we relate invariants of singularities in positive characteristic to their counterparts in characteristic zero. As an application, we prove that the set of log discrepancies for pairs consisting of a smooth surface and a multi-ideal is discrete. We also show that the set of minimal log discrepancies and the set of log canonical thresholds of such pairs in positive characteristic are contained in the corresponding sets in characteristic zero. Another application is the construction of Campillo's complex model of a plane curve in positive characteristic via the skeleton lifting method.

math.AG↗

arXiv2025

Liftings of ideals in positive characteristic to those in characteristic zero : Low dimension

We study a pair consisting of a smooth variety over a field of positive characteristic and a multi-ideal with a real exponent. We prove the finiteness of the set of minimal log discrepancies for a fixed exponent if the dimension is less than or equal to three. We also prove that the set of log canonical thresholds (lct for short) of ideals on a smooth variety in positive characteristic is contained in the set of lct's of ideals on a smooth variety over C, assuming the dimension is less than or equal to three. Under the same dimension assumption, it follows that the accumulation points of log canonical thresholds are rational. Our proofs also show the same statements for the higher dimensional case if all such pairs admit log resolutions by a composite of blow-ups by smooth centers.

math.AG↗

arXiv2025

On vanishing of higher direct images of the structure sheaf

We show the vanishing of the first direct image of the structure sheaf of a normal scheme $X$ which is mapped properly and birationally over a regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an isolated support.

math.AG↗

arXiv2023

A bound of the number of weighted blow-ups to compute the minimal log discrepancy for smooth 3-folds

We study a pair consisting of a smooth 3-fold defined over an algebraically closed field and a general real ideal. We show that the minimal log discrepancy of every such a pair is computed by a prime divisor obtained by at most two weighted blow-ups. This bound is regarded as a weighted blow-up version of Mustata-Nakamura Conjecture. We also show that if the mld of such a pair is not less than 1, then it is computed by at most one weighted blow-up. As a consequence, ACC of mld holds for such pairs.

math.AG↗

arXiv2020

The minimal log discrepancies on a smooth surface in positive characteristic

This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition of the minimal log discrepancies and of the log canonical thresholds for those pairs. We also obtain finiteness of the set of the minimal log discrepancies of those pairs for a fixed real exponent.

math.AG↗

arXiv2018

Inversion of modulo p reduction and a partial descent from characteristic 0 to positive characteristic

In this paper we focus on pairs consisting of the affine $N$-space and multiideals with a positive exponent. We introduce a method "lifting to characteristic 0" which is a kind of the inversion of "modulo p reduction". By making use of it, we prove that Mustata-Nakamura's conjecture and some uniform bound of divisors computing log canonical thresholds descend from characteristic 0 to certain classes of pairs in positive characteristic. We also pose a problem whose affirmative answer gives the descent of the statements to the whole set of pairs in positive characteristic.

math.AG↗

arXiv2018

Jet closures and the local isomorphism problem

If a morphism of germs of schemes induces isomorphisms of all local jet schemes, does it follow that the morphism is an isomorphism? This problem is called the local isomorphism problem. In this paper, we use jet schemes to introduce various closure operations among ideals and relate them to the local isomorphism problem. This approach leads to a partial solution of the local isomorphism problem, which is shown to have a negative answer in general and a positive one in several situations of geometric interest.

math.AG↗

arXiv2018

A strongly geometric general residual intersection

In this paper, we prove a formula of Grauert-Riemenschneider canonical sheaf and log canonical thresholds for a general residual intersection as well as an equality of minimal log discrepancies under a general link. We also prove an evidence that MJ-singularities can be preserved under a general residual intersection.

math.AG↗

arXiv2018

Finite determination conjecture for Mather-Jacobian minimal log discrepancies and its applications

In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. We also show that this conjecture yields some basic properties of singularities; e.g. openness of Mather-Jacobian (log) canonical singularities, stability of these singularities under small deformations and lower semi-continuity of Mather-Jacobian minimal log discrepancies, which are already known in characteristic 0 and open for positive characteristic case.We show some evidences of the conjecture: for example, for non-degenerate hypersurfaces of any dimension in arbitrary characteristic and 2-dimensional singularities in characteristic not 2. We aslo give a bound of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy.

math.AG↗

arXiv2016

Singularities in arbitrary characteristic via jet schemes

This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction with respect to Mather-Jacobian discrepancies holds in arbitrary characteristic. Based on this fact we will reduce many geometric properties of the singularities into the problem on jet schemes and try to avoid discussions which are distinctive for characteristic 0.

math.AG↗

arXiv2015

Divisorial valuations via arcs

This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the codimension for this subset and give a formula of the codimension in terms of "relative Mather canonical class". By using this subset, we prove that a divisorial valuation is determined by assigning the values of finite functions. We also have a criterion for a divisorial valuation to be a monomial valuation by assigning the values of finite functions.

math.AG↗

arXiv2013

Singularities with respect to Mather-Jacobian discrepancies

As is well known, the "usual discrepancy" is defined for a normal Q-Gorenstein variety. By using this discrepancy we can define a canonical singularity and a log canonical singularity. In the same way, by using a new notion, Mather-Jacobian discrepancy introduced in recent papers we can define a "canonical singularity" and a "log canonical singularity" for not necessarily normal or Q-Gorenstein varieties. In this paper, we show basic properties of these singularities, behavior of these singularities under deformations and determine all these singularities of dimension up to 2.

math.AG↗

arXiv2013

Singularities with the highest Mather minimal log discrepancy

This paper characterizes singularities with Mather minimal log discrepancies in the highest unit interval, i.e., the interval between $d-1$ and $d$, where $d$ is the dimension of the scheme. The class of these singularities coincides with one of the classes of (1) compound Du Val singularities, (2) normal crossing double singularities, (3) pinch points, and (4) pairs of non-singular varieties and boundaries with multiplicities less than or equal to 1 at the point. As a corollary, we also obtain one implication of an equivalence conjectured by Shokurov for the usual minimal log discrepancies.

math.AG↗

arXiv2013

A supplement to Fujino's paper: On isolated log canonical singularities with index one

Let $E$ be the essential part of the exceptional locus of a good resolution of an isolated, log canonical singularity of index one. We describe the dimension of the dual complex of $E$ in terms of the Hodge type of $H^{n-1}(E, O_E)$, which is one of the main results of the paper [1] of Fujino. Our proof uses only an elementary classical method, while Fujino's argument depends on the recent development in minimal model theory.

math.AG↗

arXiv2012

Mather discrepancy and the arc spaces

The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By introducing new log-canonical threshold and minimal log-discrepancy by means of Mather discrepancy instead of usual discrepancy of canonical divisors, we obtain the formulas of the new log-canonical threshold in terms of arc spaces, inversion of adjunction for wider class of singularities than the known one, lower seimicontinuity of the new minimal log-discrepancy and the affirmative answer to a conjecture of Shokurov type; One advantage of the new invariants is that these are defined for arbitrary varieties (without q-Gorenstein property); These results include the known results for usual log-canonical threshold and minimal log-discrepancy.

math.AG↗

arXiv2011

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$.

math.AG↗

arXiv2011

Multiplier ideals via Mather discrepancy

We define a version of multiplier ideals, the Mather multiplier ideals, on a variety with arbitrary singularities, using the Mather discrepancy and the Jacobian ideal. In this context we prove a relative vanishing theorem, thus obtaining restriction theorems and a subadditivity and summation theorems. The Mather multiplier ideals also satisfy a Skoda type result. As an application, we obtain a Briancon-Skoda type formula for the integral closures of ideals on a variety with arbitrary singularities.

math.AG↗

arXiv2010

Nash problem for a toric pair and the minimal log-discrepancy

This paper formulates the Nash problem for a pair consisting of a toric variety and an invariant ideal and gives an affirmative answer to the problem. We also prove that the minimal log-discrepacy is computed by a divisor corresponding to a Nash component, if the minimal log-discrepancy is finite. On the other hand there exists a Nash component such that the corresponding divisor has negative log-discrepancy, if the minimal log-discrepancy is $-/infty$.

math.AG↗