Related papers: A note on formal periods

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

These are notes for a mini-course given at the summer school and conference "The Six-Functor Formalism and Motivic Homotopy Theory" in Milan 9/2021. They provide an introduction to the formalism of Grothendieck's six operations in algebraic…

We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the…

Complex periods are algebraic integrals over complex algebraic domains, also appearing as Feynman integrals and multiple zeta values. The Grothendieck-de Rham period isomorphisms for p-adic algebraic varieties defined via Monski-Washnitzer…

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…

It oftens occurs that Taylor coefficients of (dimensionally regularized) Feynman amplitudes $I$ with rational parameters, expanded at an integral dimension $D= D_0$, are not only periods (Belkale, Brosnan, Bogner, Weinzierl) but actually…

A well-known conjecture of Gross and Zagier states that the values of the higher automorphic Green's function at pairs of points with complex multiplication in the upper half-plane are proportional to the logarithm of an algebraic number.…

In this short note, we will give the key point of the section conjecture of Grothendieck, that is reformulated by monodromy actions. Here, we will also give the result of the section conjecture for algebraic schemes over a number field.

Admitting the existence of conjectural motives attached to cohomological irreducible cuspidal automorphic representations of $\mathrm{GL}_n$, we write down Raghuram and Shahidi's Whittaker periods in terms of Yoshida's fundamental periods…

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…

We develop the theory of motivic integration for formal schemes

We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic…

In this paper, we present an analysis of computationally generated mixed-modality definite referring expressions using combinations of gesture and linguistic descriptions. In doing so, we expose some striking formal semantic properties of…

We equip integral graded-polarized mixed period spaces with a natural $\mathbb{R}_{alg}$-definable analytic structure, and prove that any period map associated to an admissible variation of integral graded-polarized mixed Hodge structures…

This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…

The explicit realization of M. Kontsevich's formality on $R^d$ is the main step of the proof of formality theorem on any manifold. We present here a coherent choice of orientations and signs in order to write completely M. Kontsevich's…

We survey systematic approaches to basis-restricted fragments of propositional logic and modal logics, with an emphasis on how expressive power and computational complexity depend on the allowed operators. The propositional case is…

This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch between formal methods and practitioners. We introduce a set of…

We define the period as a multiplicative characteristic of stably symmetric monoidal $\infty$-categories, develop its basic properties, and study many examples, with a focus on `ordinary' equivariant and motivic homotopy theory. We apply…

We review Deitmar's theory of monoidal schemes to start with, and have a detailed look at the standard examples. It is explained how one can combinatorially study such schemes through a generalization of graph theory. In a more general…