Showing 1–50 of 50 results for author: Sano, T

Cobordism maps in Khovanov homology and singular instanton homology I

Authors: Hayato Imori, Taketo Sano, Kouki Sato, Masaki Taniguchi

Abstract: Khovanov homology and singular instanton knot Floer homology are both functorial with respect to link cobordisms. Although the two theories are related by a spectral sequence, direct correspondence between the cobordism maps has not been rigorously established. In this paper, we define a cobordism map on the instanton cube complex as a filtered chain map, and prove that it recovers the cobordism m… ▽ More Khovanov homology and singular instanton knot Floer homology are both functorial with respect to link cobordisms. Although the two theories are related by a spectral sequence, direct correspondence between the cobordism maps has not been rigorously established. In this paper, we define a cobordism map on the instanton cube complex as a filtered chain map, and prove that it recovers the cobordism maps both in Khovanov homology and singular instanton theory. In a sequel paper, we further extend this cobordism map to immersed cobordisms. △ Less

Submitted 17 May, 2025; originally announced May 2025.

Comments: 45 pages, 9 figures

Report number: RIKEN-iTHEMS-Report-25 MSC Class: 57K18 57R58

A diagrammatic approach to the Rasmussen invariant via tangles and cobordisms

Authors: Taketo Sano

Abstract: We introduce a diagrammatic approach to Rasmussen's $s$-invariant via tangles and cobordisms, combining Bar-Natan's formulation of Khovanov homology for tangles and cobordisms with the characterization of $s$ via the divisibility of the Lee class, as developed in the author's previous works. This framework enables a "divide-and-conquer" method for computing $s$ from a tangle decomposition of a giv… ▽ More We introduce a diagrammatic approach to Rasmussen's $s$-invariant via tangles and cobordisms, combining Bar-Natan's formulation of Khovanov homology for tangles and cobordisms with the characterization of $s$ via the divisibility of the Lee class, as developed in the author's previous works. This framework enables a "divide-and-conquer" method for computing $s$ from a tangle decomposition of a given knot diagram, making it suitable for both pen-and-paper calculations and algorithmic implementations. As an application, we determine the $s$-invariants of pretzel knots of the form $P(p_1, -p_2, \ldots, -p_l)$, where $l \geq 3$ is odd, all $p_i$ are positive and odd, and $p_1 < \min\{p_2, \ldots, p_l\}$. △ Less

Submitted 18 March, 2025; v1 submitted 7 March, 2025; originally announced March 2025.

Comments: 50 pages

Report number: RIKEN-iTHEMS-Report-25 MSC Class: 57K18

On the slice-torus invariant $q_M$ from $\mathbb{Z}_2$-equivariant Seiberg--Witten Floer cohomology

Authors: Nobuo Iida, Taketo Sano, Kouki Sato, Masaki Taniguchi

Abstract: We show that Iida--Taniguchi's $\mathbb{Z}$-valued slice-torus invariant $q_M$ cannot be realized as a linear combination of Rasmussen's $s$-invariant, Ozsváth--Szabó's $τ$-invariant, all of the $\mathfrak{sl}_N$-concordance invariants ($N \geq 2$), Baldwin--Sivek's instanton $τ$-invariant, Daemi--Imori--Sato--Scaduto--Taniguchi's instanton $\tilde{s}$-invariant and Sano--Sato's Rasmussen type inv… ▽ More We show that Iida--Taniguchi's $\mathbb{Z}$-valued slice-torus invariant $q_M$ cannot be realized as a linear combination of Rasmussen's $s$-invariant, Ozsváth--Szabó's $τ$-invariant, all of the $\mathfrak{sl}_N$-concordance invariants ($N \geq 2$), Baldwin--Sivek's instanton $τ$-invariant, Daemi--Imori--Sato--Scaduto--Taniguchi's instanton $\tilde{s}$-invariant and Sano--Sato's Rasmussen type invariants $\tilde{ss}_c$. △ Less

Submitted 13 January, 2025; originally announced January 2025.

Comments: 14 pages, 3 figures

Report number: RIKEN-iTHEMS-Report-25

On Lubin-Tate regulator maps and Kato's explicit reciprocity law

Authors: Takamichi Sano, Otmar Venjakob

Abstract: We extend the interpolation property of the Lubin-Tate regulator map from [SV24] to Artin characters and show a reciprocity law in the sense of Cherbonnier-Colmez. This allows us to provide a new proof of Kato's explicit reciprocity law for Lubin-Tate formal groups. We extend the interpolation property of the Lubin-Tate regulator map from [SV24] to Artin characters and show a reciprocity law in the sense of Cherbonnier-Colmez. This allows us to provide a new proof of Kato's explicit reciprocity law for Lubin-Tate formal groups. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Comments: 47 pages

Delta invariants of weighted hypersurfaces

Authors: Taro Sano, Luca Tasin

Abstract: We give a lower bound for the delta invariant of the fundamental divisor of a quasi-smooth weighted hypersurface. As a consequence, we prove K-stability of a large class of quasi-smooth Fano hypersurfaces of index 1 and of all smooth Fano weighted hypersurfaces of index 1 and 2. The proofs are based on the Abban--Zhuang method and on the study of linear systems on flags of weighted hypersurfaces. We give a lower bound for the delta invariant of the fundamental divisor of a quasi-smooth weighted hypersurface. As a consequence, we prove K-stability of a large class of quasi-smooth Fano hypersurfaces of index 1 and of all smooth Fano weighted hypersurfaces of index 1 and 2. The proofs are based on the Abban--Zhuang method and on the study of linear systems on flags of weighted hypersurfaces. △ Less

Submitted 30 April, 2025; v1 submitted 6 August, 2024; originally announced August 2024.

Comments: Revised version, 31 pages

On Hodge structures of compact complex manifolds with semistable degenerations

Authors: Taro Sano

