J. Denef, F. Loeser
We introduce motivic analogues of p-adic exponential integrals. We prove a basic multiplicativity property from which we deduce a motivic analogue of the Thom-Sebastiani Theorem. In particular, we obtain a new proof of the Thom-Sebastiani Theorem for the Hodge spectrum of (non isolated) singularities of functions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Thom-Sebastiani Theorem for Hodge Modules
本文通过与Verdier特化的兼容性，证明了Hodge模块的Thom-Sebastiani定理，解决了混合Hodge模块的结构问题。
We prove a derived category version of the Sebastiani-Thom Theorem, which describes the vanishing cycles of the sum of two functions of disjoint variables.
Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted to Sebag, Loeser and Nicaise's motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants.
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 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.
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…
Hodge--Tjurina Numbers, Tjurina Spectra, and Thom--Sebastiani Formulas
本文研究孤立超曲面奇点的 Hodge--Tjurina 数与 Tjurina 子谱，建立其与 Hodge 理想和微局部 V-滤过的联系，证明 Thom--Sebastiani 性质成立当且仅当 Tjurina 数乘法性，并讨论谱重构与对称性界。
On the Multiplicative Thom-Sebastiani Property for Bernstein-Sato Polynomials of Ideals
该研究证明理想的Bernstein-Sato多项式满足乘性Thom-Sebastiani性质，正面解决了相关领域的一个公开问题
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.
The Igusa local zeta function of certain Thom-Sebastiani type functions
该研究针对两个分离变量Newton非临界多项式的Thom-Sebastiani型和，推导了其Igusa局部zeta函数的显式公式，相关描述数据可从Newton多面体获取。
On the reduced Bernstein-Sato polynomial of Thom-Sebastiani singularities
本文给出了 Thom-Sebastiani 奇点约化 Bernstein-Sato 多项式关系的纯代数证明，适用于任意可定义该多项式的设定。
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…
Multiplicative Thom-Sebastiani for Bernstein-Sato polynomials
该研究在光滑复代数簇上的正则函数乘积场景，证明了乘积函数的Bernstein-Sato多项式等于各因子多项式的乘积，解决了Budur与Popa提出的相关问题。
Let $k$ be a perfect field of characteristic $p$, let $f_i:X_i\to\mathbb A_k^1$ $(i=1,2)$ be two $k$-morphism of finite type, and let $f:X_1\times_k X_2\to \mathbb A_k^1$ be the morphism defined by $f(z_1,z_2)=f_1(z_1)+f_2(z_2)$. For each $i\in\{1,2\}$, let $x_i$ be a $k$-rational point in the fiber $f_i^{-1}(0)$ such that $f_i$ is smooth on $X_i-\{x_i\}$. Using the $\ell$-adic Fourier transformation and the stationary phase principle of Laumon, we prove that the vanishing cycle of $f$ at $x=(x_1,x_2)$ is the convolution product of the vanishing cycles of $f_i$ at $x_i$ $(i=1,2)$.
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…
The aim of this article is to prove a Thom-Sebastiani theorem for the asymptotics of the fiber-integrals. This means that we describe the asymptotics of the fiber-integrals of the function $f \oplus g : (x,y) \to f(x) + g(y)$ \ on $(\mathbb{C}^p\times \mathbb{C}^q, (0,0))$ in term of the asymptotics of the fiber-integrals of the holomorphic germs $f : (\mathbb{C}^p,0) \to (\mathbb{C},0)$ and $g : (\mathbb{C}^q,0) \to (\mathbb{C},0)$. This reduces to compute the asymptotics of a convolution $Φ_*Ψ$ from the asymptotics of $Φ$ and $Ψ$ modulo smooth terms. To obtain a precise theorem, giving the n…
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 …
The derived category of a hypersurface has an action by "cohomology operations" k[t], deg t=-2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem, identifying the k[t]-linear tensor products of these dg categories with coherent complexes on the zero locus of the sum potential on the product (with a support condition), and identify the dg category of colimit-preserving k[t]-linear functors between Ind-completions with Ind-coherent complexes on the zero locus of the difference potential (with a support conditi…
Dans cette note, nous donnons une autre démonstration du résultat démontré par 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). Le théoréme principal de cette note est un peu plus précis que l'énoncé donné dans loc. cit. [English: In this article, we give another proof of the result shown by D. Barlet in http://aif.cedram.org/aif-bin/fitem?id=AIF_2010__60_1_319_0 (arXiv:0809.4981), relying on the Mellin transform and on …
We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and conceptual new proof of the integral identity conjecture of Kontsevich and Soibelman, first proved by Lê Quy Thuong. Both of these conjectures emerged in the context of motivic Donaldson-Thomas theor…
Low degree motivic Donaldson-Thomas invariants of the three-dimensional projective space
本文借助 Levine 的动机虚基本类定义 R 上 P^3 的动机 DT 不变量，证明奇数阶为零并算出前三个偶数阶值，进而提出一般情形猜想。
A motivic integral identity for $(-1)$-shifted symplectic stacks
本文证明了关于$(-1)$-移位辛堆栈的motivic积分恒等式，扩展了Kontsevich-Soibelman和Joyce-Song的工作，并为扩展motivic Donaldson-Thomas理论提供了新的工具。
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…
Motivic Steenrod algebra and Thom obstructions without desingularization
本文给出无需消解的证明，确认特征零域上双稳定模ℓ motivic上同调运算等同于motivic Steenrod代数，并应用此证明复代数环上所有Thom消解障碍消失。
We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the seco…
Weil restriction, normal bundles and motivic Thom spaces
本文通过Weil限制研究法丛与动机Thom空间，证明Weil限制保持向量丛并扩展法丛结果，进而建立与动机Thom空间的相容性，并在有理系数动机上同调中证明Weil限制映射与范数映射一致且保持Thom类。
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Dona…
The existence of a good theory of Thom isomorphisms in some rational category of mixed Tate motives would permit a nice interpolation between ideas of Kontsevich on deformation quantization, and ideas of Connes and Kreimer on a Galois theory of renormalization, mediated by Deligne's ideas on motivic Galois groups.
Computing framed motives
本文发展计算与动机Thom谱相关的框架动机的方法，主要工具是联系框架动机与框架动机上同调的动机Atiyah-Hirzebruch谱序列，并引入扭转框架动机上同调理论，最终重构有理稳定动机同伦理论。
Thomason's étale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this generalizes the analog of Thomason's theorem for Weibel's homotopy $K$-theory. This is achieved by amplifying the effects from the case of motivic cohomology, using the slice spectral sequence in the case of the universal example of algebraic cobordism. We also obtain integral versions of these statements: Bousfield localization at étale motivic cohomology is the …
Let $f$ be a polynomial in $n$ variables over some number field and $Z$ a subscheme of affine $n$-space. The notion of motivic oscillation index of $f$ at $Z$ was initiated by Cluckers (2008) and Cluckers-Mustaţǎ-Nguyen (2019). In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta functions of $f$ has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with b…
The integral identity conjecture in motivic homotopy theory
本文基于动机Donaldson-Thomas不变量的存在性，探讨了Kontsevich和Soibelman的积分恒等猜想的泛函版本，并扩展了其应用范围。
Fibrant resolutions for motivic Thom spectra
本研究利用Voevodsky的框架对应理论与框架动机工具，构造动机Thom谱的多种显式纤维状消解，证明相关双谱的表示性，并给出拓扑应用及代数配边谱的计算。
We exhibit and discuss "wild" analogues of the five-term quantum dilogarithm identity. We derive these from the representation theory of quivers, using motivic wall-crossing, the geometricity of motivic Donaldson-Thomas invariants, and special properties of Kronecker moduli
Recently, it is well known that the conjectural integral identity is of crucial importance in the motivic Donaldson-Thomas invariants theory for non-commutative Calabi-Yau threefolds. The purpose of this article is to consider different versions of the identity, for regular functions and formal functions, and to give them the positive answer for the ground field algebraically closed. Technically, the result on motivic Milnor fiber by Hrushovski-Loeser using Hrushovski-Kazhdan's motivic integration and Nicaise's computations on motivic integrals on special formal schemes are main tools.
The unit map of the algebraic special linear cobordism spectrum
本文利用框架对应技术计算动机Thom谱的无限$\mathbb{P}^1$-环空间，并证明代数特殊线性配边谱的单位映射在$\mathbb{G}_m$-同伦层上诱导同构。
It is well known that the integral identity conjecture is of prime importance in Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants for non-commutative Calabi-Yau threfolds. In this article we consider its numerical version and make it a complete demonstration in the case where the potential is a polynomial and the ground field is algebraically closed. The foundamental tool is the Berkovich spaces whose crucial point is how to use the comparison theorem for nearby cycles as well as the Künneth isomorphism for cohomology with compact support.
Let T be a torus, X a smooth quasi-compact separated scheme equipped with a T-action, and [X/T] the associated quotient stack. Given any localizing A1-homotopy invariant of dg categories E, we prove that the derived completion of E([X/T]) at the augmentation ideal I of the representation ring R(T) of T agrees with the Borel construction associated to the T-action on X. Moreover, for certain localizing A1-homotopy invariants, we extend this result to the case of a linearly reductive group scheme G. As a first application, we obtain an alternative proof of Krishna's completion theorem in algebra…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。