Related papers: Categoricity of abstract classes with amalgamation
We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal…
Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…
In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the…
The simplicial LS-category of a finite abstract simplicial complex is a new invariant of the strong homotopy type, defined in purely combinatorial terms, that generalizes to arbitrary simplicial complexes the well known notion of arboricity…
We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…
Let $K$ denote a locally compact commutative hypergroup, $L^1(K)$ the hypergroup algebra, and $\alpha$ a real-valued hermitian character of $K$. We show that $K$ is $\alpha$-amenable if and only if $L^1(K)$ is $\alpha$-left amenable. We…
The trace (or zeroth Hochschild homology) of Khovanov's Heisenberg category is identified with a quotient of the algebra W_{1+\infty}. This induces an action of W_{1+\infty} on symmetric functions.
Let $H$ be a connected graded Hopf algebra over a field of characteristic zero and $K$ an arbitrary graded Hopf subalgebra of $H$. We show that there is a family of homogeneous elements of $H$ and a total order on the index set that satisfy…
Let $\Lambda$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $\Lambda_k=\Lambda\otimes_K R_k$. We consider the singularity category…
We extend the work in a previous paper with David Li-Bland (arXiv:1401.7302) to construct the Wehrheim-Woodward category WW($G\mathbf{SLREL}$) of equivariant linear canonical relations between linear symplectic $G$-spaces for a compact…
In this paper we prove that there exists a positive number $\lambda>0$, such that any 2-generated Kleinian groups with limit set of Hausdorff dimension $<\lambda$ are classical Schottky groups.
We prove the categorical form of Fargues' geometrization conjecture for $\mathrm{GL}_n$ along $L$-parameters of Langlands-Shahidi type for rational, torsion, and integral coefficients. Additionally, we prove that in this case the…
In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the…
We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove…
This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C…
Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^2=-2$. We prove a higher-dimensional generalization conjectured by Hassett and…
We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…
We show that the category of Lie triple systems is equivalent to the category of Lie algebras graded by Z/(2Z) such that the odd component generates the algbera and the second graded cohomology group coefficients in any trivial module is…
We study the cohomology of various local Shimura varieties for $GL_n$. This provides an explicit description of the spectral action constructed by Fargues-Scholze in certain cases and allows us to prove some strongly generic part of the…
We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…