Related papers: Stratified formulas are equivalent to Acyclic form…
We investigate the viability of defining an intersection product on algebraic cycles on a singular algebraic variety by pushing forward intersection products formed on a resolution of singularities. For varieties with resolutions having a…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
After the work of Bloch and Srinivas on correspondences and algebraic cycles we begin the study of a birational class of algebraic varieties determined by the property that a multiple of the diagonal is rationally equivalent to a cycle…
In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic…
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…
A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists,…
The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, Gonz{\'a}lez, and Rudyak with the aim of constructing a cellular model of the configuration space of a sphere. Although the original aim was…
Some ideas relating to a bracket formulation for dissipative systems are considered. The formulation involves a bracket that is analogous to a generalized Poisson bracket, but possesses a symmetric component. Such a bracket is presented for…
This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras.
For non-equilibrium systems described by finite Markov processes, we consider the number of times that a system traverses a cyclic sequence of states (a cycle). The joint distribution of the number of forward and backward instances of any…
We revisit the old result that biflat Banach algebras have the same cyclic cohomology as $\mathbb C$, and obtain a quantitative variant (which is needed in forthcoming joint work of the author). Our approach does not rely on the…
A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e.,…
In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational…
We discuss a problem of Arnold, whether every function is stably equivalent to one which is non-degenerate for its Newton diagram. We argue that the answer is negative. We describe a method to make functions non-degenerate after…
We prove that nonsingular retract rational algebraic varieties over any infinite field are uniformly retract rational. As a consequence, every rational, projective, nonsingular complex variety is algebraically elliptic.
We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of…
In this paper, we first obtain some analogues of a formula of Zagier (1995) and Stanley (2011). For instance, we prove that the number of pairs of $n$-cycles whose product has $k$ cycles and has $m$ given elements contained in distinct…
Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is the consistency problem: under which conditions are…
We prove in this note a stabilized version of a conjecture on $\A^1$-connectedness. For the stabilized version of this conjecture, we introduce the notion of stable $\A^1$-connectedness, which is can be seen as the stabilization of…
Using Morita type stratifications, we establish a one-to-one correspondence between geometric vector fields on a separated differentiable stack and stratified vector fields on its orbit space. This correspondence enables us to derive a…