Related papers: Hypersimplicial subdivisions

We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that…

We say that two sets $S,T\subset\{1,2,\dots,n\}$ are chord separated if there does not exist a cyclically ordered quadruple $a,b,c,d$ of integers satisfying $a,c\in S-T$ and $b,d\in T-S$. This is a weaker version of Leclerc and Zelevinsky's…

A parallelotope $P$ is a polytope that admits a facet-to-facet tiling of space by translation copies of $P$ along a lattice. The Voronoi cell $P_V(L)$ of a lattice $L$ is an example of a parallelotope. A parallelotope can be uniquely…

We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal…

In very rough terms, the main theorem is that the set, which consists of semistable vector bundles with trivial rational Chern classes and nontrivial kth cohomology on a smooth complex projective variety, is a degeneration of a union of…

Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number…

For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a…

Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants…

Histopolation is the approximation procedure that associates a degree $ d-1 $ polynomial $ p_{d-1} \in \mathscr{P}_{d-1} (I) $ with a locally integrable function $ f $ imposing that the integral (or, equivalently, the average) of $p$…

Let $V$ be a finite dimensional vector space equipped with a non-degenerate Hermitian form over a field $\mathbb{K}$. Let $\mathcal{G}(V)$ be the graph with vertex set the $1$-dimensional non-degenerate subspaces of $V$ and adjacency…

In this paper we study hypergraphs definable in an algebraically closed field. Our goal is to show, in the spirit of the so-called transference principles in extremal combinatorics, that if a given algebraic hypergraph is "dense" in a…

Let $(\pi, \mathcal{H})$ be a strongly continuous unitary representation of a 1-connected Lie group $G$ such that the Lie algebra $\mathfrak{g}$ of $G$ is generated by the positive cone $C_\pi := \{x \in \mathfrak{g} : -i\partial \pi(x)…

The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a…

We study sharply localized sectors, known as sectors of DHR-type, of a net of local observables, in arbitrary globally hyperbolic spacetimes with dimension $\geq 3$. We show that these sectors define, has it happens in Minkowski space, a…

To every Gorenstein algebra $A$ of finite vector space dimension greater than 1 over a field $\FF$ of characteristic zero, and a linear projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator…

In 1920s R. L. Moore introduced \emph{upper semicontinuous} and \emph{lower semicontinuous} decompositions in studying decomposition spaces. Upper semicontinuous decompositions were studied very well by himself and later by R.H. Bing in…

Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…

Let $X$ be an analytic space over a non-Archimedean, complete field $k$ and let $(f_1,..., f_n)$ be a family of invertible functions on $X$. Let $\phi$ the morphism $X\to G_m^n$ induced by the $f_i$'s, and let $t$ be the map $X\to…

Given an integral $d \times n$ matrix $A$, the well-studied affine semigroup $\mbox{ Sg} (A)=\{ b : Ax=b, \ x \in {\mathbb Z}^n, x \geq 0\}$ can be stratified by the number of lattice points inside the parametric polyhedra $P_A(b)=\{x:…

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…