Skip to main content
Matthew Kahle's user avatar
Matthew Kahle's user avatar
Matthew Kahle's user avatar
Matthew Kahle
  • Member for 14 years, 9 months
  • Last seen more than a week ago
awarded
awarded
awarded
awarded
awarded
accepted
revised
Loading…
awarded
accepted
awarded
revised
Algorithm for embedding a graph with metric constraints
corrected some typos in the original question
Loading…
revised
What is the dimension of the variety of chain complexes?
corrected math notation -- there was a missing brace in LaTeX
Loading…
revised
What is the dimension of the variety of chain complexes?
corrected definition of subvarieties
Loading…
comment
What is the dimension of the variety of chain complexes?
Okay, I think I finally understand what you were confused about. I certainly have had in mind the subvarieties where $\mbox{rank} \phi_i = r_i$, so I rewrote things this way. It seems clear that the smaller variety is a dense open subset of the bigger variety, so they have the same dimension.
comment
What is the dimension of the variety of chain complexes?
It's true that the dimension is monotone increasing in each $r_i$, but there may still be many maxima. In the above example (now added to the question), you can not increase any of the $r_i$ without violating the restriction that $r_i + r_{i+1} \le v_i$. So it certainly is not the case that $W=W(r_1, \dots, r_n)$ where $r_i = \min(v_i, v_{i+1})$.
revised
What is the dimension of the variety of chain complexes?
tried to clarify that there may be multiple maxima
Loading…
comment
What is the dimension of the variety of chain complexes?
I'm not sure if this answers your question, but it is possible that there are many $(r_1, \dots, r_n)$ that maximize that the dimension. For example, in the case $n=7$ and when the dimensions of the vector spaces are $(10,10,10,10,10,10,10)$, the ranks that maximize are $(7, 3, 4, 6, 2, 8)$, $(7, 3, 5, 5, 2, 8)$, $(7, 3, 5, 5, 3, 7)$, $(8, 2, 5, 5, 2, 8)$, $(8, 2, 5, 5, 3, 7)$, and $(8, 2, 6, 4, 3, 7)$. So there are several subvarieties of maximal dimension that do not contain each other.
1
2 3 4 5
17