Showing 1–50 of 205 results for author: Saito, M

Spectrum of cones of non-reduced plane curves with ordinary singularities

Authors: Morihiko Saito, Youngho Yoon

Abstract: We give a simple proof of the assertion claiming that the spectrum of the cone of a non-reduced plane curve can be determined only by its multiplicities along local irreducible components at each singular point as well as those along global ones together with the degrees of the latter (where the relation between global components and singular points is not needed) if the associated reduced plane c… ▽ More We give a simple proof of the assertion claiming that the spectrum of the cone of a non-reduced plane curve can be determined only by its multiplicities along local irreducible components at each singular point as well as those along global ones together with the degrees of the latter (where the relation between global components and singular points is not needed) if the associated reduced plane curve have only ordinary singularities (for instance a line arrangement). Note that the last condition is strictly weaker than local homogeneity. As a corollary we can also get a simple proof of a formula which is equivalent to the one obtained earlier by the second-named author. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Logarithmic $A$-hypergeometric series ${\textrm I}\! {\textrm I}\! {\textrm I}$

Authors: Go Okuyama, Mutsumi Saito

Abstract: This paper is the third in a series exploring Frobenius's method for $A$-hypergeometric systems. Frobenius's method is a classical technique for constructing logarithmic series solutions of differential equations by perturbing exponents of generic series solutions. We show that all $A$-hypergeometric series solutions can be obtained via this method. Building upon our prior studies, we develop a… ▽ More This paper is the third in a series exploring Frobenius's method for $A$-hypergeometric systems. Frobenius's method is a classical technique for constructing logarithmic series solutions of differential equations by perturbing exponents of generic series solutions. We show that all $A$-hypergeometric series solutions can be obtained via this method. Building upon our prior studies, we develop a duality framework between formal power series and differential operators, introduce minimal vectors with respect to a generic weight, and establish key results on logarithmic coefficients of $A$-hypergeometric series. We extend Frobenius's method and prove its sufficiency in constructing all $A$-hypergeometric series solutions. Furthermore, we explore conditions under which the Frobenius method developed in our previous studies suffices and we pose an open question on the necessity of the extended one. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Moduli spaces of framed logarithmic and parabolic connections on a Riemann surface

Authors: Indranil Biswas, Michi-aki Inaba, Arata Komyo, Masa-Hiko Saito

Abstract: We construct moduli spaces of framed logarithmic connections and also moduli spaces of framed parabolic connections. It is shown that these moduli spaces possess a natural algebraic symplectic structure. We also give an upper bound of the transcendence degree of the algebra of regular functions on the moduli space of parabolic connections. We construct moduli spaces of framed logarithmic connections and also moduli spaces of framed parabolic connections. It is shown that these moduli spaces possess a natural algebraic symplectic structure. We also give an upper bound of the transcendence degree of the algebra of regular functions on the moduli space of parabolic connections. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: Final version; to appear in the journal "Moduli"

Journal ref: Moduli 2 (2025) e10

Structures of Monoids Motivated by DNA Origami

Authors: Peter Alspaugh, James Garrett, Nataša Jonoska, Masahico Saito

Abstract: We construct a class of monoids, called origami monoids, motivated by Jones monoids and by strand organization in DNA origami structures. Two types of basic building blocks of DNA origami closely associated with the graphical representation of Jones monoids are identified and are taken as generators for the origami monoid. Motivated by plausible modifications of the DNA origami structures and the… ▽ More We construct a class of monoids, called origami monoids, motivated by Jones monoids and by strand organization in DNA origami structures. Two types of basic building blocks of DNA origami closely associated with the graphical representation of Jones monoids are identified and are taken as generators for the origami monoid. Motivated by plausible modifications of the DNA origami structures and the relations of the well studied Jones monoids, we then identify a set of relations that characterize the origami monoid. These relations expand the relations of the Jones monoids and include a new set of relations called contextual commutation. With contextual commutation, certain generators commute only when found within a given context. We prove that the origami monoids are finite and propose a normal form representation of their elements. We establish a correspondence between the Green's classes of the origami monoid and the Green's classes of a direct product of Jones monoids. △ Less

Submitted 24 January, 2025; originally announced January 2025.

MSC Class: 20M05

Tjurina spectrum and graded symmetry of missing spectral numbers

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: For a hypersurface isolated singularity defined by $f$, the Steenbrink spectrum can be obtained as the Poincaré polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has… ▽ More For a hypersurface isolated singularity defined by $f$, the Steenbrink spectrum can be obtained as the Poincaré polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has a canonical graded symmetry. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ as well as the $V$-filtration. It implies for instance that the number of missing spectral numbers which are smaller than $(n+1)/2$ (with $n$ the ambient dimension) is bounded by $[(μ-τ)/2]$. We can moreover improve the estimate of Briançon-Skoda exponent in the semisimple monodromy case. △ Less

Submitted 6 January, 2025; v1 submitted 26 November, 2024; originally announced November 2024.

Comments: Some sections in arxiv::2406.06242 are moved to this paper, where they fit better

Constant coefficient and intersection complex $L$-classes of projective varieties

Authors: Javier Fernández de Bobadilla, Irma Pallarés, Morihiko Saito

Abstract: For a projective variety $X$, we have the intersection complex $L$-classes $L_*(X)$ defined by Goresky-MacPerson using cohomotopy and also the constant coefficient $L$-class $L^c_*(X)$ defined by applying an $L$-class transformation (or $T_{1*}$) to a cubic hyperresolution of $X$. These coincide if $X$ is a $\mathbb Q$-homology manifold. We show that the two $L$-classes $L_*(X)$ and $L^c_*(X)$ dif… ▽ More For a projective variety $X$, we have the intersection complex $L$-classes $L_*(X)$ defined by Goresky-MacPerson using cohomotopy and also the constant coefficient $L$-class $L^c_*(X)$ defined by applying an $L$-class transformation (or $T_{1*}$) to a cubic hyperresolution of $X$. These coincide if $X$ is a $\mathbb Q$-homology manifold. We show that the two $L$-classes $L_*(X)$ and $L^c_*(X)$ differ if they do by replacing $X$ with an intersection of general hyperplane sections which has only $\mathbb Q$-homologically isolated singularities. Finding a good sufficient condition for the non-coincidence of $L_*(X)$ and $L^c_*(X)$ is thus reduced to the latter case, where a necessary and sufficient condition has been obtained in terms of the Hodge signatures of stalks of intersection complex in our previous paper. In the case of projective hypersurfaces having only isolated singularities, the difference between $L_*(X)$ and $L^c_*(X)$ is given by the Hodge signatures of the link cohomologies at singular points, and the Hodge signatures of the vanishing cohomologies give the difference between $L^c_*(X)$ and the virtual $L$-class of $X$, that is, the image by a retraction map of the $L$-class of a smooth deformation of $X$ in an ambient smooth projective variety $Y$ in the very ample case. △ Less

