Related papers: A geometric $C_2$-equivariant B\'{e}zout Theorem
We study intersections of projective convex sets in the sense of Steinitz. In a projective space, an intersection of a nonempty family of convex sets splits into multiple connected components each of which is a convex set. Hence, such an…
We construct an explicit bijection between bipartite pointed maps of an arbitrary surface $\mathbb{S}$, and specific unicellular blossoming maps of the same surface. Our bijection gives access to the degrees of all the faces, and distances…
For applications in computing, Bezier curves are pervasive and are defined by a piecewise linear curve L which is embedded in R^3 and yields a smooth polynomial curve C embedded in R^3. It is of interest to understand when L and C have the…
In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e.…
In this sequel to arxiv:arXiv:1012.0835 we develop Bezout type theorems for semidegrees (including an explicit formula for {\em iterated semidegrees}) and an inequality for subdegrees. In addition we prove (in case of surfaces) a Bernstein…
We compute the Atiyah Real $K$-theory of $C_2$-equivariant projective spaces and construct immersions of such spaces into multiples of the regular representation. These computations are made tractable by the recent geometric filtration of…
We study the holomorphic equivalence problem for finite type hypersurfaces in $\mathbb C^2$. We discover a geometric condition, which is sufficient for the existence of a natural convergent normal form for a finite type hypersurface. We…
The hypercube Q_n is the graph whose vertex set is {0,1}^n and where two vertices are adjacent if they differ in exactly one coordinate. For any subgraph H of the cube, let ex(Q_n, H) be the maximum number of edges in a subgraph of Q_n…
The purpose of this note is to show that the subvarieties of small degree inside a general hypersurface of large degree come from intersecting with linear spaces or other varieties.
Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's…
In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space.
Theorem. There are general position points A, B, C, P on the projective plane. Let A_P be the intersection point of lines AP and BC. Analogously define B_P and C_P. Take any points A_1, B_1, C_1 on AP, BP, CP, respectively. Let W_C be the…
We consider the popular and classical method of alternating projections for finding a point in the intersection of two closed sets. By situating the algorithm in a metric space, equipped only with well-behaved geodesics and angles (in the…
The Descartes circle theorem states that if four circles are mutually tangent with disjoint intersion, then their curvatures (or "bends) b_j = 1/r_j satisfy the relation (b_1 + b_2 + b_3 + b_4)^2 = 2(b_1^2 + b_2^2 + b_3^2 + b_4^2). We show…
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$.…
As an application of B\'ezout's theorem from algebraic geometry, we show that the standard notion of a trigonometric polynomial does not agree with a more naive, but reasonable notion of trigonometric polynomial.
The Hurwitz form of a projective variety characterizes linear spaces of complementary dimension which meet the variety non-transversally. We extend this notion to varieties in a product of projective spaces. This parallels the multigraded…
We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…
In this paper, we prove the Geometric Arveson-Douglas Conjecture for a special case which allow some singularity on $\partial{\mathbb{B}_n}$. More precisely, we show that if a variety can be decomposed into two varieties, each having nice…
We present some results on projective toric varieties which are relevant in Diophantine geometry. We interpret and study several invariants attached to these varieties in geometrical and combinatorial terms. We also give a B\'ezout theorem…