Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Modular constructions for combinatorial geometries


Author: Tom Brylawski
Journal: Trans. Amer. Math. Soc. 203 (1975), 1-44
MSC: Primary 05B35
DOI: https://doi.org/10.1090/S0002-9947-1975-0357163-6
MathSciNet review: 0357163
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: R. Stanley, in an investigation of modular flats in geometries (Algebra Universalis 1-2 (1971), 214-217), proved that the characteristic polynomial $ \chi (x)$ of a modular flat $ x$ divides the characteristic polynomial $ \chi (G)$ of a geometry $ G$. In this paper we identify the quotient: THEOREM. If $ x$ is a modular flat of $ G,\chi (G)/\chi (x) = \chi (\overline {{T_x}} (G))/(\lambda - 1)$, where $ \overline {{T_x}} (G)$ is the complete Brown truncation of $ G$ by $ x$. (The lattice of $ \overline {{T_x}} (G)$ consists of all flats containing $ x$ and all flats disjoint from $ x$, with the induced order from $ G$.) We give many characterizations of modular flats in terms of their lattice properties as well as by means of a short-circuit axiom and a modular version of the MacLane-Steinitz exchange axiom. Modular flats are shown to have many of the useful properties of points and distributive flats (separators) in addition to being much more prevalent. The theorem relating the chromatic polynomials of two graphs and the polynomial of their vertex join across a common clique generalizes to geometries: THEOREM. Given geometries $ G$ and $ H$, if $ x$ is a modular flat of $ G$ as well as a subgeometry of $ H$, then there exists a geometry $ P = {P_x}(G,H)$ which is a pushout in the category of injective strong maps and such that $ \chi (P) = \chi (G)\chi (H)/\chi (x)$. The closed set structure, rank function, independent sets, and lattice properties of $ P$ are characterized. After proving a modular extension theorem we give applications of our results to Crapo's single element extension theorem, Crapo's join operation, chain groups, unimodular geometries, transversal geometries, and graphs.


References [Enhancements On Off] (What's this?)

  • [1] G. Birkhoff, Lattice theory, 3rd ed., Amer. Math. Soc. Colloq. Publ., vol. 25, Amer. Math. Soc., Providence, R. I., 1967. MR 37 #2638. MR 0227053 (37:2638)
  • [2] G. D. Birkhoff, A determinant formula for the number of ways of coloring a map, Ann. of Math. (2) 14 (1912), 42-46. MR 1502436
  • [3] G. D. Birkhoff and D. C. Lewis, Chromatic polynomials, Trans. Amer. Math. Soc. 60 (1946), 355-451. MR 8, 284. MR 0018401 (8:284f)
  • [4] R. Bixby, Composition and decomposition of matroids and related topics, Thesis, Cornell University, Ithaca, N. Y., 1972.
  • [5] T. Brown, Deriving closure relations with the exchange property. I, II (to appear). MR 0357161 (50:9629)
  • [6] T. Brylawski, A combinatorial model for series-parallel networks, Trans. Amer. Math. Soc. 154 (1971), 1-22. MR 44 #5237. MR 0288039 (44:5237)
  • [7] -, A decomposition for combinatorial geometries, Trans. Amer. Math. Soc. 171 (1972), 235-282. MR 46 #8869. MR 0309764 (46:8869)
  • [8] -, The Möbius function on geometric lattices as a decomposition invariant, Proc. Conference on Möbius Algebras, Univ. of Waterloo, 1971, pp. 143-148. MR 0379245 (52:151)
  • [9] -, An outline for the study of combinatorial pregeometries, Notes, University of North Carolina, Raleigh, N. C., 1972.
  • [10] -, An affine representation for transversal geometries, Studies in Applied Mathematics (to appear).
  • [11] T. Brylawski and D. Lucas, Uniquely representable combinatorial geometries, Proc. Internat. Colloq. on Combinatorial Theory, Rome, Italy, 1973.
  • [12] H. Crapo, A higher invariant for matroids, J. Combinatorial Theory 2 (1967), 406-417. MR 35 #6579. MR 0215744 (35:6579)
  • [13] -, The joining of exchange geometries, J. Math. Mech. 17 (1968), 837-852. MR 39 #2657. MR 0241317 (39:2657)
  • [14] -, Chromatic polynomials for a join of graphs, Combinatorial Theory and its Applications (Proc. Colloq., Batalonfüred, 1969), North-Holland, Amsterdam, 1970, pp. 239-245. MR 45 #8572. MR 0299524 (45:8572)
  • [15] -, Constructions in combinatorial geometries, Notes, Bowdoin College, Brunswick, Me., 1971.
  • [16] H. Crapo and G.-C. Rota, On the foundations of combinatorial theory: Combinatorial geometries, M. I. T. Press, Cambridge, Mass., 1970 (Preliminary edition). MR 45 #74. MR 0290980 (45:74)
  • [17] W. Graves, An algebra associated to a combinatorial geometry, Bull. Amer. Math. Soc. 77 (1971), 757-761. MR 44 #3897. MR 0286688 (44:3897)
  • [18] C. Greene, A rank inequality for finite geometric lattices, J. Combinatorial Theory 9 (1970), 357-364. MR 42 #1727. MR 0266824 (42:1727)
  • [19] -, On the Möbius algebra of a partially ordered set, Proc. Conference on Möbius Algebras, Univ. of Waterloo, 1971, pp. 3-20. MR 0349501 (50:1994)
  • [20] G.-C. Rota, On the foundations of combinatorial theory. I, Theory of Möbius functions, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 (1966), 340-368. MR 30 #4688. MR 0174487 (30:4688)
  • [21] J. Sonner, The language of arrows (to appear).
  • [22] R. P. Stanley, Modular elements of geometric lattices, Algebra Universalis 1 (1971/72), 214-217. MR 45 #5037. MR 0295976 (45:5037)
  • [23] -, Supersolvable semimodular lattices, Proc. Conference on Möbius Algebras, Univ. of Waterloo, 1971, pp. 80-142. MR 0354472 (50:6950)
  • [24] W. T. Tutte, Lectures on matroids, J. Res. Nat. Bur. Standards Sect. B 69B (1965), 1-47. MR 31 #4023. MR 0179781 (31:4023)
  • [25] H. Whitney, $ 2$-isomorphic graphs, Amer. J. Math. 55 (1933), 245-254. MR 1506961
  • [26] L. R. Wilcox, Modularity in the theory of lattices, Ann. of Math. 40 (1939), 490-505. MR 1503473
  • [27] T. A. Dowling and R. M. Wilson, Whitney number inequalities for geometric lattices, Proc. Amer. Math. Soc. 47 (1975), 504-512. MR 0354422 (50:6900)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 05B35

Retrieve articles in all journals with MSC: 05B35


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1975-0357163-6
Article copyright: © Copyright 1975 American Mathematical Society

American Mathematical Society