摘要
我们证明了导出解析几何中的可表示性定理。该定理断言，解析模函子是导出的解析堆栈，当且仅当它与Postnikov塔兼容，具有全局解析余切复数，并且其截断是解析堆栈。我们的结果适用于导出的复解析几何和导出的非阿基米德解析几何（刚性解析几何）。可表示性定理在导出几何中具有哲学和实际意义。可表示性条件是模函子的自然期望。因此，该定理证实了导出分析空间的概念是自然的，并且足够普遍。另一方面，这些条件在实践中很容易验证。因此，该定理使我们能够用导出结构增强各种经典模空间，从而提供了大量导出分析空间的实际例子。为了证明，我们在导出的解析几何的背景下研究了解析化、平方零扩张、解析模和余切复数。我们将在后续工作中探索可表示性定理的应用。特别地，我们将通过可表示性定理来确定导出映射堆栈的存在性。
