相关论文: On Lang's conjecture for some product-quotient sur…

We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…

We prove that the Cox ring of a smooth rational surface with big anticanonical class is finitely generated. We classify surfaces of this type that are blow-ups of the plane at distinct points lying on a (possibly reducible) cubic.

In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying…

We prove that a complex surface S with irregularity q(S)=5 that has no irrational pencil of genus >1 has geometric genus p_g(S)>7. As a consequence, one is able to classify minimal surfaces S of general type with q(S)=5 and p_g(S)<8. This…

We construct a new family of minimal smooth surfaces of general type with K^2=7 and p_g= 0. We show that for a surface in this family, its canonical divisor is ample and its bicanonical morphism is birational. We prove that these surfaces…

Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of…

We etablish a necessary and sufficient condition under which there exists a tangential and well graded star product, differential or not, on the dual g^* of a nilpotent Lie algebra g. We also give enlightening examples with explicit…

We give a reduction of the irregular case for the effective non-vanishing conjecture by virtue of the Fourier-Mukai transform. As a consequence, we reprove that the effective non-vanishing conjecture holds on algebraic surfaces.

The Manin conjecture is established for Ch\^atelet surfaces over Q arising as minimal proper smooth models of the surface Y^2+Z^2=f(X) where f is a totally reducible polynomial of degree 3 without repeated roots. These surfaces do not…

In this paper, we consider a Generalized Bernstein Theorem for a type of generalized minimal surfaces, namely minimal Plateau surfaces. We show that if an orientable minimal Plateau surface is stable and has quadratic area growth in…

We prove Koll\'{a}r conjecture for weighted homogeneous surface singularities with big central node. More precisely, we show that every irreducible component of the deformation space of the singularity is parametrized by a certain partial…

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base…

The sl_2-triples play a fundamental role for the structure theory of Lie algebras, and representation theory in general. Here we investigate sl_2-triples of global vector fields on schemes X in positive characteristics p>0, and develop a…

We give a uniform proof of a significant part of the Cachazo-Douglas-Seiberg-Witten conjecture by using topology and geometry of infinite Grassmannians.

In this paper we introduce a local approach for the study of maximal surfaces immersed into a Lorentzian product space of the form $M^2\times R_1$, where $M^2$ is a connected Riemannian surface and $M^2\times R_1$ is endowed with the…

This paper focuses on the proof of Serge Lang's Heights Conjecture in a form that is completely effective. As a complementary result the author provides a new proof of Mazur-Merel theorem about a bound for the torsion of elliptic curves in…

Let P be a quadratic operad. We determine an associated operad ~P such that for any P-algebra A and any ~P-algebra B then the tensor product $A \otimes B$ is a P-algebra.

We prove that the PPT$^2$ conjecture holds for linear maps between matrix algebras which are covariant under the action of the diagonal unitary group. Many salient examples, like the Choi-type maps, depolarizing maps, dephasing maps,…

In this note, we present a new look at translationally equivariant minimal Lagrangian surfaces in the complex projective plane via the loop group method.