Welcome to MathOverflow

Question

5

1

Hello,

Could you help me with a reference to elementary properties of Groebner bases in rings of formal power series over a field? I am especially interested in generic initial ideals.

Thank you in advance,
Serge

edited Feb 7 at 21:45

Thomas Kahle
817●5●11

asked Dec 30 at 16:12

Serge Lvovski
1,032●1●9

3

Have you looked at Greuel, Pfister, A Singular Introduction to Commutative Algebra? I think it contains a few sections on power series. – Michael Dec 31 at 9:48

Thomas Kahle · Accepted Answer · 2013-02-07 21:45:39Z UTC

To expand on Michael's comment, the Greuel, Pfister book Section 6.4 is about standard bases in formal power series rings. Quoting,

The main result is that they can be computed, if the ideal is generated by polynomials. This is the basis for computations in local analytic geometry. The theory of standard bases in power series rings goes back to Hironaka (cf. [123]) and Grauert (cf. [98]).

The references are:

Hironaka, H.: Resolution of Singularities of an Algebraic Variety over a Field of Characteristic Zero. Ann. of Math. 79, 109–326 (1964).
Grauert, H.: Über die Deformation isolierter Singularitäten analytischer Mengen. Invent. Math. 15, 171–198 (1972).

Oleg · Answer 2 · 2013-01-10 20:05:10Z UTC

1

The only place where I think I read about Groebner bases for power series was "Coherent Analytic Sheaves" by Grauert and Remmert, but I don't think they got this far.

answered Jan 10 at 20:05

Oleg
23●3

Blup · Answer 3 · 2013-02-08 05:44:40Z UTC

0

There is also a nice treatment of standard bases in the ring of convergent power series in the book of De Jong and Pfister "Local analytic geometry: Basic theory and applications" (it's chapter 7).

answered Feb 8 at 5:44

Blup
115●1●4

Groebner bases for power series rings (reference request)

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.