Related papers: Simplicial moves on complexes and manifolds
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…
Packing graphs is a combinatorial problem where several given graphs are being mapped into a common host graph such that every edge is used at most once. In the planar tree packing problem we are given two trees T1 and T2 on n vertices and…
In this report, we first recall the Poincar\'e's classification theorem for minimal orientation-preserving homeomorphisms on the circle and the Ghys' classification theorem for minimal orientation-preserving group actions on the circle.…
We provide a proof in the language of model categories and symmetric spectra of Lurie's theorem that topological complex $K$-theory represents orientations of the derived multiplicative group. Then we generalize this result to the motivic…
We construct bases of the simple modules for partition algebras which are indexed by paths in an alcove geometry. This allows us to give a concrete interpretation (and new proof) of the monotone convergence property for Kronecker…
From Smyth's classification, modular compactifications of pointed smooth rational curves are indexed by combinatorial data, so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a…
We consider the operation to crush a subset of a manifold to one-point when the result of the crushing also be a manifold. Then the Poincare conjecture is split to two problems; for any closed orientable 3-manifold which is not homeomorphic…
Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive…
In this paper, we extend earlier work by showing that if $X$ and $Y$ are simplicial complexes (i.e. simplicial sets whose simplices are determined by their vertices), a morphism $g:N(X)\to N(Y)$ of Steenrod coalgebras (normalized…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…
While studying the motion of a heavy symmetric top, in general, constants of motion are used. Some students may want to understand the motion in terms of torque, which can lie on their routine based on the usage of Newton's second law.…
It is known that the suspension of a simplicial complex can be realized with only one additional point. Suitable iterations of this construction generate highly symmetric simplicial complexes with various interesting combinatorial and…
Let the circle act holomorphically on a compact K\"ahler manifold $M$ of complex dimension $n$ with moment map $\phi\colon M\to\R$. Assume the critical set of $\phi$ consists of 3 connected components, the extrema being isolated points. We…
This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…
In their solution to the orchard-planting problem, Green and Tao established a structure theorem which proves that in a line arrangement in the real projective plane with few double points, most lines are tangent to the dual curve of a…
Cubical complexes are metric spaces constructed by gluing together unit cubes in an analogous way to the construction of simplicial complexes. We construct Brownian motion on such spaces, define random walks, and prove that the transition…
The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The…
We investigate the use of spinors to describe the secular evolution of quasi-Keplerian systems. Evaluating their Poisson brackets, we show that the components of a properly-chosen spinor are canonical variables. We illustrate this formalism…
We study petal diagrams of knots, which provide a method of describing knots in terms of permutations in a symmetric group $S_{2n+1}$. We define two classes of moves on such permutations, called trivial petal additions and crossing…
We present a discrete Morse-theoretic method for proving that a regular CW complex is homeomorphic to a sphere. We use this method to define bisimplices, the cells of a class of regular CW complexes we call bisimplicial complexes. The…