21
$\begingroup$

This is a question of mathematical writing. Let me know if it would be better suited to academia.SE.

I am writing a paper in invariant theory. It uses some slightly heavy commutative algebra. There are a few points where I use facts of which I am convinced, and I believe they are widely known, but I am not sure how to look for a print reference. For example:

1) "flat of relative dimension $n$" is preserved under arbitrary base change

2) the functor of invariants commutes with flat base change

I learned (1) from Ravi Vakil's algebraic geometry notes (exercise 24.5.L). I learned (2) from the thesis of my coauthor (the proof is easy). There are other results like this I'm not thinking of right now that I probably learned from the Stacks Project.

I guess a thesis can be cited in print if needed, but it seems inappropriate to cite either Vakil's notes or the Stacks Project in a print article since they have not undergone formal peer-review, as authoritative as they are. I imagine I might be able to find one or both of these things in EGA, but then again, I might not, and I would spend a lot of time looking. As a young scholar, I do not yet feel I have a beat on what is regarded as common knowledge. My question is:

What guidelines does one use to decide if results such as these require a reference in an article or can be used as common knowledge?

$\endgroup$
7
  • 28
    $\begingroup$ I would not worry too much about this. E.g. Stacks Project is probably much better peer-reviewed than an average paper, and same applies to Ravi Vakil's lecture notes... $\endgroup$ Nov 28, 2017 at 17:20
  • 1
    $\begingroup$ yes, I think so. $\endgroup$ Nov 28, 2017 at 17:36
  • 4
    $\begingroup$ The title of the question makes no sense. Vakil's FOAG and Stacks are specific references. If you mean "printed", say "printed"! $\endgroup$ Nov 28, 2017 at 19:49
  • 1
    $\begingroup$ Both (1) and (2) are definitely "common knowledge" for practicing algebraic geometers, so (as John Pardon notes in his comment) if you state such a fact when being used then it doesn't seem necessary to give a reference for its proof. The main issue with giving references to virtual rather than printed sources is that the numerical label might change (say for Vakil's notes, and if you weren't to use the Tag system for the Stacks Project). Note also that in Vakil's notes your (1) is an Exercise (currently 24.5.K), so it is "bad" to use that as a reference (as Pace Nielsen notes). $\endgroup$
    – nfdc23
    Nov 28, 2017 at 20:27
  • 5
    $\begingroup$ For (1) you could give as a reference [EGA IV$_2$, 4.1.4] (and [EGA IV$_3$, 9.2.6.1] depending on what class of fibers you intend to check the fibral dimension), though if you intend (1) to entail equidimensional fibers then this should be made clear and a suitable reference is [EGA IV$_3$, 9.9.3(ii)]. $\endgroup$
    – nfdc23
    Nov 28, 2017 at 20:45

4 Answers 4

13
$\begingroup$

I agree with RvDdB's answer, but want to add some thoughts. To quote from another SE answer of mine:

First, my general philosophy is that one should try to make papers reasonably accessible to young people who have not spent months or years working on this specific problem. I generally feel that most math papers should do a better job of providing references than they do.

There I also espouse the view that writing (and reading) papers and getting feedback (via reviews, discussions, questions during/after talks) provides a process whereby you learn what is more common knowledge to other people in your field and what is less common. When you are young (and sometimes even when you're not), you probably don't have a good sense of this, so it's good to err on the safe side of including a citation if you're not sure, and often a referee will help you out by suggesting a citation is needed (or less often, not needed).

But one rule of thumb is: think about what you knew before you started working on this specific problem. You may need to modify this depending on your situation (e.g., if you started working on the problem before you knew anything about the field), but perhaps thinking about this sentiment is still helpful.

Anyway, the main thing I wanted to add to the already existing answers is: think about your intended audience. I would give this advice for writing the paper in general, and it's also applicable to your particular question. For instance, if I'm writing a paper targeted at people who do local representation theory I might not bother to reference some basic properties of the local Jacquet-Langlands correspondence known 30-40 years ago (e.g., the correspondence for 1-dimensionals of division algebras), but if I think my paper should be of interest to, say, people in classical modular forms who aren't all experts in local representation theory, then I definitely will. (I'm not saying that the amount of time passed since a result was known should be the only factor here--the older less well known facts I would also cite.)

