Search

We apply the structure theory of finite dimensional algebras in order to deduce dimension formulas for spaces of period numbers, i.e., complex numbers defined by integrals of algebraic nature. We get a complete and conceptually clear answer in the case of $1$-periods, generalising classical results like Baker's theorem on the logarithms of algebraic numbers and partial results in Huber--W{\"u}stholz \cite{huber-wuestholz}. The application to the case of Mixed Tate Motives (i.e., Multiple Zeta Values) recovers the dimension estimates of Deligne--Goncharov \cite{deligne-goncharov}., Comment: 46 pages. Comments very welcome!

We describe singular homology of a manifold $X$ via simplices $\sigma:\Delta_d\to X$ that satisfy Stokes' formula with respect to all differential forms. The notion is geared to the case of tame geometry (definable manifolds with respect to an o-minimal structure), where it gives a description of the period pairing with de Rham cohomology via definable $\sigma$'s., Comment: 22 pages

We define a category of motives for semi-algebraic spaces and show that it is trivial. This implies that there is no good extension of algebraic de Rham cohomology to semi-algebraic spaces compatible with the period isomorphism.

This paper is a sequel to "Exponential periods and o-minimality I" that the authors wrote together with Philipp Habegger. We complete the comparison between different definitions of exponential periods, and show that they all lead to the same notion. In the first paper, we show that naive exponential periods are absolutely convergent exponential periods. We also show that naive exponential periods are up to signs volumes of definable sets in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. In this paper, we compare these definitions with cohomological exponential periods and periods of exponential Nori motives. In particular, naive exponential periods are the same as periods of exponential Nori motives, which justifies that the definition of naive exponential periods singles out the correct set of complex numbers to be called exponential periods., Comment: The paper was merged with part I. See arXiv:2007.08280 for updates

Let $\alpha \in \mathbb{C}$ be an exponential period. We show that the real and imaginary part of $\alpha$ are up to signs volumes of sets definable in the o-minimal structure generated by $\mathbb{Q}$, the real exponential function and ${\sin}|_{[0,1]}$. This is a weaker analogue of the precise characterisation of ordinary periods as numbers whose real and imaginary part are up to signs volumes of $\mathbb{Q}$-semi-algebraic sets. Furthermore, we define a notion of naive exponential periods and compare it to the existing notions using cohomological methods. This points to a relation between the theory of periods and o-minimal structures., Comment: 64 pages. The paper is a merger of "Exponential periods and o-minimality I" (v1 of this submission) and "Exponential periods and o-minimality II", previously arXiv:2007.08290

In this mostly expository note we explain how Nori's theory of motives achieves the aim of establishing a Galois theory of periods, at least under the period conjecture. We explain and compare different notions periods, different versions of the period conjecture and view the evidence by explaining the examples of Artin motive, mixed Tate motives and 1-motives.

We study four fundamental questions about $1$-periods and give complete answers. 1) We give a necessary and sufficient for a period integral to be transcendental. 2) We give a qualitative description of all $\overline{\mathbf{Q}}$-linear relations between $1$-periods, establishing Kontsevich's period conjecture in this case. 3) Periods may vanish and we determine all cases when this happens. 4) For a fixed $1$-motive, we derive a general formula for the dimension of its space of periods in the spirit of Baker's theorem., Comment: This is the final draft and very close to the published version of the monograph, but not identical. In particular layout and page numbers do not agree. To appear: Cambridge Tracts in Mathematics 227, Cambridge University Press, May 2022. Copyright Annette Huber and Gisbert W\"ustholz

We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on Nori motives., Comment: Revised & updated version, 23 pages

This paper continues our study of the sheaf associated to K\"ahler differentials in the cdh-topology and its cousins, in positive characteristic, without assuming resolution of singularities. The picture for the sheaves themselves is now fairly complete. We give a calculation $\mathcal{O}_{cdh}(X) \cong \mathcal{O}(X^{sn})$ in terms of the seminormalisation. We observe that the category of representable cdh-sheaves is equivalent to the category of seminormal varieties. We conclude by proposing some possible connections to Berkovich spaces, and $F$-singularities in the last section. The tools developed for the case of differential forms also apply in other contexts and should be of independent interest., Comment: 37 pages

We generalize the definition of the polylogarithm classes to the case of commutative group schemes, both in the sheaf theoretic and the motivic setting. This generalizes and simplifies the existing cases., Comment: 36 pages

