Questions tagged [abc-conjecture]
The abc-conjecture tag has no usage guidance.
83
questions
70
votes
7
answers
28k
views
Have there been any updates on Mochizuki's proposed proof of the abc conjecture?
In August 2012, a proof of the abc conjecture was proposed by Shinichi Mochizuki. However, the proof was based on a "Inter-universal Teichmüller theory" which Mochizuki himself pioneered. It was known ...
61
votes
6
answers
45k
views
Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture
Today, somebody posted on the nLab a link to Kirti Joshi's preprint on the arXiv from last month: https://arxiv.org/abs/2210.11635
In that preprint, Kirti Joshi claims that
he agrees with Scholze and ...
60
votes
4
answers
36k
views
Global character of ABC/Szpiro inequalities
In [M24] it is asserted that "considering $abc$ triples of the form $(1,p^n,1+p^n)$ for a prime number $p$ and an arbitrarily large positive integer $n$, one can verify that ABC/Szpiro ...
43
votes
1
answer
19k
views
What is inter-universal geometry?
I wonder what Mochizuki's inter-universal geometry and his generalisation of anabelian geometry is, e.g. why the ABC-conjecture involves nested inclusions of sets as hinted in the slides, or why such ...
37
votes
2
answers
3k
views
A weaker version of the ABC conjecture
I posted this question over at Stackexchange, where a user informed me that it was probably more appropriate for Mathoverflow. Here's to hoping that the answer is out there:
The ABC conjecture states ...
35
votes
2
answers
2k
views
Difference of j-invariant values and the abc conjecture
I learned of the following example in a recent seminar: if $j(\tau)$ denotes the usual $j$-invariant, and $\alpha = (-1+i\sqrt{163})/2$, then
\begin{align*}
\frac{j(i)}{1728} &= 1 \\
\frac{-j(\...
35
votes
1
answer
10k
views
Mochizuki's proof and Siegel zeros
Granville and Stark (Invent. Math. 139 (2000), 509-523) proved that a uniform version of the abc conjecture for number fields eliminates Siegel zeros for $L$-functions associated with quadratic ...
29
votes
1
answer
4k
views
What was achieved on IUT summit, RIMS workshop? [closed]
I would like to know what was achieved in the workshop towards the verification of abc conjecture's proof and the advance of understanding of IUT in general.
A comment from a participant:
C ...
25
votes
1
answer
2k
views
The abc-conjecture as an inequality for inner-products?
The abc-conjecture is:
For every $\epsilon > 0$ there exists $K_{\epsilon}$ such that for all natural numbers $a \neq b$ we have:
$$ \frac{a+b}{\gcd(a,b)}\,\ <\,\ K_{\epsilon}\cdot \text{rad}\...
24
votes
4
answers
2k
views
A reinterpretation of the $abc$ - conjecture in terms of metric spaces?
I hope it is appropriate to ask this question here:
One formulation of the abc-conjecture is
$$ c < \text{rad}(abc)^2$$
where $\gcd(a,b)=1$ and $c=a+b$. This is equivalent to ($a,b$ being ...
24
votes
1
answer
1k
views
Another weak form of the ABC conjecture
First I will explain why a weaker form is needed. And then I formulate the conjecture (more precisely, the formulation will be clear).
It is related to the question https://math.stackexchange.com/...
19
votes
1
answer
1k
views
Estimate on radical of $2^n \pm 1$
Not sure if this belongs to MO or not.
Are there any lower bound on radical of $2^n \pm 1$?
We recall that radical of an integer $rad(k)$ is a product of primes which divide $k$.
As an example, if ...
17
votes
3
answers
1k
views
Probing the generalization of the abc conjecture to more than 3 variables
Browkin and Brzezinski, in "Some remarks on the $abc$-conjecture", Math. Comp. 62 (1994), no. 206, 931–939, state the following generalization of the $abc$ conjecture to more than three variables:
...
17
votes
1
answer
1k
views
A converse of the abc conjecture?
Let ${\rm rad}(n)$ denote the radical of a positive
integer $n$, i.e. the product of its distinct prime divisors.
Given positive integers $a$ and $b$, the triple $(a,b,a+b)$ is
called an abc triple if ...
17
votes
0
answers
1k
views
Does Mochizuki's proof of abc conjecture gives an upper bound for the quality of a triple?
The quality of a triple $(a,b,c)$ of coprime positive integers with $a + b = c$ is defined as
$$q(a,b,c) := \frac{\log(c)}{\log(\mathrm{rad}(abc))}.$$
Then
$$a+b = c = \mathrm{rad}(abc)^{q(a,b,c)}.$$...
15
votes
1
answer
2k
views
Forbidden polynomial identities by the abc conjecture
The Mason–Stothers theorem states
Let $a(t), b(t)$, and $c(t)$ be relatively prime polynomials such that $a + b = c$, with coefficients that are either real numbers or complex numbers. Then $\...
14
votes
0
answers
1k
views
Explicit example of elliptic curve of the kind needed for IUTT
At the nLab, we are currently trying to illustrate the definition of initial theta-data in Mochizuki's first IUTT paper by means of an explicit example. The exposition should end up at the following ...
11
votes
1
answer
3k
views
Mochizuki's Gaussian Integral Analogy
In his latest 115-page overview, Mochizuki spends some time explaining "alien copies" by the analogue of evaluating the Gaussian integral by squaring it and introducing a second variable/dimension. In ...
11
votes
1
answer
389
views
Is this set dense in [0,+∞)?
We define $A=\{ \frac{c}{rad(abc)}: a, b > 0, c=a+b, gcd(a, b)=1 \}$.
Is the set $A$ dense in $[0, +\infty)$?
Does $\overline{A}$ have interior? Here $\overline{A}$ is the closure of $A$.
A well-...
10
votes
1
answer
2k
views
Anabelian geometry ~ higher category theory
Note: I'm worried this question might be taken as controversial, because it relates to Shinichi Mochizuki’s work on the abc conjecture. However, my question has nothing to do with the correctness of ...
10
votes
1
answer
2k
views
Is new $n$-conjecture as follows correct?
Given a positive integer $P>1$, let its prime factorization be written as$$P=p_1^{a_1}p_2^{a_2}p_3^{a_3}\cdots p_k^{a_k}.$$
Define the functions $h(P)$ by $h(1)=1$ and $h(P)=\min(a_1, a_2,\ldots,...
10
votes
3
answers
1k
views
Why is the gcd so large in an identity related to the $abc$ conjecture?
Consider the identity
$$ (x+z)^5+(y-z)^5 = (-3 x + 4 y)^2 (x + y)^3 + (x+y) f(x,y,z) $$
Where $f(x,y,z)=(-8*x^4 + 5*x^3*y + 24*x^2*y^2 - 9*x*y^3 - 15*y^4 + 5*x^3*z - 5*x^2*y*z + 5*x*y^2*z - 5*y^3*z + ...
10
votes
1
answer
3k
views
Implications of the abc conjecture in Arakelov theory
It is apparent that the abc conjecture is deeply related to Arakelov theory. In one direction, it is shown in S. Lang, "Introduction to Arakelov Theory", that a certain height inequality in Arakelov ...
10
votes
0
answers
174
views
Is almost every number the sum of two numbers with small radicals?
Define a set of numbers with small radicals (A341645 in OEIS) by
$$A_2=\{n\in\mathbb{N} \;|\; \text{rad}(n)^2\le n\}$$
The asymptotic density of $A_2\cap \{1,\dots N\}$ is $\sqrt{N}\times e^{2(1+o(1))\...
10
votes
0
answers
782
views
Two questions around the $abc$-conjecture
Let $d(a,b) = 1-\frac{2 \gcd(a,b)}{a+b}$, $d_{ABC}(a,b) = 1-\frac{2\gcd(a,b)^3}{ab(a+b)}$ be two metrics on natural numbers.
The abc-conjecture can be formulated using these two metrics as:
For ...
10
votes
0
answers
460
views
Mini-$abc$ conjecture
Define $\text{rad}_{23}(2^m3^nr)=2^{\text{sign}(m)}3^{\text{sign}(n)}r$, where $m,n\ge0$ and $2,3\nmid r\in\mathbb{N}$.
For a triple $a+b=c$ define the quality $q_{23}(a,b,c)=\frac{\log(c)}{\log(\...
10
votes
0
answers
2k
views
Model-theoretic content of Mochizuki's Teichmüller theory papers
I would like to ask what the specific novel model-theoretic (or set-theoretic) techniques, if any, are that Mochizuki uses in his recent series of four papers. Section 3 of Inter-universal Teichmüller ...
9
votes
1
answer
910
views
Application of the Riemann hypothesis and the ABC conjecture to independence results
In Old Home Page of Andreas Weiermann Andreas Weiermann has stated the following:
Quite recently I submitted a preprint about an application of the Riemann hypothesis and the ABC conjecture to ...
9
votes
1
answer
2k
views
A question related to the abc conjecture
The abc conjecture asserts that whenever $a,b,c$ are pairwise coprime positive integers such that $a + b = c$ and $\epsilon > 0$, there exists a constant $C_\epsilon > 0$ (which depends on $\...
9
votes
0
answers
4k
views
Is the conjecture A+B=C following correct?
Is the conjecture on A+B=C following correct ?
Conjecture: Let $A, B, C$ be three positive integer numbers such that $A+B=C$ with $\gcd(A, B, C) = 1$. By Fundamental theorem of arithmetic we write:
$...
8
votes
3
answers
881
views
Reference request for $(1,2^n-1,2^n)$ example related to abc-conjecture
The $abc$-conjecture states that if $a,b,c$ are positive, relatively prime integers satisfying $a+b=c$, then the product of the primes dividing $abc$ (the radical of $abc$) is $\gg_\varepsilon c^{1-\...
8
votes
0
answers
456
views
The average power of an integer and a strengthened Fermat Last Theorem
It is well known that the ABC conjecture gives an immediate proof of Fermat Last Theorem (FLT). It seems that it proves something stronger involving not necessarily perfect power, which may still be ...
8
votes
0
answers
575
views
Are there at least one of $a$, $b$, $c$, $a+b$, $b+c$, $c+a$ have h(P) $\le 3$? (was checked up to $10^{18}$)
Given a positive integer $P>1$, let its prime factorization be written $$P=p_1^{a_1}p_2^{a_2}p_3^{a_3}\cdots p_k^{a_k}$$
Define the functions $h(P)$ by $h(1)=1$ and $h(P)=\min(a_1, a_2,\ldots,a_k)$
...
7
votes
0
answers
3k
views
Is there a mistake in Mochizuki's proof of Theorem 1.10 in IUTT IV? [closed]
In Global character of ABC/Szpiro inequalities, Peter Scholze says that he thinks Joshi's proof of the abc conjecture in his paper has a mistake in Proposition 6.10.7. However, for the proof of ...
7
votes
0
answers
443
views
Is it unconditionally known that abc conjecture can't fail on a variety?
Background: this question gives the identity:
$$(x+z)^5+(y-z)^5 = (-3 x + 4 y)^2 (x + y)^3 + (x+y) f(x,y,z)$$
The curve $C : f(x,y,z)=0$ is genus 1, have infinitely many rational and integral points ...
7
votes
0
answers
346
views
What is known about "almost orthogonal vectors"?
Motivation:
Suppose we have a kernel $k(a,b)$ defined over the natural numbers.
Then by the Moore–Aronszajn theorem, we can embedd the natural number $a$ in some Hilbert space $\mathbb{H}$, which we ...
6
votes
1
answer
474
views
Strengthening an implication of the abc conjecture
Granville gives p.5
an implication of the abc conjecture:
Assume the abc conjecture.
Let $f(x,y)$ be squarefree homogeneous polynomial with integer
coefficients. For coprime integers $m,n$ if $q^2 \...
6
votes
1
answer
331
views
The abc-conjecture over the positive rationals and Levy-Schoenberg kernels?
I am continuing the "abc-adventure" and have a specific question, which needs some explanation:
In this paper by Gangolli, the term "Levy-Schoenberg" kernel is defined (Definition 2.3).
Consider the ...
5
votes
1
answer
2k
views
ABC conjecture and Fermat's last theorem
I have frequently read and heard that given the ABC-conjecture a number of important unsolved problems of number theory can be solved (with relatively simple proofs). Among them, the celebrated Fermat'...
5
votes
2
answers
696
views
Argument againts the $abcd$ conjecture with extra gcd conditions
Got an argument and numerical support againts the $abcd$
conjecture with extra gcd conditions (observe that this
is different from the $abc$ and the $abcd$ conjectures).
This thesis p. 20 defines the ...
5
votes
0
answers
402
views
The ABC conjecture where A and B are smooth
Mochizuki has already claimed to have proven the ABC-conjecture. But even if his claim turns out to be correct the proof will not be easy to understand. With that in mind I'm asking wether anything is ...
5
votes
0
answers
174
views
Radical of a polynomial values
It has been observed by Langevin and Elkies that the following holds:
Assume that the $ABC$- conjecture is true. Suppose that $f(x)\in\mathbb{Z}[x]$ has no repeated roots. Fix $\varepsilon >0.$ ...
5
votes
0
answers
496
views
What are the consequences of allowing the ABC-conjecture $\kappa_{\epsilon}$ to also vary with $\omega(abc)$?
A commonly encountered form of the ABC-conjecture is the following:
For all $\epsilon > 0$, there is a constant $\kappa_{\epsilon} > 0$ (depending only on $\epsilon$) such that for all coprime ...
4
votes
2
answers
455
views
Small $|2^x 3^y - 5^z 7^t|$ and generalization
Let $\{p_i\},\{q_i\}$ be disjoint sets of primes. For natural $e_i,f_i$
define $A=\prod p_i^{e_i},B=\prod q_i^{f_i}$.
Is it true that for all real $d < 1$, $|A-B| < \max(A,B)^d$
has finitely ...
4
votes
1
answer
236
views
Ruling out an extremely specific class of Wieferich-like primes
Recall that a prime $p$ is a Wieferich prime if $p^2|2^{p-1}-1$. The only known Wieferich primes are $p=1093$ and $p=3511$. A prime $p$ is a generalized Wieferich prime to base $q$ if $p^2|q^{p-1}-1$.
...
4
votes
1
answer
493
views
Large radical of an integer and three AB conjectures
In this Note, We propose a new definition called "large radical of an integer". Using this definition, three very useful $AB$ conjecture are given.
1. Large counter examples of the ABC conjecture
...
3
votes
1
answer
316
views
Argument against Vojta's more general abc conjecture
Confusion is possible, we got argument against Vojta's more general
abc conjecture.
In A more general abc conjecture, p. 7 Paul Vojta conjectures:
If $x_0,\ldots x_{n-1}$ are nonzero coprime ...
3
votes
1
answer
497
views
abc-conjecture and positive definite kernels, again?
One formulation of the abc-conjecture is:
$$\forall a,b \in \mathbb{N}: \frac{a+b}{\gcd(a,b)}< \operatorname{rad}\left ( \frac{ab(a+b)}{\gcd(a,b)^3}\right )^2 $$
Let us define:
$$K(a,b) := \frac{2(...
3
votes
0
answers
355
views
Some specific case of the abc-conjecture related to the Mason-Stothers proof of Serge Lang for polynomials?
I stumbled upon a version of the Mason-Stothers theorem, which can be modified to make a similar statement for natural numbers, which I think I can prove here. It is not the abc-conjecture, but it has ...
3
votes
0
answers
386
views
Simple Diophantine equation
Are there any solutions in positive integers of
$x^3 + 1 = (x - k) y^3$?
The closest I can get is
$19^3 + 1 = 20 \times 7^3$,
but $20\gt 19$ so it just misses!
For the related
$x^3 - 1 = (x - k) y^3$,...