Abstract: Compact Kähler manifolds satisfy several nice Hodge-theoretic properties such as the Hodge symmetry, the Hard Lefschetz property and the Hodge-Riemann bilinear relations, etc. In this note, we investigate when such nice properties hold on compact complex manifolds with semistable degenerations. For compact complex manifolds which can be obtained as smoothings of SNC varieties without triple inters… ▽ More Compact Kähler manifolds satisfy several nice Hodge-theoretic properties such as the Hodge symmetry, the Hard Lefschetz property and the Hodge-Riemann bilinear relations, etc. In this note, we investigate when such nice properties hold on compact complex manifolds with semistable degenerations. For compact complex manifolds which can be obtained as smoothings of SNC varieties without triple intersection locus, we show the Hodge symmetry when the monodromy logarithm induces isomorphisms on the associated graded. We also show the Hodge-Riemann relations on H^3 of compact complex 3-folds with such semistable degenerations under some conditions. △ Less

Submitted 30 May, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: 25 pages, corrected several mistakes on Proposition 2.6 in the previous version

Involutive Khovanov homology and equivariant knots

Authors: Taketo Sano

Abstract: For strongly invertible knots, we define an involutive version of Khovanov homology, and from it derive a pair of integer-valued invariants $(\underline{s}, \bar{s})$, which is an equivariant version of Rasmussen's $s$-invariant. Using these invariants, we reprove that the infinite family of knots $J_n$ introduced by Hayden each admits exotic pairs of slice disks. Our construction is intended to g… ▽ More For strongly invertible knots, we define an involutive version of Khovanov homology, and from it derive a pair of integer-valued invariants $(\underline{s}, \bar{s})$, which is an equivariant version of Rasmussen's $s$-invariant. Using these invariants, we reprove that the infinite family of knots $J_n$ introduced by Hayden each admits exotic pairs of slice disks. Our construction is intended to give a Khovanov-theoretic analogue of the formalism given by Dai, Mallick and Stoffregen in involutive knot Floer theory. △ Less

Submitted 5 January, 2025; v1 submitted 12 April, 2024; originally announced April 2024.

Comments: 56 pages. Revision in v3: fixed the definition of the generalized crossing change map. v4: Added computational results

Report number: RIKEN-iTHEMS-Report-24 MSC Class: 57K18

Derived Bockstein regulators and anticyclotomic $p$-adic Birch and Swinnerton-Dyer conjectures

Authors: Takamichi Sano

Abstract: We introduce "derived Bockstein regulators" by using an idea of Nekovář. We establish a general descent formalism involving derived Bockstein regulators. We give three applications of this formalism. Firstly, we show that a conjecture of Birch and Swinnerton-Dyer type for Heegner points formulated by Bertolini and Darmon in 1996 follows from Perrin-Riou's Heegner point main conjecture up to a $p$-… ▽ More We introduce "derived Bockstein regulators" by using an idea of Nekovář. We establish a general descent formalism involving derived Bockstein regulators. We give three applications of this formalism. Firstly, we show that a conjecture of Birch and Swinnerton-Dyer type for Heegner points formulated by Bertolini and Darmon in 1996 follows from Perrin-Riou's Heegner point main conjecture up to a $p$-adic unit. Secondly, we show that a $p$-adic Birch and Swinnerton-Dyer conjecture for the Bertolini-Darmon-Prasanna $p$-adic $L$-function recently formulated by Agboola and Castella follows from the Iwasawa-Greenberg main conjecture up to a $p$-adic unit. Finally, we extend conjectures and results on derivatives of Euler systems for a general motive given by Kataoka and the present author into a natural derived setting. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 46 pages

A family of slice-torus invariants from the divisibility of Lee classes

Authors: Taketo Sano, Kouki Sato

Abstract: We give a family of slice-torus invariants $\tilde{ss}_c$, each defined from the $c$-divisibility of the reduced Lee class in a variant of reduced Khovanov homology, parameterized by prime elements $c$ in any principal ideal domain $R$. For the special case $(R, c) = (F[H], H)$ where $F$ is any field, we prove that $\tilde{ss}_c$ coincides with the Rasmussen invariant $s^F$ over $F$. Compared with… ▽ More We give a family of slice-torus invariants $\tilde{ss}_c$, each defined from the $c$-divisibility of the reduced Lee class in a variant of reduced Khovanov homology, parameterized by prime elements $c$ in any principal ideal domain $R$. For the special case $(R, c) = (F[H], H)$ where $F$ is any field, we prove that $\tilde{ss}_c$ coincides with the Rasmussen invariant $s^F$ over $F$. Compared with the unreduced invariants $ss_c$ defined by the first author in a previous paper, we prove that $ss_c = \tilde{ss}_c$ for $(R, c) = (F[H], H)$ and $(\mathbb{Z}, 2)$. However for $(R, c) = (\mathbb{Z}, 3)$, computational results show that $ss_3$ is not slice-torus, which implies that it is linearly independent from the reduced invariants, and particularly from the Rasmussen invariants. △ Less

Submitted 14 May, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 41 pages

Report number: RIKEN-iTHEMS-Report-22 MSC Class: 57K18

On non-commutative Iwasawa theory and derivatives of Euler systems

Authors: David Burns, Takamichi Sano

