Related papers: Stratified formulas are equivalent to Acyclic form…
We provide yet another proof of the existence of calibrated forecasters; it has two merits. First, it is valid for an arbitrary finite number of outcomes. Second, it is short and simple and it follows from a direct application of…
We introduce an improved version of rational equivalence in tropical intersection theory which can be seen as a replacement of chapter 8 of our previous article arXiv:0709.3705v2. Using this new definition, rational equivalence is…
In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination: this information guarantees that the depth of the data structure to which x points is greater than the depth of the…
Stratifolds are considered from a categorical point of view. We show among others that the category of stratifolds fully faithfully embeds into the category of ${\mathbb R}$-algebras as does the category of smooth manifolds. We prove that a…
This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories,…
A directed acyclic network is considered where all the terminals need to recover the sum of the symbols generated at all the sources. We call such a network a sum-network. It is shown that there exists a solvably (and linear solvably)…
We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…
These are notes from a mini-course about the main results of arXiv:2206.03438: I explain how, using suitable valued fields, one obtains a natural notion of canonical stratifications (of e.g. algebraic subsets of $\mathbb{R}^n$). I also…
This paper is a continuation of "Quantization of Lie bialgebras, I" (q-alg/9606005). We show that the quantization procedure defined in "Quantization of Lie bialgebras, I" is given by universal acyclic formulas and defines a functor from…
The conjecture that every modular lattice is integral is disproved.
Let J be the jacobian of a reduced projective curve C with nodes only. 1) We give a simple and natural definition for its many compactifications and show the connection with various other definitions appearing in the literature. 2) Among…
In this article we prove that stratified spaces and other geometric subfamilies satisfy categorical Fra\"iss\'e properties, a matter that might be of interest for both geometers and logicians. As a motivation we show a new example of a…
We prove that for every planar differential system with a period annulus there exists an involution $\sigma$ such that the system is $\sigma$-symmetric. We also prove that for for every planar differential system with a period annulus there…
In this work, we extend the solid harmonics derivation, which was used by Ackroyd et al to derive the steady-state SP$_N$ equations, to transient problems. The derivation expands the angular flux in ordinary surface harmonics but uses…
The set of volumes of stable surfaces does have accumulation points. In this paper, we study this phenomenon for surfaces with one cyclic quotient singularity, towards answering the question under which conditions we can still have…
We introduce the cyclic major index of a cycle permutation and give a bivariate analogue of enumerative formula for the cyclic shuffles with a given cyclic descent numbers due to Adin, Gessel, Reiner and Roichman, which can be viewed as a…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
We introduce the notion of homological systems $\Theta$ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional…
We show that algebraic equivalence of images of stable maps of curves lifts to deformation equivalence of the stable maps. The main applications concern $A_1(X)$, the group of 1-cycles modulo algebraic equivalence, for smooth, separably…
We give the first examples of $\mathcal{O}$-acyclic smooth projective geometrically connected varieties over the function field of a complex curve, whose index is not equal to one. More precisely, we construct a family of Enriques surfaces…