Palais and others published some analogues of hartogs theorem in an algebraic setting find, read and cite all the research you need on researchgate. The deepest results of abel, riemann, weierstrass, and many of the most important works of klein and poincare were part of this subject. For a discussion of chow varieties in the analytic category which su. Chevalleys theorem and elimination theory 216 chapter 8. Algebraic geometry played a central role in 19th century math. Qualifying exam syllabus university of california, berkeley. For each xo e k define maps fx, and fx from k to itself by x ff xo, x and x hf x, xo respectively, and call f separately polynomial if all the fx and fxo are polynomial functions. More than 400 exercises distributed throughout the book offer specific examples as well as more specialised topics not treated in the main text, while three appendices present brief acco. A surprisingly strong relative version of the algebraic hartogs lemma. Hartogs is about extending through compact subsets. We prove in this note a result on extension of meromorphic mappings, which can be considered as a direct generalisation of the hartogs extension theorem for holomorphic functions. We study spread domains u v over a projective manifold v v, o 1. In 1972 he moved to california where he is now professor at the university of california at berkeley.
The correspondence between algebraic sets and radical ideals, 39. I know a version of hartogs theorem in the book an introduction to complex analysisp 30 by hormander, namely hartogs theorem when k compact with complement being simply connected i. If m is a projective algebraic variety and f a holomorphic mapping as in 1. Elementary approach to the hartogs extension theorem trace where and when the name rst appeared.
No annoying pathological cases, no annoying extra hypotheses to theorems, things just work, sometimes even better than one thinks they should. Thus, the algebraic techniques this research was supported by nsf grant number 9720359 to circle, center for interdisci. Cn, n 2, be a domain with connected smooth boundary m. An analogue of hartogs theorem in an algebraic setting, amer. Complex geometry, dynamical systems, and foliation theory. Complex geometrygeometrytopology riemann surfaces statement of uniformization theorem. P analytic and algebraic geometry, lecture notes available at. For each xo e k define maps fx, and fx from k to itself by x ff xo, x and x hf x, xo respectively, and call f separately polynomial if all the fx and fxo are polynomial.
If you want to learn algebraic geometry on the level of actual mathematicians then there is no way around the topics in this book. Bochnerhartogs type extension theorem for roots and. Affine algebraic geometry studies the solutions of systems of polynomial equations with coefficients ink. The hartogs extension theorem and the method of analytic discs.
Discussion of berkovich space analytic geometry as algebraic geometry in the general sense of bertrand toen and gabriele vezzosi is in. On the other hand, understanding the general shape of the set of solutions over the real or complex numbers is a question for topology. More generally, this theorem remains true if f is an analytic subset of codimension 2, but we only need the present version here. Principles of algebraic geometry phillip griffiths. Baouendi and linda preiss rothschild 1 holomorphic mappings of real analytic hypersurfaces m. More generally, if a is a product of noetherian normal domains i. Pdf global variants of hartogs theorem researchgate. Id be very grateful if someone could help me understand the proof of hartogss theorem appearing in huybrechts complex geometry. A first version of this theorem was proved by friedrich hartogs, and as such it is known also as hartogss lemma and hartogss principle. Hartshorne made it possible for the rest of the mathematical community to actually learn this topic, which before him was highly. Geometry given during the spring term, 1997, at the university of toronto. I said earlier that i hoped to give you proofs of i hartogs theorem for normal noe therian schemes, ii krulls principal ideal theorem, and. U, choose r 0 so that the polydisk of radius 2r centered at z is contained in u. Math 631 notes, fall 2018 notes from math 631, algebraic.
Introduction geometry automated theorem provers mechanical geometric formula derivation new directionsbibliography algebraic methods algebraic methods. For example, krulls principal ideal theorem will help us compute codimensions, and will show us that codimension can behave oddly, and algebraic hartogs lemma will give us a useful characterization of unique factorization domains proposition 3. In mathematics, precisely in the theory of functions of several complex variables, hartogss extension theorem is a statement about the singularities of holomorphic functions of several variables. These are my notes for an introductory course in algebraic geometry. Furthermore, the appearance of singular ities is an unavoidable feature of the higher dimensional theory. The biggest successes in automated theorem proving in geometry. Pdf some analogues of hartogs theorem in an algebraic setting. I have trodden lightly through the theory and concentrated more on examples. Algebraic geometry and string theory royal society. Informally, it states that the support of the singularities of such functions cannot be compact, therefore the singular set of a function of several complex variables must loosely speaking go off. Gauss solved the linear case completely linear equations.
Thus, i do try to develop the theory with some rigour. In mathematics, hartogss theorem is a fundamental result of friedrich hartogs in the theory of several complex variables. C, where z is a closed subset of complex codimension at least 2, extends to a holomorphic function everywhere. Any proofs and constructions found by our automated geometry theorem prover must be stated with the common ontology of euclidean geometry the axiomatized geometry system taught in schools.
Download pdf 307 kb abstract we prove an extension theorem for roots and logarithms of holomorphic line bundles across strictly pseudoconcave boundaries. Alfred tarski, the completeness of elementary algebra and geometry church, alonzo, journal of symbolic logic, 1969. Complex geometry 5 here, on the other hand, is something completely new that only occurs in high dimensions. In fact if vff g 2 is an algebraic set and is an in. A geometrical proof of the hartogs extension theorem. Oren benbassat, kobi kremnizer, nonarchimedean analytic geometry as relative algebraic geometry arxiv. The baire category argument above shows that there is w such that z is inside a polydisk d. On the hartogs theorem for holomorphic line bundles and on. Krulls principal ideal theorem, algebraic hartogs lemma, and more 6 4.
Pdf some analogues of hartogs theorem in an algebraic. Serge lang, introduction to algebraic geometry rosenlicht, m. Let k be a field, and let f be any function from k x k into k. The references 3, 4, 6 are more advanced and can be used to go deeper into the subject. In mathematics, hartogs s theorem is a fundamental result of friedrich hartogs in the theory of several complex variables. Robin hartshorne studied algebraic geometry with oscar zariski and david mumford at harvard, and with j. Some analogues of hartogs theorem in an algebraic setting. Id be very grateful if someone could help me understand the proof of hartogs s theorem appearing in huybrechts complex geometry.
Hartogs theorem is used more in complex geometry than riemanns theorem, because it does not impose any conditions on the function f. Behind hartogs theorem are various possible extensions beyond when. I am curious about whether there is a version of the hartogs theorem for extending sections of canonical bundles. General interests lie group theory, representation theory, supergravities, string theory, algebraic geometry, algebraic groups, cosmology. Any cycle y on x is rationally equivalent to an integral linear combination of schubert classes. The algebraic hartogs lemma states that on a normal noetherian scheme, if a.
The term hartogs lemma is sometimes used also for a useful property of sequences of subarhominc functions. Preliminary results for the proof of theorem i a on the theorem of bishopstoll let lbe a complex manifold, w c 1i an analytic subvariety, and x a. I know a version of hartogs theorem in the book an introduction to complex analysisp 30 by hormander, namely hartogs theorem when k compact with complement being simply connected i also have l. This algebraic version of hartogs theorem follows from the fact that. Treats basic techniques and results of complex manifold theory, focusing on results applicable to projective varieties, and includes discussion of the theory of riemann surfaces and algebraic curves, algebraic surfaces and the quadric line complex as well as special topics in complex manifolds.
We prove, that such a domain is an existence domain of holomorphic sections s. Hartogs theorem can be stated in the following way. Hartogs bochner type theorem in projective space 153 of pnc. This is done by proving some line bundle convexity theorem for u. Algebraic geometry upenn cis university of pennsylvania. Hartogs theorem on the analyticity of the singular set this term is only used by some authors to refer to the results proved by hartogs on the analyticity of the set of singularities of holomorphic functions of several complex variables in ha2. The seminar takes place on thursdays, 1416, in seminar room 0. The hypothesis that m has only one cr orbit which is open is then equivalent to the fact that m\k is connected.
If three sides of one triangle are congruent to three sides of a second triangle. Roughly speaking, it states that a separately analytic function is continuous. If you are interested in participating, please send an email. Although it might have circulated among german mathematicians before i. The turn of the 20th century saw a sharp change in attitude to algebraic geometry. Another theme in algebraic geometry is that of a classifying space or moduli space.
An introduction to abstract algebraic geometry, with the only prerequisites being results from commutative algebra, which are stated as needed, and some elementary topology. No annoying pathological cases, no annoying extra hypotheses to theorems, things just work. The intent is not to give a thorough treatment of the algebraic and di. The marriage of algebra and geometry comes with descartes sixteenth century. An important application of formal geometry is an algebraic proof of an analogue of the lefschetz hyperplane sections theorem for the fundamental group and for the picard groups. As we shall see below, one of the main points of the hartogs theorem is that not every domain in c2 is a domain of holomorphy.
Mathematics stack exchange is a question and answer site for people studying math at any level and professionals in related fields. Supergeometry uses concepts from algebraic geometry, differential geometry and algebra. Principles of algebraic geometry phillip griffiths, joseph. In order to prove hilberts basis theorem we need the following lemma.
898 5 710 765 236 799 1403 381 622 902 884 958 1576 512 1285 673 292 713 614 367 782 1405 849 375 171 976 586 1253 57