Abstract: We describe the relative $K_0$-groups of orders in finite dimensional separable algebras over the fraction fields of Dedekind domains of characteristic zero in terms of the theory of reduced determinant functors introduced in [20]. We then use this approach to formulate, for each odd prime $p$, a main conjecture of non-commutative $p$-adic Iwasawa theory for $\mathbb{G}_m$ over arbitrary number fi… ▽ More We describe the relative $K_0$-groups of orders in finite dimensional separable algebras over the fraction fields of Dedekind domains of characteristic zero in terms of the theory of reduced determinant functors introduced in [20]. We then use this approach to formulate, for each odd prime $p$, a main conjecture of non-commutative $p$-adic Iwasawa theory for $\mathbb{G}_m$ over arbitrary number fields. This conjecture predicts a precise relation between a canonical Rubin-Stark non-commutative Euler system that we define and the compactly supported $p$-adic cohomology of $\mathbb{Z}_p$ and simultaneously extends both the higher rank (commutative) main conjecture for $\mathbb{G}_m$ studied by Kurihara and the present authors and the formalism of main conjectures in non-commutative Iwasawa theory due to Ritter and Weiss and to Coates, Fukaya, Kato, Sujatha and Venjakob. Our approach also suggests a precise conjectural `higher derivative formula' for the Rubin-Stark non-commutative Euler system that extends the classical Gross-Stark Conjecture to the setting of Galois extensions of arbitrary number fields. We present strong evidence in support of both of these conjectures in the setting of arbitrary Galois CM extensions of totally real fields. In addition, in the general case, we show that the conjectures can be combined to establish a new strategy for obtaining evidence in support of the equivariant Tamagawa Number Conjecture for $\mathbb{G}_m$ over arbitrary Galois extensions. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Comments: 100 pages

Construction of non-Kähler Calabi-Yau manifolds by log deformations

Authors: Taro Sano

Abstract: We survey recent construction of non-Kähler Calabi-Yau manifolds by smoothing SNC varieties obtained by non-trivial isomorphisms of strict Calabi-Yau manifolds. We also give a new example by smoothing an SNC 3-fold which are constructed from automorphisms of an abelian surface. We survey recent construction of non-Kähler Calabi-Yau manifolds by smoothing SNC varieties obtained by non-trivial isomorphisms of strict Calabi-Yau manifolds. We also give a new example by smoothing an SNC 3-fold which are constructed from automorphisms of an abelian surface. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: 11 pages

Infinitely many families of Sasaki-Einstein metrics on spheres

Authors: Yuchen Liu, Taro Sano, Luca Tasin

Abstract: We show that there exist infinitely many families of Sasaki-Einstein metrics on every odd-dimensional standard sphere of dimension at least $5$. We also show that the same result is true for all odd-dimensional exotic spheres that bound parallelizable manifolds. We show that there exist infinitely many families of Sasaki-Einstein metrics on every odd-dimensional standard sphere of dimension at least $5$. We also show that the same result is true for all odd-dimensional exotic spheres that bound parallelizable manifolds. △ Less

Submitted 5 June, 2024; v1 submitted 16 March, 2022; originally announced March 2022.

Comments: Final version, to appear in Journal of Differential Geometry. 24 pages

On Euler systems for motives and Heegner points

Authors: Takenori Kataoka, Takamichi Sano

Abstract: We formulate an Iwasawa main conjecture for a higher rank Euler system for a general motive. We prove "one half" of the main conjecture under mild hypotheses. We also formulate a conjecture on "Darmon-type derivatives" of Euler systems and give an application to the Tamagawa number conjecture. Lastly, we specialize our general framework to the setting of Heegner points and give a natural interpret… ▽ More We formulate an Iwasawa main conjecture for a higher rank Euler system for a general motive. We prove "one half" of the main conjecture under mild hypotheses. We also formulate a conjecture on "Darmon-type derivatives" of Euler systems and give an application to the Tamagawa number conjecture. Lastly, we specialize our general framework to the setting of Heegner points and give a natural interpretation of the Heegner point main conjecture in terms of rank two Euler systems. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 50 pages

On K-stability of Fano weighted hypersurfaces

Authors: Taro Sano, Luca Tasin

Abstract: Let $X \subset \mathbb P(a_0,\ldots,a_n)$ be a quasi-smooth weighted Fano hypersurface of degree $d$ and index $I_X$ such that $a_i |d$ for all $i$, with $a_0 \le \ldots \le a_n$. If $I_X=1$, we show that, under a suitable condition, the $α$-invariant of $X$ is greater than or equal to $\dim X/(\dim X+1)$ and $X$ is K-stable. This can be applied in particular to any $X$ as above such that… ▽ More Let $X \subset \mathbb P(a_0,\ldots,a_n)$ be a quasi-smooth weighted Fano hypersurface of degree $d$ and index $I_X$ such that $a_i |d$ for all $i$, with $a_0 \le \ldots \le a_n$. If $I_X=1$, we show that, under a suitable condition, the $α$-invariant of $X$ is greater than or equal to $\dim X/(\dim X+1)$ and $X$ is K-stable. This can be applied in particular to any $X$ as above such that $\dim X \le 3$. If $X$ is general and $I_X < \dim X$, then we show that $X$ is K-stable. We also give a sufficient condition for the finiteness of automorphism groups of quasi-smooth Fano weighted complete intersections. △ Less

Submitted 22 January, 2024; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: Minor changes. To appear in Algebraic Geometry. 26 pages

Computations of HOMFLY homology

Authors: Keita Nakagane, Taketo Sano

Abstract: Khovanov--Rozansky's HOMFLY homology is determined for all prime knots with up to 11 crossings by direct computations. Khovanov--Rozansky's HOMFLY homology is determined for all prime knots with up to 11 crossings by direct computations. △ Less

Submitted 18 January, 2024; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: 14 pages, plus 6 pages of computation results. The program can be found at https://github.com/taketo1024/yui-kr/

Report number: RIKEN-iTHEMS-Report-24 MSC Class: 57K18

On $p$-adic families of special elements for rank-one motives

Authors: Dominik Bullach, David Burns, Takamichi Sano

Abstract: We conjecture that special elements associated with rank-one motives are obtained $p$-adically from Rubin-Stark elements by means of a precise `higher-rank Soulé twist' construction. We show this conjecture incorporates a variety of known results and existing predictions and also gives rise to a concrete strategy for proving the equivariant Tamagawa Number Conjecture for rank-one motives. We then… ▽ More We conjecture that special elements associated with rank-one motives are obtained $p$-adically from Rubin-Stark elements by means of a precise `higher-rank Soulé twist' construction. We show this conjecture incorporates a variety of known results and existing predictions and also gives rise to a concrete strategy for proving the equivariant Tamagawa Number Conjecture for rank-one motives. We then use this approach to obtain new evidence in support of the equivariant Tamagawa Number Conjecture in the setting of CM abelian varieties. △ Less

Submitted 23 May, 2021; originally announced May 2021.

MSC Class: 11S40

On derivatives of Kato's Euler system and the Mazur-Tate Conjecture

Authors: David Burns, Masato Kurihara, Takamichi Sano

Abstract: We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank. We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank. △ Less

Submitted 21 March, 2021; originally announced March 2021.

Comments: 26 pages

Examples of non-Kähler Calabi-Yau manifolds with arbitrarily large $b_2$

Authors: Taro Sano

Abstract: We construct non-Kähler Calabi-Yau manifolds of dimension $\ge$ 4 with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties. The examples have K3 fibrations over smooth projective varieties and their algebraic dimensions are of codimension 2. We construct non-Kähler Calabi-Yau manifolds of dimension $\ge$ 4 with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties. The examples have K3 fibrations over smooth projective varieties and their algebraic dimensions are of codimension 2. △ Less

