Related papers: Determinant of complexes and higher Hessians
If $X = V(f) \subset \mathbb P^N$ is a reduced complex hypersurface, the hessian of $f$ (or by abusing the terminology the hessian of $X$) is the determinant of the matrix of the second derivatives of the form $f$, that is the determinant…
In this paper, we consider hypergraphs whose vertices are distinct points moving smoothly on a Riemannian manifold M. We take these hypergraphs as graded submanifolds of configuration spaces. We construct double complexes of differential…
Let V be a finite dimensional complex vector space and V^* its dual and let X in P(V) be a smooth projective variety of dimension n and degree d at least two. For a generic n-tuple of hyperplanes H_1,...,H_n in P(V^*)^n, the intersection of…
We show how a type of multi-Frobenius nonclassicality of a curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ reflects on the geometry of its strict dual curve. In particular, in such cases we may describe all the…
We study the $m$-th Gauss map in the sense of F.~L.~Zak of a projective variety $X \subset \mathbb{P}^N$ over an algebraically closed field in any characteristic. For all integer $m$ with $n:=\dim(X) \leq m < N$, we show that the contact…
In this paper we consider an effective divisor on the complex projective line and associate with it the module D consisting of all the derivations $\theta$ such that $\theta(I_i)\subset I_i^{m_i}$ for every $i$, where $I_i$ is the ideal of…
In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…
Suppose $f,g$ are homogeneous polynomials of degree $d$ defining smooth hypersurfaces $X_f = V(f)\subset \mathbb{P}^{m-1}$ and $X_g = V(g)\subset\mathbb{P}^{n-1}$. Then the sum $f(x)+g(y)$ defines a smooth hypersurface…
Let $M$ be a complex manifold. We prove that a compact submanifold $S\subset M$ with splitting tangent sequence (called a splitting submanifold) is rational homogeneous when $M$ is in a large class of rational homogeneous spaces of Picard…
We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product $Y \times Y'$ and…
We present a rigorous mathematical treatment of Ruppeiner geometry, by considering degenerate Hessian metrics defined on radiant manifolds. A manifold $M$ is said to be radiant if it is endowed with a symmetric, flat connection $\bar\nabla$…
Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the…
Let $X$ be a variety over $\mathbb Q$. We introduce a geometric non-degenerate criterion for $X$ using moduli spaces $M$ over $\mathbb Q$ of abelian varieties. If $X$ is non-degenerate, then we construct via $M$ an open dense moduli space…
Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every…
Generalizing a classical lemma of Castelnuovo, we characterize rational normal curves (resp. linearly normal elliptic curves) as curves $C\subset \PP^n$ such that the number of linearly independent hypersurfaces $Z\supset C$ of given…
Let $X \subset \mathbb{P}^{n}$ be an unramified real curve with $X(\mathbb{R}) \neq \emptyset$. If $n \geq 3$ is odd, Huisman conjectures that $X$ is an $M$-curve and that every branch of $X(\mathbb{R})$ is a pseudo-line. If $n \geq 4$ is…
We prove a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…
The objective of the present paper (the second in a series of four) is to give a theory of multivector and extensor fields on a smooth manifold M of arbitrary topology based on the powerful geometric algebra of multivectors and extensors.…
Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case…
In this note we look at the freeness for complex affine hypersurfaces. If $X \subset \mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $\mathbb{P}^n$, then…