Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions

DOI10.1007/s00012-019-0603-7zbMath1468.06020arXiv1811.07840MaRDI QIDQ2311328

Christian Herrmann, Martin Ziegler

Publication date: 10 July 2019

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.07840

zbMATH Keywords

involution; constructible sets; definable relations; subspace lattice; Grassmann-Plücker coordinates

Mathematics Subject Classification ID

14M15: Grassmannians, Schubert varieties, flag manifolds

06C20: Complemented modular lattices, continuous geometries

51N20: Euclidean analytic geometry

03C40: Interpolation, preservation, definability

51M35: Synthetic treatment of fundamental manifolds in projective geometries (Grassmannians, Veronesians and their generalizations)