05.01.2013 Views

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

256 Appendix by Khovanskii<br />

COROLLARY. If a germ <strong>of</strong> a function can be obta<strong>in</strong>ed from the germs<br />

<strong>of</strong> s<strong>in</strong>gle-valued hav<strong>in</strong>g an analytic set <strong>of</strong> s<strong>in</strong>gular po<strong>in</strong>ts by<br />

means <strong>of</strong> <strong>in</strong>tegrations, <strong>of</strong> differentiations, meromorphic operations, compositions,<br />

<strong>solutions</strong> <strong>of</strong> algebraic equations, <strong>and</strong> <strong>solutions</strong> <strong>of</strong> holonomic systems<br />

<strong>of</strong> l<strong>in</strong>ear differential equations, then this germ <strong>of</strong> is an<br />

In particular, a germ which is not an cannot be represented by<br />

generalized quadratures.<br />

A.15 Topological obstructions for the<br />

representability by quadratures<br />

<strong>of</strong> functions <strong>of</strong> several variables<br />

This section is dedicated to the topological obstructions for the representability<br />

by quadratures <strong>and</strong> by generalized quadratures <strong>of</strong> functions<br />

<strong>of</strong> several complex variables. These obstructions are analogous to those<br />

hold<strong>in</strong>g for functions <strong>of</strong> one variable considered <strong>in</strong> §§A.7–A.9.<br />

THEOREM 1. The class <strong>of</strong> all <strong>in</strong> hav<strong>in</strong>g a soluble monodromy<br />

group, is closed with respect to the operations <strong>of</strong> <strong>in</strong>tegration <strong>and</strong> <strong>of</strong><br />

differentiation. Moreover, this class is closed with respect to the composition<br />

with the <strong>of</strong> variables hav<strong>in</strong>g soluble monodromy<br />

groups.<br />

RESULT ON QUADRATURES. The monodromy group <strong>of</strong> any germ <strong>of</strong> a<br />

function representable by quadratures is soluble. Moreover, every germ<br />

<strong>of</strong> a function, representable by the germs <strong>of</strong> s<strong>in</strong>gle-valued hav<strong>in</strong>g<br />

an analytic set <strong>of</strong> s<strong>in</strong>gular po<strong>in</strong>ts is also soluble by means <strong>of</strong> <strong>in</strong>tegrations,<br />

<strong>of</strong> differentiations, <strong>and</strong> compositions.<br />

COROLLARY. If the monodromy group <strong>of</strong> the algebraic equation<br />

<strong>in</strong> which the are rational functions <strong>of</strong> variables is not soluble, then<br />

any germ <strong>of</strong> its <strong>solutions</strong> not only is not representable by radicals, but<br />

cannot be represented <strong>in</strong> terms <strong>of</strong> the germs <strong>of</strong> s<strong>in</strong>gle-valued<br />

hav<strong>in</strong>g an analytic set <strong>of</strong> s<strong>in</strong>gular po<strong>in</strong>ts by means <strong>of</strong> <strong>in</strong>tegrations, <strong>of</strong> differentiations,<br />

<strong>and</strong> compositions.<br />

This corollary represents the strongest version <strong>of</strong> the Abel <strong>theorem</strong>.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!