We prove a canonical Kuenneth decomposition of the relative motive with rational coefficients of a smooth commutative group scheme over a noetherian finite dimensional base. This paper is a follow-up of "On the motive of a commutative algebraic group" arXiv:1312.4171, Comment: final version, minor modifications

This paper studies several notions of sheaves of differential forms that are better behaved on singular varieties than K\"ahler differentials. Our main focus lies on varieties that are defined over fields of positive characteristic. We identify two promising notions: the sheafification with respect to the cdh-topology, and right Kan extension from the subcategory of smooth varieties to the category of all varieties. Our main results are that both are cdh-sheaves and agree with K\"ahler differentials on smooth varieties. They agree on all varieties under weak resolution of singularities. A number of examples highlight the difficulties that arise with torsion forms and with alternative candiates., Comment: The new version contains a considerable improvement on the earlier version. Following the remark of a referee, we are now able to show cdh-descent for differential forms on smooth varieties

We prove a canonical Kunneth decomposition for the motive of a commutative group scheme over a field. Moreover, we show that this decomposition behaves under the group law just as in cohomology. We also deduce applications of the decomposition to the existence of a weight filtration, computation of any Weil cohomology theory and study of 1-motives., Comment: final version, minor modifications

We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising in the Minimal Model Program. As a second application we consider de Rham cohomology., Comment: 29 pages, added references

These are extended abstracts from an series of lectures in 1997. The text has not been updated since then. We explain the construction of the motivic polylog as published in Annette Huber, J\"org Wildeshaus, Classical Motivic Polylogarithm According to Beilinson and Deligne, Doc.Math.J.DMV 3 (1998) 27-133. The main application is a comparison result for cyclotomic elements needed in the proof of the Tamagawa number conjecture of Bloch and Kato for Dirichlet characters. The exposition concentrates on the Hodge theoretic part of the story.

We show that the spectrum of Kontsevich's algebra of formal periods is a torsor under the motivic Galois group for mixed motives over the rational numbers. This assertion is stated without proof by Kontsevich and originally due to Nori. In a series of appendices, we also provide the necessary details on Nori's category of motives.

For smooth linear group schemes over $\bbZ$ we give a cohomological interpretation of the local Tamagawa measures as cohomological periods. This is in the spirit of the Tamagawa measures for motives defined by Bloch and Kato. We show that in the case of tori the cohomological and the motivic Tamagawa measures coincide, which reproves the Bloch-Kato conjecture for motives associated to tori., Comment: 20 pages, reference added

Lazard showed in his seminal work "Groupes analytiques $p$-adiques" that for rational coefficients continuous group cohomology of $p$-adic Lie-groups is isomorphic to Lie-algebra cohomology. We refine this result in two directions: firstly we extend his isomorphism under certain conditions to integral coefficients and secondly, we show that for algebraic groups, his isomorphism can be realized by differentiating locally analytic cochains., Comment: Final version, to appear in Compositio Mathematica

In this paper we define a $p$-adic analogue of the Borel regulator for the $K$-theory of $p$-adic fields. The van Est isomorphism in the construction of the classical Borel regulator is replaced by the Lazard isomorphism. The main result relates this $p$-adic regulator to the Bloch-Kato exponential and the Soul\'e regulator. On the way we give a new description of the Lazard isomorphism for certain formal groups., Comment: 38 pages

This is a contribution to the ICM 2002. We explain the relation between the (equivariant) Bloch-Kato conjecture for special values of L-functions and the Main Conjecture of (non-abelian) Iwasawa theory. On the way we will discuss briefly the case of Dirichlet characters in the abelian case. We will also discuss how "twisting" in the non-abelian case would allow to reduce the general conjecture to the case of number fields. This is one the main motivations for a non-abelian Main Conjecture., Comment: 13 pages

This is the completely revised version of math.AG/0101071., Comment: 56 pages, latex2e

The main new result is the computation of the degeneration of l-adic Eisenstein classes at the cusps. This is done by relating it to the degeneration of the elliptic polylog. These classes come from K-theory and their Hodge regulator can also be computed (see: Dirichlet motives via modula curves, on the K-theory server). This gives a new proof of a comparison conjecture of Bloch and Kato which was used in the proof of their Tamagawa number conjecture for the Riemann zeta-function. The paper contains appendices on the definition of the classical and elliptic polylog, its degeneration and the comparison to Eisenstein classes.