Fonctions constructibles et intégration motivique I

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration. To cite this article: R. Cluckers, F. Loeser, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Analytic cell decomposition and analytic motivic integration

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over K. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivique I, Comptes rendus de l'Académie des Sciences 339 (2004) 411-416].     

Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

This article is the sequel to (Marcolli and Tabuada in Sel Math 20(1):315–358, 2014). We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub’s weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin–Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub’s weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky’s category of mixed motives.     

Nearby motives and motivic nearby cycles

We prove that the construction of motivic nearby cycles, introduced by Jan Denef and François Loeser, is compatible with the formalism of nearby motives, developed by Joseph Ayoub. Let $k$ be an arbitrary field of characteristic zero, and let $X$ be a smooth quasi-projective $k$ -scheme. Precisely, we show that, in the Grothendieck group of constructible étale motives, the image of the nearby motive associated with a flat morphism of $k$ -schemes $f:X\rightarrow \mathbb A ^1_k$ , in the sense of Ayoub’s theory, can be identified with the image of Denef and Loeser’s motivic nearby cycles associated with $f$ . In particular, it provides a realization of the motivic Milnor fiber of $f$ in the “non-virtual” motivic world.     

The spectral sequence relating algebraic K-theory to motivic cohomology

Beginning with the Bloch-Lichtenbaum exact couple relating the motivic cohomology of a field F to the algebraic K-theory of F, the authors construct a spectral sequence for any smooth scheme X over F whose E₂ term is the motivic cohomology of X and whose abutment is the Quillen K-theory of X. A multiplicative structure is exhibited on this spectral sequence. The spectral sequence is that associated to a tower of spectra determined by consideration of the filtration of coherent sheaves on X by codimension of support.     

Motivic Milnor fibers of a rational function

Let P and Q be two complex polynomials and f be the induced rational function. In this Note we define a motivic Milnor fiber of the germ of f at an indeterminacy point x for a value a, a motivic Milnor fiber of f for a value a and finally motivic bifurcation sets.     

Verdier specialization via weak factorization

Let X?V be a closed embedding, with V?X nonsingular. We define a constructible function ψ _X,V on X, agreeing with Verdier’s specialization of the constant function 1 _V when X is the zero-locus of a function on V. Our definition is given in terms of an embedded resolution of X; the independence of the choice of resolution is obtained as a consequence of the weak factorization theorem of Abramovich–Karu–Matsuki–W?odarczyk. The main property of ψ _X,V is a compatibility with the specialization of the Chern class of the complement V?X. With the definition adopted here, this is an easy consequence of standard intersection theory. It recovers Verdier’s result when X is the zero-locus of a function on V. Our definition has a straightforward counterpart Ψ _X,V in a motivic group. The function ψ _X,V and the corresponding Chern class c _SM(ψ _X,V ) and motivic aspect Ψ _X,V all have natural ‘monodromy’ decompositions, for any X?V as above. The definition also yields an expression for Kai Behrend’s constructible function when applied to (the singularity subscheme of) the zero-locus of a function on V.     

Construction inconditionnelle de groupes de Galois motiviquesAn unconditional construction of motivic Galois groups

We attach to any “classical” Weil cohomology theory over a field a motivic Galois group, defined up to an inner automorphism. We also study the specialisation of numerical motives and the behaviour of motivic Galois group by specialisation. To cite this article: Y. André, B. Kahn, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 989–994.     

Real spectra of complete local rings

We Show that: (a) closures of a constructible subsets of real spectrum (Spec_rA) of complete noetherian local ring A with formally real residue field R are constructible. (b) The connected components of constructible subsets of Spec_rA are constructible if and only if R has finitely many ordernigs We define also semialgebroid subsets and we obtain for them similar properties to those of semianalytic germs subsets.Partially supported by the C.A.I.C.Y.T no. 2280/83     

Motivic Milnor fibre of cyclic <Emphasis Type="Italic">L</Emphasis><Subscript>∞</Subscript>-algebras

We define the motivic Milnor fiber of cyclic L _∞-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by a cyclic L _∞-algebra L is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that the Behrend function depends only on the formal neighborhood of the moduli space.     

Motives and modules over motivic cohomology

In this Note we summarize the main results and techniques in our homotopical algebraic approach to motives. A major part of this work relies on highly structured models for motivic stable homotopy theory. For any noetherian and separated base scheme of finite Krull dimension these frameworks give rise to a homotopy theoretic meaningful study of modules over motivic cohomology. When the base scheme is $\mathrm{Spec}(k)$, for k a field of characteristic zero, the corresponding homotopy category is equivalent to Voevodsky's big category of motives. To cite this article: O. Röndigs, P.A. Østvær, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Motivic degree zero Donaldson–Thomas invariants