Submitted 8 November, 2021; v1 submitted 26 February, 2021; originally announced February 2021.

Comments: 15 pages, accepted for publication by the Journal of Topology

A Bar-Natan homotopy type

Authors: Taketo Sano

Abstract: A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy type of $\mathcal{X}_{\mathit{BN}}(D)$ is a link invariant and is described as the wedge sum of the canonical cells. We conjecture that the quantum filtration o… ▽ More A spatial refinement of Bar-Natan homology is given, that is, for any link diagram $D$ we construct a CW-spectrum $\mathcal{X}_{\mathit{BN}}(D)$ whose reduced cellular cochain complex gives the Bar-Natan complex of $D$. The stable homotopy type of $\mathcal{X}_{\mathit{BN}}(D)$ is a link invariant and is described as the wedge sum of the canonical cells. We conjecture that the quantum filtration of Bar-Natan homology also lifts to the spatial level, and that it leads us to a cohomotopical refinement of the $s$-invariant. △ Less

Submitted 28 December, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 49 pages

MSC Class: 57K18

On birational boundedness of some Calabi-Yau hypersurfaces

Authors: Taro Sano

Abstract: We show the birational boundedness of anti-canonical irreducible hypersurfaces which form 3-fold plt pairs. We also treat a collection of Du Val K3 surfaces which is birationally bounded but unbounded. We show the birational boundedness of anti-canonical irreducible hypersurfaces which form 3-fold plt pairs. We also treat a collection of Du Val K3 surfaces which is birationally bounded but unbounded. △ Less

Submitted 17 March, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 17 pages, updated following the referees' comments

Fixing the functoriality of Khovanov homology: a simple approach

Authors: Taketo Sano

Abstract: Khovanov homology is functorial up to sign with respect to link cobordisms. The sign indeterminacy has been fixed by several authors, by extending the original theory both conceptually and algebraically. In this paper we propose an alternative approach: we stay in the classical setup and fix the functoriality by simply adjusting the signs of the morphisms associated to the Reidemeister moves and t… ▽ More Khovanov homology is functorial up to sign with respect to link cobordisms. The sign indeterminacy has been fixed by several authors, by extending the original theory both conceptually and algebraically. In this paper we propose an alternative approach: we stay in the classical setup and fix the functoriality by simply adjusting the signs of the morphisms associated to the Reidemeister moves and the Morse moves. △ Less

Submitted 28 November, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

MSC Class: 57K18

On non-commutative Euler systems

Authors: David Burns, Takamichi Sano

Abstract: Let $p$ be a prime, $T$ a $p$-adic representation over a number field $K$ and $\mathcal{K}$ an arbitrary Galois extension of $K$. Then for each non-negative integer $r$ we define a natural notion of a `non-commutative Euler system of rank $r$' for $T$ relative to the extension $\mathcal{K}/K$. We prove that if $p$ is odd and $T$ and $\mathcal{K}/K$ satisfy certain mild hypotheses, then there exist… ▽ More Let $p$ be a prime, $T$ a $p$-adic representation over a number field $K$ and $\mathcal{K}$ an arbitrary Galois extension of $K$. Then for each non-negative integer $r$ we define a natural notion of a `non-commutative Euler system of rank $r$' for $T$ relative to the extension $\mathcal{K}/K$. We prove that if $p$ is odd and $T$ and $\mathcal{K}/K$ satisfy certain mild hypotheses, then there exist non-commutative Euler systems that control the Galois structure of cohomology groups of $T$ over intermediate fields of $\mathcal{K}/K$ and have rank that depends explicitly on $T$. As a first concrete application of this approach, we (unconditionally) extend the classical Euler system of cyclotomic units to the setting of arbitrary totally real Galois extensions of $\mathbb{Q}$ and describe explicit links between this extended cyclotomic Euler system, the values at zero of derivatives of Artin $L$-series and the Galois structures of ideal class groups. As an important preliminary to the formulation and proof of these results, we introduce natural non-commutative generalizations of several standard constructions in commutative algebra including higher Fitting invariants, higher exterior powers and the Grothendieck-Knudsen-Mumford determinant functor on perfect complexes that are of independent interest. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Comments: 84 pages

On functional equations of Euler systems

Authors: David Burns, Takamichi Sano

Abstract: We establish precise relations between Euler systems that are respectively associated to a $p$-adic representation $T$ and to its Kummer dual $T^*(1)$. Upon appropriate specialization of this general result, we are able to deduce the existence of an Euler system of rank $[K:\mathbb{Q}]$ over a totally real field $K$ that both interpolates the values of the Dedekind zeta function of $K$ at all posi… ▽ More We establish precise relations between Euler systems that are respectively associated to a $p$-adic representation $T$ and to its Kummer dual $T^*(1)$. Upon appropriate specialization of this general result, we are able to deduce the existence of an Euler system of rank $[K:\mathbb{Q}]$ over a totally real field $K$ that both interpolates the values of the Dedekind zeta function of $K$ at all positive even integers and also determines all higher Fitting ideals of the Selmer groups of $\mathbb{G}_m$ over abelian extensions of $K$. This construction in turn motivates the formulation of a precise conjectural generalization of the Coleman-Ihara formula and we provide supporting evidence for this conjecture. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 31 pages

An algorithm for computing the $Υ$-invariant and the $d$-invariants of Dehn surgeries

Authors: Taketo Sano, Kouki Sato

Abstract: By using grid homology theory, we give an explicit algorithm for computing Ozsváth-Stipsicz-Szabó's $Υ$-invariant and the $d$-invariant of Dehn surgeries along knots in $S^3$. As its application, we compute the two invariants for all prime knots with up to 11 crossings. By using grid homology theory, we give an explicit algorithm for computing Ozsváth-Stipsicz-Szabó's $Υ$-invariant and the $d$-invariant of Dehn surgeries along knots in $S^3$. As its application, we compute the two invariants for all prime knots with up to 11 crossings. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 38 pages, 5 figures

MSC Class: 57M27; 57M25

Tuning of multivariable model predictive controllersthrough expert bandit feedback

Authors: Alex. S. Ira, Chris Manzie, Iman Shames, Robert Chin, Dragan Nesic, Hayato Nakada, Takeshi Sano

