Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi there, can anyone explain to me what the "Lefschetz Principle" is by some clear "classical" examples (not relying explicitly on model theory, say). Thanks !

share|improve this question
    
Please read mathoverflow.net/howtoask –  Neil Strickland May 16 '12 at 10:19
    
How about you tell us in which context you saw that, because just like that it's not even clear what kind of people should answer that ! Also, have you at least looked on google/wikipedia ??? You really should read the howtoask for future questions ! –  Amin May 16 '12 at 13:32
2  
I corrected the question, and hope it is better now. As I misread the term, thinking it was "Lipschitz", google did not give much :-) –  THC May 16 '12 at 13:48
add comment

3 Answers 3

Considering your choice of tags, it's plausible that you actually mean the Lefschetz principle. In its vaguest form, this principle says that algebraic geometry behaves "the same way" over $\mathbf C$, over an arbitrary algebraically closed field of characteristic zero, and over an arbitrary algebraically closed field of sufficiently large characteristic. This is typically used (e.g. in conjunction with GAGA) to deduce algebraic statements from things proved analytically over the complex numbers. See What does the Lefschetz principle (in algebraic geometry) mean exactly? for more information.

On the other hand, you might also be referring to H. Davenport, "On a principle of Lipschitz", 1951.

share|improve this answer
    
You are right - I misread the term in a paper - this is corrected now. Thanks ! –  THC May 16 '12 at 13:47
add comment

The simplest example of an application of the Lefschetz principle is to prove the residue theorem (in characteristic zero): The sum of the residues of a differential on a smooth projective curve is zero. If you are given a curve and a differential over a field of characteristic zero, there is a finitely generated field over $\mathbb{Q}$ where the curve, the differential, the poles and the residues there, are all defined, so take this field and embed it in $\mathbb{C}$. The residue theorem over $\mathbb{C}$ is, of course, an immediate consequence of Cauchy's theorem. You can even deduce the positive characteristic case from this with a bit more effort.

share|improve this answer
    
what is "bit more effort" ? –  Alexander Chervov May 16 '12 at 18:54
    
The principle of permanence of algebraic identities. –  Felipe Voloch May 16 '12 at 19:38
add comment

Harish-Chandra uses this buzzword also as a guiding principle in the sense: Every thing what is true for reductive Lie groups, should be expected to be true for $p$-adic reductive algebraic groups as well. I actually thought of asking a similar question a while back. I figured out later the same thing what Dan Petersen is mentioning, the terminology seems to originate from algebraic geometry.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.