Submitted 9 July, 2025; v1 submitted 16 July, 2024; originally announced July 2024.

Planar Equivalence of Knotoids and Quandle Invariants

Authors: Mohamed Elhamdadi, Wout Moltmaker, Masahico Saito

Abstract: While knotoids on the sphere are well-understood by a variety of invariants, knotoids on the plane have proven more subtle to classify due to their multitude over knotoids on the sphere and a lack of invariants that detect a diagram's planar nature. In this paper, we investigate equivalence of planar knotoids using quandle colorings and cocycle invariants. These quandle invariants are able to dete… ▽ More While knotoids on the sphere are well-understood by a variety of invariants, knotoids on the plane have proven more subtle to classify due to their multitude over knotoids on the sphere and a lack of invariants that detect a diagram's planar nature. In this paper, we investigate equivalence of planar knotoids using quandle colorings and cocycle invariants. These quandle invariants are able to detect planarity by considering quandle colorings that are restricted at distinguished points in the diagram, namely the endpoints and the point-at-infinity. After defining these invariants we consider their applications to symmetry properties of planar knotoids such as invertibility and chirality. Furthermore we introduce an invariant called the triangular quandle cocycle invariant and show that it is a stronger invariant than the end specified quandle colorings. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 16 pages, 10 figures, comments are welcome

MSC Class: 57K12

Deformation Cohomology for Braided Commutativity

Authors: Masahico Saito, Emanuele Zappala

Abstract: Braided algebras are algebraic structures consisting of an algebra endowed with a Yang-Baxter operator, satisfying some compatibility conditions.Yang-Baxter Hochschild cohomology was introduced by the authors to classify infinitesimal deformations of braided algebras, and determine obstructions to higher order deformations. Several examples of braided algebras satisfy a weaker version of commutati… ▽ More Braided algebras are algebraic structures consisting of an algebra endowed with a Yang-Baxter operator, satisfying some compatibility conditions.Yang-Baxter Hochschild cohomology was introduced by the authors to classify infinitesimal deformations of braided algebras, and determine obstructions to higher order deformations. Several examples of braided algebras satisfy a weaker version of commutativity, which is called braided commutativity and involves the Yang-Baxter operator of the algebra. We extend the theory of Yang-Baxter Hochschild cohomology to study braided commutative deformations of braided algebras. The resulting cohomology theory classifies infinitesimal deformations of braided algebras that are braided commutative, and provides obstructions for braided commutative higher order deformations. We consider braided commutativity for Hopf algebras in detail, and obtain some classes of nontrivial examples. △ Less

Submitted 22 February, 2025; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: 35 pages and 29 figures. Comments are welcome! arXiv admin note: text overlap with arXiv:2305.04173. v3: Accepted version to appear in Michigan Math. J

Some remarks on the generalized Hertling conjecture for Tjurina spectrum

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: We study the generalized Hertling conjecture on the variance of the Tjurina spectral numbers, and provide a sufficient condition for the conjecture to fail. We calculate certain examples using some codes in Singular. We study the generalized Hertling conjecture on the variance of the Tjurina spectral numbers, and provide a sufficient condition for the conjecture to fail. We calculate certain examples using some codes in Singular. △ Less

Submitted 6 January, 2025; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: Title changed, some sections are moved to a new paper

Yang-Baxter Solutions from Categorical Augmented Racks

Authors: Masahico Saito, Emanuele Zappala

Abstract: An augmented rack is a set with a self-distributive binary operation induced by a group action, and has been extensively used in knot theory. Solutions to the Yang-Baxter equation (YBE) have been also used for knots, since the discovery of the Jones polynomial. In this paper, an interpretation of augmented racks in tensor categories is given for coalgebras that are Hopf algebra modules, and associ… ▽ More An augmented rack is a set with a self-distributive binary operation induced by a group action, and has been extensively used in knot theory. Solutions to the Yang-Baxter equation (YBE) have been also used for knots, since the discovery of the Jones polynomial. In this paper, an interpretation of augmented racks in tensor categories is given for coalgebras that are Hopf algebra modules, and associated solutions to the YBE are constructed. Explicit constructions are given using quantum heaps and the adjoint of Hopf algebras. Furthermore, an inductive construction of Yang-Baxter solutions is given by means of the categorical augmented racks, yielding infinite families of solutions. Constructions of braided monoidal categories are also provided using categorical augmented racks. △ Less

Submitted 2 December, 2023; originally announced December 2023.

Comments: 17 pages, 24 figures with several diagrammatic proofs

Canonical coordinates for moduli spaces of rank two irregular connections on curves

Authors: Arata Komyo, Frank Loray, Masa-Hiko Saito, Szilard Szabo

Abstract: In this paper, we study a geometric counterpart of the cyclic vector which allow us to put a rank 2 meromorphic connection on a curve into a ``companion'' normal form. This allow us to naturally identify an open set of the moduli space of $\mathrm{GL}_2$-connections (with fixed generic spectral data, i.e. unramified, non resonant) with some Hilbert scheme of points on the twisted cotangent bundle… ▽ More In this paper, we study a geometric counterpart of the cyclic vector which allow us to put a rank 2 meromorphic connection on a curve into a ``companion'' normal form. This allow us to naturally identify an open set of the moduli space of $\mathrm{GL}_2$-connections (with fixed generic spectral data, i.e. unramified, non resonant) with some Hilbert scheme of points on the twisted cotangent bundle of the curve. We prove that this map is symplectic, therefore providing Darboux (or canonical) coordinates on the moduli space, i.e. separation of variables. On the other hand, for $\mathrm{SL}_2$-connections, we give an explicit formula for the symplectic structure for a birational model given by Matsumoto. We finally detail the case of an elliptic curve with a divisor of degree $2$. △ Less

Submitted 18 September, 2023; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: a sign fixed and a reference added

Limits of Hodge structures with quasi-unipotent monodromies

Authors: Morihiko Saito

Abstract: We survey a theory of limits of polarizable variations of real Hodge structure in the quasi-unipotent monodromy case using the V-filtration of Kashiwara and Malgrange indexed by rational numbers, which does not necessarily seem familiar to many people. We survey a theory of limits of polarizable variations of real Hodge structure in the quasi-unipotent monodromy case using the V-filtration of Kashiwara and Malgrange indexed by rational numbers, which does not necessarily seem familiar to many people. △ Less

Submitted 5 July, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

Betti Numbers of Prodsimplicial Complexes for Directed Graphs with Applications to Word Reductions

Authors: Lina Fajardo Gómez, Margherita Maria Ferrari, Nataša Jonoska, Masahico Saito