Abstract: For certain industrial control applications an explicit function capturing the nontrivial trade-off between competing objectives in closed loop performance is not available. In such scenarios it is common practice to use the human innate ability to implicitly learn such a relationship and manually tune the corresponding controller to achieve the desirable closed loop performance. This approach has… ▽ More For certain industrial control applications an explicit function capturing the nontrivial trade-off between competing objectives in closed loop performance is not available. In such scenarios it is common practice to use the human innate ability to implicitly learn such a relationship and manually tune the corresponding controller to achieve the desirable closed loop performance. This approach has its deficiencies because of individual variations due to experience levels and preferences in the absence of an explicit calibration metric. Moreover, as the complexity of the underlying system and/or the controller increase, in the effort to achieve better performance, so does the tuning time and the associated tuning cost. To reduce the overall tuning cost, a tuning framework is proposed herein, whereby a supervised machine learning is used to extract the human-learned cost function and an optimization algorithm that can efficiently deal with a large number of variables, is used for optimizing the extracted cost function. Given the interest in the implementation across many industrial domains and the associated high degree of freedom present in the corresponding tuning process, a Model Predictive Controller applied to air path control in a diesel engine is tuned for the purpose of demonstrating the potential of the framework. △ Less

Submitted 9 February, 2020; originally announced February 2020.

MSC Class: 93C83; 93C85; 93C95; 90C56; 90C90

On derivatives of Kato's Euler system for elliptic curves

Authors: David Burns, Masato Kurihara, Takamichi Sano

Abstract: In this paper we study a new conjecture concerning Kato's Euler system of zeta elements for elliptic curves $E$ over $\mathbb{Q}$. This conjecture, which we refer to as the `Generalized Perrin-Riou Conjecture', predicts a precise congruence relation between a `Darmon-type derivative' of the zeta element of $E$ over an arbitrary real abelian field and the critical value of an appropriate higher der… ▽ More In this paper we study a new conjecture concerning Kato's Euler system of zeta elements for elliptic curves $E$ over $\mathbb{Q}$. This conjecture, which we refer to as the `Generalized Perrin-Riou Conjecture', predicts a precise congruence relation between a `Darmon-type derivative' of the zeta element of $E$ over an arbitrary real abelian field and the critical value of an appropriate higher derivative of the $L$-function of $E$ over $\mathbb{Q}$. We prove that the conjecture specializes in the relevant case of analytic rank one to recover Perrin-Riou's conjecture on the logarithm of Kato's zeta element. Under mild hypotheses we also prove that the `order of vanishing' part of the conjecture is valid in arbitrary rank. An Iwasawa-theoretic analysis of our approach leads to the formulation and proof of a natural higher rank generalization of Rubin's formula concerning derivatives of $p$-adic $L$-functions. In addition, we establish a concrete and apparently new connection between the $p$-part of the classical Birch and Swinnerton-Dyer Formula and the Iwasawa Main Conjecture in arbitrary rank and for arbitrary reduction at $p$. In a forthcoming paper we will show that the Generalized Perrin-Riou Conjecture implies (in arbitrary rank) the conjecture of Mazur and Tate concerning congruences for modular elements and, by using this approach, we are able to give a proof, under certain mild and natural hypotheses, that the Mazur-Tate Conjecture is valid in analytic rank one. △ Less

Submitted 17 April, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: 60 pages

On Euler systems for the multiplicative group over general number fields

Authors: David Burns, Alexandre Daoud, Takamichi Sano, Soogil Seo

Abstract: We formulate, and provide strong evidence for, a natural generalization of a conjecture of Robert Coleman concerning Euler systems for the multiplicative group over arbitrary number fields. We formulate, and provide strong evidence for, a natural generalization of a conjecture of Robert Coleman concerning Euler systems for the multiplicative group over arbitrary number fields. △ Less

Submitted 4 June, 2019; originally announced June 2019.

On the theory of higher rank Euler, Kolyvagin and Stark systems, IV: the multiplicative group

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conje… ▽ More We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the existence of `trivial zeroes'. △ Less

Submitted 22 March, 2019; originally announced March 2019.

Comments: 37 pages

On the theory of higher rank Euler, Kolyvagin and Stark systems, III: applications

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders a… ▽ More In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders and to a strategy for verifying (refinements of) the Tamagawa number conjecture of Bloch and Kato. We describe concrete applications relating to the multiplicative group over arbitrary number fields and to elliptic curves over abelian extensions of the rational numbers. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Comments: 48 pages

Examples of non-Kähler Calabi-Yau 3-folds with arbitrarily large $b_2$

Authors: Kenji Hashimoto, Taro Sano

Abstract: We construct non-Kähler simply connected Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties with trivial dualizing sheaves. We construct non-Kähler simply connected Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties with trivial dualizing sheaves. △ Less

Submitted 22 October, 2021; v1 submitted 3 February, 2019; originally announced February 2019.

Comments: 19 pages, to appear in Geometry & Topology

Divisibility of Lee's class and its relation with Rasmussen's invariant

Authors: Taketo Sano

