Timeline for Are algebraic power series in positive characteristics D-finite?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 18, 2022 at 16:45 | comment | added | Richard Stanley | @SamHopkins: I have done this, but for klein.mit.edu/~rstan/ec/ec2supp2.pdf. | |
| Apr 17, 2022 at 21:12 | history | became hot network question | |||
| Apr 17, 2022 at 16:03 | vote | accept | Jiu | ||
| Apr 17, 2022 at 15:58 | answer | added | Random | timeline score: 6 | |
| Apr 17, 2022 at 15:42 | comment | added | Jiu | @Random You're right! | |
| Apr 17, 2022 at 15:39 | comment | added | Random | I might be missing something, but over a field of characteristic $p$, isn't the $p$-th derivative always $0$ which implies that everything is $D$-finite? | |
| Apr 17, 2022 at 15:24 | comment | added | Jiu | @PeterTaylor First sentence in Comtet's article: "Soit y une fonction de la variable complexe x...". A part from this, in equation (4) from the proof, he divides by the derivative wrt y, which could be zero in positive characteristic. | |
| Apr 17, 2022 at 15:09 | comment | added | Sam Hopkins | @RichardStanley: whoops, my apologies, I missed this! | |
| Apr 17, 2022 at 15:03 | comment | added | Richard Stanley | Actually, it should have been stated in Theorem 6.4.6 that $\mathrm{char}\,K=0$ since the proof uses (6.12), for which it is assumed that $\mathrm{char}\,K=0$. | |
| Apr 17, 2022 at 13:42 | history | edited | YCor |
edited tags
|
|
| Apr 17, 2022 at 13:39 | comment | added | Peter Taylor | I don't see any mention of the field over which Comtet's proof is working. Have I missed something? | |
| Apr 17, 2022 at 13:14 | comment | added | Sam Hopkins | See Stanley, Enumerative Combinatorics, Vol. 2, Theorem 6.4.6. I'm pretty sure he's working over an arbitrary field in this theorem. | |
| Apr 17, 2022 at 13:11 | history | asked | Jiu | CC BY-SA 4.0 |