Abstract: We propose custom made cell complexes, in particular prodsimplicial complexes, in order to analyze data consisting of directed graphs. These are constructed by attaching cells that are products of simplices and are suited to study data of acyclic directed graphs, called here consistently directed graphs. We investigate possible values of the first and second Betti numbers and the types of cycles t… ▽ More We propose custom made cell complexes, in particular prodsimplicial complexes, in order to analyze data consisting of directed graphs. These are constructed by attaching cells that are products of simplices and are suited to study data of acyclic directed graphs, called here consistently directed graphs. We investigate possible values of the first and second Betti numbers and the types of cycles that generate nontrivial homology. We apply these tools to directed graphs associated with reductions of double occurrence words, words that are associated with DNA recombination processes in certain species of ciliates. We study the effects of word operations on the homology for these graphs. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 24 pages, 19 figures

MSC Class: 05C20

Yang-Baxter Hochschild Cohomology

Authors: Masahico Saito, Emanuele Zappala

Abstract: Braided algebras are associative algebras endowed with a Yang-Baxter operator that satisfies certain compatibility conditions involving the multiplication. Along with Hochschild cohomology of algebras, there is also a notion of Yang-Baxter cohomology, which is associated to any Yang-Baxter operator. In this article, we introduce and study a cohomology theory for braided algebras in dimensions 2 an… ▽ More Braided algebras are associative algebras endowed with a Yang-Baxter operator that satisfies certain compatibility conditions involving the multiplication. Along with Hochschild cohomology of algebras, there is also a notion of Yang-Baxter cohomology, which is associated to any Yang-Baxter operator. In this article, we introduce and study a cohomology theory for braided algebras in dimensions 2 and 3, that unifies Hochschild and Yang-Baxter cohomology theories, and generalizes to all dimensions in characteristic $2$. We show that its second cohomology group classifies infinitesimal deformations of braided algebras. We provide infinite families of examples of braided algebras, including Hopf algebras, tensorized multiple conjugation quandles, and braided Frobenius algebras. Moreover, we derive the obstructions to higher deformations, which lie in the third cohomology group. Relations to Hopf algebra cohomology are also discussed. △ Less

Submitted 12 June, 2025; v1 submitted 6 May, 2023; originally announced May 2023.

Comments: 32 pages and 25 figures. v5: Several typos fixed

Verdier specialization and restrictions of Hodge modules

Authors: Qianyu Chen, Bradley Dirks, Morihiko Saito

Abstract: We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained by the first two authors assuming the existence of global defining functions. We also give a quite simplified proof of the theorem reducing to the monodromical… ▽ More We give an explicit formula to express the cohomological pullback functors of Hodge modules under closed immersions of smooth varieties using Verdier specializations and $V$-filtrations of Kashiwara and Malgrange. This was locally obtained by the first two authors assuming the existence of global defining functions. We also give a quite simplified proof of the theorem reducing to the monodromical case via the Verdier specialization and using induction on codimension. △ Less

Submitted 18 May, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Examples of Hirzebruch-Milnor classes of projective hypersurfaces detecting higher du Bois or rational singularities

Authors: Morihiko Saito

Abstract: We show that it is possible to utilize the Hirzebruch-Milnor classes of projective hypersurfaces in the classical sense to detect higher du Bois or rational singularities only in some special cases. We also give several remarks clarifying some points in my earlier papers. We show that it is possible to utilize the Hirzebruch-Milnor classes of projective hypersurfaces in the classical sense to detect higher du Bois or rational singularities only in some special cases. We also give several remarks clarifying some points in my earlier papers. △ Less

Submitted 6 September, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Hirzebruch-Milnor classes of hypersurfaces with nontrivial normal bundles and applications to higher du Bois and rational singularities

Authors: Laurenţiu Maxim, Morihiko Saito, Ruijie Yang

Abstract: We extend the Hirzebruch-Milnor class of a hypersurface $X$ to the case where the normal bundle is nontrivial and $X$ cannot be defined by a global function, using the associated line bundle and the graded quotients of the monodromy filtration. The earlier definition requiring a global defining function of $X$ can be applied rarely to projective hypersurfaces with non-isolated singularities. Indee… ▽ More We extend the Hirzebruch-Milnor class of a hypersurface $X$ to the case where the normal bundle is nontrivial and $X$ cannot be defined by a global function, using the associated line bundle and the graded quotients of the monodromy filtration. The earlier definition requiring a global defining function of $X$ can be applied rarely to projective hypersurfaces with non-isolated singularities. Indeed, it is surprisingly difficult to get a one-parameter smoothing with total space smooth without destroying the singularities by blowing-ups (except certain quite special cases). As an application, assuming the singular locus is a projective variety, we show that the minimal exponent of a hypersurface can be captured by the spectral Hirzebruch-Milnor class, and higher du~Bois and rational singularities of a hypersurface are detectable by the unnormalized Hirzebruch-Milnor class. Here the unnormalized class can be replaced by the normalized one in the higher du~Bois case, but for the higher rational case, we must use also the decomposition of the Hirzebruch-Milnor class by the action of the semisimple part of the monodromy (which is equivalent to the spectral Hirzebruch-Milnor class). We cannot extend these arguments to the non-projective compact case by Hironaka's example. △ Less

Submitted 28 October, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: this paper supersedes the earlier 2-authored paper

Bernstein-Sato polynomials of semi-weighted-homogeneous polynomials of nearly Brieskorn-Pham type

Authors: Morihiko Saito

Abstract: Let $f$ be a semi-weighted-homogeneous polynomial having an isolated singularity at 0. Let $α_{f,k}$ be the spectral numbers of $f$ at 0. By Malgrange and Varchenko there are non-negative integers $r_k$ such that the $α_{f,k}-r_k$ are the roots up to sign of the local Bernstein-Sato polynomial $b_f(s)$ divided by $s+1$. However, it is quite difficult to determine these shifts $r_k$ explicitly on t… ▽ More Let $f$ be a semi-weighted-homogeneous polynomial having an isolated singularity at 0. Let $α_{f,k}$ be the spectral numbers of $f$ at 0. By Malgrange and Varchenko there are non-negative integers $r_k$ such that the $α_{f,k}-r_k$ are the roots up to sign of the local Bernstein-Sato polynomial $b_f(s)$ divided by $s+1$. However, it is quite difficult to determine these shifts $r_k$ explicitly on the parameter space of $μ$-constant deformation of a weighted homogeneous polynomial. Assuming the latter is nearly Brieskorn-Pham type, we can obtain a very simple algorithm to determine these shifts, which can be realized by using Singular (or even C) without employing Gröbner bases. This implies a refinement of classical work of M. Kato and P. Cassou-Noguès in two variable cases, showing that the stratification of the parameter space can be controlled by using the (partial) additive semigroup structure of the weights of parameters. As a corollary we get for instance a sufficient condition for all the shiftable roots of $b_f(s)$ to be shifted. We can also produce examples where the minimal root of $b_f(s)$ is quite distant from the others as well as examples of semi-homogeneous polynomials with roots of $b_f(s)$ nonconsecutive. △ Less

