Skip to main content
$Theorem\ A$ -> *Theorem A*
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

I recently need a simplicial generalization of some theorem for rigid spaces, namely there is $Theorem \ A$Theorem A holds for a rigid space $X$ and I want a $Theorem\ A_\bullet$Theorem $A_\bullet$ for a simplicial rigid space $X_\bullet$. However, I found lots of steps formally true and it's unreasonable and impossible to check everything. I'm wondering what is the key point behind simplicial generalization is "always true" and if there is any interesting examples where simplicial generalization is false. Thanks!

I recently need a simplicial generalization of some theorem for rigid spaces, namely there is $Theorem \ A$ holds for rigid space $X$ and I want a $Theorem\ A_\bullet$ for simplicial rigid space $X_\bullet$. However, I found lots of steps formally true and it's unreasonable and impossible to check everything. I'm wondering what is the key point behind simplicial generalization is "always true" and if there is any interesting examples where simplicial generalization is false. Thanks!

I recently need a simplicial generalization of some theorem for rigid spaces, namely Theorem A holds for a rigid space $X$ and I want a Theorem $A_\bullet$ for a simplicial rigid space $X_\bullet$. However, I found lots of steps formally true and it's unreasonable and impossible to check everything. I'm wondering what is the key point behind simplicial generalization is "always true" and if there is any interesting examples where simplicial generalization is false.

Source Link
Johnny
  • 255
  • 1
  • 3

Why is "everything staying correct" for simplicial spaces?

I recently need a simplicial generalization of some theorem for rigid spaces, namely there is $Theorem \ A$ holds for rigid space $X$ and I want a $Theorem\ A_\bullet$ for simplicial rigid space $X_\bullet$. However, I found lots of steps formally true and it's unreasonable and impossible to check everything. I'm wondering what is the key point behind simplicial generalization is "always true" and if there is any interesting examples where simplicial generalization is false. Thanks!