Abstract: Lee homology (a variant of Khovanov homology) over $\mathbb{Q}$ possesses the "canonical generators" as its basis. The generators (Lee's classes) $[α(D, o)]$ are constructed combinatorially from an oriented link diagram $D$, one for each alternative orientation $o$ on $D$. Let $R$ be an integral domain. There exists a family of link homology theory $\{ H_c(-; R) \}_{c \in R}$, where Khovanov's the… ▽ More Lee homology (a variant of Khovanov homology) over $\mathbb{Q}$ possesses the "canonical generators" as its basis. The generators (Lee's classes) $[α(D, o)]$ are constructed combinatorially from an oriented link diagram $D$, one for each alternative orientation $o$ on $D$. Let $R$ be an integral domain. There exists a family of link homology theory $\{ H_c(-; R) \}_{c \in R}$, where Khovanov's theory corresponds to $c = 0$ and Lee's theory corresponds to $c = 2$. For each $c \in R \setminus 0$, Lee's classes $[α(D, o)]$ can be defined as elements in $H_c(D; R)$, but when $c$ is not invertible then they do not form a basis; in fact they are divisible by $c$-powers. We define the $c$-divisibility $k_c(D)$ of $[α(D, o)]$ with $o$ the given orientation of $D$. For any link $L$ and its diagram $D$, we prove that $\bar{s}_c(L) := 2k_c(D) + w(D) - r(D) + 1$ is a link invariant, where $w$ is the writhe, and $r$ is the number of Seifert circles. We pose the question whether $\bar{s}_c$ coincides with Rasmussen's $s$-invariant. There are several evidences that support the affirmative answer. For instance, $\bar{s}_c$ is a link concordance invariant, and the Milnor conjecture can be reproved using $\bar{s}_c$. Also for the special case $(R, c) = (\mathbb{Q}[h], h)$, our $\bar{s}_c$ actually coincides with $s$ as knot invariants. △ Less

Submitted 25 April, 2019; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: This paper is based on the master's thesis submitted to the Graduate School of Mathematical Sciences, the University of Tokyo

On higher special elements of $p$-adic representations

Authors: David Burns, Takamichi Sano, Kwok-Wing Tsoi

Abstract: As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairing… ▽ More As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairings on cohomology. As a first concrete application of the approach, we use it to refine, and extend, a variety of existing results and conjectures concerning the values of derivatives of Dirichlet $L$-series. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 53 pages

On the theory of higher rank Euler, Kolyvagin and Stark systems, II

Authors: David Burns, Ryotaro Sakamoto, Takamichi Sano

Abstract: We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that high… ▽ More We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler system of Rubin-Stark elements. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 51 pages

Effective non-vanishing for Fano weighted complete intersections

Authors: Marco Pizzato, Taro Sano, Luca Tasin

Abstract: We show that Ambro-Kawamata's non-vanishing conjecture holds true for a quasi-smooth WCI X which is Fano or Calabi-Yau, i.e. we prove that, if H is an ample Cartier divisor on X, then |H| is not empty. If X is smooth, we further show that the general element of |H| is smooth. We then verify Ambro-Kawamata's conjecture for any quasi-smooth weighted hypersurface. We also verify Fujita's freeness con… ▽ More We show that Ambro-Kawamata's non-vanishing conjecture holds true for a quasi-smooth WCI X which is Fano or Calabi-Yau, i.e. we prove that, if H is an ample Cartier divisor on X, then |H| is not empty. If X is smooth, we further show that the general element of |H| is smooth. We then verify Ambro-Kawamata's conjecture for any quasi-smooth weighted hypersurface. We also verify Fujita's freeness conjecture for a Gorenstein quasi-smooth weighted hypersurface. For the proofs, we introduce the arithmetic notion of regular pairs and enlighten some interesting connection with the Frobenius coin problem. △ Less

Submitted 10 October, 2017; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 27 pages. Revised version to appear in Algebra and Number Theory

MSC Class: 14J40

Journal ref: Alg. Number Th. 11 (2017) 2369-2395

On the theory of higher rank Euler, Kolyvagin and Stark systems

Authors: David Burns, Takamichi Sano

Abstract: Mazur and Rubin have recently developed a theory of higher rank Kolyvagin and Stark systems over principal artinian rings and discrete valuation rings. In this article we describe a natural extension of (a slightly modified version of) their theory to systems over more general coefficient rings. We also construct unconditionally, and for general $p$-adic representations, a canonical, and typically… ▽ More Mazur and Rubin have recently developed a theory of higher rank Kolyvagin and Stark systems over principal artinian rings and discrete valuation rings. In this article we describe a natural extension of (a slightly modified version of) their theory to systems over more general coefficient rings. We also construct unconditionally, and for general $p$-adic representations, a canonical, and typically large, module of higher rank Euler systems and show that for $p$-adic representations satisfying standard hypotheses the image under a natural higher rank Kolyvagin-derivative type homomorphism of each such system is a higher rank Kolyvagin system that originates from a Stark system. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Comments: 57 pages

On Stark elements of arbitrary weight and their $p$-adic families

Authors: David Burns, Masato Kurihara, Takamichi Sano

Abstract: We develop a detailed arithmetic theory related to special values at arbitrary integers of the Artin $L$-series of linear characters. To do so we define canonical generalized Stark elements of arbitrary `rank' and `weight', thereby extending the classical theory of Rubin-Stark elements. We then formulate an extension to arbitrary weight of the refined version of the Rubin-Stark Conjecture that we… ▽ More We develop a detailed arithmetic theory related to special values at arbitrary integers of the Artin $L$-series of linear characters. To do so we define canonical generalized Stark elements of arbitrary `rank' and `weight', thereby extending the classical theory of Rubin-Stark elements. We then formulate an extension to arbitrary weight of the refined version of the Rubin-Stark Conjecture that we studied in an earlier article and also show that generalized Stark elements constitute a $p$-adic family by formulating precise conjectural congruence relations between elements of differing weights. We prove both of these conjectures in several important cases. △ Less

Submitted 22 July, 2016; originally announced July 2016.

Smoothing cones over K3 surfaces

Authors: Stephen Coughlan, Taro Sano

Abstract: We prove that the affine cone over a general primitively polarised K3 surface of genus g is smoothable if and only if g\le 10 or g=12. We also give several examples of singularities with special behaviour, such as surfaces whose affine cone is smoothable even though the projective cone is not. We prove that the affine cone over a general primitively polarised K3 surface of genus g is smoothable if and only if g\le 10 or g=12. We also give several examples of singularities with special behaviour, such as surfaces whose affine cone is smoothable even though the projective cone is not. △ Less

Submitted 13 December, 2018; v1 submitted 11 January, 2016; originally announced January 2016.

Journal ref: Épijournal de Géométrie Algébrique, volume 2, article no.15 (2018)

Deformations of weak $\mathbb{Q}$-Fano 3-folds

Authors: Taro Sano

Abstract: We prove that a weak $\mathbb{Q}$-Fano $3$-fold with terminal singularities has unobstructed deformations. By using this result and computing some invariants of a terminal singularity, we provide two results on global deformation of a weak $\mathbb{Q}$-Fano $3$-fold. We also treat a stacky proof of the unobstructedness of deformations of a $\mathbb{Q}$-Fano $3$-fold. We prove that a weak $\mathbb{Q}$-Fano $3$-fold with terminal singularities has unobstructed deformations. By using this result and computing some invariants of a terminal singularity, we provide two results on global deformation of a weak $\mathbb{Q}$-Fano $3$-fold. We also treat a stacky proof of the unobstructedness of deformations of a $\mathbb{Q}$-Fano $3$-fold. △ Less

Submitted 10 September, 2017; v1 submitted 30 December, 2015; originally announced December 2015.

Comments: 21 pages. Added several propositions about infinitesimal deformations. Deleted a section about a bound of singularities on a Q-Fano 3-fold. Instead, added a new section on Q-smoothability of a weak Q-Fano 3-fold

Iwasawa theory and zeta elements for $\mathbb{G}_m$

Authors: David Burns, Masato Kurihara, Takamichi Sano

Abstract: We describe an explicit `higher rank' Iwasawa theory for zeta elements associated to the multiplicative group over abelian extensions of general number fields. We then show that this theory leads to a concrete new strategy for proving special cases of the equivariant Tamagawa number conjecture. As a first application of this approach, we use it to prove new cases of the conjecture for Tate motives… ▽ More We describe an explicit `higher rank' Iwasawa theory for zeta elements associated to the multiplicative group over abelian extensions of general number fields. We then show that this theory leads to a concrete new strategy for proving special cases of the equivariant Tamagawa number conjecture. As a first application of this approach, we use it to prove new cases of the conjecture for Tate motives over natural families of abelian CM extensions of totally real fields for which the relevant $p$-adic $L$-functions possess trivial zeroes. △ Less

Submitted 17 November, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

On the noncommutative rigidity of the moduli stack of stable pointed curves

Authors: Shinnosuke Okawa, Taro Sano

Abstract: We investigate the second Hochschild cohomology of $ \overline{\mathcal{M}}_{g,n} $, the moduli stack of stable $n$-pointed genus $g$ curves. For the cases when $g = 0$, we prove that the second Hochschild cohomology vanishes if and only if $n \neq 5$. For the cases $g > 0$, assuming a conjectural HKR isomorphism for smooth Deligne-Mumford stacks, we prove the vanishing for all $( g, n )$ except p… ▽ More We investigate the second Hochschild cohomology of $ \overline{\mathcal{M}}_{g,n} $, the moduli stack of stable $n$-pointed genus $g$ curves. For the cases when $g = 0$, we prove that the second Hochschild cohomology vanishes if and only if $n \neq 5$. For the cases $g > 0$, assuming a conjectural HKR isomorphism for smooth Deligne-Mumford stacks, we prove the vanishing for all $( g, n )$ except possibly for the 8 cases $ ( g, n ) = ( 4, 0 ), ( 3, 1 ), ( 3, 0 ), ( 2, 2 ), ( 2, 1 ), ( 2 , 0 ), ( 1, 3 ), ( 1, 2 ) $. △ Less

Submitted 4 March, 2019; v1 submitted 22 December, 2014; originally announced December 2014.

Comments: v2: major revision. contribution from the twisted sectors is treated, assuming the HKR isomorphism for DM stacks. title changed. 32 pages

On zeta elements for $\mathbb{G}_{m}$

Authors: David Burns, Masato Kurihara, Takamichi Sano

Abstract: In this paper, we present a unifying approach to the general theory of abelian Stark conjectures. To do so we define natural notions of `zeta element', of `Weil-étale cohomology complexes' and of `integral Selmer groups' for the multiplicative group $\mathbb{G}_m$ over finite abelian extensions of number fields. We then conjecture a precise connection between zeta elements and Weil-étale cohomolog… ▽ More In this paper, we present a unifying approach to the general theory of abelian Stark conjectures. To do so we define natural notions of `zeta element', of `Weil-étale cohomology complexes' and of `integral Selmer groups' for the multiplicative group $\mathbb{G}_m$ over finite abelian extensions of number fields. We then conjecture a precise connection between zeta elements and Weil-étale cohomology complexes, we show this conjecture is equivalent to a special case of the equivariant Tamagawa number conjecture and we give an unconditional proof of the analogous statement for global function fields. We also show that the conjecture entails much detailed information about the arithmetic properties of generalized Stark elements including a new family of integral congruence relations between Rubin-Stark elements (that refines recent conjectures of Mazur and Rubin and of the third author) and explicit formulas in terms of these elements for the higher Fitting ideals of the integral Selmer groups of $\mathbb{G}_m$, thereby obtaining a clear and very general approach to the theory of abelian Stark conjectures. As first applications of this approach, we derive, amongst other things, a proof of (a refinement of) a conjecture of Darmon concerning cyclotomic units, a proof of (a refinement of) Gross's `Conjecture for Tori' in the case that the base field is $\mathbb{Q}$, a proof of new cases of the equivariant Tamagawa number conjecture in situations in which the relevant $p$-adic $L$-functions have trivial zeroes, explicit conjectural formulas for both annihilating elements and, in certain cases, the higher Fitting ideals (and hence explicit structures) of ideal class groups, a reinterpretation of the $p$-adic Gross-Stark Conjecture in terms of the properties of zeta elements and a strong refinement of many previous results (of several authors) concerning abelian Stark conjectures. △ Less

Submitted 1 July, 2015; v1 submitted 23 July, 2014; originally announced July 2014.

On a conjecture for Rubin-Stark elements in a special case

Authors: Takamichi Sano

Abstract: We prove a conjecture on Rubin-Stark elements, which was recently proposed by the author, and also by Mazur and Rubin, in a special case. We prove a conjecture on Rubin-Stark elements, which was recently proposed by the author, and also by Mazur and Rubin, in a special case. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Refined abelian Stark conjectures and the equivariant leading term conjecture of Burns

Authors: Takamichi Sano

Abstract: We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin. We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin. △ Less

Submitted 18 June, 2014; originally announced June 2014.

A generalization of Darmon's conjecture for Euler systems for general p-adic representations

Authors: Takamichi Sano

Abstract: Darmon's conjecture on a relation between cyclotomic units over real quadratic fields and certain algebraic regulators was recently solved by Mazur and Rubin by using their theory of Kolyvagin systems. In this paper, we formulate a "non-explicit" version of Darmon's conjecture for Euler systems defined for general $p$-adic representations, and prove it. In the process of the proof, we introduce a… ▽ More Darmon's conjecture on a relation between cyclotomic units over real quadratic fields and certain algebraic regulators was recently solved by Mazur and Rubin by using their theory of Kolyvagin systems. In this paper, we formulate a "non-explicit" version of Darmon's conjecture for Euler systems defined for general $p$-adic representations, and prove it. In the process of the proof, we introduce a notion of "algebraic Kolyvagin systems", and develop their properties. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Deforming elephants of Q-Fano threefolds

Authors: Taro Sano

Abstract: We study deformations of a pair of a $\mathbb{Q}$-Fano $3$-fold $X$ with only terminal singularities and its elephant $D \in |{-}K_X|$. We prove that, if there exists $D \in |{-}K_X|$ with only isolated singularities, the pair $(X,D)$ can be deformed to a pair of a $\mathbb{Q}$-Fano $3$-fold with only quotient singularities and a Du Val elephant. When there are only non-normal elephants, we reduce… ▽ More We study deformations of a pair of a $\mathbb{Q}$-Fano $3$-fold $X$ with only terminal singularities and its elephant $D \in |{-}K_X|$. We prove that, if there exists $D \in |{-}K_X|$ with only isolated singularities, the pair $(X,D)$ can be deformed to a pair of a $\mathbb{Q}$-Fano $3$-fold with only quotient singularities and a Du Val elephant. When there are only non-normal elephants, we reduce the existence problem of such a deformation to a local problem around the singular locus of the elephant. We also give several examples of $\mathbb{Q}$-Fano $3$-folds without Du Val elephants. △ Less

Submitted 22 September, 2016; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: 31 pages, to appear in Jounal of LMS

On deformations of Q-Fano threefolds II

Authors: Taro Sano

Abstract: We investigate some coboundary map associated to a $3$-dimensional terminal singularity which is important in the study of deformations of singular $3$-folds. We prove that this map vanishes only for quotient singularities and a $A_{1,2}/4$-singularity, that is, a terminal singularity analytically isomorphic to a $\mathbb{Z}_4$-quotient of the singularity $ (x^2+y^2 +z^3+u^2=0)$. As an applicati… ▽ More We investigate some coboundary map associated to a $3$-dimensional terminal singularity which is important in the study of deformations of singular $3$-folds. We prove that this map vanishes only for quotient singularities and a $A_{1,2}/4$-singularity, that is, a terminal singularity analytically isomorphic to a $\mathbb{Z}_4$-quotient of the singularity $ (x^2+y^2 +z^3+u^2=0)$. As an application, we prove that a $\mathbb{Q}$-Fano $3$-fold with terminal singularities can be deformed to one with only quotient singularities and $A_{1,2}/4$-singularities. We also treat the $\mathbb{Q}$-smoothability problem on $\mathbb{Q}$-Calabi--Yau $3$-folds. △ Less

Submitted 28 October, 2014; v1 submitted 2 March, 2014; originally announced March 2014.

Comments: 11 pages. title changed. to appear in Crelle's journal

Unobstructedness of deformations of weak Fano manifolds

Authors: Taro Sano

Abstract: We prove that a weak Fano manifold has unobstructed deformations. For a general variety, we investigate conditions under which a variety is necessarily obstructed. We prove that a weak Fano manifold has unobstructed deformations. For a general variety, we investigate conditions under which a variety is necessarily obstructed. △ Less

Submitted 22 May, 2013; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: 8 pages, to appear in IMRN

On deformations of Q-Fano threefolds

Authors: Taro Sano

Abstract: We study the deformation theory of a Q-Fano 3-fold with only terminal singularities. First, we show that the Kuranishi space of a Q-Fano 3-fold is smooth. Second, we show that every Q-Fano 3-fold with only "ordinary" terminal singularities is Q-smoothable, that is, it can be deformed to a Q-Fano 3-fold with only quotient singularities. Finally, we prove Q-smoothability of a Q-Fano 3-fold assuming… ▽ More We study the deformation theory of a Q-Fano 3-fold with only terminal singularities. First, we show that the Kuranishi space of a Q-Fano 3-fold is smooth. Second, we show that every Q-Fano 3-fold with only "ordinary" terminal singularities is Q-smoothable, that is, it can be deformed to a Q-Fano 3-fold with only quotient singularities. Finally, we prove Q-smoothability of a Q-Fano 3-fold assuming the existence of a Du Val anticanonical element. As an application, we get the genus bound for primary Q-Fano 3-folds with Du Val anticanonical elements. △ Less

Submitted 28 October, 2014; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 29 pages. Title changed. Fixed a small problem on obstructions

Loewner matrices of matrix convex and monotone functions

Authors: Fumio Hiai, Takashi Sano

Abstract: The matrix convexity and the matrix monotony of a real $C^1$ function $f$ on $(0,\infty)$ are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with $f$, $tf(t)$, and $t^2f(t)$. Similar characterizations are also obtained for matrix monotone functions on a finite interval $(a,b)$. The matrix convexity and the matrix monotony of a real $C^1$ function $f$ on $(0,\infty)$ are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with $f$, $tf(t)$, and $t^2f(t)$. Similar characterizations are also obtained for matrix monotone functions on a finite interval $(a,b)$. △ Less

Submitted 5 August, 2010; v1 submitted 15 July, 2010; originally announced July 2010.

Comments: 20 pages

MSC Class: 15A45; 47A63; 42A82

Seshadri constants on rational surfaces with anticanonical pencils

Authors: Taro Sano

Abstract: We study a Seshadri constant at a general point on a rational surface whose anticanonical linear system contains a pencil. First, we describe a Seshadri constant of an ample line bundle on such a rational surface explicitly by the numerical data of the ample line bundle. Secondly, we classify log del Pezzo surfaces which are special in terms of the Seshadri constants of the anticanonical divisors… ▽ More We study a Seshadri constant at a general point on a rational surface whose anticanonical linear system contains a pencil. First, we describe a Seshadri constant of an ample line bundle on such a rational surface explicitly by the numerical data of the ample line bundle. Secondly, we classify log del Pezzo surfaces which are special in terms of the Seshadri constants of the anticanonical divisors when the anticanonical degree is between 4 and 9. △ Less

Submitted 13 July, 2013; v1 submitted 31 August, 2009; originally announced August 2009.

Comments: 22 pages. To appear in JPAA