相关论文: The first omega alephs: from simplices to trees of…
In recent years, attempts to generalize lattice gauge theories to model topological order have been carried out through the so called $2$-gauge theories. These have opened the door to interesting new models and new topological phases which…
The Catalan numbers count many classes of combinatorial objects. The most emblematic such objects are probably the Dyck walks and the binary trees, and, whenever another class of combinatorial objects is counted by the Catalan numbers, it…
It is well known since Stasheff's work that 1-fold loop spaces can be described in terms of the existence of higher homotopies for associativity (coherence conditions) or equivalently as algebras of contractible non-symmetric operads. The…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…
We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family $\mathcal{D}(n)$, for $n \ge 3$ an integer, and a continuous family $\mathcal{C}(t)$, for $t \ne 1$ a complex number. The construction…
This paper explores the cohomology of linear cycle sets, focusing on extensions of a specific linear cycle set H by an abelian group I. We derive explicit formulas for the second cohomology group, which classifies these extensions, and…
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…
We present a new aspect of the study of higher derived limits. More precisely, we introduce a complexity measure for the elements of higher derived limits over the directed set $\Omega$ of functions from $\mathbb{N}$ to $\mathbb{N}$ and…
Consider the configuration spaces of manifolds. We give a precise formula for the integral cohomological dimension (the degree of top non-trivial integral cohomology group) of unordered configuration spaces of manifolds with non-trivial…
Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose…
In Part I we show that the classical Koszul braces, as well as their non-commutative counterparts constructed recently by Borjeson, are the twistings of the trivial L-infinity- (resp. A-infinity-) algebra by a specific automorphism. This…
We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these…
A wide Aronszajn tree is a tree of size and height $\omega_1$ with no uncountable branches. We prove that under $MA(\omega_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
For g < f in omega^omega we define c(f,g) be the least number of uniform trees with g-splitting needed to cover a uniform tree with f-splitting. We show that we can simultaneously force aleph_1 many different values for different functions…
In this paper, motivated by a problem posed by Barry Mazur, we show that for smooth projective varieties over the rationals, the odd cohomology groups of degree less than or equal to the dimension can be modeled by the cohomology of an…
Assuming some large cardinals, a model of ZFC is obtained in which aleph_{omega+1} carries no Aronszajn trees. It is also shown that if lambda is a singular limit of strongly compact cardinals, then lambda^+ carries no Aronszajn trees.
In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of $r$-dimensional simplicial complexes. These simplicial complexes generalise trees by means of…
For an increasing sequence $(\omega_n)$ of algebra weights on $\mathbb R^+$ we study various properties of the Fr\'{e}chet algebra $A(\omega)=\bigcap_n L^1(\omega_n)$ obtained as the intersection of the weighted Banach algebras…