Related papers: Brown representability for directed graphs

The aim of this paper is to establish a duality between the category of discrete groupoids and the category of geometrically transitive commutative Hopf algebroids in the sense of P. Deligne and A. Brugui\`eres. In one direction we have the…

We generalize two classical homotopy theory results, the Blakers-Massey Theorem and Quillen's Theorem B, to G-equivariant cubical diagrams of spaces, for a discrete group G. We show that the equivariant Freudenthal suspension Theorem for…

Say that a graph $G$ is \emph{representable in $\R ^n$} if there is a map $f$ from its vertex set into the Euclidean space $\R ^n$ such that $\| f(x) - f(x')\| = \| f(y) - f(y')\|$ iff $\{x,x'\}$ and $\{y, y'\}$ are both edges or both…

We extend the standard construction of the adjoint representation of a Lie groupoid to the case of an arbitrary higher Lie groupoid. As for a Lie groupoid, the adjoint representation of a higher Lie groupoid turns out to be a representation…

A well-known conjecture asserts that the mapping class group of a surface (possibly with punctures/boundary) does not virtually surject onto $\Z$ if the genus of the surface is large. We prove that if this conjecture holds for some genus,…

Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar…

Let G be a connected reductive algebraic group over a perfect field. We study the representability of the equivariant automorphism group of G-varieties. For a broad class of complexity-one G-varieties, we show that this group is…

In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a…

In this paper we associate an abelian category to a finite directed graph and prove the categories arising from two graphs are equivalent if the incidence matrices of the graphs are shift equivalent. The abelian category is the quotient of…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…

We prove a conjecture by Aboulker, Charbit and Naserasr by showing that every oriented graph in which the out-neighborhood of every vertex induces a transitive tournament can be partitioned into two acyclic induced subdigraphs. We prove…

This report is an account of freely representable groups, which are finite groups admitting linear representations whose only fixed point for a nonidentity element is the zero vector. The standard reference for such groups is Wolf (1967)…

This paper extends the Bakry-\'{E}mery theorem connecting the Ricci curvature and log-Sobolev inequalities to the matrix-valued setting. Using tools from noncommuative geometry, it is shown that for a right invariant second order…

Le n be any positive integer. A hyperbinary expansion of n is are presentation of n as sum of powers of 2, each power being used at most twice. In this paper we study some properties of a suitable edge-coloured and vertex-weighted oriented…

We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…

The First and Second Representation Theorem for sign-indefinite quadratic forms are extended. We include new cases of unbounded forms associated with operators that do not necessarily have a spectral gap around zero. The kernel of the…

There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…

Recently N. Nitsure showed that for a coherent sheaf F on a noetherian scheme the automorphism functor Aut_F is representable if and only if F is locally free. Here we remove the noetherian hypothesis and show that the same result holds for…

We prove that the Davenport-Mahler bound holds for arbitrary graphs with vertices on the set of roots of a given univariate polynomial with complex coefficients.