Related papers: Cofinal types on $\omega_2$
We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by…
For g>2 we study the cohomology classes in the closure of a stratum of abelian differentials defined by the boundary strata of codimension one. As an application, we find an explicit stratification of the spin moduli space for an odd spin…
We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k_\omega-space, or locally k_\omega. As a first application,…
A new case of Shelah's eventual categoricity conjecture is established: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Write $H_2 := \beth_{\left(2^{\beth_{\left(2^{\text{LS} (K)}\right)^+}}\right)^+}$. Assume that $K$ is…
Q-points are cofinal in the RK-ordering under several mild hypotheses.
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and…
We investigate the Tukey order in the class of $F_\sigma$ ideals of subsets of $\omega$. We show that no nontrivial $F_\sigma$ ideal is Tukey below a $G_\delta$ ideal of compact sets. We introduce the notions of flat ideals and gradually…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…
We continue our study of the class $\mathscr{C}(D)$, where $D$ is a uniform ultrafilter on a cardinal $\kappa$ and $\mathscr{C}(D)$ is the class of all pairs $(\theta_1, \theta_2),$ where $(\theta_1, \theta_2)$ is the cofinality of a cut in…
We prove that in some cases definable chains of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic chains, ROD chains in the Solovay model, and $\Sigma^1_2$ chains in the assumption that…
The method of subquotients is developed and used to determine all finite dimensional rank 2 Nichols algebras of diagonal type over an arbitrary field of characteristic zero. Key Words: Hopf algebra, Nichols algebra
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…
We show how the classification of simple singularities of functions can be reduced directly, not using the normal forms, to the classification of irreducible Weyl groups. We also prove that the class of a singularity in its local algebra…
For a countable, complete, first-order theory $T$, we study $At$, the class of atomic models of $T$. We develop an analogue of $U$-rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are $2^{\aleph_1}$…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we…
We classify the cohomology spaces $H^2(\mathfrak{g},K)$ for all filiform nilpotent Lie algebras of dimension $n\le 11$ over $K$ and for certain classes of algebras of dimension $n\ge 12$. The result is applied to the determination of affine…
We show how dinaturality plays a central role in the interpretation of directed type theory where types are interpreted as (1-)categories and directed equality is represented by $\hom$-functors. We present a general elimination principle…
We use the theory of Auslander Buchweitz approximations to classify certain resolving subcategories containing a semidualizing or a dualizing module. In particular, we show that if the ring has a dualizing module, then the resolving…