相关论文: An arithmetic enrichment of B\'ezout's Theorem
We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
First constructed by Beilinson for curves defined over an algebraically closed field; R\"ossler and Szamuely generalized Beilinson's height pairing to the higher dimensional setting. In this paper we study this pairing and relate it to the…
We consider closed biharmonic hypersurfaces in the Euclidean sphere and prove a rigidity result under a suitable condition on the scalar curvature. Moreover, we establish an integral formula involving the position vector for biharmonic…
We show that the Hirzebruch-Milnor class of a projective hypersurface, which gives the difference between the Hirzebruch class and the virtual one, can be calculated by using the Steenbrink spectra of local defining functions of the…
In this paper we examine different problems regarding complete intersection varieties of high degree in a complex projective space. First we show how one can deduce hyperbolicity for generic complete intersection of high multidegree and…
This paper is the widely extended version of the publication, appeared in Proceedings of ISSAC'2009 conference \citep*{ALM09}. We discuss more details on proofs, present new algorithms and examples. We present a general algorithm for…
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a…
In this paper, we investigate hypersurfaces defined over a ring of algebraic integers, and show that if the projection from a point induces a Galois extension over either a number field or the residue field associated with a prime ideal…
B\'ezout's name is attached to his famous theorem. B\'ezout's Theorem states that the degree of the eliminand of a system a $n$ algebraic equations in $n$ unknowns, when each of the equations is generic of its degree, is the product of the…
This note investigates the hidden relationship between the concept of algebraic multiplicity of an eigenvalue and the local intersection index of algebraic varieties.
We solve the problem of constructing a genus-zero full conformal field theory (a conformal field theory on genus-zero Riemann surfaces containing both chiral and antichiral parts) from representations of a simple vertex operator algebra…
In the present paper, we focus on a weighted version of the Bounded Negativity Conjecture which predicts that for every smooth projective surface in characteristic zero the self-intersection numbers of reduced and irreducible curves are…
The aim of this fisrt part is to introduce, for a rather large class of hypersurface singularities with 1 dimensionnal locus, the analog of the Brieskorn lattice at the origin (the singular point of the singular locus). The main results are…
The purpose of this note is to prove the existence of a remarkable structure in an iterated sumset derived from a set $P$ in a Cartesian square $\mathbb{F}_p^n\times\mathbb{F}_p^n$. More precisely, we perform horizontal and vertical sums…
In this short note we prove a formula for local heights on elliptic curves over number fields in terms of intersection theory on a regular model over the ring of integers.
We associate a combinatorial object to sequences of point blow-ups over perfect fields, the weighted directed graph, and another one to the composition of all blow-ups, which we call associated sequential morphisms, the $d-$ary intersection…
A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In…
The quantum cohomology algebra of a projective manifold X is the cohomology H(X,Q) endowed with a different algebra structure, which takes into account the geometry of rational curves in X. We show that this algebra takes a remarkably…
We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…