Research Diary Log.

Total Page:16

File Type:pdf, Size:1020Kb

Research Diary Log. Brahim Marzouk. Maths Research Diary. Research diary log. ------------------- Author : Marzouk Brahim. url : http://bmarzouk.free.fr/search.txt Created : 21.09.20. Last update : 04.08.21. About ~ 9700 lines, 300p. Diary : BEGIN @ ~ Line 450. p10. Some symbols : * = videos reports (mostly youtube math videos). ® = reading reports (articles, books, web pages). • = Personal notes; often enclosed between (thick or thin) arrows; thick being for important remarks, the thinner are more for comments. "===>" or "--->" mark their begining and the reverse ones, "<===" or "<---" mark their end. © = computers notes. Abbreviations & jargon : I) maths. ab = abelian(nisation). alg = algebra(ic) or algebraically. algeo = algebraic geometry. app = application. approx = approximate (tion). bbki = Bourbaki. 1 of 362 Brahim Marzouk. Maths Research Diary. dbl = double. dbt = doubt(ful). crt = criterion. geom = geometry. diag = diagram, diagonal, diagonalisable. dioph = diophantine. def = definite, definition(s). der = derived, derivative, derivation. rep = representation. den = denominator. hom = homomorphi(c/sm), homeomorphi(c/sm). irr = irreducible. lin = linear, linearity. num = numerator. prg = program. ref = reference. reg = regular. res = resolution, resultant, result. diff = differentia-te/ble/l. top = topolog-y/ical. frac = fraction-al. dep = dependent, dependency. det = determinant. endo = endomorphism, endofunctor, endogenesis. ext = extension, extended, exterior. func = function, functor. cj(s) = conjecture(s). rh, RH = Riemann Hypothesis. bsd,BSD = Birch-SwinnertonDyer conjecture. cplx = complex. thm = theorem. ppties = properties. grp(s) = group(s). th = theory. nb = number. rat = rational. 2 of 362 Brahim Marzouk. Maths Research Diary. sing = singular/ity/ities. transc = transcendent(al). tr = transcendent(al). var = variety, variable. vect = vector, vectorial. k_ = algebraic closure of k. II) computer sciences. asm = assembly. bt = bluetooth. conf = config(uration). ctrl = control. deb = Debian. dwload = download, pull. ecc = elliptic curve cryptography. gui = graphical user interface. prg = program. repo = repository. hd = hard-drive. ide = integrated developpement environement. box = computer system (laptop, desktop pc). e = electronics. src = source. phone = smartphone. vid(s) = video(s). rm = remove, delete. dev = development, device. os = operating system. vm = virtual machine. ffox = Firefox. g = Google. ytube = YouTube. wkp = Wikipedia. 3 of 362 Brahim Marzouk. Maths Research Diary. evn = Evernote. m$ = Micro$oft. win$ = Window$. insta = Instagram. fb = facebook. To Do. ====== • Coquilles in txts and TeXtes. ------------------------------- 0) search.txt : separate lines : date-begin. alternating sum. riemann hurwitz. modulo Q_ algebraic equivalence. Spreading out sets the dna of the forecoming collected data. Bouquets : spreading out- nodes along Spec(Z) Arizona. Log Div, Log Der. th endo. Sites "huh?" in pc. add link in blogspot.com About. x. post a winter tips page. 1) serie.tex : max (ultra metric). check base solution. -> Change ugrad series templates, retrieve underlines. 4 of 362 Brahim Marzouk. Maths Research Diary. p1. replace "l-adique" by algèbre polynomiale graduée de degré ∞ = limite projective pour d -> ∞ d'algèbres graduées Ad[X], de polynomes de degré <= d. p4 : -1 in numerators of F(z) (rational function+closed form). p4 : bibliography "Fourier". 2) critere.tex p1. "sneaky" with "intricate". "former" by "former algebraic". p2. "path" with "band". p2. "Another object" with "Another object which is original". p5. "In that formulation, only an algebraic version". p5. "is not possible as formulated here". "No non- trivial". p6. "References" with "Reference." --> For corrections/updates, use different : a) fonts. b) fonts styles. c) colors. 3) mem.tex. Groupe galois. Dependence π et E(√2/2). r et π algebriquement independents. p2 bot : La question de la répartition. 5 of 362 Brahim Marzouk. Maths Research Diary. p5 mid : sur une variété algébrique. p5 bot : spécialisation locales. p8 bot : localisés du corps des fonctions. p11 bot : variétés; indep algebriques de nombres (reels) p14 mid : cj famille algebriquement libre sur Q alors ... pas de Q-pt non trivial. p22 top : G_F(V)=h_F(G_V); l'ideal serait que h_F = F; ie G_F(V)= F(G_V). p22 bot : Du coté des motifs, déjà leurs applications aux points précédents ( approximations des periodes fondamentales; Hodge De Rham); puis considerer K=k(P(V)) avec k = Q_ ... p22 bottom : en termes d'invariants periodiques. 4) slides.tex The left versions of 2007 has many. I remember that last updated versions of 2009 (in Hitachi stuck-hd) were bettered with corrections. ===> Try to fix that hd : a) find parts or a complete spare. b) learn technics. • Rewrite. ---------- • DNDE α(β+½(γ-β)) α+d[(0,γ); (α,β)]=α+√(α²+(γ-β)²) 6 of 362 Brahim Marzouk. Maths Research Diary. • Glueing C/6 +L(ramble). Seems ok. Q-pt → (λ,μ,ρ) alg dep, since (λ,μ) are already alg dep (nested degeneration case). • Transcendental cos. eit =cos t + isin t, would be algebraic. (it, eit) both alg. But z alg => ln z transc (Lindemann Baker th) : contradiction, if z=eit. So if t rat≠0, cos t transc. Compute k^. • Motives. $V, measure Μodule V. $Alg→transc. Polyakov measure. • Surface. T=tore(r,R) V(T) =2rS(T). X(T)=0. π1(T)=Z®Z • Exp. xy=exp(x-y). • Ebauches. 1) Bouquets d'espaces. 7 of 362 Brahim Marzouk. Maths Research Diary. Y--Y--Yi--Y--Y. (Yi,fi) "arrows above X" : \ |fi | | / fi : Yi --> X applications. X. If X is a topological space covered by a family of sets ¥=(Yi) Topology on ¥ or the (Yi) : final topology associated to the (fi). When (fi) are etale morphisms from a fixed Y (so both X and Y are schemes), this gives the etale topology on Y. Etale morphism Y --f--> X. Existence of a covering (Uα) of X such that Vα=f-¹(Uα) is a covering of Y satisfying fα=f|Vα : Vα ---~--> {α}xUα and other regularity-flatness ppties. Existence of a covering (Ui) of Y such that f|Ui : Ui--fi-->f(Ui) gives a covering (f(Ui)) of X with f(Ui) ~ {i}xUi; plus other prerequisites of regularity-flatness. ==> Consider the 2nd level : bouquets above the nodes of that structure or even bouquets above the structure itself; or add some structure to ¥ for instance : 2) Bouquets de torseurs. Y--Y--Yi--Y--Y. ¥ = (Yi) : (X-)torsors under the action of Gi .πiهfi| | / fi = Fi | \ 8 of 362 Brahim Marzouk. Maths Research Diary. X. (Yi,Gi,fi) family of torsors above X, under the actions of the groups (Gi). If the (Yi) are a fixed Y; a family of groups (Gi) acting on Y, invariantly against a fixed morphism to X, gives rise to a family of torsors above X. If the family (Gi) is replaced by a family of families (((Gij)j)i) we get a double-indexed family of torsors. Clarify : a) The isomorphism classes of such families are given by the cohomology classes G-structure of |H1(X,G) where |H(X,G)=H(G, Hb(X)). b) The isomorphism-classes of such families are given by the cohomology classes living in |H1(X,G)." "Define |H(X,G)=H(G,Hb(X)". c) Explicit order in H. H(X, Λ)= H(π¹(X,x), Λ) for any constant abelian sheaf Λ. * Tropical geometry. Moduli (parametrized curves) : from combinatorial intersections ppties at degenerating values of the parameter, ie that give "degenerate cases", trying to pull back those data for the whole moduli from those simpler "degenerate" situations. Framework : on discrete valuations fields, aka non archimedean ones. A=C((t)): Laurent power series. C((t))_ = Frac(A)_ = C((t^¹/n)) Puiseux series. 9 of 362 Brahim Marzouk. Maths Research Diary. LINKS ===== ® Forum. https://math.stackexchange.com/ https://mathoverflow.net/ https://mathoverflow.net/questions/127633/what-are-the- possible-motivic-galois-groups-over-mathbb-q https://ncatlab.org https://ncatlab.org/nlab/show/period ® Seminars. http://m.mathnet.ru/php/seminars.phtml?wshow=comsoon& option_lang=eng https://researchseminars.org/seminar/NTWebSeminar Sigma forums Cambridge. ® Library. edx.org numdam.org projecteuclid.org https://press.princeton.edu/books/paperback/9780691193779 /arithmetic-and-geometry https://pi.math.cornell.edu/~kbrown/publications.html 10 of 362 Brahim Marzouk. Maths Research Diary. ® Bookshelves. http://www-fourier.ujf-grenoble.fr/~marin/une_autre_crypto /Livres/ http://nozdr.ru/biblio/kolxoz/m/ma https://zh.b-ok.africa/book/2710292/3ed31a http://www.ebyte.it/library/refs/Refs_Math_Books.html http://www.bdim.eu/item?id=BUMI_2009_9_2_1_259_0 https://archive.org/download /MathematicsEbooksMegaCollection https://epdf.pub/number-theory-04-transcendental- numbers.html ® Encyclopedias. https://encyclopediaofmath.org https://encyclopediaofmath.org/wiki/Gel%27fond- Schneider_method https://planetmath.org/ https://planetmath.org/PrimeSpectrum ® Scholars articles. Joseph Ayoub http://user.math.uzh.ch/ayoub/ 11 of 362 Brahim Marzouk. Maths Research Diary. Annette Huber https://home.mathematik.uni-freiburg.de/arithgeom/ Giesbert Wustholtz https://scholar.google.com/citations?user=9knV80QAAAAJ& hl=en https://scholar.google.fr/scholar?start=10& q=wustholz+elliptic+and+abelian+period+spaces&hl=en& as_sdt=0,5&as_vis=1 New researcher Martin Orr http://www.martinorr.name/blog/2015/10/06/periods-of- abelian-varieties/ ® Vulgarisation. http://images.math.cnrs.fr/Le-rang-des-courbes- elliptiques.html http://eljjdx.canalblog.com ® Docs. https://docs.google.com/document /d/1EMhjvhtcQmXvBhaFeQo7f_Rg7O32y0e1M0tUEFilsxY /edit?usp=sharing File conversion https://www.print-driver-fr.com/howto /convertir_djvu_to_pdf.html UTF8 (extensions) ==== 12 of 362 Brahim Marzouk. Maths Research Diary. a) Symbols. ¹ ½ ⅓ ¼ ⅛ ² ⅔ ³ ⅜ ¾ ⁴ ⅝ ⅞ ⁿ ∅ ⊗ ⊕ ∮ ∫∂ ↩ → ∀ × φ ∈ Ц ∏ √ ∑ π ϕ φ ∈ ‰ % _ — – · . ≤ ‹ « ≥ › » ↑ ↓ ← → ′ ″ ≠ ∞ ≈ { } ∆ § ¶ × ÷ π Π √ • | ` ~ © ® ™ ℅ « » ” “ „ : ¡ ¿ , _ / … _ ₱ ¢ £ ¥ ¢ ★ † ‡ ¡ ¿ > ± ♪ ♥ ♦ ♣ ♠ b) Accents. à á â ä æ ã å ā é è ē ê ë ì í ì ï ī û ú ū ü ù À Á Â Ä Æ Ã Å Ā É È Ē Ê Ë Û Ú Ū Ü Ù Û Ú Œ Ó Ô Ö Ò Ø Ō Õ c) Greek. α β γ δ η ς ε ρ τ υ θ ι ο π α σ δ φ γ η ξ κ λ ζ χ ψ ω β ν μ Α Σ Δ Φ Γ Η Ξ Κ Λ Ε ς Ρ Τ Υ Θ Ι Ο Π Ζ Χ Ψ Ω Β Ν Μ d) Russian.
Recommended publications
  • HODGE THEORY LEFSCHETZ PENCILS 1. More on Lefschetz
    HODGE THEORY LEFSCHETZ PENCILS JACOB KELLER 1. More on Lefschetz Pencils When studying the vanishing homology of a hyperplane section, we want to view the hyperplane as one element of a Lefschetz pencil. This is because associated to each singular divisor in the pencil, there is an element of the homology of our hyperplane that is not detected by the Lefschetz hyperplane theorem. In order to do this we should know more about Lefschetz pencils, and that’s how we will start this lecture. We want to be able to produce Lefschetz pencils containing a given hyperplane section. So we should get a better characterization of a Lefschetz pencil that is easier to compute. Let X be a projective variety embedded in PN that is not contained in a hyperplane. We consider the variety N∗ Z = {(x, H)|x ∈ X ∩ H is a singular point} ⊆ X × P To better understand the geometry of Z, we consider it’s projection π1 : Z → X. For any x ∈ X and N hyperplane H ⊆ P , the tangent plane to H ∩ X at x is the intersection of H and TxX. Thus X ∩ H will −1 be singular at x if and only if H contains TxX. Thus for x ∈ X, π1 (Z) is the set of hyperplanes that contain TxX. These hyperplanes form an N − n − 1 dimensional projective space, and thus π1 exhibits Z as a PN − n − 1-bundle over X, and we deduce that Z is smooth. N∗ Now we consider the projection π2 : Z → P . The image of this map is denoted DX and is called the discriminant of X.
    [Show full text]
  • Aplicación Android Para Autoevaluar Conocimientos
    Universitat Oberta de Catalunya Ingenier´ıa Tecnica´ de Telecomunicacion´ Especialidad de Telematica´ Trabajo Final de Carrera Aplicaci´onAndroid para autoevaluar conocimientos Autor: Tutor: David Chiner Benjuya Manel Llopart Vidal 14 de junio de 2013 Resumen En el presente trabajo de final de carrera se ha desarrollado una aplicaci´ondid´acticapara que los estudiantes eval´ueny ampl´ıensus conocimientos. Dicha aplicaci´ondispone de una interfaz gr´aficadesde donde cada estudiante puede consultar contenidos te´oricosy realizar test de evaluaci´on. En concreto, tras completar cada test, el estudiante repasa sus errores y recibe explicaciones sobre las respuestas correctas. Para desplegar la aplicaci´onse ha seleccionado la plataforma Android, un sistema operativo gratuito de enorme difusi´onen tel´efonosm´oviles,tabletas e incluso netbooks. De este modo, la aplicaci´onpuede ser ejecutada en dispositivos que el estudiante lleve consigo. Abstract The didactic application developed for this final thesis allows students to evaluate and expand their knowl- edge. This application has a graphical interface where each student can read explanations and perform assess- ment test. Specifically, after completing each test, the student reviews his mistakes and gets explanations of the correct answers. The application has been implemented for Android platform, a free operating system largely deployed in mobile phones, tablets and even netbooks. Thus, the application can be run on devices carried by the student. Resum En el present treball de final de carrera s'ha desenvolupat un aplicaci´odid`acticaper a que els estudiants avalu¨ıni ampli¨ınels seus coneixements. Aquest aplicaci´odisposa d'una interf´ıciegr`aficades d'on cada estudiant pot consultar continguts te`orics i realitzar tests d'avaluaci´o.
    [Show full text]
  • Homology Theory on Algebraic Varieties
    HOMOLOGY THEORYon ALGEBRAIC VARIETIES HOMOLOGY THEORY ON ALGEBRAIC VARIETIES by ANDREW H. WALLACE Assistant Professor of Mathematics University of Toronto PERGAMON PRESS LONDON NEW YORK PARIS LOS ANGELES 1958 . PERGAMON PRESS LTD. 4 and 5 Fitzroy Square, London W.I. PERGAMON PRESS INC. 122 East 55th Street, New York, N.Y. 10638 South Wilton Place, Los Angeles 47, California PERGAMON PRESS S.A.R.L. 24 Rue des Ecoles, Paris V" Copyright 0 1958 A. H. Wallace Library of Congress Card Number 57-14497 Printed in Northern Ireland at The Universities Press, Be fast CONTENTS INTRODUCTION vu 1. -LINEAR SECTIONS OF AN ALGEBRAIC VARIETY 1. Hyperplane sections of a non-singular variety 1 2. A family of linear sections of W 2 3. The fibring of a variety defined over the complex numbers 7. 4. Homology groups related to V(K) 17 II. THE SINGULAR SECTIONS 1. Statement of the results 23 2. Proof of Theorem 11 25 III. A PENCIL OF HYPERPLANE SECTIONS 1. The choice of a pencil 34 2. Notation 37 3. Reduction to local theorems 38. IV. LEFSCHETZ'S FIRST AND SECOND THEOREMS 1. Lefschetz's first main theorem 43 2. Statement of Lefschetz's second main theorem 49 3. Sketch proof of Theorem 19 49- .4. Some immediate consequences _ 84 V. PROOF OF LEFSCHETZ'S SECOND THEOREM 1. Deformation theorems 56 2. Some remarks dh Theorem 19 80 3. Formal verification of Theorem 19; the vanishing cycle62 4. Proof of Theorem 19, parts (1) and (2) 64 5. Proof of Theorem 19, part (3) 87 v Vi CONTENTS VI.
    [Show full text]
  • Homology Stratifications and Intersection Homology 1 Introduction
    ISSN 1464-8997 (on line) 1464-8989 (printed) 455 Geometry & Topology Monographs Volume 2: Proceedings of the Kirbyfest Pages 455–472 Homology stratifications and intersection homology Colin Rourke Brian Sanderson Abstract A homology stratification is a filtered space with local ho- mology groups constant on strata. Despite being used by Goresky and MacPherson [3] in their proof of topological invariance of intersection ho- mology, homology stratifications do not appear to have been studied in any detail and their properties remain obscure. Here we use them to present a simplified version of the Goresky–MacPherson proof valid for PL spaces, and we ask a number of questions. The proof uses a new technique, homology general position, which sheds light on the (open) problem of defining generalised intersection homology. AMS Classification 55N33, 57Q25, 57Q65; 18G35, 18G60, 54E20, 55N10, 57N80, 57P05 Keywords Permutation homology, intersection homology, homology stratification, homology general position Rob Kirby has been a great source of encouragement. His help in founding the new electronic journal Geometry & Topology has been invaluable. It is a great pleasure to dedicate this paper to him. 1 Introduction Homology stratifications are filtered spaces with local homology groups constant on strata; they include stratified sets as special cases. Despite being used by Goresky and MacPherson [3] in their proof of topological invariance of intersec- tion homology, they do not appear to have been studied in any detail and their properties remain obscure. It is the purpose of this paper is to publicise these neglected but powerful tools. The main result is that the intersection homology groups of a PL homology stratification are given by singular cycles meeting the strata with appropriate dimension restrictions.
    [Show full text]
  • Equivariant Resolution of Singularities and Semi-Stable Reduction In
    Equivariant Resolution of Singularities and Semi-stable Reduction in Characteristic 0 by Jianhua Wang Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 1997 © Massachusetts Institute of Technology 1997. All rights reserved. Author Department of Mathematics April 29, 1997 Certified by .-. ......................... Steven L. Kleiman Professor of Mathematics Thesis Supervisor ~ f~c\ Accepted by Richard B. Melrose, Chairman Departmental Graduate Committee Department of Mathematics JUN 2 5 1997 Equivariant Resolution of Singularities and Semi-stable Reduction in Characteristic 0 by Jianhua Wang Submitted to the Department of Mathematics on April 29, 1997, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract In this thesis, I shall prove the equivariant resolution of singularities theorem first, then using this theorem and the barycentric subdivision technique, I shall prove the equivariant semi-stable reduction theorem. Both results are over algebraically closed fields of characteristic 0 and their proofs are purely algebraic in nature. In the statement of the equivariant semi-stable theorem, besides giving the equivariant version of classic theorem, I shall describe more precisely what the base curve could be. I shall also discuss a stronger form of the theorem when the dimension of the fiber is less than or equal to 2. Thesis Supervisor: Steven L. Kleiman Title: Professor of Mathematics to my parents and grandparents Acknowledgments First of all I thank my thesis advisor Professor Steven Kleiman, for supporting me in all possible ways during the past three years and for imparting to me the philosophies of studying mathematics.
    [Show full text]
  • Math 6280 - Class 27
    MATH 6280 - CLASS 27 Contents 1. Reduced and relative homology and cohomology 1 2. Eilenberg-Steenrod Axioms 2 2.1. Axioms for unreduced homology 2 2.2. Axioms for reduced homology 4 2.3. Axioms for cohomology 5 These notes are based on • Algebraic Topology from a Homotopical Viewpoint, M. Aguilar, S. Gitler, C. Prieto • A Concise Course in Algebraic Topology, J. Peter May • More Concise Algebraic Topology, J. Peter May and Kate Ponto • Algebraic Topology, A. Hatcher 1. Reduced and relative homology and cohomology Definition 1.1. For A ⊂ X a sub-complex, let Cn(A) ⊂ Cn(X) as the cells of A are a subset of the cells of X. • Let C∗(X; A) = C∗(X)=C∗(A) and H∗(X; A) = H∗(C∗(X; A)). • Let ∗ ∗ ∗ C (X; A) = ker(C (X) ! C (A)) = Hom(C∗(X; A); Z) and H∗(X) = H∗(C∗(X; A)). We can give similar definitions for H∗(X; A; M) and H∗(X; A; M): Definition 1.2. For X a based CW-complex with based point ∗ a zero cell, 1 2 MATH 6280 - CLASS 27 • Let Ce∗(X) = C∗(X)=C∗(∗) and He∗(X) = H∗(Ce∗(X)). • Let ∗ ∗ ∗ Ce (X) = ker(C (X) ! C (∗)) = Hom(Ce∗(X); Z) and He ∗(X) = H∗(Ce∗(X)). ∼ Remark 1.3. Note that C∗(X; A) = C∗(X)=C∗(A) = Ce∗(X=A). Indeed, X=A has a CW-structure all cells in A identified to the base point and one cell for each cell not in A. Therefore, we have a natural isomorphism ∼ H∗(X; A) = He∗(X=A): Similarly, H∗(X; A) =∼ He ∗(X=A) Unreduced cohomology can be though of as a functor from the homotopy category of pairs of topological spaces to abelian groups: H∗(−; −; M): hCWpairs ! Ab where H∗(X; M) = H∗(X; ;; M): 2.
    [Show full text]
  • Motives, Volume 55.2
    http://dx.doi.org/10.1090/pspum/055.2 Recent Titles in This Series 55 Uwe Jannsen, Steven Kleiman, and Jean-Pierre Serre, editors, Motives (University of Washington, Seattle, July/August 1991) 54 Robert Greene and S. T. Yau, editors, Differential geometry (University of California, Los Angeles, July 1990) 53 James A. Carlson, C. Herbert Clemens, and David R. Morrison, editors, Complex geometry and Lie theory (Sundance, Utah, May 1989) 52 Eric Bedford, John P. D'Angelo, Robert £. Greene, and Steven G. Krantz, editors, Several complex variables and complex geometry (University of California, Santa Cruz, July 1989) 51 William B. Arveson and Ronald G. Douglas, editors, Operator theory/operator algebras and applications (University of New Hampshire, July 1988) 50 James Glimm, John Impagliazzo, and Isadore Singer, editors, The legacy of John von Neumann (Hofstra University, Hempstead, New York, May/June 1988) 49 Robert C. Gunning and Leon Ehrenpreis, editors, Theta functions - Bowdoin 1987 (Bowdoin College, Brunswick, Maine, July 1987) 48 R. O. Wells, Jr., editor, The mathematical heritage of Hermann Weyl (Duke University, Durham, May 1987) 47 Paul Fong, editor, The Areata conference on representations of finite groups (Humboldt State University, Areata, California, July 1986) 46 Spencer J. Bloch, editor, Algebraic geometry - Bowdoin 1985 (Bowdoin College, Brunswick, Maine, July 1985) 45 Felix E. Browder, editor, Nonlinear functional analysis and its applications (University of California, Berkeley, July 1983) 44 William K. Allard and Frederick J. Almgren, Jr., editors, Geometric measure theory and the calculus of variations (Humboldt State University, Areata, California, July/August 1984) 43 Francois Treves, editor, Pseudodifferential operators and applications (University of Notre Dame, Notre Dame, Indiana, April 1984) 42 Anil Nerode and Richard A.
    [Show full text]
  • Fine Compactified Jacobians of Reduced Curves
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 369, Number 8, August 2017, Pages 5341–5402 http://dx.doi.org/10.1090/tran/6823 Article electronically published on March 6, 2017 FINE COMPACTIFIED JACOBIANS OF REDUCED CURVES MARGARIDA MELO, ANTONIO RAPAGNETTA, AND FILIPPO VIVIANI Abstract. To every singular reduced projective curve X one can associate many fine compactified Jacobians, depending on the choice of a polarization on X, each of which yields a modular compactification of a disjoint union of a finite number of copies of the generalized Jacobian of X. Weinvestigatethe geometric properties of fine compactified Jacobians focusing on curves having locally planar singularities. We give examples of nodal curves admitting non- isomorphic (and even nonhomeomorphic over the field of complex numbers) fine compactified Jacobians. We study universal fine compactified Jacobians, which are relative fine compactified Jacobians over the semiuniversal deforma- tion space of the curve X. Finally, we investigate the existence of twisted Abel maps with values in suitable fine compactified Jacobians. Contents 1. Introduction 5341 2. Fine compactified Jacobians 5349 3. Varying the polarization 5358 4. Deformation theory 5368 5. Universal fine compactified Jacobians 5373 6. Abel maps 5387 7. Examples: Locally planar curves of arithmetic genus 1 5395 Acknowledgments 5399 References 5399 1. Introduction Aim and motivation. The aim of this paper is to study fine compactified Jaco- bians of a reduced projective connected curve X over an algebraically closed field k (of arbitrary characteristic), with special emphasis on the case where X has locally planar singularities. Recall that given such a curve X,thegeneralized Jacobian J(X)ofX, defined to be the connected component of the Picard variety of X containing the identity, parametrizes line bundles on X that have multidegree zero, i.e.
    [Show full text]
  • Msc Lecture: Enumerative Geometry
    MSc Lecture: Enumerative Geometry Lecture by Helge Ruddat; Exercises by Tim Gräfnitz; Tu & We 16:15 – 17:45 on Zoom Description Hermann Schubert developed an effective method for solving counting problems in geometry in his book "Kalkül der abzählenden Geometrie" that appeared in 1879. A basic example is the question “how many lines in R^3 meet four given lines in general position?”. Do you know the answer? The calculus is now known as “Schubert calculus”, see (1),(2),(3). Schubert calculus is immensely powerful, e.g. you can use it to find that the number of twisted cubic curves in 3-space that are tangential to 12 quadric surfaces is 5.819.539.783.680. Even though it clearly worked, for a long time it has been unknown what the theoretical basis for the calculus truly is, i.e. nobody knew why it worked. It became the famous Hilbert problem 15 to find a theoretical basis for Schubert calculus. This was looong time ago. Today we know that intersection theory, the spaces of stable maps and Gromov-Witten theory form the right theoretical framework that underlies Schubert calculus - though there are also competing alternative approaches like Donaldson-Thomas theory. The purpose of this lecture is to introduce the basics of Gromov-Witten theory with a particular view to mirror symmetry and thus the relationship with tropical curve counting. Prerequisites When taking this class, you should have some basic understanding of algebraic geometry or complex geometry or complex analysis, that is you should either know what an algebraic variety is or know what a complex manifold or Riemann surface is.
    [Show full text]
  • An Introduction to Iwasawa Theory
    An Introduction to Iwasawa Theory Notes by Jim L. Brown 2 Contents 1 Introduction 5 2 Background Material 9 2.1 AlgebraicNumberTheory . 9 2.2 CyclotomicFields........................... 11 2.3 InfiniteGaloisTheory . 16 2.4 ClassFieldTheory .......................... 18 2.4.1 GlobalClassFieldTheory(ideals) . 18 2.4.2 LocalClassFieldTheory . 21 2.4.3 GlobalClassFieldTheory(ideles) . 22 3 SomeResultsontheSizesofClassGroups 25 3.1 Characters............................... 25 3.2 L-functionsandClassNumbers . 29 3.3 p-adicL-functions .......................... 31 3.4 p-adic L-functionsandClassNumbers . 34 3.5 Herbrand’sTheorem . .. .. .. .. .. .. .. .. .. .. 36 4 Zp-extensions 41 4.1 Introduction.............................. 41 4.2 PowerSeriesRings .......................... 42 4.3 A Structure Theorem on ΛO-modules ............... 45 4.4 ProofofIwasawa’stheorem . 48 5 The Iwasawa Main Conjecture 61 5.1 Introduction.............................. 61 5.2 TheMainConjectureandClassGroups . 65 5.3 ClassicalModularForms. 68 5.4 ConversetoHerbrand’sTheorem . 76 5.5 Λ-adicModularForms . 81 5.6 ProofoftheMainConjecture(outline) . 85 3 4 CONTENTS Chapter 1 Introduction These notes are the course notes from a topics course in Iwasawa theory taught at the Ohio State University autumn term of 2006. They are an amalgamation of results found elsewhere with the main two sources being [Wash] and [Skinner]. The early chapters are taken virtually directly from [Wash] with my contribution being the choice of ordering as well as adding details to some arguments. Any mistakes in the notes are mine. There are undoubtably type-o’s (and possibly mathematical errors), please send any corrections to [email protected]. As these are course notes, several proofs are omitted and left for the reader to read on his/her own time.
    [Show full text]
  • Automorphic Functions and Fermat's Last Theorem(3)
    Jiang and Wiles Proofs on Fermat Last Theorem (3) Abstract D.Zagier(1984) and K.Inkeri(1990) said[7]:Jiang mathematics is true,but Jiang determinates the irrational numbers to be very difficult for prime exponent p.In 1991 Jiang studies the composite exponents n=15,21,33,…,3p and proves Fermat last theorem for prime exponenet p>3[1].In 1986 Gerhard Frey places Fermat last theorem at the elliptic curve that is Frey curve.Andrew Wiles studies Frey curve. In 1994 Wiles proves Fermat last theorem[9,10]. Conclusion:Jiang proof(1991) is direct and simple,but Wiles proof(1994) is indirect and complex.If China mathematicians had supported and recognized Jiang proof on Fermat last theorem,Wiles would not have proved Fermat last theorem,because in 1991 Jiang had proved Fermat last theorem.Wiles has received many prizes and awards,he should thank China mathematicians. - Automorphic Functions And Fermat’s Last Theorem(3) (Fermat’s Proof of FLT) 1 Chun-Xuan Jiang P. O. Box 3924, Beijing 100854, P. R. China [email protected] Abstract In 1637 Fermat wrote: “It is impossible to separate a cube into two cubes, or a biquadrate into two biquadrates, or in general any power higher than the second into powers of like degree: I have discovered a truly marvelous proof, which this margin is too small to contain.” This means: xyznnnn+ =>(2) has no integer solutions, all different from 0(i.e., it has only the trivial solution, where one of the integers is equal to 0). It has been called Fermat’s last theorem (FLT).
    [Show full text]
  • Introduction to L-Functions: Dedekind Zeta Functions
    Introduction to L-functions: Dedekind zeta functions Paul Voutier CIMPA-ICTP Research School, Nesin Mathematics Village June 2017 Dedekind zeta function Definition Let K be a number field. We define for Re(s) > 1 the Dedekind zeta function ζK (s) of K by the formula X −s ζK (s) = NK=Q(a) ; a where the sum is over all non-zero integral ideals, a, of OK . Euler product exists: Y −s −1 ζK (s) = 1 − NK=Q(p) ; p where the product extends over all prime ideals, p, of OK . Re(s) > 1 Proposition For any s = σ + it 2 C with σ > 1, ζK (s) converges absolutely. Proof: −n Y −s −1 Y 1 jζ (s)j = 1 − N (p) ≤ 1 − = ζ(σ)n; K K=Q pσ p p since there are at most n = [K : Q] many primes p lying above each rational prime p and NK=Q(p) ≥ p. A reminder of some algebraic number theory If [K : Q] = n, we have n embeddings of K into C. r1 embeddings into R and 2r2 embeddings into C, where n = r1 + 2r2. We will label these σ1; : : : ; σr1 ; σr1+1; σr1+1; : : : ; σr1+r2 ; σr1+r2 . If α1; : : : ; αn is a basis of OK , then 2 dK = (det (σi (αj ))) : Units in OK form a finitely-generated group of rank r = r1 + r2 − 1. Let u1;:::; ur be a set of generators. For any embedding σi , set Ni = 1 if it is real, and Ni = 2 if it is complex. Then RK = det (Ni log jσi (uj )j)1≤i;j≤r : wK is the number of roots of unity contained in K.
    [Show full text]