相关论文: On the Lefschetz Standard Conjecture
In this article, we consider singular equivariant arithmetic schemes whose generic fibres are smooth. For such schemes, we prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. This formula is an…
Let $f: X \to Y$ be a dominant morphism of smooth, proper and geometrically integral varieties over a number field $k$, with geometrically integral generic fibre. We give a necessary and sufficient geometric criterion for the induced map…
We prove two general factorization theorems for fixed-point invariants of fibrations: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar multiplicativity results for the Lefschetz and Nielsen…
In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq…
We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…
We show that Lang's hyperbolic and function version conjectures hold for surfaces $S$ of general type having a fibration of general type onto a curve $C$. The notion of multiplicity used is natural, but not classical, which leds to orbifold…
In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of…
We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Pl\"ucker embedding of $G$ in…
Let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. Assuming that $G$ has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine…
Let $X$ be any smooth Deligne-Mumford stack with projective coarse moduli, and $Y$ be a smooth complete intersection in $X$ associated with a direct sum of semi-positive line bundles. We will introduce a useful and broad class known as…
The Lefschetz algebra $L^*(X)$ of a smooth complex projective variety $X$ is the subalgebra of the cohomology algebra of $X$ generated by divisor classes. We construct smooth complex projective varieties whose Lefschetz algebras do not…
Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…
In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…
The strong Bombieri-Lang conjecture postulates that, for every variety $X$ of general type over a field $k$ finitely generated over $\mathbb{Q}$, there exists an open subset $U\subset X$ such that $U(K)$ is finite for every finitely…
Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and…
Gordan and Noether proved in their fundamental theorem that an hypersurface $X=V(F)\subseteq \mathbb{P}^n$ with $n\leq 3$ is a cone if and only if $F$ has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that…
For a nondegenerate projective variety $X$, the Eisenbud-Goto conjecture asserts that $\operatorname{reg}X\leq\operatorname{deg}X-\operatorname{codim}X+1$. Despite the existence of counterexamples, identifying the classes of varieties for…
The variance conjecture in Asymptotic Convex Geometry stipulates that the Euclidean norm of a random vector uniformly distributed in a (properly normalised) high-dimensional convex body $K\subset {\mathbb R}^n$ satisfies a Poincar\'e-type…
The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…
We prove that every closed oriented smooth 4-manifold X admits a broken Lefschetz fibration (aka singular Lefschetz fibration) over the 2-sphere. Given any closed orientable surface F of square zero in X, we can choose the fibration so that…