Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added some minimum content to perfectoid space. Also added a corresponding paragraph to function field analogy.
Since my chapter in What is a mathematical concept? appears next to Michael Harris’s ’The perfectoid concept: test case for an absent theory’, when I get a chance to read that it would fun to see what sense I can make of the idea.
A throw-away thought: if, as Scholze says, perectoids were devised to mediate between and , and
Although these two fields have formally ’the same’ elements, the basic addition and multiplication operations are different: In , one computes with carry, but in without carry,
is it interesting that carrying is a form of cohomology?
Michael Harris: The Perfectoid Concept: Test Case for an Absent Theory (pdf, 12pp)
If you could add a sentence to the Idea-section on the actual Idea behind perfectoid spaces, that might be most useful.
By the way, for better or worse the rendering of :=
comes out with the wrong amount of whitespace on the nLab. Best to always use \coloneqq
, instead (I have made the change on this page now).
Made the definitions and propositions appearing in the right way. I don’t really understand this bug which happens often. It seems related to line breaks.
I replaced:
“\begin{definition}
ABC DEF
\end{definition}”
by
“\begin{definition} ABC DEF \end{definition}”
(with line breaks but without the two empty lines at the beggining and at the end)
and now it works.
Maybe I don’t actually know that version of the bug. Could you add a minimal demonstration of the issue to the Sandbox? Thanks!
(What I am aware of is that these environments misbehave when they end right on a list item, without a blank line after the list. But what you mention seems different, in fact opposite.)
The bug was present in perfectoid space (Rev #19).
I put the exact source code of this page in the Sandbox and the bug no longer appears, so it seems that it’s necessary to go deeper to understand what’s going on. It looks ununderstandable at this level.
Okay, so I can’t see what you are alluding to. Maybe when you see the bug next time, you could try to copy into the Sandbox (not the entire entry but) just the lines that exhibit the bug. That would allow us to inspect the issue.
What I say is that in perfectoid space (Rev #19) there is the bug (you see \begin{definition} instead of the formatting for a definition) but when I copy the whole page to the sandbox there is no longer the bug.
Ah, that’s just (“just”) because the page history works with an old version of the rendering-engine, while the LaTeX-style environments are only supported by the “new” engine which renders the main pages.
That’s a bug, in a way (though, strangely enough, it was introduced and kept fully deliberately), but as things stand this counts as normal behaviour for the nLab — until the technical team amasses enough karma to tackle the Big Rewrite of the nlab software.
But in #14 it sounded like you saw a bug in a live page?! Maybe you didn’t. If you ever spot a bug in a in a live page, you’ll do me a favor by dropping a minimal example into the Sandbox, so that we can inspect it and maybe fix it.
Yes, the bug was on the live page exactly as in the history. But I don’t succeed to reproduce it in the sandbox! The sandbox doesn’t reproduce the bug when I put the exact same code.
Oh probably I went on v19 instead of current, I understand, you should be right. It does the same when I go on v20.
1 to 21 of 21