Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements

We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. We introduce inductively connected matroids and prove that their realization spaces are smooth and irreducible, and are isomorphic to Zariski open subsets of complex spaces with known dimension. We also give an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.