Title

Again, please find a solution 1 2
Emmy Murphy Is a Mathematician Who Finds Beauty in Flexibility
Salary in Singapore
If you want to prove anything significant, you need to go crackpot mode 1 2
When do you think an AGI will be a better mathematician than, e.g., Von Neumann?
Taking the wife with you for a conference 1 2
Is CUNY anti Semitic? 1 2 3 4 5
PhD advisers at random places with a good track record 1 2 3
Examples of mathematicians moving to lesser departments to avoid 1 2
the two subjects most associated to mathematics in the layman imagination are
I knew Math was going woke when the Annals of combinatorics
Sitting in LDT conference.
Are all Annals papers really excellent? 1 2
Job market after getting a job 1 2
Why did Minhyong Kim leave Oxford?
What are the best places for conference tourism? 1 2
The olden days
How hard to get in EPFL
Good introductory books on chaos theory and its practical implications 1 2
The most important problem in your sub-sub-field
Best MJR IDs 1 2 3 4 5
[nuke] Novikov Conjecture
At what age should one grow their Einstein hair out like Carlos Rovelli & Michio
How does Eric Weinstein have so much free time? 1 2 3 4
What's your appraisal of Aaron TK Chow? 1 2 3
Indian job market rumours 1 2
Jacob Ziv has died
Why did Teleman return to Berkeley from Oxford?
How high is the salary of an assistant professor (US tenure-track equivalent) in
Have you told your parents you’re an undergrad yet?
Rough Job Market 1 2
Top mathematicians still in Russia 1 2
What is the highest form of technique you hope to achieve?
What's your favorite Soviet? 1 2
Are pure mathematicians underrated in terms of fame & acclaim? 1 2
PSU vs UMD 1 2
Yay I got a TT offer at a top ten!
Will the program "toposes as bridges" lead to a rain of results?
Proof techniques that you can’t support or of which you are suspicious 1 2 3
Good enough Putnam score to list for the top grad schools (Harvard, MIT, etc.) 1 2 3

Pretentious number theory

Top Mathematician
ldwl

What is the philosophy behind the program? What are the successes? I read Granville's survey (not very carefully, admittedly) and came up with the impression that they are just reproving well known theorems in different formalism. I am sure I am mistaken which is why I am too embarrassed to ask this on MO. Any insight will be truly appreciated!

1 weekldwl
Quote 1 Up 0 Down Report
Top Mathematician
wqbc

What is the philosophy behind the program? What are the successes? I read Granville's survey (not very carefully, admittedly) and came up with the impression that they are just reproving well known theorems in different formalism. I am sure I am mistaken which is why I am too embarrassed to ask this on MO. Any insight will be truly appreciated!
I think Granville was happy with the pretentious approach just giving more intuitive proofs for classical facts (which it does do, at least in my experience). However, Sound really wanted the ideas to lead to new results, and there are now many examples of results first proven by pretentious methods. Terry Tao, Dimitris Koukoulopoulos, Adam Harper, and Sacha Mangerel have some results which use these ideas (perhaps most famously, Tao's resolution of the discrepancy conjecture).
I think the first really big result proven using pretentious methods was Soundararajan's weak subconvexity published in Annals circa 2010.

1 weekwqbc
Quote 1 Up 2 Down Report
Top Mathematician
maxw

I think Granville was happy with the pretentious approach just giving more intuitive proofs for classical facts (which it does do, at least in my experience).
Do you really claim that a pretentious proof of PNT is more intuitive than the standard proof?

1 weekmaxw
Quote 1 Up 0 Down Report
Top Mathematician
wuhs

What is the least pretentious number?

1 weekwuhs
Quote 0 Up 0 Down Report
Top Mathematician
ffqk

I think Granville was happy with the pretentious approach just giving more intuitive proofs for classical facts (which it does do, at least in my experience).
Do you really claim that a pretentious proof of PNT is more intuitive than the standard proof?
Not necessarily. But these ideas tell you things like that the classical zero-free region is morally equivalent to saying $μ (n)$ doesn't pretend to be the $n^{- i t}$ , and that a Siegel zero for $L (s, χ_{d})$ is essentially $μ (n)$ pretending to be $χ_{d} (n)$ for some real quadratic character $χ_{d}$ , which are both ideas I find way more intuitive than the classical formulation of these concepts.

1 weekffqk
Quote 4 Up 0 Down Report
Top Mathematician
eypz

[...]
Do you really claim that a pretentious proof of PNT is more intuitive than the standard proof?
Not necessarily. But these ideas tell you things like that the classical zero-free region is morally equivalent to saying $μ (n)$ doesn't pretend to be the $n^{- i t}$ , and that a Siegel zero for $L (s, χ_{d})$ is essentially $μ (n)$ pretending to be $χ_{d} (n)$ for some real quadratic character $χ_{d}$ , which are both ideas I find way more intuitive than the classical formulation of these concepts.
Sure. They are somehow the way one should think about things, but arguably not the way one should actually prove things.

1 weekeypz
Quote 1 Up 0 Down Report
Top Mathematician
tvfy

[...]
Not necessarily. But these ideas tell you things like that the classical zero-free region is morally equivalent to saying $μ (n)$ doesn't pretend to be the $n^{- i t}$ , and that a Siegel zero for $L (s, χ_{d})$ is essentially $μ (n)$ pretending to be $χ_{d} (n)$ for some real quadratic character $χ_{d}$ , which are both ideas I find way more intuitive than the classical formulation of these concepts.
Sure. They are somehow the way one should think about things, but arguably not the way one should actually prove things.
Yeah, I agree with that.

1 weektvfy
Quote 0 Up 0 Down Report
Top Mathematician
kmmv

I think the first really big result proven using pretentious methods was Soundararajan's weak subconvexity published in Annals circa 2010.
Nah, it was the result on character sums beating Polya-Vinogradov.

1 weekkmmv
Quote 2 Up 0 Down Report
Top Mathematician
zbuj

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).

