Related papers: Determinant morphism for singular varieties
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we…
We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…
Let $X$ be a smooth quasi-projective algebraic surface and let $\Delta_n$ the big diagonal in the product variety $X^n$. We study cohomological properties of the ideal sheaves $\mathcal{I}^k_{\Delta_n}$ and their invariants…
The integral of a function $f$ defined on a symmetric space $M \simeq G/K$ may be expressed in the form of a determinant (or Pfaffian), when $f$ is $K$-invariant and, in a certain sense, a tensor power of a positive function of a single…
To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…
We show that given a simple abelian variety $A$ and a normal variety $V$ defined over a finitely generated field $K$ of characteristic zero, the set of non-constant morphisms $V \to A$ satisfying certain tangency conditions imposed by a…
We consider a tuple $\Phi = (\phi_1,\ldots,\phi_m)$ of commuting maps on a finitary matroid $X$. We show that if $\Phi$ satisfies certain conditions, then for any finite set $A\subseteq X$, the rank of $\{\phi_1^{r_1}\cdots\phi_m^{r_m}(a):a…
In this paper, we consider the problem of representing a multivariate polynomial as the determinant of a definite (monic) symmetric/Hermitian linear matrix polynomial (LMP). Such a polynomial is known as determinantal polynomial.…
We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or…
The theorem of Hilbert- Burch provides a description of codimension two determinantal varieties and their deformations in terms of their presentation matrices. In this work we use this correspondence to study properties of determinantal…
Let $R$ be a complete discrete valuation ring with fraction field of characteristic $0$ and algebraically closed residue field of characteristic $p>0$. Let $X_R \to \mathrm{Spec}(R)$ be a smooth projective morphism of relative dimension…
Let X be a smooth complex irreducible projective variety of dimension $n \geq 2$ and $H$ be an ample line bundle on $X$. In this paper, we construct families of $\mu_H$-stable vector bundles on $X$ having fixed determinant and rank $r$,…
Continuing the thrust of our recent work, but with an important new idea, we find a cut-off regularization of the determinant of a scalar particle in a classical Euclidean gravitational field. The field is assumed asymptotically flat, and…
In this paper, we will investigate the jet schemes of determinantal varieties. It is quite often the case that the geometric information concerning the jet schemes of an algebraic variety can be described, but the more refined algebraic…
Suppose $X$ is an irreducible complex variety. We show that when $X$ is ruled, the group of birational transformations $Bir(X)$, as a group, determines $X$ up to birational transformations and automorphisms of the base field. In contrast,…
A holomorphic foliation is defined as an integrable coherent subsheaf of the tangent sheaf. The structure of the leaves around a singularity is read off from the structure of the stalks. This was done by Baum when the dimension of the…
Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is…
A form in a polynomial ring over a field is said to be homaloidal if its polar map is a Cremona map, i.e., if the rational map defined by the partial derivatives of the form has an inverse rational map. The object of this work is the search…
The ring of invariant polynomials ${\mathbb C}[V]^G$ over a given finite dimensional representation space $V$ of a complex reductive group $G$ is known, by a famous theorem of Hilbert, to be finitely generated. The general proof being…
We survey determinantal singularities, their deformations, and their topology. This class of singularities generalizes the well studied case of complete intersections in several different aspects, but exhibits a plethora of new phenomena…