Submitted 16 February, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Length of $D_Xf^{-α}$ in the isolated singularity case

Authors: Morihiko Saito

Abstract: Let $f$ be a convergent power series of $n$ variables having an isolated singularity at 0. For a rational number $α$, setting $(X,0)=({\mathbb C}^n,0)$, we show that the length of the ${\mathcal D}_X$-module ${\mathcal D}_Xf^{-α}$ is given by $\widetildeν_α+r_f\widetildeδ_α+1$. Here $r_f$ is the number of local irreducible components of $f^{-1}(0)$ (with $r_f=1$ for $n>2$), $\widetildeν_α$ is the… ▽ More Let $f$ be a convergent power series of $n$ variables having an isolated singularity at 0. For a rational number $α$, setting $(X,0)=({\mathbb C}^n,0)$, we show that the length of the ${\mathcal D}_X$-module ${\mathcal D}_Xf^{-α}$ is given by $\widetildeν_α+r_f\widetildeδ_α+1$. Here $r_f$ is the number of local irreducible components of $f^{-1}(0)$ (with $r_f=1$ for $n>2$), $\widetildeν_α$ is the dimension of the graded piece ${\rm Gr}_V^α$ of the $V$-filtration on the saturation of the Brieskorn lattice modulo the image of $N:=\partial_tt-α$ on ${\rm Gr}_V^α$ of the Gauss-Manin system, and $\widetildeδ_α:=1$ if $α\in{\mathbb Z}_{>0}$, and 0 otherwise. This theorem can be proved also by employing a generalization a recent formula of T. Bitoun in the integral exponent case. The theorem generalizes an assertion by T. Bitoun and T. Schedler in the weighted homogeneous case where the saturation coincides with the Brieskorn lattice and $N=0$. In the semi-weighted-homogeneous case, our theorem implies some sufficient conditions for their conjecture about the length of ${\mathcal D}_Xf^{-1}$ to hold or to fail. △ Less

Submitted 16 July, 2024; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: Section 4 generalizing a formula of T. Bitoun is improved

Extensions of Augmented Racks and Surface Ribbon Cocycle Invariants

Authors: Masahico Saito, Emanuele Zappala

Abstract: A rack is a set with a binary operation that is right-invertible and self-distributive, properties diagrammatically corresponding to Reidemeister moves II and III, respectively. A rack is said to be an {\it augmented rack} if the operation is written by a group action. Racks and their cohomology theories have been extensively used for knot and knotted surface invariants. Similarly to group cohomol… ▽ More A rack is a set with a binary operation that is right-invertible and self-distributive, properties diagrammatically corresponding to Reidemeister moves II and III, respectively. A rack is said to be an {\it augmented rack} if the operation is written by a group action. Racks and their cohomology theories have been extensively used for knot and knotted surface invariants. Similarly to group cohomology, rack 2-cocycles relate to extensions, and a natural question that arises is to characterize the extensions of augmented racks that are themselves augmented racks. In this paper, we characterize such extensions in terms of what we call {\it fibrant and additive} cohomology of racks. Simultaneous extensions of racks and groups are considered, where the respective $2$-cocycles are related through a certain formula. Furthermore, we construct coloring and cocycle invariants for compact orientable surfaces with boundary in ribbon forms embedded in $3$-space. △ Less

Submitted 10 July, 2022; originally announced July 2022.

Comments: 20 pages, 11 figures. Comments are welcome

Some remarks on decomposition theorem for proper Kähler morphisms

Authors: Morihiko Saito

Abstract: We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper Kähler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module case. We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper Kähler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module case. △ Less

Submitted 26 May, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 12 pages

Logarithmic A-hypergeometric series II

Authors: Go Okuyama, Mutsumi Saito

Abstract: In this paper, following [6], we continue to develop the perturbing method of constructing logarithmic series solutions to a regular A-hypergeometric system. Fixing a fake exponent of an A-hypergeometric system, we consider some spaces of linear partial differential operators with constant coefficients. Comparing these spaces, we construct a fundamental system of series solutions with the given ex… ▽ More In this paper, following [6], we continue to develop the perturbing method of constructing logarithmic series solutions to a regular A-hypergeometric system. Fixing a fake exponent of an A-hypergeometric system, we consider some spaces of linear partial differential operators with constant coefficients. Comparing these spaces, we construct a fundamental system of series solutions with the given exponent by the perturbing method. In addition, we give a sufficient condition for a given fake exponent to be an exponent. As important examples of the main results, we give fundamental systems of series solutions to Aomoto-Gel'fand systems and to Lauricella's FC systems with special parameter vectors, respectively. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Comments: 30 pages

MSC Class: 33C70

Twisted logarithmic complexes of positively weighted homogeneous divisors

Authors: Daniel Bath, Morihiko Saito

Abstract: For a rank 1 local system on the complement of a reduced divisor on a complex manifold $X$, its cohomology is calculated by the twisted meromorphic de Rham complex. Assuming the divisor is everywhere positively weighted homogeneous, we study necessary or sufficient conditions for a quasi-isomorphism from its twisted logarithmic subcomplex, called the logarithmic comparison theorem (LCT), by using… ▽ More For a rank 1 local system on the complement of a reduced divisor on a complex manifold $X$, its cohomology is calculated by the twisted meromorphic de Rham complex. Assuming the divisor is everywhere positively weighted homogeneous, we study necessary or sufficient conditions for a quasi-isomorphism from its twisted logarithmic subcomplex, called the logarithmic comparison theorem (LCT), by using a stronger version in terms of the associated complex of $D_X$-modules. In case the connection is a pullback by a defining function $f$ of the divisor and the residue is $α$, we prove among others that if LCT holds, the annihilator of $f^{α-1}$ in $D_X$ is generated by first order differential operators and $α-1-j$ is not a root of the Bernstein-Sato polynomial for any positive integer $j$. The converse holds assuming either of the two conditions in case the associated complex of $D_X$-modules is acyclic except for the top degree. In the case where the local system is constant, the divisor is defined by a homogeneous polynomial, and the associated projective hypersurface has only weighted homogeneous isolated singularities, we show that LCT is equivalent to that $-1$ is the unique integral root of the Bernstein-Sato polynomial. We also give a simple proof of LCT in the hyperplane arrangement case under appropriate assumptions on residues, which is an immediate corollary of higher cohomology vanishing associated with Castelnuovo-Mumford regularity. Here the zero-extension case is also treated. △ Less

Submitted 11 February, 2024; v1 submitted 22 March, 2022; originally announced March 2022.

Moduli space of irregular rank two parabolic bundles over the Riemann sphere and its compactification

