Isometric embeddings of Johnson graphs in Grassmann graphs

Let $V$ be an $n$-dimensional vector space ($4\le n <\infty$) and let ${\mathcal G}_{k}(V)$ be the Grassmannian formed by all $k$-dimensional subspaces of $V$. The corresponding Grassmann graph will be denoted by $\Gamma_{k}(V)$. We describe all isometric embeddings of Johnson graphs $J(l,m)$, $1<m<l-1$ in $\Gamma_{k}(V)$, $1<k<n-1$ (Theorem 4). As a consequence, we get the following: the image of every isometric embedding of $J(n,k)$ in $\Gamma_{k}(V)$ is an apartment of ${\mathcal G}_{k}(V)$ if and only if $n=2k$. Our second result (Theorem 5) is a classification of rigid isometric embeddings of Johnson graphs in $\Gamma_{k}(V)$, $1<k<n-1$.Comment: New version -- 14 pages accepted to Journal of Algebraic Combinatoric

The moduli space of matroids

In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective matroid theories. Moreover, fuzzy rings are ordered blueprints and lie in the intersection of tracts with ordered blueprints; we call the objects of this intersection pastures. In the second part, we construct moduli spaces for matroids over pastures. We show that, for any non-empty finite set $E$, the functor taking a pasture $F$ to the set of isomorphism classes of rank-$r$ $F$-matroids on $E$ is representable by an ordered blue scheme $Mat(r,E)$, the moduli space of rank-$r$ matroids on $E$. In the third part, we draw conclusions on matroid theory. A classical rank-$r$ matroid $M$ on $E$ corresponds to a $\mathbb{K}$-valued point of $Mat(r,E)$ where $\mathbb{K}$ is the Krasner hyperfield. Such a point defines a residue pasture $k_M$, which we call the universal pasture of $M$. We show that for every pasture $F$, morphisms $k_M\to F$ are canonically in bijection with $F$-matroid structures on $M$. An analogous weak universal pasture $k_M^w$ classifies weak $F$-matroid structures on $M$. The unit group of $k_M^w$ can be canonically identified with the Tutte group of $M$. We call the sub-pasture $k_M^f$ of $k_M^w$ generated by ``cross-ratios' the foundation of $M$,. It parametrizes rescaling classes of weak $F$-matroid structures on $M$, and its unit group is coincides with the inner Tutte group of $M$. We show that a matroid $M$ is regular if and only if its foundation is the regular partial field, and a non-regular matroid $M$ is binary if and only if its foundation is the field with two elements. This yields a new proof of the fact that a matroid is regular if and only if it is both binary and orientable.Comment: 83 page

The variety of reductions for a reductive symmetric pair

We define and study the variety of reductions for a reductive symmetric pair (G,theta), which is the natural compactification of the set of the Cartan subspaces of the symmetric pair. These varieties generalize the varieties of reductions for the Severi varieties studied by Iliev and Manivel, which are Fano varieties. We develop a theoretical basis to the study these varieties of reductions, and relate the geometry of these variety to some problems in representation theory. A very useful result is the rigidity of semi-simple elements in deformations of algebraic subalgebras of Lie algebras. We apply this theory to the study of other varieties of reductions in a companion paper, which yields two new Fano varieties.Comment: 23 page