Macaulay2 » Documentation
Packages » MatchingFields » matroidSubdivision
next | previous | forward | backward | up | index | toc

# matroidSubdivision -- The matroid subdivision induced by the Pluecker weight of a coherent matching field

- Usage:
    `listOfBases = matroidSubdivision L`
    `listOfBases = matroidSubdivision(k, n, plueckerWeight)`
- Inputs:
  - L, an instance of the type GrMatchingField,
  - k, an integer,
  - n, an integer,
  - plueckerWeight, a list, the weight of the pluecker coordinates in revLex order using minimum convention
- Outputs:
  - listOfBases, a list, Each element is a list of the vertices of a maximal cell of the matroid subdivision of the hypersimplex induced by the Pluecker weight of the matching field.

## Description

The hypersimplex $\Delta(k, n) \subseteq \RR^{n}$ is the convex hull of the characteristic vectors of all $k$-subsets of $\{1, \dots, n\}$, and we label each vertex with with its corresponding subset. A regular subdivision of the vertices of $\Delta(k, n)$ is said to be matroidal if, for each maximal cell of the subdivision, the subsets labelling its vertices form the set of bases of a matroid. The well-known result is: a point lies in the Dressian Dr($k$, $n$), the tropical prevariety of all $3$-term Pluecker relation in Gr($k$, $n$), if and only if it induces a matroidal subdivision of the hypersimplex.

    i1 : L = grMatchingField(2, 4, {{1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}})

    o1 = Grassmannian Matching Field for Gr(2, 4)

    o1 : GrMatchingField

    i2 : netList matroidSubdivision L -- an octahedron sliced into 2 pieces

         +------+------+------+------+------+
    o2 = |{1, 4}|{2, 4}|{1, 3}|{2, 3}|{1, 2}|
         +------+------+------+------+------+
         |{1, 4}|{2, 4}|{3, 4}|{1, 3}|{2, 3}|
         +------+------+------+------+------+

Whenever the function matroidSubdivision is supplied with a Grassmannian matching field, the cached weight that induces the matching field is used for the computation of the matroid subdivision. Note that, if the function is supplied directly with the \textit{plueckerWeight}, then the coordinates are ordered so that the corresponding sets are listed in reverse lexicographic order.

### Menu

## Ways to use matroidSubdivision:

- `matroidSubdivision(GrMatchingField)`
- `matroidSubdivision(ZZ,ZZ,List)`

## For the programmer

The object matroidSubdivision is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/MatchingFields.m2:1637:0.