Authors: Arata Komyo, Frank Loray, Masa-Hiko Saito

Abstract: In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is… ▽ More In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is called refined parabolic bundles. Third, we discuss a stability condition of refined parabolic bundles and define elementary transformations of the refined parabolic bundles. Finally, we describe the moduli spaces of refined parabolic bundles when the dimensions of the moduli spaces are two. These are related to geometry of some weak del Pezzo surfaces. △ Less

Submitted 13 October, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Local and global invariant cycle theorems for Hodge modules

Authors: Morihiko Saito

Abstract: We show that the local and global invariant cycle theorems for Hodge modules follow easily from the general theory. We also give some remarks about related papers. We show that the local and global invariant cycle theorems for Hodge modules follow easily from the general theory. We also give some remarks about related papers. △ Less

Submitted 18 April, 2024; v1 submitted 5 January, 2022; originally announced January 2022.

Notes on regular holonomic $D$-modules for algebraic geometers

Authors: Morihiko Saito

Abstract: We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual functor. We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual functor. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Comments: 34 pages

Fundamental Heaps for Surface Ribbons and Cocycle Invariants

Authors: Masahico Saito, Emanuele Zappala

Abstract: We introduce the notion of fundamental heap for compact orientable surfaces with boundary embedded in $3$-space, which is an isotopy invariant of the embedding. It is a group, endowed with a ternary heap operation, defined using diagrams of surfaces in a form of thickened trivalent graphs called surface ribbons. We prove that the fundamental heap has a free part whose rank is given by the number o… ▽ More We introduce the notion of fundamental heap for compact orientable surfaces with boundary embedded in $3$-space, which is an isotopy invariant of the embedding. It is a group, endowed with a ternary heap operation, defined using diagrams of surfaces in a form of thickened trivalent graphs called surface ribbons. We prove that the fundamental heap has a free part whose rank is given by the number of connected components of the surface. We study the behavior of the invariant under boundary connected sum, as well as addition/deletion of twisted bands, and provide formulas relating the number of generators of the fundamental heap to the Euler characteristics. We describe in detail the effect of stabilization on the fundamental heap, and determine that for each given finitely presented group there exists a surface ribbon whose fundamental heap is isomorphic to it, up to extra free factors. A relation between the fundamental heap and the Wirtinger presentation is also described. Moreover, we introduce cocycle invariants for surface ribbons using the notion of mutually distributive cohomology and heap colorings. Explicit computations of fundamental heap and cocycle invariants are presented. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: 34 pages and 27 figures

Topological calculation of local cohomological dimension

Authors: Thomas Reichelt, Morihiko Saito, Uli Walther

Abstract: We show that the sum of the local cohomological dimension and the rectified $\mathbb Q$-homological depth of a closed analytic subspace of a complex manifold coincide with the dimension of the ambient manifold. The local cohomological dimension is then calculated using the cohomology of the links of the analytic space. In the algebraic case the first assertion is equivalent to the coincidence of t… ▽ More We show that the sum of the local cohomological dimension and the rectified $\mathbb Q$-homological depth of a closed analytic subspace of a complex manifold coincide with the dimension of the ambient manifold. The local cohomological dimension is then calculated using the cohomology of the links of the analytic space. In the algebraic case the first assertion is equivalent to the coincidence of the rectified $\mathbb Q$-homological depth with the de Rham depth studied by Ogus, and follows essentially from his work. As a corollary we show that the local cohomological dimension of a quasi-projective variety is determined by that of its general hyperplane section together with the link cohomology at 0-dimensional strata of a complex analytic Whitney stratification. △ Less

Submitted 28 June, 2023; v1 submitted 29 August, 2021; originally announced August 2021.

Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with… ▽ More For a holomorphic function $f$ on a complex manifold $X$, the Briançon-Skoda exponent $e^{\rm BS}(f)$ is the smallest integer $k$ with $f^k\in(\partial f)$ (replacing $X$ with a neighborhood of $f^{-1}(0)$), where $(\partial f)$ denotes the Jacobian ideal of $f$. It is shown that $e^{\rm BS}(f)\le d_X$ $(:=\dim X)$ by Brian\c con-Skoda. We prove that $e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1$ with $-\widetildeα_f$ the maximal root of the reduced Bernstein-Sato polynomial $b_f(s)/(s+1)$, assuming the latter exists (shrinking $X$ if necessary). This implies for instance that $e^{\rm BS}(f)\le d_X-2$ in the case $f^{-1}(0)$ has only rational singularities, that is, if $\widetildeα_f>1$. △ Less

Submitted 5 May, 2022; v1 submitted 16 August, 2021; originally announced August 2021.

Comments: 10 pages

Higher Du Bois singularities of hypersurfaces

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizin… ▽ More For a complex algebraic variety $X$, we introduce higher $p$-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms $Ω_X^q$ and the shifted graded pieces of the Du Bois complex $\underlineΩ_X^q$ for $q\le p$. If $X$ is a reduced hypersurface, we show that higher $p$-Du~Bois singularity coincides with higher $p$-log canonical singularity, generalizing a well-known theorem for $p=0$. The assertion that $p$-log canonicity implies $p$-Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms $Ω_X^{[q]}$ ($q\le p$) coincide with $Ω_X^q$ and $\underlineΩ_X^q$ respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between $Ω_X^q$ and $\underlineΩ_X^q$ applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4. △ Less

Submitted 23 March, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 19 pages, hyperlink added

Topological computation of the first Milnor fiber cohomology of hyperplane arrangements

Authors: Morihiko Saito

Abstract: We study a topological method to calculate the first Milnor fiber cohomology of a defining polynomial of a reduced projective hyperplane arrangement $X$ of degree $d$. We can show the vanishing of a monodromy eigenspace of the first Milnor fiber cohomology with eigenvalue of order $m\ge 2$ if $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle})$ or more generally… ▽ More We study a topological method to calculate the first Milnor fiber cohomology of a defining polynomial of a reduced projective hyperplane arrangement $X$ of degree $d$. We can show the vanishing of a monodromy eigenspace of the first Milnor fiber cohomology with eigenvalue of order $m\ge 2$ if $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle})$ or more generally $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle}\cup X_d)$ is connected. Here $X^{[(m)]}$ is the set of points of $X$ with multiplicity divisible by $m$, and $X^{\langle 3\rangle}:=\bigcup_{i,j,k}X_i\cap X_j\cap X_k$ with $X_i$ the irreducible components of $X$, where the union is taken over $i,j,k$ with ${\rm codim}\,X_i\cap X_j\cap X_k=3$. This hypothesis can be relaxed to some extent. The assertion is reduced to the case of a line arrangement in ${\bf P}^2$ by Artin's vanishing theorem (where $X^{\langle 3\rangle}=\emptyset$), and we use a projection from ${\bf P}^2$ to ${\bf P}^1$ with center a sufficiently general point of $X_d$. It may be expected that the assumption of an improved assertion is always satisfied for $m\ge 5$ (and also for $m=4$ except the Hessian arrangement). The resulting vanishing of eigenspaces has been conjectured for $m\ge 5$. △ Less

