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

DOI10.1007/S00012-019-0603-7MaRDI QIDQ2311328zbMATH OpenOpenAlexWikidataFDO

Authors Martin Ziegler, Christian Herrmann

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

constructible setsdefinable relationsGrassmann-Plücker coordinatesinvolutionsubspace lattice

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Complemented modular lattices, continuous geometries (06C20) Grassmannians, Schubert varieties, flag manifolds (14M15) Synthetic treatment of fundamental manifolds in projective geometries (Grassmannians, Veronesians and their generalizations) (51M35) Euclidean analytic geometry (51N20)

Abstract: For finite dimensional hermitean inner product spaces $V$, over $\ast$-fields $F$, and in the presence of orthogonal bases providing form elements in the prime subfield of $F$, we show that quantifier free definable relations in the subspace lattice $L(V)$ with involution by taking orthogonals, admit quantifier free descriptions within $F$, also in terms of Grassmann-Pl"ucker coordinates.In the latter setting, homogeneous descriptions are obtained if one allows quantification type $Sigm{a}_1$. In absence of involution, these results remain valid.

Recommendations

• Definable relations in finite-dimensional subspace lattices with involution
• Subspaces in Hermitian spaces of countable dimension. II
• Lattices generated by subspaces of the same dimension and rank in orthogonal geometry over finite fields of even characteristic
• Lattices generated by subspaces of the same dimension and rank in orthogonal geometry over finite fields of odd characteristic
• Orthogonality and complementation in the lattice of subspaces of a finite vector space

Cites work

• Algorithms in invariant theory
• Computational Complexity of Quantum Satisfiability
• Definable relations in finite-dimensional subspace lattices with involution
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• scientific article; zbMATH DE number 3088637 (Why is no real title available?)
• LATTICES, REPRESENTATIONS, AND ALGEBRAS CONNECTED WITH THEM. I
• Multilinear Cayley factorization
• On perfect pairs for quadruples in complemented modular lattices and concepts of perfect elements
• On the consistency problem for modular lattices and related structures
• On the synthetic factorization of projectively invariant polynomials
• Quadratic forms in infinite dimensional vector spaces
• Quiver Grassmannians for wild acyclic quivers
• The Reduced Row Echelon Form of a Matrix is Unique: A Simple Proof

Cited in

(1)

• Definable relations in finite-dimensional subspace lattices with involution

This page was built for publication: Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2311328)