Related papers: A DG guide to Voevodsky's motives

This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and…

The purpose of this paper is to formulate a number of conjectures giving a rather complete description of the tautological ring of M_g and to discuss the evidence for these conjectures.

The idea of a $\bigvee$-system was introduced by Veselov in the study of rational solutions of the WDVV equations of associativity. These are algebraic/geometric conditions on the set of covectors that appear in rational solutions to the…

The purpose of this note is to consider a number of straightforward generalizations of the Pirogov-Sinai theory which can be covered by minor additions to the canonical texts. These generalizations are well-known among the adepts of the…

The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of…

The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations of their application to solving various problems of…

Let $\mathbb{M}:=(M(X),p)$ be a direct summand of the motive associated with a geometrically split, geometrically variety over a field $F$ satisfying the nilpotence principle. We show that under some conditions on an extension $E/F$, if…

This paper gives an introduction to some results on monodromy groupoids and the monodromy principle, and then develops the notion of monodromy groupoid for group groupoids.

This talk summarized work done recently to organize the steps for implementing TMD phenomenology in a way optimized for contexts where the extraction and interpretation of hadronic structures and nonperturbative effects is the primary…

This paper collects many results on galoisian ideals and Galois theory.

We define a Dieudonn\'e module as the module of Dieudonn\'e elements, and set up Dieudonn\'e module theory in a simple way. Under this formulation we give explicit formulae for the duality and the corresponding differential operators.

Building on earlier work concerning the motives of $G$-bundles, we study the structure of motives associated with certain classes of $G$-varieties. In particular, we show that the corresponding motives lie within the category of mixed-Tate…

A proof of Sharkovsky's Theorem is given. It is shown how this proof naturally generalizes to looking at maps on graphs and to Sharkovsky-type theorems for these maps. The paper is written at an elementary level and is meant as an…

We describe the Voevodsky's category $DM^{eff}_{gm}$ of motives in terms of Suslin complexes of smooth projective varieties. This shows that Voeovodsky's $DM_{gm}$ is anti-equivalent to Hanamura's one. We give a description of any…

The algebraic part of approach to groupoids started by S. Zakrzewski is presented.

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.

We present a sequent calculus for the weak Grzegorczyk logic Go allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.

In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.

Hypergeometric motives are family of motives associated to hypergeometric local systems. Their special features, in particular their rigidity, makes them more tractable than general motives. In the present article we prove most of the…