Submitted 25 May, 2021; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: 11 pages

Efficiency and complexity of hyperplane arrangements

Authors: Morihiko Saito

Abstract: For a projective hyperplane arrangement, we study sufficient conditions in terms of combinatorial data for ESV-calculability of the monodromy eigenspaces of the first Milnor fiber cohomology for eigenvalues of order $m>1$. This can be reduced to the line arrangement case by Artin's theorem. These sufficient conditions are often unsatisfied if efficiency or complexity of the combinatorics of arrang… ▽ More For a projective hyperplane arrangement, we study sufficient conditions in terms of combinatorial data for ESV-calculability of the monodromy eigenspaces of the first Milnor fiber cohomology for eigenvalues of order $m>1$. This can be reduced to the line arrangement case by Artin's theorem. These sufficient conditions are often unsatisfied if efficiency or complexity of the combinatorics of arrangement is high. In order to measure these, we introduce the notions of $m$-efficiency and $m$-complexity for $m\ge 3$. The former is defined to be the number of points with multiplicity divisible by $m$ lying on one line in average. In many cases, one of the above sufficient conditions is satisfied if it is at most 2, although there are certain exceptional cases, especially when $m=3$. The $m$-complexity is defined to be the maximal number of edges containing one vertex of the associated $m$-graph. We can show that one of the sufficient condition holds if it is at most $(m+1)/2$. △ Less

Submitted 2 May, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 13 pages

On the moduli spaces of framed logarithmic connections on a Riemann surface

Authors: Indranil Biswas, Michi-aki Inaba, Arata Komyo, Masa-Hiko Saito

Abstract: We describe some results on moduli space of logarithmic connections equipped with framings on a $n$-pointed compact Riemann surface. We describe some results on moduli space of logarithmic connections equipped with framings on a $n$-pointed compact Riemann surface. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: Final version; to appear in Comptes Rendus Série Mathématique

Hodge modules and cobordism classes

Authors: Javier Fernández de Bobadilla, Irma Pallarés, Morihiko Saito

Abstract: We show that the cobordism class of a polarization of Hodge module defines a natural transformation from the Grothendieck group of Hodge modules to the cobordism group of self-dual bounded complexes with real coefficients and constructible cohomology sheaves in a compatible way with pushforward by proper morphisms. This implies a new proof of the well-definedness of the natural transformation from… ▽ More We show that the cobordism class of a polarization of Hodge module defines a natural transformation from the Grothendieck group of Hodge modules to the cobordism group of self-dual bounded complexes with real coefficients and constructible cohomology sheaves in a compatible way with pushforward by proper morphisms. This implies a new proof of the well-definedness of the natural transformation from the Grothendieck group of varieties over a given variety to the above cobordism group (with real coefficients). As a corollary, we get a slight extension of a conjecture of Brasselet, Schürmann and Yokura, showing that in the $\mathbb Q$-homologically isolated singularity case, the homology $L$-class which is the specialization of the Hirzebruch class coincides with the intersection complex $L$-class defined by Goresky, MacPherson, and others if and only if the sum of the reduced modified Euler-Hodge signatures of the stalks of the shifted intersection complex vanishes. Here Hodge signature uses a polarization of Hodge structure, and it does not seem easy to define it by a purely topological method. △ Less

Submitted 19 April, 2022; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 21 pages

Braided Frobenius Algebras from certain Hopf Algebras

Authors: Masahico Saito, Emanuele Zappala

Abstract: A braided Frobenius algebra is a Frobenius algebra with braiding that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a group with the operation $(x,y,z) \mapsto xy^{-1}z$, that is ternary self-distributive. Hopf algebras can be endowed with the algebra version of the heap operatio… ▽ More A braided Frobenius algebra is a Frobenius algebra with braiding that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a group with the operation $(x,y,z) \mapsto xy^{-1}z$, that is ternary self-distributive. Hopf algebras can be endowed with the algebra version of the heap operation. Using this, we construct braided Frobenius algebras from a class of certain Hopf algebras that admit integrals and cointegrals. For these Hopf algebras we show that the heap operation induces a braiding, by means of a Yang-Baxter operator on the tensor product, which satisfies the required compatibility conditions. Diagrammatic methods are employed for proving commutativity between the braiding and Frobenius operations. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: 19 pages; several figures. Comments are welcome

MSC Class: 16T05; 16T25; 57R99

Fundamental Heap for Framed Links and Ribbon Cocycle Invariants

Authors: Masahico Saito, Emanuele Zappala

Abstract: A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group, we define the fundamental heap of framed links using group presentations. The fundamental heap is determined for some classes of links such as certai… ▽ More A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group, we define the fundamental heap of framed links using group presentations. The fundamental heap is determined for some classes of links such as certain families of torus and pretzel links. We show that for these families of links there exist epimorphisms from fundamental heaps to Vinberg and Coxeter groups, implying that corresponding groups are infinite. A relation to the Wirtinger presentation is also described. The cocycle invariant is defined using ternary self-distributive (TSD) cohomology, by means of a state sum that uses ternary heap $2$-cocycles as weights. This invariant corresponds to a rack cocycle invariant for the rack constructed by doubling of a heap, while colorings can be regarded as heap morphisms from the fundamental heap. For the construction of the invariant, first computational methods for the heap cohomology are developed. It is shown that the cohomology splits into two types, called degenerate and nondegenerate, and that the degenerate part is one dimensional. Subcomplexes are constructed based on group cosets, that allow computations of the nondegenerate part. Computations of the cocycle invariants are presented using the cocycles constructed, and conversely, it is proved that the invariant values can be used to derive algebraic properties of the cohomology. △ Less

Submitted 10 February, 2022; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: 35 pages, 6 figures. v2: Several typos corrected, improved exposition and clarifications regarding the scope of the article added in the introduction. Two references added

MSC Class: 57K10 (Primary) 17D99 (Secondary)

Lowest non-zero vanishing cohomology of holomorphic functions

Authors: Morihiko Saito

