Related papers: Type-amalgamation properties and polygroupoids in …

We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many prominent examples of countable structures…

For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := \pi_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and…

We introduce a higher rank analog of the Pandharipande-Thomas theory of stable pairs on a Calabi-Yau threefold $X$. More precisely, we develop a moduli theory for frozen triples given by the data $O^r(-n)\rightarrow F$ where $F$ is a sheaf…

Let R be an affine algebra of dimension n \geq 3 over an algebraically closed field k. Suppose char k =0 or char k =p \geq n. Let g,f_1,...,f_r be a R-regular sequence and A=R[f_1/g,...,f_r/g]. Let P be a projective A-module of rank n-1…

It is conjectured that any trigonometric Olshanetsky-Perelomov Hamiltonian written in Fundamental Trigonometric Invariants (FTI) as coordinates takes an algebraic form and preserves an infinite flag of spaces of polynomials. It is shown…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…

A first-order structure $\mathfrak{A}$ is called monadically stable iff every expansion of $\mathfrak{A}$ by unary predicates is stable. In this article we give a classification of the class $\mathcal{M}$ of $\omega$-categorical monadically…

We show that geometric theories with $p$-form gauge fields have a nonassociative symmetry structure, extending an underlying Lie algebra. This nonassociativity is controlled by the same Chevalley-Eilenberg cohomology that classifies free…

In this paper we explain certain systematic differences between algebraic and topological triangulated categories. A triangulated category is algebraic if it admits a differential graded model, and topological if it admits a model in the…

We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N,…

In this article we study polynomial logarithmic $q$-forms on a projective space and characterize those that define singular foliations of codimension $q$. Our main result is the algebraic proof of their infinitesimal stability when $q=2$…

Let $M$ be strongly minimal and constructed by a `Hrushovski construction'. If the Hrushovski algebraization function $\mu$ is in a certain class ${\mathcal T}$ ($\mu$ triples) we show that for independent $I$ with $|I| >1$, ${\rm…

It is a survey of the results obtained by K. Glazek's and his co-workers. We restrict our attention to the problems of axiomatizations of n-ary groups, classes of n-ary groups, properties of skew elements and homomorphisms induced by skew…

For a smooth projective complex variety whose Albanese morphism is finite, we show that every Bridgeland stability condition on its bounded derived category of coherent sheaves is geometric, in the sense that all skyscraper sheaves are…

We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…

This is an expository article, which contributes to the Proceedings of the conference "Groups of Automorphisms in Birational and Affine Geometry", held in Trento in 2012. We propose that (rational) fibrations on the projective space $\p^n$…

We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…