We introduce the notion of alternate product of Frobenius manifolds and we give, after [math.AG/0610265], an interpretation of the Frobenius manifold structure canonically attached to the quantum cohomology of G(r,n+1) in terms of alternate products. We also investigate the relationship with the alternate Thom-Sebastiani product of Laurent polynomials.
We give a proof of the Thom-Sebastiani type theorem for holonomic filtered $D$-modules satisfying certain good conditions (including Hodge modules) by using algebraic partial microlocalization. By a well-known relation between multiplier ideals and $V$-filtrations of Kashiwara and Malgrange, the argument in the proof implies also a Thom-Sebastiani type theorem for multiplier ideals, which cannot be deduced from a already known proof of the Thom-Sebastiani theorem for mixed Hodge modules (since the latter gives only the information of graded pieces of multiplier ideals). We also sketch a more e…
We provide a formula for $F$-thresholds of a Thom-Sebastiani type polynomial over a perfect field of prime characteristic. This result extends the formula for the $F$-pure threshold of a diagonal hypersurface. We also compute the first test ideal of Thom-Sebastiani type polynomials. Finally, we apply our result to find hypersurfaces where the log canonical thresholds equals the $F$-pure thresholds for infinitely many prime numbers.
Let $L$ be a cyclic $L_\infty$-algebra of dimension $3$ with finite dimensional cohomology only in dimension one and two. By transfer theorem there exists a cyclic $L_\infty$-algebra structure on the cohomology $H^*(L)$. The inner product plus the higher products of the cyclic $L_\infty$-algebra defines a superpotential function $f$ on $H^1(L)$. We associate with an analytic Milnor fiber for the formal function $f$ and define the Euler characteristic of $L$ is to be the Euler characteristic of the étale cohomology of the analytic Milnor fiber. In this paper we prove a Thom-Sebastiani type form…
For germs of holomorphic functions $f : (\mathbf{C}^{m+1},0) \to (\mathbf{C},0)$, $g : (\mathbf{C}^{n+1},0) \to (\mathbf{C},0)$ having an isolated critical point at 0 with value 0, the classical Thom-Sebastiani theorem describes the vanishing cycles group $Φ^{m+n+1}(f \oplus g)$ (and its monodromy) as a tensor product $Φ^m(f) \otimes Φ^n(g)$, where $(f \oplus g)(x,y) = f(x) + g(y), x = (x_0,...,x_m), y = (y_0,...,y_n)$. We prove algebraic variants and generalizations of this result in étale cohomology over fields of any characteristic, where the tensor product is replaced by a certain local co…
We first prove semi-orthogonal decompositions of derived factorization categories arising from sums of potentials of gauged Landau-Ginzburg models, where the sums are not necessarily Thom--Sebastiani type. We then apply the result to the category ${\rm HMF}^{L_f}(f)$ of maximally graded matrix factorizations of an invertible polynomial $f$ of chain type, and explicitly construct a full strong exceptional collection $E_1$,..., $E_μ$ in ${\rm HMF}^{L_f}(f)$ whose length $μ$ is the Milnor number of the Berglund--Hübsch transpose $\widetilde{f}$ of $f$. This proves a conjecture, which postulates t…
In this note we provide a formula for the Tjurina number of a join of isolated hypersurface singularities in separated variables. From this we are able to provide a characterization of isolated hypersurface singularities whose difference between the Milnor and Tjurina numbers is less or equal than two arising as the join of isolated hypersurface singularities in separated variables. Also, we are able to provide new upper bounds for the quotient of Milnor and Tjurina numbers of certain join of isolated hypersurface singularities. Finally, we deduce an upper bound for the quotient of Milnor and …
Une remarque sur l'article "Un théorème à la "Thom-Sebastiani" pour les intégrales-fibres" de D. Barlet
在这张纸条上，我们给了D. Barlet dans http://aif.cedram.org/aif-bin/fitem? id=AIF_2010__60_1_319_0（arXiv：0809.4981），en nous appuyant sur la transformation de Mellin et des propriétés classiques des fonctions de Bessel（au lieu de la convolution）.这个音符的主要理论是一个非常精确的音符。前引书[L1：本文给出了D. http://aif.cedram.org/aif-bin/fitem?上的Barlet id= AIF_2010_60_1_319_0（arXiv：0809.4981），依赖于梅林变换和贝塞尔函数的经典性质（而不是卷积）。这个注记的主要定理比在上述文献中给出的陈述更精确一些。[见前引书]
We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that power series with a quasihomogeneous extended Jacobian ideal are strongly Euler homogeneous. Due to a Mather-Yau-type theorem, such power series are determined by their Jacobian ideal up to right equ…
The quaternionic Grassmannian HGr(r,n) is the affine open subscheme of the ordinary Grassmannian parametrizing those 2r-dimensional subspaces of a 2n-dimensional symplectic vector space on which the symplectic form is nondegenerate. In particular there is HP^{n} = HGr(1,n+1). For a symplectically oriented cohomology theory A, including oriented theories but also hermitian K-theory, Witt groups and symplectic and special linear algebraic cobordism, we have A(HP^{n}) = A(pt)[p]/(p^{n+1}). We define Borel classes for symplectic bundles. They satisfy a splitting principle and the Cartan sum formul…
We explain how genomic tableaux [Pechenik-Yong '15] are a semistandard complement to increasing tableaux [Thomas-Yong '09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch '02]) and maximal orthogonal Grassmannians (after [Clifford-Thomas-Yong '14], [Buch-Ravikumar '12]). For the unsolved case of Lagrangian Grassmannia…
This chapter concerns edge labeled Young tableaux, introduced by H. Thomas and the third author. It is used to model equivariant Schubert calculus of Grassmannians. We survey results, problems, conjectures, together with their influences from combinatorics, algebraic and symplectic geometry, linear algebra, and computational complexity. We report on a new shifted analogue of edge labeled tableaux. Conjecturally, this gives a Littlewood-Richardson rule for the structure constants of the D. Anderson-W. Fulton ring, which is related to the equivariant cohomology of isotropic Grassmannians.