Do you think your paper will/should be of interest to people who aren't intimately familiar with properties of base change? If so, try to provide a citation.

$\endgroup$
24
$\begingroup$

As a person who is very precise, I have thought about this question quite a bit (and discussed it with many other mathematicians, junior and senior). Some observations:

  1. You can never give references for everything you use. If you give a reference that an arbitrary base change of a flat map is flat, do you also give a reference that arbitrary base change exists? Etc.
  2. Thus, you have to draw the line somewhere. Where you draw this line is to some extent up to you; I have certainly seen different authors with quite different approaches to this. General conventions may also vary from field to field; e.g. I have often had the impression that post-Grothendieck algebraic geometry is more precise with references than some other areas (but maybe this is only because I understand the material better!).
  3. I could imagine that the referees of your (future?) papers might have opinions on it as well. In case of disagreement, your own opinion might not matter so much anyway.
  4. From taking some mandatory research compliance module at some point, I learned that fields that are not mathematics, especially some of the humanities, are much more precise about attribution of ideas in referencing.

Here is a concrete example of the latter:

Example. Let's say — for the sake of argument — that you are an algebraic geometer who wants to use a relative version of Chow's lemma. Some academics would argue (and I think they have a point) that you then have to cite Chow's original article. It seems that nobody in mathematics does this (probably for a good reason!).

A possible compromise could be to cite EGA, e.g. because it might be the first source in which the precise version that you need occurs with complete proof. Or you can cite the Stacks project for the same result, because you think this resource is more accessible to the average reader than EGA. Or you can decide that Chow's lemma is sufficiently well-known that it does not need a reference at all. An algebraic geometer would probably do the latter, whereas a non-expert would be more likely to give a reference.

This is a kind of easy example where the result really is well-known. It gets trickier when you use more specialised knowledge. For example, I found out (by giving talks at multiple universities) that certain (easy) results that are well-known to birational geometers may be unfamiliar to arithmetic geometers (and vice versa).

Closing remark. It's a judgement call. Asking people for advice (as you do here) is definitely an ok thing to do, but eventually you will figure out for yourself what your citation protocol is.

I am personally of the opinion that it can't hurt to err on the safe side. An in-line citation only takes up a few characters, and does not significantly disrupt the flow of the argument. But my own style will be more precise than most people's, so you don't have to do what I do. (And I have not yet dealt with referees, which I anticipate will have a significant impact on my maths writing overall.)


As per John Pardon's suggestion: there are a lot of other things to take into account when citing other work. For example, citing an entire book might not be a great idea; in general you want your references to be as precise as possible. A great video about this and many other bad writing habits (more than just referencing) is Serre's How to write mathematics badly.

Citing works available online (preferably for free) is the most convenient for the reader. However, I personally think sometimes the "correct" reference is not always the one that is the easiest to find. In principle most working mathematicians should have access to journals that are not available online (e.g. Astérisque) through their libraries. But there is definitely something to be said for just citing the most convenient source, so this is another judgement call.

$\endgroup$
5
  • 12
    $\begingroup$ +1 great answer. Let me add that it's also helpful to state precisely the result being used/cited! (you wouldn't think this would need to be said, but apparently it does . . .). If a citation is omitted or not so easily accessible, then it's often easy for a reader to look up (or ask about, or prove for themselves) the result in question, provided it has been stated clearly in the paper. This is actually near the top of my list of complaints about citations, not stating precisely the result being cited. $\endgroup$ Nov 28, 2017 at 20:12
  • 1
    $\begingroup$ @JohnPardon: totally agree. Perhaps Serre's How to write mathematics badly should be mandatory viewing (imprecise references is one of the examples given). $\endgroup$ Nov 28, 2017 at 20:50
  • $\begingroup$ Great answer! As an outsider to algebraic geometry, can you say a few words about the Stacks project, or perhaps provide a link to it? Thanks in advance. $\endgroup$
    – GH from MO
    Nov 29, 2017 at 1:49
  • 2
    $\begingroup$ @GHfromMO ah, the irony of not giving proper references in a post about referencing. I added a wikipedia link for EGA (containing DOIs for almost all volumes) and a direct link to the Stacks project. $\endgroup$ Nov 29, 2017 at 2:14
  • 2
    $\begingroup$ @GHfromMO, it is the very first thing you get from google if you search for "stacks project" ;-) $\endgroup$ Nov 29, 2017 at 2:15
