arXiv++ Combinatorics

In 1985 Bayer and Billera defined a flag vector $f(X)$ for every convex polytope $X$, and proved some fundamental properties. The flag vectors $f(X)$ span a graded ring $\mathcal{R}=\bigoplus_{d\geq0}\mathcal{R}_d$. Here $\mathcal{R}_d$ is the span of the $f(X)$ with $\dim X=d$. It has dimension the Fibonacci number $F_{d+1}$. This paper introduces and explores the conjecture, that $\mathcal{R}$ has a counting basis $\{e_i\}$. If true then the equation $f(X) = \sum g_i(X)e_i$ conjecturally provides a formula for the Betti numbers $g_i(X)$ of a new homology theory. As the $g_i(X)$ are linear functions of $f(X)$, we call the new theory linear homology. Further, assuming the conjecture each $g_i$ will have a rank $r\geq0$. The rank zero part of linear homology will be (middle perversity) intersection homology. The higher rank $g_i$ measure successively more complicated singularities. In dimension $d$ we will have $\dim\mathcal{R}_d$ linearly independent Betti numbers. This paper produces a basis $\{e_i\}$ for $\mathcal{R}$, that is conjecturally a counting basis. Warning: Conjecture withdrawn in version 2.

This paper gives a key definition, for a new approach to dessins and algebraic numbers. The distant goal is to construct from each dessin $D$ an algebraic number $η_D$, in a systematic and useful way. The algebra of balanced dessins is generated by formal sums $ψ_D$ of dessins, intended to be intermediate between $D$ and $η_D$.

Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of algebraic numbers, and (ii) a Galois invariant lattice structure on the set of biased dessins. Bias brings these benefits by (i) using individual polynomials instead of equivalence classes of polynomials, and (ii) applying properties of covering spaces and the fundamental group. The new features give new opportunities. At the 2014 SIGMAP conference the author spoke [1] on 'The decorated lattice of biased dessins'. This decorated lattice $\mathcal{L}$ is combinatorially defined, and its automorphism group contains the absolute Galois group $Γ$, perhaps as an index 6 subgroup. This paper defines new families of invariants of dessins, although they require further work to be understood and useful. For this, $\mathcal{L}$ is vital. This paper relies on the the existing, unbiased, theory. Also, it only sketches the construction of $\mathcal{L}$. In [2], [3] the author will remove this dependency, develop the biased theory further, with a focus on $Γ$, and make the theory more accessible.

McMullen's g-vector is important for simple convex polytopes. This paper postulates axioms for its extension to general convex polytopes. It also conjectures that, for each dimension d, a stated finite calculation gives the formula for the extended g-vector. This calculation is done by computer for d=5 and the results analysed. The conjectures imply new linear inequalities on convex polytope flag vectors. Underlying the axioms is a hypothesised higher-order homology extension to middle perversity intersection homology (order-zero homology), which measures the failure of lower-order homology to have a ring structure.

We define an extension of the toric (middle perversity intersection homology) $g$-vector of a convex polytope $X$. The extended $g(X)$ encodes the whole of the flag vector $f(X)$ of $X$, and so is called complete. We find that for many examples that $g_k(X)\geq 0$ for most $k$ (independent of $X$).

This note defines a complete h-vector for convex polytopes, which extends the already known toric (or mpih) h-vector and has many similar properties. Complete means that it encodes the whole of the flag vector. First we define the concept of a generalised h-vector and state some properties that follow. The toric h-vector is given as an example. We then define a complete generalised h-vector, and again state properties. Finally, we show that this complete h-vector and all with similar properties will sometimes have negative coefficients. Most of the proofs, and further investigations, will appear elsewhere.

This paper defines for each object $X$ that can be constructed out of a finite number of vertices and cells a vector $fX$ lying in a finite dimensional vector space. This is the flag vector of $X$. It is hoped that the quantum topological invariants of a manifold $M$ can be expressed as linear functions of the flag vector of the $i$-graph that arises from any suitable triangulation $T$ of $M$. Flag vectors are also defined for finite groups and more generally for $n$-ary relations. Some problems, and suggested connections with other constructions, particularly that of the associahedron and so on, conclude the presentation.

This paper defines, for each graph $G$, a flag vector $fG$. The flag vectors of the graphs on $n$ vertices span a space whose dimension is $p(n)$, the number of partitions on $n$. The analogy with convex polytopes indicates that the linear inequalities satisfied by $fG$ may be both interesting and accessible. Such would provide inequalities both sharp and subtle on the combinatorial structure of $G$. These may be related to Ramsey theory.

Intersection homology is obtained from ordinary homology by imposing conditions on how the embedded simplices meet the strata of a space $X$. In this way, for the middle perversity, properties such as strong Lefschetz are preserved. This paper defines local-global intersection homology groups, that record global information about the singularities of $X$. They differ from intersection homology in that stratified rather than ordinary simplices are used. An example of such is $σ_j\times Cσ_i$, where $σ_i$ and $σ_j$ are ordinary simplices, and $C$ is the coning operator. The paper concludes with a sketch of the relationship between local-global homology and the geometry of convex polytopes. This paper is a more formal exposition of part of the author's `Local-global intersection homology', alg-geom/9709011.

Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety $X$ always give the same value, when computed via the decomposition theorem on any resolution $X_r\to X$. This paper uses uniform (and non-uniform) expressions to define what is believed to be the usual intersection homology (and its local-global variant) of a convex polytope (or a projective toric variety). Such expressions are generated by the facets, and so may lead to necessary numerical conditions on the flag vector. Most of the concepts, however, apply to more general algebraic varieties, and perhaps some other situations also.

The purpose of this note is to state some definitions that may be useful in the study of knots, manifolds and the like. They apply to anything for which the concept of a regional change can be defined, such as a product of elements in a group.

This paper shows how Hodge's theory of harmonic $p$-sets (a discrete version of his theory of harmonic forms) allows a new approach to be taken to the problem of providing a combinatorial definition of the Pontrjagin classes of a compact manifold. This approach is then related to the author's definition of flag vectors for hypergraphs, and other objects constructed out of vertices and cells.