Omnipotent Data

Chapter 406

"Unfortunately, I really proved it."

Cheng Nuo's voice echoed in the empty auditorium, causing everyone present to fall into a momentary trance.

They seem to have heard something extraordinary.

On the stage, Professor Russell's breathing stopped suddenly. He looked at Cheng Nuo's tall and straight figure, and was silent for more than ten seconds.

Then he said with a chuckle, "Sir, you are joking, aren't you?"

If Cheng Nuo said that the conclusion he said before had no solid evidence and was only at the "conjecture" stage, it would at most prove that Cheng Nuo's brain was big enough.

You must know that not all conjectures can have the lofty status in the mathematics world like Goldbach's conjecture and Riemann's conjecture, not to mention that the conjecture is only a graduate student.

But if Cheng Nuo really has a way to prove the "conjecture" he said, as he said, then the nature will change, and it will become a "theorem".

"Conjecture" and "theorem" are two completely different concepts.

The practicability of "guess" is pitifully low, but "theorem" is different. No matter how simple the theorem is, the application performance is much better than "guess".

Moreover, the "theorem" proposed by Cheng Nuo is not some bad stuff.

Common properties of Zata functions of nonsingular algebraic varieties in general.

This not only reveals a deep connection between the arithmetic of algebraic varieties defined on finite fields and the topology of complex algebraic varieties, but also illustrates the homology method on topological spaces, which is also applicable to varieties and profiles.

As a mathematician in geometry, Russell knew exactly what the appearance of this theorem meant.

Geometry can carry out deeper research on representation theory and automorphism theory through the homology method of topology.

At the same time, the ring map problem that has been plaguing the field of Frobenius automorphisms will be solved. Motive tools for Algebraic Topology and Algebraic Geometry will be added again.

In addition, since the core of this theorem is still the Zata function, it will also provide another novel idea for the proof of the Riemann Hypothesis.

In short,

As long as Cheng Nuo can prove that this conclusion is a "theorem", it will definitely cause a storm in the field of geometry.

"Are you kidding me?" Cheng Nuo shrugged and said, "Mr. Russell, I don't have any intention of joking."

Russell frowned tightly, "Then you..."

"It's really troublesome." Cheng Nuo walked directly to the stage in front of the auditorium, and said as he walked, "Forget it, I'll prove it to you."

With that said, Cheng Nuo strode onto the stage and said to the young Myron who was still dazed beside him, "Is there any chalk?"

"Oh, yes, yes." Myron short-circuited for a few seconds, then handed Cheng Nuo a box of chalk from the side in a daze.

For convenience, the hotel has long installed a blackboard that slides up and down on the wall of the auditorium podium.

Cheng Nuo ignored the dull eyes of Russell and the more than 20 mathematicians in the audience, and wrote on the blackboard on his own:

[Assume that X is a d-dimensional smooth projective variety on Fq, then the Zata function Zx(T) is a rational function, that is, Zx(t)∈Q(T), more precisely, Zx(T) can be written as the following finite cross product form:

Zx(T)=∏Pi(T)^(-1)^(i+1)=P1(T)P3(T)...P2d-1(T)/p0(T)P2(T)...P2d (T), where P0(T)=1-T and P2d(T)=1-q^dT.]

[For 1≤i≤2d-1, Pi(T)∈1+TZ[T] is an integer coefficient polynomial, and Pi(T) can be decomposed into ∏(1-aijT) in C[T], aij∈Z .】

…………

[Zata function Zx(T) satisfies the following functional equation: Zx(1/q^dT)=q^dx/2T^xZx(T), where =±1 and x is the Euler characteristic number of X, equivalent , if Zx(T):=Zx(T)T^x/2 and ζ(s)=Zx(q^(-s)), then...]

[...From the above, it can be concluded that the Zata function on general projective non-singular algebraic varieties has the following three properties:

①: Zx(T) is a rational function

②: Satisfy the function equation

③: The zero point of the Zx(T) function has a specific form.

Proof! 】

Swish, swish, swish, in more than ten minutes, Cheng Nuo filled all four blackboards.

At the same time, at the end, Cheng Nuo wrote the big word "Zhengbi".

There was silence.

The entire auditorium fell into a strangely quiet atmosphere, and a needle could be heard.

More than 20 mathematicians in the audience stared at Cheng Nuo with complicated or shocking eyes.

Professor Russell swallowed hard, with an expression of not knowing whether to laugh or cry. He asked hoarsely, "How did you think of this?"

Cheng Nuo spread his hands, "I thought of it naturally! Is there any degree of difficulty?"

Professor Russell: "..."

"Why, now do you believe that what I said is correct?" Cheng Nuo asked.

Professor Russell: "The time is too short, and a period of verification is needed."

Cheng Nuo waved his hand, "Then you continue to verify, I will withdraw first."

"You didn't wait for the verification result to come out?"

"No. It's not necessary."

"Oh, wait a minute."

"Is there anything else?"

"Can you leave your name?"

"My name is Cheng Nuo."

After saying these four words, Cheng Nuo hurriedly left the small auditorium through the main entrance.

Looking at Cheng Nuo's back, the twenty or so mathematicians felt that all three views had been destroyed in just ten minutes.

Is even a hotel waiter so scary now? Come up with a theorem at random. It's like pushing them, a group of mathematicians who call themselves mathematics as a profession, to the ground and rubbing madly!

However, the most important issue now was to verify whether Cheng Nuo's theorem was correct.

Judging from the rigorous proof process on the blackboard, they feel that they are likely to become witnesses to history...

…………

When Tan Weiwei pushed open the door of Cheng Nuo's room, he saw Cheng Nuo packing clothes in the suitcase.

Tan Weiwei wondered, "What are you doing?"

Cheng Nuo replied without looking up, "I'm going to run away."

"Run away?" Tan Weiwei was even more puzzled, "The International Conference of Mathematicians is still several days away, what are you doing when you go back?"

"Ah!" Cheng Nuo zipped up the suitcase, sat down on it, and shrugged, "I accidentally made a big one, and my identity should be exposed."

Tan Weiwei: "Have you made a big deal? Could it be that you caused trouble in another mathematician's lecture?"

Cheng Nuo: "It's almost like this. You still remember that Professor Russell you met on the plane. I kindly went to cheer him up, but he was not authentic. He called me up to ask questions for no reason."

Tan Weiwei: "Then you asked?"

Cheng Nuo: "No. He didn't make me feel better, and I couldn't make him feel better, so I just yelled at him in front of everyone, and then proved a theorem by the way?"

Tan Weiwei: "???"

By the way, proved a theorem? ! !

"By the way, you should also be careful, don't be in the limelight, I'll withdraw first." Cheng Nuo finished speaking in a hurry, and then disappeared into Tan Weiwei's sight with the suitcase.

The hotel is downstairs.

Cheng Nuo looked at the building and swore inwardly.

"Next time, I will definitely participate in this feast of mathematics!"