17
$\begingroup$

My advise: cite everything which you do not prove in your paper, and which is not included in the standard undergraduate and graduate textbooks in the subject.

It absolutely does not matter whether the source passed a peer review or not. The crucial criterion for a citable source is that it must be AVAILABLE. (Published, posted in the internet). If you suspect that the thing is in EGA, search in EGA. (I suppose that EGA is not a standard graduate text book, otherwise you would have no difficulty searching:-)

What is "common knowledge" and what is not strongly depends on the set of people that you consider. If you want your paper to be read by people, try to make it accessible to maximally broad set. On my opinion, a typical reader of a research paper is a graduate student in the same broad area.

$\endgroup$
4
  • 4
    $\begingroup$ As R. van Dobben de Bruyns’s answer addresses, “cite everything which you do not” is almost literally impossible. Presumably you mean “everything non-trivial” or “everything not totally standard”… but then placing the lines for these comes down to OP’s original question again. $\endgroup$ Nov 28, 2017 at 23:08
  • 2
    $\begingroup$ @Peter LeFanu Lumsdaine: My advisor taught me to cite everything which is not included in standard undergraduate and graduate courses on the subject. So that the paper is accessible to an graduate student in the area. $\endgroup$ Nov 29, 2017 at 1:33
  • 3
    $\begingroup$ I guess it's right what you say about "the typical reader of a research paper;" one might also wonder about the "readers of a typical research paper," and I'm pretty sure usually there aren't any. $\endgroup$ Nov 29, 2017 at 2:42
  • $\begingroup$ @Christian Remling: I agree. This is a sad fact but most papers are not read by anyone. $\endgroup$ Feb 1, 2018 at 3:42
16
$\begingroup$

My general rule of thumb is to ask myself the following questions:

(1) If I pretend that my paper was written by someone else, and I hadn't seen it before, and I want to verify its accuracy, would it be helpful to have a reference for the result?

(2) Could I reproduce said result without a reference? [If not, I should definitely give a reference.]

(3) Would I expect a sufficiently educated graduate student be able to reproduce the result if I gave it as an exercise? [If so, it's probably okay to leave out, or give a short sketch of the proof if it might help.]

(4) Is it a result that I think is nice, and should be more well-known?

(5) Is the original prover likely to be interested in my paper?

Of course, you can just ask your friends in the field whether or not they'd agree with you that it is folk-lore, well-known, etc...

Some referees are very particular about these sorts of things. In those cases, you just add references as they suggest.

Citing exercises is, in my opinion, usually a bad idea unless the exercise comes with a specific solution. So, for instance, I've cited T.Y. Lam's "Exercise" books quite a lot. I've also written a paper giving a counter-example to the (first two!) exercises in Cohn's "Free Rings and Their Relations".

Citing the stacks project is fine, although as with many things on the internet, it could eventually disappear, get updated, etc... You have to take care to give the date of citation, etc...

$\endgroup$
1
  • 2
    $\begingroup$ At least the tag system of the Stacks project is a way to provide long-term support: if you cite a result now, it will not disappear or be unfindable because of renumbering. There is a chapter for obsolete lemmas (still by their original tags). As I understand it, content can be added but not removed or renumbered within a lemma. This is presumably one of the reasons Johan processes all the material himself (even if people send in stuff, which happens a lot), instead of a more wiki-style approach. $\endgroup$ Nov 28, 2017 at 20:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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