Related papers: Geometry of forking in simple theories
Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…
In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…
We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves…
We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals which is realized by real elements; hence forking induces…
A theory of cyclic elements in semisimple Lie algebras is developed. It is applied to an explicit construction of regular elements in Weyl groups.
We study random 2-dimensional complexes in the Linial - Meshulam model and find torsion in their fundamental groups at various regimes. We find a simple algorithmically testable criterion for a subcomplex of a random 2-complex to be…
Recently, we presented a framework for understanding protein structure based on the idea that simple constructs of holding hands or touching of objects can be used to rationalize the common characteristics of globular proteins. We developed…
We apply recent results on the rank of elements of rings to study the structure of generalized corner rings $aRa$, where $R$ is a unital ring and $a$ an element of $R$. We give a complete description of the structure of $aRa$ when $a^2$ has…
Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we…
In our previous paper math.QA/0409261, we defined a deformation of the group algebra of the group of even elements of a Coxeter group W, and showed that it is flat for all values of parameters if and only if all the rank 3 parabolic…
We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…
In the present paper we shall prove that countable \omega-categorical simple CM-trivial theories and countable \omega-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded…
For a weak 2-group, we construct a bicategory of flat 2-group bundles over differentiable stacks as a localization of a functor bicategory. This description is amenable to explicit geometric constructions. For example, we show that flat…
We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…
An intermediate stage in Hrushovski's construction of flat strongly minimal structures in a relational language L produces omega-stable structures of rank omega. We analyze the pregeometries given by forking on the regular type of rank…
Just as Lascar's notion of abstract rank axiomatizes the U-rank, we propose axioms for the ranks $SU^d$ and $SU^f$, the foundation ranks of dividing and forking. We study the relationships between these axioms. As with superstable, we…
We formulate and prove examples of a conjecture which describes the W-algebras in type A as successive quantum Hamiltonian reductions of affine vertex algebras associated with several hook-type nilpotent orbits. This implies that the affine…
We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac…
We present a short overview of the structure and couplings of supergravity theories at the component level. We do so with as little technical machinery as possible, working directly with the physical on-shell fields and using explicit…
We introduce continuous Wilson lines to reduce the rank of the gauge group in orbifold constructions. In situations where the orbifold twist can be realised as a rotation in the root lattice of a grand unified group we derive an appealing…