Related papers: Motivic splitting principle
In this article, we give an unconditional definition of the motivic analogue of the intersection complex, establish its basic properties, and prove its existence in certain cases.
We prove an improved form of an expectation of Polya and discuss several related questions
This short note is an "elementary'' introduction to the conjectural theory of motives.
We show some elementary facts about the semantical analogue of Parikh's Splitting, which we call Factorization.
This note presents an interesting counterexample to a basic covering problem.
A new simple proof of Stirling's formula via the partial fraction expansion for the tangent function is presented.
This is a short summary of main results of our paper arXiv:0811.2435 where the concept of motivic Donaldson-Thomas invariant was introduced. It also contains a discussion of some open questions from the loc.cit., in particular, the geometry…
We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…
The splitting principle states that morphisms in a derived category do not "split" accidentally. This has been successsfully applied in several characterizations of rational, DB, and other singularities. In this article I prove a general…
We develop further the theory of integrable functions within the theory of relative simplicial motivic measures. We provide a primitive change of variables formula for this theory.
The aim of this note is to prove a new discrepancy principle. The advantage of the new discrepancy principle compared with the known one consists of solving a minimization problem approximately, rather than exactly, and in the proof of a…
We use the theory of motivic integration in order to give a geometric explanation of the behavior of some p-adic integrals.
In this paper, we strengthen the splitting theorem proved in [14, 15] and provide a different approach using ideas from the weak KAM theory.
We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutable state where sampling corresponds to dynamic allocation, we…
The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…
We suggest an alternative proof of a theorem due to Lambek and Moser using a perceptible model.
A conjecture regarding the structure of expander graphs is discussed.
We present an extension theorem for a separately holomorphic function which is polynomial/rational in some variables.
I give a brief review of the parton model.
Smooth projective $\mathbb{G}_m$-varieties with isolated rational fixed points admit Tate Milnor-Witt motives. Over Euclidean fields, we give a splitting formula of such motives, which reduces the computation of their Chow-Witt groups to…