1 weekzbuj
Quote 1 Up 0 Down Report
Top Mathematician
zbuj

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).

1 weekzbuj
Quote 2 Up 0 Down Report
Top Mathematician
xlca

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).
Granville acknowledges Halasz. When he gave a talk about this stuff at Princeton ten or so years ago he started it by talking about Halasz's theorem and spent a good chunk of the time saying how visionary it was.

1 weekxlca
Quote 1 Up 0 Down Report
Top Mathematician
zczo

The problem is that the proof of Halasz is harder to understand than the proof of PNT.

1 weekzczo
Quote 0 Up 0 Down Report
Top Mathematician
dyfn

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).
Granville acknowledges Halasz. When he gave a talk about this stuff at Princeton ten or so years ago he started it by talking about Halasz's theorem and spent a good chunk of the time saying how visionary it was.
I guess zbuj wasn't suggesting that Granville doesn't acknowledging Halasz; but rather that it is common these days to say "pretentious number theory as developed by Granville-Soundararajan" when using these ideas, and not acknowledge Halasz at all, unless Halasz's theorem is explicitly being used. Perhaps one should start calling the pretentious pseudometric after Halasz to commemorate his contributions.

1 weekdyfn
Quote 2 Up 0 Down Report
Top Mathematician
fhfp

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).
Thanks. This answers the most obvious question to an outsider.

1 weekfhfp
Quote 5 Up 0 Down Report
Top Mathematician
cahh

Let's also not forget Halasz did good work in this direction long before Granville (and the name "pretentious", which, incidentally, was suggested to Granville by Friedlander, as a way to pull Granville's leg).
Thanks. This answers the most obvious question to an outsider.
If you are not being sarcastic, the "real" meaning of pretentiousness comes from "pretending to be $n^{i t}$ "

1 weekcahh
Quote 0 Up 0 Down Report
Top Mathematician
hqbf

[...]
Thanks. This answers the most obvious question to an outsider.
If you are not being sarcastic, the "real" meaning of pretentiousness comes from "pretending to be $n^{i t}$ "
That's just the excuse. Granville has a habit of such things -- he's been trying to make Landau-Selberg-Delange happen for something that's been called Selberg-Delange for decades, just so he can write papers on the LSD method.

1 weekhqbf
Quote 2 Up 0 Down Report
Top Mathematician
wypu

when I saw the title and “pretentious” I was expecting for a shitpost. cannot believe it’s a real name of an actual subject

1 weekwypu
Quote 2 Up 0 Down Report
Top Mathematician
Preview

N

0 secondsPreview
Quote 0 Up 0 Down Report

Your screen is so tiny that we decided to disable the captcha and posting feature

Formatting guidelines: Commonmark with no images and html allowed. $ and $$ for LaTeX. Input previewed in last post of thread. For a link to be allowed it must include the http(s) tag and come from the list of allowed domains.