Abstract: We study the vanishing cycle complex $\varphi_fA_X$ for a holomorphic function $f$ on a reduced complex analytic space $X$ with $A$ a Dedekind domain (for instance, a localization of the ring of integers of a cyclotomic field, where the monodromy eigenvalue decomposition may hold after a localization of $A$). Assuming the perversity of the shifted constant sheaf $A_X[d_X]$, we show that the lowest… ▽ More We study the vanishing cycle complex $\varphi_fA_X$ for a holomorphic function $f$ on a reduced complex analytic space $X$ with $A$ a Dedekind domain (for instance, a localization of the ring of integers of a cyclotomic field, where the monodromy eigenvalue decomposition may hold after a localization of $A$). Assuming the perversity of the shifted constant sheaf $A_X[d_X]$, we show that the lowest possibly-non-zero vanishing cohomology at $0\in X$ can be calculated by the restriction of $\varphi_fA_X$ to an appropriate nearby curve in the singular locus $Y$ of $f$, which is given by intersecting $Y$ with the intersection of sufficiently general hyperplanes in the ambient space passing sufficiently near 0. The proof uses a Lefschetz type theorem for local fundamental groups. In the homogeneous polynomial case, a similar assertion follows from Artin's vanishing theorem. By a related argument we can show the vanishing of the non-unipotent monodromy part of the first Milnor cohomology for many central hyperplane arrangements with ambient dimension at least 4. △ Less

Submitted 24 September, 2020; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 21 pages

Intersection complexes of toric varieties and mixed Hodge modules

Authors: Morihiko Saito

Abstract: We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers tog… ▽ More We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms of Newton polyhedra has been given by Danilov--Khovanskii. The structure theorem also implies that the graded quotients of the weight filtration on the middle cohomology of the canonical compactification of a non-degenerate toric hypersurface have Hodge level strictly smaller than the general case except for the middle weight. This gives another proof of a formula for the frontier Hodge numbers of non-degenerate toric hypersurfaces due to Danilov--Khovanskii. △ Less

Submitted 23 June, 2020; v1 submitted 7 June, 2020; originally announced June 2020.

Comments: 18 pages

Descent of nearby cycle formula for Newton non-degenerate functions

Authors: Morihiko Saito

Abstract: We prove a descent theorem of nearby cycle formula for Newton non-degenerate functions at the origin as well as its motivic version (without assuming the convenience condition). This is used in some papers without any proof although its proof is quite nontrivial because of the existence of coordinate hyperplanes which is completely neglected in the literature about the descent theorem. In the isol… ▽ More We prove a descent theorem of nearby cycle formula for Newton non-degenerate functions at the origin as well as its motivic version (without assuming the convenience condition). This is used in some papers without any proof although its proof is quite nontrivial because of the existence of coordinate hyperplanes which is completely neglected in the literature about the descent theorem. In the isolated singularity case, it implies some well-known formula for the number of Jordan blocks of the Milnor monodromy with the theoretically maximal size, using a standard estimate of weights. It also provides a proof of a modified version of the Steenbrink conjecture on spectral pairs for non-degenerate functions with simplicial Newton polytopes in the isolated singularity case (which is false in the non-simplicial case). △ Less

Submitted 30 September, 2023; v1 submitted 26 April, 2020; originally announced April 2020.

Comments: Sect. 2.7 is moved to arxiv:1911.09465v4

Skein theoretic approach to Yang-Baxter homology

Authors: Mohamed Elhamdadi, Masahico Saito, Emanuele Zappala

Abstract: We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for homology, admits a skein decomposition $R = I + βα$, where $α: V^{\otimes 2} \rightarrow k$ is a "cup" pairing map and $β: k \rightarrow V^{\otimes 2}$ is a "cap" c… ▽ More We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for homology, admits a skein decomposition $R = I + βα$, where $α: V^{\otimes 2} \rightarrow k$ is a "cup" pairing map and $β: k \rightarrow V^{\otimes 2}$ is a "cap" copairing map, and differentials in the chain complex associated to $R$ can be decomposed into horizontal tensor concatenations of cups and caps. We apply our skein theoretic approach to determine the second and third YB homology groups, confirming a conjecture of Przytycki and Wang. Further, we compute the cohomology groups of $R$, and provide computations in higher dimensions that yield some annihilations of submodules. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: 27 pages, 22 figures

Logarithmic A-hypergeometric series

Authors: Mutsumi Saito

Abstract: The method of Frobenius is a standard technique to construct series solutions of an ordinary linear differential equation around a regular singular point. In the classical case, when the roots of the indicial polynomial are separated by an integer, logarithmic solutions can be constructed by means of perturbation of a root. The method for a regular A-hypergeometric system is a theme of the book… ▽ More The method of Frobenius is a standard technique to construct series solutions of an ordinary linear differential equation around a regular singular point. In the classical case, when the roots of the indicial polynomial are separated by an integer, logarithmic solutions can be constructed by means of perturbation of a root. The method for a regular A-hypergeometric system is a theme of the book by Saito, Sturmfels, and Takayama. Whereas they perturbed a parameter vector to obtain logarithmic A-hypergeometric series solutions, we adopt a different perturbation in this paper. △ Less

Submitted 3 December, 2019; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: 20 pages, 3 figures

MSC Class: 33C70

Spectrum of non-degenerate functions with simplicial Newton polytopes

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also in… ▽ More We show a precise proof of Steenbrink's formula for the spectrum of convenient Newton non-degenerate functions, and prove the symmetry of combinatorial polynomials in the simplicial case. Combined with the modified Steenbrink conjecture for spectral pairs (that is, weighted spectrum) which is recently proved in that case, this simplifies quite a lot of their calculations in such a case. We also introduce the $Γ$-spectrum of simplicial convenient non-degenerate functions as a first approximation of the spectrum, generalizing Arnold's picture in the 2 variable case. Analyzing their difference, we can find simple formulas for weighted spectrum in the 3 or 4 variable case. This is proved by using the symmetry of combinatorial polynomials, and fails in the non-simplicial case. Combining these with the Yomdin-Steenbrink formula for the spectrum, we can prove a formula for the spectrum of certain non-isolated surface singularities with simplicial non-degenerate Newton boundaries. As a byproduct of these arguments, we find an example where the Yomdin-Steenbrink formula for spectral pairs does not hold because of fusions of compact faces under projections. △ Less

Submitted 6 October, 2023; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: Appendix was originally in arxiv:2004.12367v2

Heap and Ternary Self-Distributive Cohomology

Authors: Mohamed Elhamdadi, Masahico Saito, Emanuele Zappala

Abstract: Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories and also a ternary self-distributive cohomology theory with abelian heap coeffi… ▽ More Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories and also a ternary self-distributive cohomology theory with abelian heap coefficients. We show that one of the heap cohomologies is related to group cohomology via a long exact sequence. Moreover we construct maps between second cohomology groups of normalized group cohomology and heap cohomology, and show that the latter injects into the ternary self-distributive second cohomology group. We proceed to study heap objects in symmetric monoidal categories providing a characterization of pointed heaps as involutory Hopf monoids in the given category. Finally we prove that heap objects are also "categorically" self-distributive in an appropriate sense. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 26 pages. 2 figures. Comments are welcome

MSC Class: 57M27; 17D99; 16T99

Journal ref: Communications in Algebra, 2021

Deformation of rational singularities and Hodge structure

