Related papers: Determinant of complexes and higher Hessians

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

We prove some basic theorems concerning lemniscate configurations in an Euclidean space of dimension $ n \geq 3$. Lemniscates are defined as follows. Given m points $w_j $ in $\mathbb R^n$, consider the function $F(x)$ which is the product…

Let K be a number field and let $\mathcal{E}$ be an elliptic curve defined over $K$. Let $m$ be a positive integer. We denote by $K(\mathcal{E}[m])$ the number fields obtained by adding to $K$ the coordinates of the $m$-torsion points of…

An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if…

A method of constructing (finitely generated and projective) right module structure on a finitely generated projective left module over an algebra is presented. This leads to a construction of a first order differential calculus on such a…

We define higher order fundamental forms and osculating spaces of projective algebraic varieties, using sheaves of principal parts. We show that the $m$th fundamental form can be viewed as the differential of the $(m-1)$th Gauss map, and…

Let X be a projective cubic hypersurface of dimension 11 or more, which is defined over the rationals. In this paper it is shown that X contains rational points provided that the cubic form defining X can be written as the sum of two forms…

Let X be the base locus of a linear system W of k quadrics. Let also S be the intersection of W with the discriminant hypersurface in the space of all homogeneous polynomials of degree two. We prove a formula relating the topology of X with…

Let $H$ be an ample line bundle on a non-singular projective surface $X$, and $M(H)$ the coarse moduli scheme of rank-two $H$-semistable sheaves with fixed Chern classes on $X$. We show that if $H$ changes and passes through walls to get…

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.…

Let X be a complex manifold with strongly pseudoconvex boundary M. If u is a defining function for M, then -log u is plurisubharmonic on a neighborhood of M in X, and the (real) 2-form s = i \del \delbar(-log u) is a symplectic structure on…

Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. Computing these differential quantities consistently on…

A separating ($M-2$)-curve is a smooth geometrically irreducible real projective curve $X$ such that $X(\mathbb{R})$ has $g-1$ connected components and $X(\mathbb{C})\setminus X(\mathbb{R})$ is disconnected. Let $T_g$ be a Teichm\"uller…

We classify hyperbolic polynomials in two real variables that admit a transitive action on some component of their hyperbolic level sets. Such surfaces are called special homogeneous surfaces, and they are equipped with a natural Riemannian…

A (global) determinantal representation of hypersurface in P^n is a matrix, whose entries are linear forms in homogeneous coordinates and whose determinant defines the hypersurface. We study the properties of such representations for…

A classical approach to investigate a closed projective scheme $W$ consists of considering a general hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a…

We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…

For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in…

We show first that a generic hypersurface $V$ of degree $d\geq 3$ in the complex projective space $ \mathbb{P}^n$ of dimension $n \geq 3$ has at least one hyperplane section $V \cap H$ containing exactly $n$ ordinary double points, alias…

Let $X$ be a reduced complex space of pure dimension. We consider divergent integrals of certain forms on $X$ that are singular along a subvariety defined by the zero set of a holomorphic section of some holomorphic vector bundle $E…