Given a smooth complex threefold X, we define the virtual motive $[\operatorname{Hilb}^{n}(X)]_{\operatorname {vir}}$ of the Hilbert scheme of n points on X. In the case when X is Calabi–Yau, $[\operatorname{Hilb}^{n}(X)]_{\operatorname{vir}}$ gives a motivic refinement of the n-point degree zero Donaldson–Thomas invariant of X. The key example is X=?³, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef–Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives $[\operatorname{Hilb}^{n} (\mathbb{C}^{3})]_{\operatorname{vir}}$ via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Göttsche’s formula for the Poincaré polynomials of the Hilbert schemes of points on surfaces.     

Decompositions of two-dimensional simplicial complexes

We show that the class of Cohen-Macaulay complexes, that of complexes with constructible subdivisions, and that of complexes with shellable subdivisions differ from each other in every dimension d?2. Further, we give a characterization of two-dimensional simplicial complexes with shellable subdivisions, and show also that they are constructible.     

Classes de Hirzebruch et classes de Chern motiviques

Let X be a complex algebraic variety. We define and study new theories of characteristic classes, defined on the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration. One of them, $T_y$ is a homology class version of the motivic measure and generalizes the corresponding Hirzebruch characteristic. It unifies the Chern class transformation of Schwartz and MacPherson, the Todd class transformation of Baum–Fulton–MacPherson and the L-class transformation of Cappell–Shaneson. To cite this article: J.-P. Brasselet et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Exterior Tensor Product of Perverse Sheaves

Under certain assumptions, we prove that the Deligne tensor product of the categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X×Y. The functor of the exterior Deligne tensor product is identified with the exterior geometric tensor product.     

Motivic Serre invariants of curves

In this article, we generalize the theory of motivic integration on formal schemes topologically of finite type and the notion of motivic Serre invariant, to a relative point of view. We compute the relative motivic Serre invariant for curves defined over the field of fractions of a complete discrete valuation ring R of equicharacteristic zero. One aim of this study is to understand the behavior of motivic Serre invariants under ramified extension of the ring R. Thanks to our constructions, we obtain, in particular, an expression for the generating power series, whose coefficients are the motivic Serre invariant associated to a curve, computed on a tower of ramified extensions of R. We give an interpretation of this series in terms of the motivic zeta function of Denef and Loeser.     

Product structures in motivic cohomology and higher Chow groups

It is shown that the product structures of motivic cohomology groups and of higher Chow groups are compatible under the comparison isomorphism of Voevodsky (2002) [11]. This extends the result of Weibel (1999) [14], where he used the comparison isomorphism which assumed that the base field admits resolution of singularities.The mod n motivic cohomology groups and product structures in motivic homotopy theory are defined, and it is shown that the product structures are compatible under the comparison isomorphisms.     

Integrals of equivariant forms and a Gauss-Bonnet theorem for constructible sheaves

The Berline-Vergne integral localization formula for equivariantly closed forms ([N. Berline, M. Vergne, Classes caractéristiques équivariantes. Formules de localisation en cohomologie équivariante, C. R. Acad. Sci. Paris 295 (1982) 539-541], Theorem 7.11 in [N. Berline, E. Getzler, M. Vergne, Heat Kernels and Dirac Operators, Springer-Verlag, 1992]) is well-known and requires the acting Lie group to be compact. In this article, we extend this result to real reductive Lie groups G_R.As an application of this generalization, we prove an analogue of the Gauss-Bonnet theorem for constructible sheaves. If F is a G_R-equivariant sheaf on a complex projective manifold M, then the Euler characteristic of M with respect to F

     

The Ω Deformed B-model for Rigid N = 2 Theories

We give an interpretation of the Ω deformed B-model that leads naturally to the generalized holomorphic anomaly equations. Direct integration of the latter calculates topological amplitudes of four-dimensional rigid N = 2 theories explicitly in general Ω-backgrounds in terms of modular forms. These amplitudes encode the refined BPS spectrum as well as new gravitational couplings in the effective action of N = 2 supersymmetric theories. The rigid N = 2 field theories we focus on are the conformal rank one N = 2 Seiberg–Witten theories. The failure of holomorphicity is milder in the conformal cases, but fixing the holomorphic ambiguity is only possible upon mass deformation. Our formalism applies irrespectively of whether a Lagrangian formulation exists. In the class of rigid N = 2 theories arising from compactifications on local Calabi–Yau manifolds, we consider the theory of local ${\mathbb{P}^2}$ . We calculate motivic Donaldson–Thomas invariants for this geometry and make predictions for generalized Gromov–Witten invariants at the orbifold point.