Skip to main content
MathOverflow

Return to Answer

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by a result of Michael Artin ( "On the solutions of analytic equations", Invent. Math. 5 1968, 277–291, cf. Angelo's answer to Analytic vs. formal vs. étale singularitiesAnalytic vs. formal vs. étale singularities) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by a result of Michael Artin ( "On the solutions of analytic equations", Invent. Math. 5 1968, 277–291, cf. Angelo's answer to Analytic vs. formal vs. étale singularities) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by a result of Michael Artin ( "On the solutions of analytic equations", Invent. Math. 5 1968, 277–291, cf. Angelo's answer to Analytic vs. formal vs. étale singularities) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

added 98 characters in body
Source Link
Joël
Joël
  • 26k
  • 2
  • 96
  • 193

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by Angelo's answer to [this MO question][1] (that is by a result of Michael Artin akin to( "On the one I mentionedsolutions of analytic equations", Invent. Math. 5 1968, 277–291, cf. Angelo's answer to Analytic vs. formal vs. étale singularities) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by Angelo's answer to [this MO question][1] (that is by a result of Michael Artin akin to the one I mentioned) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by a result of Michael Artin ( "On the solutions of analytic equations", Invent. Math. 5 1968, 277–291, cf. Angelo's answer to Analytic vs. formal vs. étale singularities) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

edited body
Source Link
Joël
Joël
  • 26k
  • 2
  • 96
  • 193

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from itshis expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by Angelo's answer to [this MO question][1] (that is by a result of Michael Artin akin to the one I mentioned) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from its expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by Angelo's answer to [this MO question][1] (that is by a result of Michael Artin akin to the one I mentioned) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

The main question of the PI has been beautifully answered by Moret-Bailly, but not the secondary question arisen from his expectation: "I would expect that it should be possible to write down a power series in two variables f(x,y) so that ℂ[[x,y]]/f(x,y) is non-algebraic." though we got quite close in comments.

So for the record: this is not possible. Indeed, such a singularity would be analytic by Angelo's answer to [this MO question][1] (that is by a result of Michael Artin akin to the one I mentioned) and then algebraic by Ulrich's comment (that is by Corollary 7.7.3 of the book by Casas-Alvero "Singularities of plane curves", London Mathematical Society Lecture Note Series, 278).

This is of course consistent with the fact that the example quoted by Moret-Bailly is in three variables.

Source Link
Joël
Joël
  • 26k
  • 2
  • 96
  • 193