Brian Conrad

Professor
Department of Mathematics
University of Michigan
530 Church Street
Ann Arbor, MI 48109-1043, USA

office: 2856 East Hall
email: bdconrad "at" umich "dot" edu
phone: (734) 936-9974
fax: (734) 763-0937





Do I lecture too quickly?




A real-world application of relative comparison theorems for varieties (modulo misspellings). Note the striking differences between properties of natural and synthetic fibers, even in characteristic 0.



My mathematical work is supported by NSF grant DMS-0600919.

If you are taking a class from me then you should find a functioning link to it below (with course information, homeworks, and so on).

If several days go by without a response to email, I am probably away from home.


  • Number theory and representation theory seminar    Analytic number theory, algebraic number theory, arithmetic geometry, automorphic forms, and even some things not beginning with the letter "a". It's a big subject.

  • Math 396   

  • Math 776   

  • Some number theory exercises    If you are learning algebraic number theory, maybe you'll enjoy some of the homework assignments or handouts from my Math 676 class.

  • Undergraduate Math Club

  • Learning Seminar in Number Theory    This compiles some past write-ups in the yearly learning seminar (co-organized with Skinner during 2001-06, and with DeBacker in 2007-08) for students and postdocs on the "algebraic" side of number theory. This year there will be no write-ups since the seminar is working through a well-written book (by Bushnell and Henniart).

  • My daily schedule    In case you are trying to track me down (and are not with the IRS), this may be helpful.

  • Ross Program, PROMYS Program, and Epsilon Fund    Some mathematicians are entirely self-created; for the rest of us, assistance and encouragement early on is helpful. These programs do an excellent job in that direction.

    Research



    First, some caveats.

    0. Links to files undergoing revision may be temporarily disabled.

    1. If you want to know where something below was published (if it has appeared in print), then please look on MathSciNet.

    2. Someday I should join the 21st century and post papers on the arxiv, at least after I can no longer make changes to the version to be published. In particular, I should post my old papers that have already appeared. Unfortunately (?), I tend to rewrite things too many times and don't wish to keep posting revision on top of revision on the arxiv. Posting things here (even in far-from-final state) partially compensates for my pedantry, I hope.



    Pseudo-reductive groups (with O. Gabber, G. Prasad).   pdf

    Moishezon spaces in rigid geometry.   pdf

    Non-archimedean analytification of algebraic spaces (with M. Temkin).   pdf

    CM lifting of abelian varieties (with C-L. Chai and F. Oort).   pdf

    Finiteness of class numbers for algebraic groups.   pdf

    Chow's K/k-image and K/k-trace, and the Lang-Neron theorem (via schemes).   pdf
    This largely expository note improves the non-effective classical version of the Chow regularity theorem, and generally uses infinitesimal methods and flat descent to replace Weil-style proofs that I could not understand. It is also cited in "Root numbers and ranks in positive characteristic" below.

    Prime specialization in higher genus II (with K. Conrad and R. Gross).   pdf

    Prime specialization in higher genus I (with K. Conrad).   pdf

    Higher-level canonical subgroups in abelian varieties.   pdf

    Modular curves and rigid-analytic spaces.   pdf

    Relative ampleness in rigid-analytic geometry.   pdf

    Root numbers and ranks in positive characteristic (with K. Conrad and H. Helfgott).   pdf

    Arithmetic moduli of generalized elliptic curves.   pdf
    Edixhoven has a different approach to these matters when the moduli stacks are Deligne-Mumford.

    Prime specialization in genus 0 (with K. Conrad and R. Gross).   pdf

    Modular curves and Ramanujan's continued fraction (with B. Cais).   pdf
    A short erratum to this paper.   pdf

    "On quasi-reductive group schemes" (by G. Prasad and J-K. Yu).   pdf
    I provided the appendix.

    The Möbius function and the residue theorem (with K. Conrad).   pdf
    This is a companion to "Prime specialization in genus 0" above.

    J1(p) has connected fibers (with S. Edixhoven and W. Stein).   pdf

    Finite-order automorphisms of a certain torus.   pdf

    Gross-Zagier revisited (with appendix by W. R. Mann).   pdf

    Power laws for monkeys typing randomly: the case of unequal probabilities (with M. Mitzenmacher).   pdf

    Approximation of versal deformations (with A. J. de Jong).   pdf

    A modern proof of Chevalley's theorem on algebraic groups.   pdf

    Component groups of purely toric quotients (with W. Stein).   pdf

    On the modularity of elliptic curves over Q (with C. Breuil, F. Diamond, R. Taylor).   pdf

    Inertia groups and fibers.   pdf        Correction to "Inertia groups and fibers"   pdf

    Irreducible components of rigid spaces.   pdf

    Modularity of certain potentially Barsotti-Tate representations (with F. Diamond and R. Taylor).   pdf

    Remarks on mod-ln representations with l = 3, 5 (with S. Wong).   pdf

    Ramified deformation problems.   pdf

    Finite group schemes over bases with low ramification.   pdf


    Books


    Here are some books, pre-books, etc.



    Grothendieck duality and base change   tar
    Clarifications and corrections to "Grothendieck duality and base change"   pdf
    An addendum to Chapter 5 of "Grothendieck duality and base change"   pdf



    My book on Galois representations and modular forms is still undergoing revisions. (It is now shorter than it was before, with much better proofs; if you have an earlier version, please burn it.) The following link has been disabled.

    Modular forms and the Ramanujan conjecture   pdf



    Here is a very rough draft of a book with M. Lieblich (more to be included, such as exercises, applications to the theory of the monodromy pairing and the local Shimura-Taniyama formula, and much to be revised); comments are welcome!

    Galois representations arising from p-divisible groups   pdf


    Notes


    Here are some expository things I have written. These may be updated without warning. Links to files undergoing revision may be temporarily disabled.



    The basic guiding principles for deciding what to write up and post here are two-fold.

    1. Interesting (to me?) alternative proofs of known results, or explanations of important topics that can be difficult for beginners to learn are fair game. (As the literature improves, I may augment postings accordingly.)

    2. With all due respect to the role of Andre Weil in the development of algebraic geometry, nobody should ever again have to read Weil's "Foundations of algebraic geometry": EGA must be an adequate logical starting point for the subject. Hence, if there is an important, interesting, or useful theorem whose published proofs use pre-Grothendieck methods in such an essential way so as to render them impenetrable to later generations (or to me?), and if I have a need to understand why the theorem is true and consequently I figure out a scheme-theoretic proof, then I'll try to write it up.



    Some notes on topologizing the adelic points of schemes, unifying the viewpoints of Grothendieck and Weil.   pdf

    Luminy lecture notes on Kisin's paper "Crystalline representations and F-crystals". The final section on finite group schemes will undergo some revision. Comments welcome (not yet in final form).   pdf

    2007 Arizona Winter School lectures on rigid geometry   pdf
    This will appear as a chapter in a book produced by the Winter School.

    Formal GAGA for Artin stacks.   pdf
    The paper "On proper coverings of Artin stacks" by M. Olsson gives a different point of view on this topic.

    Rosenlicht's unit theorem   pdf
    Rosenlicht proved an extremely interesting theorem on the structure of units on a product of varieties. Since Rosenlicht's proof doesn't address the generality cited without proof in SGA7, and it was written in archaic terminology, this short note gives a "modern" treatment (and eliminates the assumption on existence of rational points).

    Integration in elementary terms   pdf
    Have you told your calculus class that the Gaussian integral cannot be computed in elementary terms, or likewise for elliptic integrals when teaching a course on Riemann surfaces, but you personally have no idea how such a (useless but pretty) result is proved? If so, then you should definitely read Rosenlicht's article "Integration in finite terms" in volume 79 of the American Mathematical Monthly (in 1972). But if you have to explain the proof to talented high school students, this short note (based on a talk I gave to such students at CMI) may be helpful.

    Keel-Mori theorem via stacks.   pdf
    In this note, we use stacks instead of groupoids to give a streamlined proof of the Keel-Mori existence theorem for coarse moduli spaces (useless bonus: noetherian hypotheses eliminated).

    Minimal models for elliptic curves.   pdf
    The book "Algebraic geometry and arithmetic curves" by Q. Liu treats much (but not all) of this material.

    Cohomological descent.   pdf
    WARNING: these notes are essentially written in the context of topology and etale sites; this is adequate for arithmetic applications (potential semistability of l-adic cohomology via alterations) but is woefully inadequate for geometric applications (quasi-coherent cohomology on Artin stacks). The level of generality (and aspects of the writing style) will be much-improved in the next version so that the notes suffice to treat geometric applications too.

    Descent for coherent sheaves on rigid-analytic spaces.   pdf
    The paper "Coherent modules and their descent on relative rigid spaces" by S. Bosch and U. Görtz gives a different approach to this topic (pre-dating mine, as I found out later).

    Nagata's compactification theorem (via schemes).   pdf
    This is a detailed exposition of some private notes of Deligne. The paper "On compactification of schemes" by W. Lütkebohmert gives a different approach to this topic in the noetherian case, but Deligne's approach gives some striking results of general interest for rational maps. If you can understand what is going on in Nagata's original paper then you are either very old or very smart (or both!). These notes were eventually published in Journal of the Ramanujan Math Society (vol. 22, 2007). In the published version there was a tiny mistake in one definition in the middle of a long proof, but this error was localized and easy to fix. Here is the erratum (but the above link is to a file in which the error is corrected).   pdf

    The classical Riemann-Hilbert correspondence.   pdf


    The Main Theorem of Complex Multiplication.   pdf
    A scheme-theoretic translation of beautiful arguments in the book of Shimura and Taniyama; don't ask me how to understand the methods in their original pre-Grothendieck setting. For most of the bibliographic references in this file, see the 2004-05 Learning Seminar in Number Theory linked near the top of this web page.

    Some exercises on group schemes and p-divisible groups. Homework 1: pdf. Homework 2: pdf. Homework 3: pdf. Homework 4: pdf.
    These are the "homework" exercises for a week-long instructional workshop for graduate students co-organized with Andreatta and Schoof in May, 2005. These were too many exercises for the amount of time given. But if you have more than a week to spend on them then perhaps some of the exercises will be helpful or interesting if you are taking your first steps in this direction. Since the lectures that naturally accompany these exercises are not recorded here, a recommended substitute is some of the written lecture notes from the 2004-05 Learning Group seminar (see above) and a lot of asparagus.


    What do these 5 people have in common?