Related papers: Thin Posets, CW Posets, and Categorification
In this paper we discuss copositive tensors, which are a natural generalization of the copositive matrices. We present an analysis of some basic properties of copositive tensors; as well as the conditions under which class of copositive…
By a result of Gerstenhaber and Schack the simplicial cohomology ring $H^*(\mathcal{C};k)$ of a poset $\mathcal{C}$ is isomorphic to the Hochschild cohomology ring $HH^*(k\mathcal{C})$ of the category algebra $k\mathcal{C}$, where the poset…
This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…
Let $Y$ admit a rectangular Lefschetz decomposition of its derived category, and consider a cyclic cover $X\to Y$ ramified over a divisor $Z$. In a setting not considered by Kuznetsov and Perry, we define a subcategory $\mathcal{A}_Z$ of…
Let M,N and B\subset N be compact smooth manifolds of dimensions n+k,n and \ell, respectively. Given a map f from M to N, we give homological conditions under which g^{-1}(B) has nontrivial cohomology (with local coefficients) for any map g…
We describe the Chow homology and cohomology of toric variety bundles, with no restrictions on the singularities of the fibre. We present the ordinary and equivariant homologies as modules over the cohomology of the base, identify the…
For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
A new class of partial order-types, class $\gbqo^+$ is defined and investigated here. A poset $P$ is in the class $W^+ $ iff the free poset algebra $F(P)$ is generated by a better quasi-order $G$ that is included in the free lattice $L(P)$.…
In this paper we address the classification problem for locally compact (n-1)-connected CW-complexes with dimension less or equal than n+2 up to proper homotopy type. We obtain complete classification theorems in terms of purely algebraic…
Starting from an abelian group $G$ and a factorizable ribbon Hopf $G$-bialgebra $H$, we construct a TQFT $J_H$ for connected framed cobordisms between connected surfaces with connected boundary decorated with cohomology classes with…
An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is…
We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…
Given a monomial ideal $I$ with minimal free resolution $\mathcal{F}$ supported in characteristic $p>0$ on a CW-complex $X$ with regular $2$-skeleton, we construct a CW-complex $Y$ that also supports~$\mathcal{F}$ and such that the face…
As observed recently by various people the topos $\mathbf{sSet}$ of simplicial sets appears as essential subtopos of a topos $\mathbf{cSet}$ of cubical sets, namely presheaves over the category $\mathbf{FL}$ of finite lattices and monotone…
The classification of affine line bundles on a compact complex space $X$ is a difficult problem. We study the affine analogue of the Picard functor and the representability problem for this functor. For a fixed Chern class $c$, we introduce…
We show that single-variable polynomial functors over the category $\mathcal{S}$ of infinity groupoids, as defined by Gepner-Haugseng-Kock, are exactly colimits of representable copresheaves indexed by infinity groupoid. This allows us to…
We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…
We show that Khovanov homology (and its sl(3) variant) can be understood in the context of higher representation theory. Specifically, we show that the combinatorially defined foam constructions of these theories arise as a family of…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…