Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeSep 16th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded some minimum content to _[[perfectoid space]]_. Also added a corresponding paragraph to _[[function field analogy]]_.

   added some minimum content to perfectoid space. Also added a corresponding paragraph to function field analogy.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeJul 5th 2017
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexSince my chapter in [What is a mathematical concept?](https://books.google.co.uk/books/about/What_is_a_Mathematical_Concept.html?id=yM8oDwAAQBAJ) 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](http://www.math.uni-bonn.de/people/scholze/ICM.pdf), perectoids were devised to mediate between $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$, and >Although these two fields have formally 'the same' elements, the basic addition and multiplication operations are different: In $\mathbb{Q}_p$, one computes with carry, but in $\mathbb{F}_p((t))$ without carry, is it interesting that [[carrying]] is a form of cohomology?

   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 $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$, and

   Although these two fields have formally ’the same’ elements, the basic addition and multiplication operations are different: In $\mathbb{Q}_p$, one computes with carry, but in $\mathbb{F}_p((t))$ without carry,

   is it interesting that carrying is a form of cohomology?

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeJul 5th 2017
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexMichael Harris: [The Perfectoid Concept: Test Case for an Absent Theory](http://www.math.columbia.edu/~harris/otherarticles_files/perfectoid.pdf) (pdf, 12pp)

   Michael Harris: The Perfectoid Concept: Test Case for an Absent Theory (pdf, 12pp)