相关论文: Around the Abhyankar--Sathaye conjecture
In this paper, the generalized Bloch Conjecture on zero cycles for the quotient of certain complete intersections with trivial canonical bundle is proved to hold. As an application of Bloch-Srinivas method on the decomposition of the…
We explore presumptive reasoning in the paraconsistent case. Specifically, we provide semantics for non-trivial reasoning with presumptive arguments with contradictory assumptions or conclusions. We adapt the case models proposed by Verheij…
We prove the existence of an Abelian variety $A$ of dimension $g$ over $\Qa$ which is not isogenous to any Jacobian, subject to the necessary condition $g>3$. Recently, C.Chai and F.Oort gave such a proof assuming the Andr\'e-Oort…
Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing…
We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard…
We prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs in dimension 2. That is, for a large class of rational surfaces as well as K3 surfaces and abelian surfaces, the action of the automorphism group of the surface on the…
We formulate a concrete geometric approximation hypothesis (Hypothesis~BB) asserting that codimension-$2$ Hodge classes on a smooth projective threefold can be realized as specializations of families whose general members are…
Contraction theory for dynamical systems on Euclidean spaces is well-established. For contractive (resp. semi-contractive) systems, the distance (resp. semi-distance) between any two trajectories decreases exponentially fast. For partially…
The Ramanujan conjecture for modular forms of holomorphic type was proved by Deligne almost half a century ago: the proof, based on his earlier proof of Weil's conjectures, was an achievement of algebraic geometry. We give here a short…
We discuss conjectures related to the following two conjectures: (1) for each complex numbers x_1,...,x_n there exist rationals y_1,...,y_n \in [-2^{n-1},2^{n-1}] such that \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in…
The Jacobian conjecture over a field of characteristic zero is considered directly in view of the nonlinear partial differential equations it is associated with. Exploring the integrals of such partial differential equations, this work…
We show that if there exists a counter example for the rational case of the Franks-Misiurewicz conjecture, then it must exhibit unbounded deviations in the complementary direction of its rotation set.
We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian…
We survey Kondrat'ev--Landis' conjecture, providing an up-to-date account of the main advances and describing the techniques developed. We complement the overview with references and formulations of the problem in further closely connected…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
Given an algebraic difference equation of the form \[\sigma^n(y)=f\big(y, \sigma(y),\dots,\sigma^{n-1}(y)\big)\] where $f$ is a rational function over a field $k$ of characteristic zero on which $\sigma$ acts trivially, it is shown that if…
Dealing with the generalized Calabi-Yau equation proposed by Gromov on closed almost-K\"ahler manifolds, we extend to arbitrary dimension a non-existence result proved in complex dimension 2.
This note concerns a weak form of Parshin's conjecture, which states that the rational motivic Borel--Moore homology of a quasiprojective variety of dimension $m$ over a finite field in bidegree $(s,t)$ vanishes for $s>m+t$. It is shown…
We introduce a new method for studying the Baum-Connes conjecture, which we call the direct splitting method. The method can simplify and clarify proofs of some of the known cases of the conjecture. In a separate paper, with J. Brodzki, E.…
We prove that the Ramanujan conjecture is true under the assumption that the expected analytic properties of triple product $L$-functions hold. Further, we explain how these analytic properties imply certain reduction steps in the…