8
$\开始组$

在adic空间的定义中,通常有一个前缀,它是在底层空间拓扑的特定基础上定义的,即所谓的有理子集。然后,通过对给定开中的所有有理子集进行限制,将其扩展到任意开。然而,在我到目前为止查阅的所有参考文献中,很快就会指出,这通常不是一个捆,后面是一个它是一个的特殊情况的列表。

在代数几何中,有很多情况下,某些结构没有给出一个层,而一个简单地通过说“Shefify!”迫使它成为一个层。所以问题是:

-为什么我们不把自由空间的结构预处理好?在这种情况下没有sheafifation函子吗?如果没有,会出现什么问题?

$\端组$
2
  • 2
    $\开始组$ 你可能会放弃,但你会得到错误的全局部分。 $\端组$ 评论 2015年11月11日11:45
  • $\开始组$ 谢谢,听起来是个好主意。你(或其他人)手头有这样的例子吗?如果预切不是一捆,这是自动的吗? $\端组$
    – 小腿
    评论 2015年11月11日18:02

1答案1

重置为默认值
2
$\开始组$

实际上,在刚性几何的经典构造中,存在一个剪切过程,用于从弱G-拓扑传递到强G-拓扑(例如,参见博世、根策、雷默特的非阿基米德分析第9.2.2节)。

至于人们为什么不在非Heafy空间中使用它,我想说,这取决于你想做什么。如果你知道结构层的茎就足够了,那就好了。但是,正如迪伦·威尔逊指出的那样,你很可能不会得到你所期望的全球版块。有关显式示例,请参见Mihara论文“关于Berkovich谱和Adic谱的Tate非周期性和均匀性”中的定理3.15(http://arxiv.org/abs/1403.7856).

$\端组$
  • $\开始组$ 谢谢你的回答和例子。我刚接触到这个问题时,有一个可能很小的问题:刚性几何的剪切是直接传递到自由空间,还是这只是一个似是而非的论点?(据我所知,这似乎是“+”结构,用于任意站点上的集值预升,所以我想问题是,Huber环(而不是集)作为目标类别是否有一些技术上的微妙之处) $\端组$
    – 小腿
    评论 2015年11月17日13:01
  • $\开始组$ 好吧,我只是想给你一些参考,在靠近你的环境中做这样的事情。一般来说,如果您想使用f-adic环或Tate环或其他东西中的值,肯定会有一些问题。在您的类别中,您肯定需要至少有限的限制和结肠炎,以及过滤结肠炎,可能还需要更多。。。我不得不承认,我不知道确切的条件。 $\端组$ 评论 2015年11月18日10:03
  • 1
    $\开始组$ 注:自发布此答案后,Mihata发布了一份新版本的论文,其中的数字已更改;定理3.15现在是定理4.6。 $\端组$
    – 沃约乌
    评论 2019年11月30日19:07

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.