Related papers: Groupoids, imaginaries and internal covers
We introduce a new graph invariant of finite groups that provides a complete characterization of the splitting types of unramified prime ideals in normal number field extensions entirely in terms of the Galois group. In particular, each…
Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…
The standard generators of tridiagonal algebras, recently introduced by Terwilliger, are shown to generate a new (in)finite family of mutually commuting operators which extends the Dolan-Grady construction. The involution property relies on…
For a complete, stable theory $T$ we construct, in a reasonably canonical way, a related stable theory $T^*$ which has higher independent amalgamation properties over the algebraic closure of the empty-set. The theory $T^*$ is an algebraic…
We generalize the lexicographic product of first-order structures by presenting a framework for constructions which, in a sense, mimic iterating the lexicographic product infinitely and not necessarily countably many times. We then define…
It is proposed that the mathematical formalism that is most appropriate for the study of spatially non-integrable cosmological models is the transverse geometry of a one-dimensional foliation (congruence) defined by a physical observer. By…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
I report on work on a Lagrangian formulation for the simplest 1+1 dimensional integrable hierarchies. This formulation makes the relationship between conformal field theories and (quantized) 1+1 dimensional integrable hierarchies very…
In a previous paper, we showed nonvaninishing of the universal index elements in the K-theory of the maximal C*-algebras of the fundamental groups of enlargeable spin manifolds. The underlying notion of enlargeability was the one from the…
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
Explicit representations of complex structures on closed manifolds are valuable, but relatively rare in the literature. Using isoparametric theory, we construct complex structures on isoparametric hypersurfaces with $g=4, m=1$ in the unit…
A classification up to automorphism of the inner ideals of the real finite-dimensional simple Lie algebras is given, jointly with precise descriptions in the case of the exceptional Lie algebras.
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…
We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.
In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…
We study groups of germs of complex diffeomorphisms having a property called irreducibility. The notion is motivated by the similar property of the fundamental group of the complement of na irreducible hypersurface in the complex projective…
We classify irreducible unitary representations of the group of all infinite matrices over a $p$-adic field ($p\ne 2$) with integer elements equipped with a natural topology. Any irreducible representation passes through a group $GL$ of…
We give various characterizations of the covering dimension of the limit space of a contracting self-similar group. In particular, we show that it is equal to the minimal dimension of a contracting affine model, to the asymptotic dimension…
We survey two decades of work on the (sequential) topological complexity of configuration spaces of graphs (ordered and unordered), aiming to give an account that is unifying, elementary, and self-contained. We discuss the traditional…