Related papers: Univalence in Simplicial Sets

This paper develops a complete foundational treatment of simplicial complexes from Euclidean spaces through geometric realizations, emphasizing concrete computations, examples, and practical verification methods. Beginning with finite point…

We obtain the Kirillov vector fields on the set of functions $f$ univalent inside the unit disk, in terms of the Faber polynomials of $1/f(1/z)$. Our construction relies on the generating function for Faber polynomials.

We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…

This paper provides a detailed description of various reduction schemes in rigid body dynamics. Analysis of one of such nontrivial reductions makes it possible to order the cases already found and to obtain new generalizations of the…

In this paper we show that a simplicial complex can be determined uniquely up to isomorphism by its barycentric subdivision or comparability graph. At the end, it is summarized several algebraic, combinatorial and topological invariants of…

We define the group analogue of birational sheets, a construction performed by Losev for reductive Lie algebras. For G semisimple simply connected, we describe birational sheets in terms of Lusztig-Spaltenstein induction and we prove that…

We prove that each discrete set in the Euclidean space that has bounded changes under every translation is a bounded perturbation of a square lattice, i.e., a uniformly spread set in the sense of Laszkovich. In particular, the support of…

We prove that every simplicial complex is the dual complex of some simple normal crossing divisor in a smooth variety. As an application, we simplify and extend the results of Kapovich--Koll\'ar (math.AG:1109.4047) on the existence of…

Universality theorems (in the sense of N. Mn\"{e}v) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove…

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

By giving an interesting characterisation of amenable multiplicative unitaries in term of one dimensional representations, we show in a simple way that bicrossproducts of amenable locally compact groups is both amenable and coamenable.

In this article the author endows the functor category [B(Z2),Gpd] with the structure of a type-theoretic fibration category with a univalent universe using the so-called injective model structure. It gives us a new model of Martin-L\"of…

We give a new criterion for solvability of group equations, providing proofs of various generalizations of the Kervaire-Laudenbach conjecture for Connes-embeddable groups.

We simplify construction of Thoma representations of an infinite symmetric group

This small note contains some easy examples of quartic hypersurfaces that have finite-dimensional motive. As an illustration, we verify a conjecture of Voevodsky (concerning smash-equivalence) for some of these special quartics.

In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow…

We introduce the notion of asymptotically finitely generated contact structures, which states essentially that the Symplectic Homology in a certain degree of any filling of such contact manifolds is uniformly generated by only finitely many…

We construct the Feigin-Stoyanovsky (combinatorial) basis in case of one-dimensional lattice vertex superalgebras $V_{\sqrt{N}\,\mathbb{Z}}$. Our proof is based on invariance of semi-infinite monomials linear span under action of…

We define vertex cover algebras for weighted simplicial multicomplexes and prove basics properties of them. Also, we describe these algebras for multicomplexes which have only one maximal facet and we prove that they are finitely generated.

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…