Authors: Matt Kerr, Radu Laza, Morihiko Saito

Abstract: For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers and also for the cohomology of their desingularizations, assuming that the central fiber is reduced, projective, and has only rational singularities. This can… ▽ More For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers and also for the cohomology of their desingularizations, assuming that the central fiber is reduced, projective, and has only rational singularities. This can be shown to be equivalent to the invariance of the dimension of the cohomology of structure sheaf (which is known in the algebraizable case), since we can prove the Hodge symmetry for all the Hodge numbers $h^{p,q}$ together with $E_1$-degeneration of the Hodge-to-de Rham spectral sequence for nearby fibers, assuming only the projectivity of the central fiber. For the proof of the main theorem, we calculate the graded pieces of the induced $V$-filtration for the first non-zero member of the Hodge filtration on the intersection complex Hodge module of the total space, which coincides with the direct image of the dualizing sheaf of a desingularization (related to Kollár's conjecture on the direct images of dualizing sheaves of smooth varieties). This calculation implies also that the order of nilpotence of the local monodromy is smaller than the general singularity case by 2 in the situation of the main theorem assuming further smoothness of general fibers. We can prove a partial converse of the main theorem under some hypothesis. △ Less

Submitted 20 September, 2021; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 23 pages

Journal ref: Algebr. Geom. 9 (2022), no. 4, 476-501

Higher Arity Self-Distributive Operations in Cascades and their Cohomology

Authors: Mohamed Elhamdadi, Masahico Saito, Emanuele Zappala

Abstract: We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive $n$-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed… ▽ More We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive $n$-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed links is described, with the scope of providing algebraic background of constructing $2$-cocycles for framed link invariants. This theory is also studied in the context of symmetric monoidal categories. Examples from Lie algebras, coalgebras and Hopf algebras are given. △ Less

Submitted 29 August, 2019; v1 submitted 1 May, 2019; originally announced May 2019.

Comments: 32 pages. 11 figures. Comments are welcome

MSC Class: 57N27; 17D99; 16T99

Journal ref: Journal of Algebra and Its Applications, 2021

Hodge ideals and spectrum of isolated hypersurface singularities

Authors: Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, Youngho Yoon

Abstract: We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spec… ▽ More We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal $V$-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal $V$-filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weighted-homogeneous or with non-degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non-degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal. △ Less

Submitted 23 January, 2022; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: 29 pages

Degeneration of pole order spectral sequences for hyperplane arrangements of 4 variables

Authors: Morihiko Saito

Abstract: For essential reduced hyperplane arrangements of 4 variables, we show that the pole order spectral sequence degenerates almost at $E_2$, and completely at $E_3$, generalizing the 3 variable case where the complete $E_2$-degeneration is known. These degenerations are useful to determine the roots of Bernstein-Sato polynomials supported at the origin. For the proof we improve an estimate of the Cast… ▽ More For essential reduced hyperplane arrangements of 4 variables, we show that the pole order spectral sequence degenerates almost at $E_2$, and completely at $E_3$, generalizing the 3 variable case where the complete $E_2$-degeneration is known. These degenerations are useful to determine the roots of Bernstein-Sato polynomials supported at the origin. For the proof we improve an estimate of the Castelnuovo-Mumford regularity of logarithmic vector fields which was studied by H. Derksen and J. Sidman. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 7 pages

Algebraic Systems for DNA Origami Motivated from Temperley-Lieb Algebras

Authors: James Garrett, Nataša Jonoska, Hwee Kim, Masahico Saito

Abstract: We initiate an algebraic approach to study DNA origami structures by associating an element from a monoid to each structure. We identify two types of basic building blocks and describe an DNA origami structure with their composition. These building blocks are taken as generators of a monoid, called origami monoid, and, motivated by the well studied Temperley-Lieb algebras, we identify a set of rel… ▽ More We initiate an algebraic approach to study DNA origami structures by associating an element from a monoid to each structure. We identify two types of basic building blocks and describe an DNA origami structure with their composition. These building blocks are taken as generators of a monoid, called origami monoid, and, motivated by the well studied Temperley-Lieb algebras, we identify a set of relations that characterize the origami monoid. We also present several observations about the Green's relations for the origami monoid and study the relations to a cross product of Jones monoids that is a morphic image of an origami monoid. △ Less

Submitted 25 January, 2019; originally announced January 2019.

Insertions Yielding Equivalent Double Occurrence Words

Authors: Daniel A. Cruz, Margherita Maria Ferrari, Natasa Jonoska, Lukas Nabergall, Masahico Saito

Abstract: A double occurrence word (DOW) is a word in which every symbol appears exactly twice; two DOWs are equivalent if one is a symbol-to-symbol image of the other. We consider the so called repeat pattern ($αα$) and the return pattern ($αα^R$), with gaps allowed between the $α$'s. These patterns generalize square and palindromic factors of DOWs, respectively. We introduce a notion of inserting repeat/r… ▽ More A double occurrence word (DOW) is a word in which every symbol appears exactly twice; two DOWs are equivalent if one is a symbol-to-symbol image of the other. We consider the so called repeat pattern ($αα$) and the return pattern ($αα^R$), with gaps allowed between the $α$'s. These patterns generalize square and palindromic factors of DOWs, respectively. We introduce a notion of inserting repeat/return words into DOWs and study how two distinct insertions into the same word can produce equivalent DOWs. Given a DOW $w$, we characterize the structure of $w$ which allows two distinct insertions to yield equivalent DOWs. This characterization depends on the locations of the insertions and on the length of the inserted repeat/return words and implies that when one inserted word is a repeat word and the other is a return word, then both words must be trivial (i.e., have only one symbol). The characterization also introduces a method to generate families of words recursively. △ Less

Submitted 26 September, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Rank one local systems on complements of hyperplanes and Aomoto complexes

Authors: Morihiko Saito

Abstract: We show that the cohomology of a rank 1 local system on the complement of a projective hyperplane arrangement can be calculated by the Aomoto complex in certain cases even if the condition on the sum of the residues of connection due to Esnault et al is not satisfied. For this we have to study the localization of Hodge-logarithmic differential forms which are defined by using an embedded resolutio… ▽ More We show that the cohomology of a rank 1 local system on the complement of a projective hyperplane arrangement can be calculated by the Aomoto complex in certain cases even if the condition on the sum of the residues of connection due to Esnault et al is not satisfied. For this we have to study the localization of Hodge-logarithmic differential forms which are defined by using an embedded resolution of singularities. As an application we can compute certain monodromy eigenspaces of the first Milnor cohomology group of the defining polynomial of the reflection hyperplane arrangement of type $G_{31}$ without using a computer. △ Less

Submitted 9 July, 2018; v1 submitted 1 July, 2018; originally announced July 2018.

Comments: 22 page