To a given analytic function germ $f:(\mathbb{R}^d,0) \to (\mathbb{R},0)$, we associate zeta functions $Z_{f,+}$, $Z_{f,-} \in \mathbb{Z} [[T]]$, defined analogously to the motivic zeta functions of Denef and Loeser. We show that our zeta functions are rational and that they are invariants of the blow-analytic equivalence in the sense of Kuo. Then we use them together with the Fukui invariant to classify the blow-analytic equivalence classes of Brieskorn polynomials of two variables. Except special series of singularities our method classifies as well the blow-analytic equivalence classes of Brieskorn polynomials of three variables.
We define invariants of the blow-Nash equivalence of real analytic function germs, in a similar way that the motivic zeta functions of Denef & Loeser. As a key ingredient, we extend the virtual Betti numbers, which were known for real algebraic sets, as a generalized Euler characteristics for projective constructible arc-symmetrics sets. Actually we prove more: the virtual Betti numbers are not only algebraic invariant, but also Nash-invariant of arc-symmetric sets. Our zeta functions enable to sketch the blow-Nash equivalence classes of Brieskorn polynomials of two variables.
Two semisimple algebraic groups of the same type are said to be motivic equivalent if the motives of the associated projective homogeneous varieties of the same type are isomorphic. We give general criteria of motivic equivalence in terms of the so-called higher Tits p-indices of algebraic groups. These results allow to give a complete classification of absolutely simple classical groups up to motivic equivalence in terms of the underlying algebraic structures. Among other applications of this classification, we deduce that there is a bijection between the stable birational equivalence classes…
We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $Λ$ by comparing the pushforward of the constant intersection complexes through flopping contractions.
We refine the geometric Satake equivalence due to Ginzburg, Beilinson-Drinfeld, and Mirković-Vilonen to an equivalence between mixed Tate motives on the double quotient $L^+ G \backslash LG / L^+ G$ and representations of Deligne's modification of the Langlands dual group $\hat G$.
Motivic equivalence for algebraic groups was recently introduced in [9], where a characterization of motivic equivalent groups in terms of higher Tits indexes is given. As a consequence, if the quadrics associated to two quadratic forms have the same Chow motives with coefficients in F_2, this remains true for any two projective homogeneous varieties of the same type under the orthogonal groups of those two quadratic forms. Our main result extends this to all groups of classical type, and to some exceptional groups, introducing a notion of critical variety. On the way, we prove that motivic eq…
We propose a computation of real motivic zeta functions for real polynomial functions, using Newton polyhedron. As a consequence we show that the weights are blow-Nash invariants of convenient weighted homogeneous polynomials in three variables.
To any Nash germ invariant under right composition with a linear action of a finite group, we associate its equivariant zeta functions, inspired from motivic zeta functions, using the equivariant virtual Poincaré series as a motivic measure. We show Denef-Loeser formulae for the equivariant zeta functions and prove that they are invariants for equivariant blow-Nash equivalence via equivariant blow-Nash isomorphisms. Equivariant blow-Nash equivalence between invariant Nash germs is defined as a generalization involving equivariant data of the blow-Nash equivalence.
The goal of this article is to give an elementary proof of the double shuffle relations directly for the Goncharov and Manin motivic multiple zeta values. The shuffle relation is straightforward, but for the stuffle we use a modification of a method first introduced by P. Cartier for the purpose of proving stuffle for the real multiple zeta values via integrals and blow-up sequences.
Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky's triangulated category of motives $\mathcal{DM}(k;R)$ are detected by motivic homology groups of base changes to all separable finitely generated field extensions of $k$. It then follows from previous conservativity results that these motivic homology groups detect isomorphisms between certain spaces in the pointed motivic homotopy category $\mathcal{H}(k)_*$.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show …
To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to $\mathbb{R}^*$-equivariant $\mathcal{AS}$-bijections over $\mathbb{R}^*$, an analog of the Grothendieck ring constructed by G. Guibert, F. Loeser and M. Merle. This zeta function generalizes the previous construction of G. Fichou but thanks to its richer structure it allows us to get a convolution formula and a Thom-Sebastiani type formula. We show that our …
We address the question of the classification under blow-Nash equivalence of simple Nash function germs. We state that this classification coincides with the real analytic classification. We prove moreover that a simple germ can not be blow-Nash equivalent to a nonsimple one. The method is based on the computation of relevant coefficients of the real zeta functions associated to a Nash germ via motivic integration.
Two semisimple algebraic groups are said to be motivic equivalent if the motives of the associated twisted flag varieties are isomorphic modulo any prime p. The purpose of this note is to construct the combinatorial invariants which characterize motivic equivalence and which are the motivic analogues of the Tits indices which appear in the classification of semisimple algebraic groups. The expression of these invariants -the Tits p-indexes- in terms of the classical invariants associated to the natural underlying structures of semisimple algebraic groups allow to produce algebraic criteria of …
We address the following question, raised by T. Fukui. Is the corank an invariant of the blow-analytic equivalence between real analytic function germs? We give a partial positive answer in the particular case of the blow-Nash equivalence. The proof is based on the computation of some virtual Poincare polynomials and zeta functions associated to a Nash function germ.
We propose a refinement of the notion of blow-Nash equivalence between Nash function germs, which is an analog in the Nash setting of the blow-analytic equivalence defined by T.-C. Kuo. The new definition is more natural and geometric. Moreover, this equivalence relation still does not admit moduli for a Nash family of isolated singularities. Some previous invariants are no longer invariants for this new relation, however, thanks to a Denef & Loeser formula coming from motivic integration in a Nash setting, we managed to derive new invariants for this equivalence relation.
Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in the two dimensional case: in terms of the real tree model for the arrangement of real parts of Newton-Puiseux roots and their Puiseux pairs, and in terms of minimal resolutions. These characterisations show that in the two dimensional case the blow-analytic equivalence is a natural analogue of topological equivalence of complex analytic function germs. Moreov…
In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by Voevodsky and Hu-Kriz-Ormsby. We show that it allows to detect equivariant motivic weak equivalences on fixed points and how this property leads to a topologically convenient behavior of stable equivalences. We also prove a negative result concerning descent for equivariant algebraic K-theory.
We prove the finiteness of the number of blow-analytic equivalence classes of embedded plane curve germs for any fixed number of branches and for any fixed value of $μ'$ ---a combinatorial invariant coming from the dual graphs of good resolutions of embedded plane curve singularities. In order to do so, we develop the concept of standard form of a dual graph. We show that, fixed $μ'$ in $\mathbb{N}$, there are only a finite number of standard forms, and to each one of them correspond a finite number of blow-analytic equivalence classes. In the tribranched case, we are able to give an explicit …
We prove the equivalence between the categories of motives of rigid analytic varieties over a perfectoid field $K$ of mixed characteristic and over the associated (tilted) perfectoid field $K^{\flat}$ of equal characteristic. This can be considered as a motivic generalization of a theorem of Fontaine and Wintenberger, claiming that the Galois groups of $K$ and $K^\flat$ are isomorphic. A main tool for constructing the equivalence is Scholze's theory of perfectoid spaces.
The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an…
Approximation of real analytic functions by Nash functions is a classical topic in real geometry. In this paper, we focus on the Nash approximation of an analytic desingularization of a Nash function germ obtained by a sequence of blowings-up along smooth analytic centers. We apply the result to prove that Nash function germs that are analytically equivalent after analytic desingularizations are Nash equivalent after Nash desingularizations. Results are based on a precise Euclidean description of a sequence of blowings-up combined with Néron Desingularization.
For two variable real analytic function germs we compare the blow-analytic equivalence in the sense of Kuo to the other natural equivalence relations. Our main theorem states that $C^1$ equivalent germs are blow-analytically equivalent. This gives a negative answer to a conjecture of Kuo. In the proof we show that the Puiseux pairs of real Newton-Puiseux roots are preserved by the $C^1$ equivalence of function germs. The proof is achieved, being based on a combinatorial characterisation of blow-analytic equivalence in terms of the real tree model. We also give several examples of bi-Lipschitz …
We make progress towards the classification of simple Nash germs invariant under the involution changing the sign of the first coordinate, with respect to equivariant blow-Nash equivalence, which is an equivariant Nash version of blow-analytic equivalence, taking advantage of invariants for this relation, the equivariant zeta functions.
We study symmetric powers in the homotopy categories of abstract closed symmetric monoidal model categories, in both unstable and stable settings. As an outcome, we prove that symmetric powers preserve the Nisnevich and etale homotopy type in the unstable and stable motivic homotopy theories of schemes over a base. More precisely, if f is a weak equivalence of motivic spaces, or a weak equivalence between positively cofibrant motivic spectra, with respect to the Nisnevich or etale topology on schemes, then all symmetric powers Sym^n(f) are weak equivalences too. This gives left derived symmetr…
We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Déglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Bar…
We call a local homeomorphism $f: (R^n,0)\to(R^n,0)$ blow-analytic if it becomes real analytic after composing with a finite number blowings-up with smooth nowhere dense centers. If the graph of $f$ is semi-algebraic then, by a theorem of Bierstone and Milman, $f$ is blow-analytic if and only if it is arc-analytic: the image by $f$ of a parametrized real analytic arc is again a real analytic arc. For a semialgebraic homeomorphism $f$ we show that if $f$ is blow-analytic and the inverse of $f$ is Lipschitz, then $f$ is Lipschitz and the inverse of $f$ is blow-analytic. The proof is by a motivic…
The paper studies categories of definable subassignments with some category equivalences to semi-algebraic and constructible subsets of arc spaces of algebraic varieties. These materials allow us to compare the motivic measure of Cluckers-Loeser and the one of Denef-Loeser in certain classes of definable subassignments.
The first author has recently shown that semisimple algebraic groups are classified up to motivic equivalence by the local versions of the classical Tits indexes over field extensions, known as Tits p-indexes. We provide in this article the complete description of the values of the Tits p-indexes over fields. From this exhaustive study, we also deduce criteria of motivic equivalence for semisimple groups of many types, hence giving a dictionary between classic algebraic structures, representation theory, cohomological invariants and Chow motives of the twisted flag varieties for those groups.
Let K be a field of characteristic 0 and A be a rigid tensor K-linear category. Let M be a finite-dimensional object of A in the sense of Kimura-O'Sullivan. We prove that the "motivic" zeta function of M with coefficients in K\_0(A) has a functional equation. When A is the category of Chow motives over a field, we thus recover and generalise previous work of Franziska Heinloth, who considered the case where M is the motive of an abelian variety. We also get a functional equation for the zeta function of any motive modulo homological equivalence over a finite field. Our functional equation invo…
V. Voevodsyky laid the groundwork of delooping motivic spaces in order to provide a new, more computation-friendly, construction of the stable motivic category $SH(k)$, G. Garkusha and I. Panin made that project a reality, while collaborating with A. Ananievsky, A. Neshitov and A. Druzhinin. In particular, G. Garkusha and I. Panin proved that for an infinite perfect field $k$ and any $k$-smooth scheme $X$ the canonical morphism of motivic spaces $C_*Fr(X)\to Ω^{\infty}_{\mathbb{P}^1} Σ^{\infty}_{\mathbb{P}^1} (X_+)$ is Nisnevich-locally a group-completion. In the present work, a generalisation…
We study motivic zeta functions for $\mathds{Q}$-divisors in a $\mathds{Q}$-Gorenstein variety. By using a toric partial resolution of singularities we reduce this study to the local case of two normal crossing divisors where the ambient space is an abelian quotient singularity. For the latter we provide a closed formula which is worked out directly on the quotient singular variety. As a first application we provide a family of surface singularities where the use of weighted blow-ups reduces the set of candidate poles drastically. We also present an example of a quotient singularity under the …
This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow-spherical equivalence, which generalizes differential equivalence and subanalytic bi-Lipschitz equivalence and, with this approach, we obtain several applications on analytic sets. On regularity, we show that blow-spherical regularity of real analytic implies $C^1$ smoothness only in the case of real analytic curves. On multiplicity, we present a generalization for Gau-Lipman's Theorem about differential invariance of the multiplicity in the comple…
We consider the Pfaffian-Grassmannian equivalence from the motivic point of view. The main result is that under certain numerical conditions, both sides of the equivalence are related on the level of Chow motives. The consequences include a verification of Orlov's conjecture for Borisov's Calabi-Yau threefolds, and verifications of Kimura's finite-dimensionality conjecture, Voevodsky's smash conjecture and the Hodge conjecture for certain linear sections of Grassmannians. We also obtain new examples of Fano varieties with infinite-dimensional Griffiths group.
This paper is part of an endeavor to define an analogue of the slice filtration in the unstable motivic homotopy category. Our approach was inspired by the fact that the triangulated structures do not play a relevant role for the construction of birational homotopy categories as well as by the work of Kahn-Sujatha \cite{K-theory/0596} on birational motives, where the existence of a connection between the layers of the slice filtration and birational invariants is explicitly suggested. Our main result, shows that there is an equivalence of categories between the orthogonal components for the sl…
We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham cohomology. This equivalence is compatible with the six functors on both sides. This way, the classical functors in the world of D-modules, $f_! := D_Y f_* D_X, f^* := D_X f^! D_Y$ ($f: X \to Y$), are conceptually explained and embedded into a larger and more flexible framework. We also apply this equivalence to obtain a motivic t-structure on $H_{dR}$-modul…
This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several applications with this new approach. For example, we reduce to homogeneous complex algebraic sets a version of Zariski's multiplicity conjecture in the case of blow-spherical homeomorphism, we give some partial answers to the Zariski's multiplicity conjecture, we show that a blow-spherical regular complex analytic set is smooth and we give a complete classif…
It is known that the weights of a complex weighted homogeneous polynomial $f$ with isolated singularity are analytic invariants of $(\mathbb C^d,f^{-1}(0))$. When $d=2,3$ this result holds by assuming merely the topological type instead of the analytic one. G. Fichou and T. Fukui recently proved the following real counterpart: the blow-Nash type of a real singular non-degenerate convenient weighted homogeneous polynomial in three variables determines its weights. The aim of this paper is to generalize the above-cited result with no condition on the number of variables. We work with a character…
Since its first use by Behrend, Bryan, and Szendrői in the computation of motivic Donaldson-Thomas (DT) invariants of $\mathbb{A}_{\mathbb{C}}^3$, dimensional reduction has proved to be an important tool in motivic and cohomological DT theory. Inspired by a conjecture of Cazzaniga, Morrison, Pym, and Szendrői on motivic DT invariants, work of Dobrovolska, Ginzburg, and Travkin on exponential sums, and work of Orlov and Hirano on equivalences of categories of singularities, we generalize the dimensional reduction theorem in motivic and cohomological DT theory and use it to prove versions of the…
It has been recently proved that the arc-analytic type of a singular Brieskorn polynomial determines its exponents. This last result may be seen as a real analogue of a theorem by E. Yoshinaga and M. Suzuki concerning the topological type of complex Brieskorn polynomials. In the real setting it is natural to investigate further by asking how the signs of the coefficients of a Brieskorn polynomial change its arc-analytic type. The aim of the present paper is to answer this question by giving a complete classification of Brieskorn polynomials up to the arc-analytic equivalence. The proof relies …
This note gives a one-to-one correspondence between the equivalence classes of a certain type of 2-dimensional Calabi-Yau categories, and certain type of quivers, This is an analogue of the result in Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv: 0811.2435, by M. Kontsevich, Y. Soibelman.
We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting equivalence. We show that this definition generalizes the usual rigid cohomology in case the variety has good reduction. We also prove a conjecture of Ayoub yielding an equivalence between rigid analytic motives with good reduction and unipotent algebraic motives over the residue field, also in mixed characteristic.
