SearcharxivSearch

arXiv subjects

Inder Kaur

Publications and source records attributed to Inder Kaur.

At least 19 recordsLinked to original sources

Blowups, Gale duality, and moduli spaces

The goal of this paper is to describe the birational geometry of the blowup of $\mathbb{P}^n$ at $n+4$ points in very general position. To achieve this, we follow an idea of Mukai and explore a special instance of Gale duality, namely, a correspondence between configurations of $n+4$ points in the projective spaces $\mathbb{P}^n$ and $\mathbb{P}^2$. We first prove that the blowup $X$ of $\mathbb{P}^n$ at $n+4$ general points is isomorphic to a certain Gieseker moduli space of rank $2$ vector bundles on the surface $S$ obtained by blowing up $\mathbb{P}^2$ at the $n+4$ Gale dual points. We then study the variation of these moduli spaces as we vary the polarization $L$ on $S$, and translate this variation into a partial Mori chamber decomposition of $\overline{Eff}(X)$, describing to some extent the birational geometry of $X$.

math.AG

Moduli of parabolic bundles on an elliptic curve

A lot is known about the moduli space of parabolic bundles over curves of genus $g\geq 2$, but the lower genus cases are notably different. The goal of this article is to study the geometry of the moduli space of semistable parabolic bundles of rank $3$ with trivial determinant and one marked point on an elliptic curve. We show that this moduli space is rational, give an explicit description of its geometry, its group of automorphisms and also prove a Torelli-type result.

math.AG

Hodge Conjecture via Singular Varieties

In this article we study the cohomological and homological (due to Jannsen) Hodge conjecture for singular varieties. The motivation for studying singular varieties comes from the fact that any smooth projective variety X is birational to a (possibly singular) hypersurface Y in a projective space. We prove that odd dimensional hypersurfaces with $A_n$ singularities satisfy both versions of the conjecture and moreover their (smooth) resolutions satisfy the classical Hodge conjecture, thus producing new examples of smooth varieties satisfying the classical Hodge conjecture.

math.AG

Extended operational Chow group and Lefschetz (1,1)-theorem

Let $X$ be a singular, projective variety. For every $p>0$, $H^{2p}(X,\mathbb{Q})$ is equipped with a mixed Hodge structure. The elements of $\mathrm{Gr}^W_{2p}H^{2p}(X,\mathbb{Q}) \cap H^{p,p} \mathrm{Gr}^W_{2p}H^{2p}(X,\mathbb{C})$ will be called Hodge (p,p)-classes. The purpose of this article, is to study the Bloch-Gillet-Soul\'{e} (BGS) cycle class map from the $p$-th operational Chow group $A^p(X)$ to the space of $(p,p)$-Hodge classes. We show that if $p=1$ and $X$ is a normal surface with at worst rational singularities, then the BGS cycle class map is surjective. This extends the Lefschetz $(1,1)$-theorem to the setup of rational surface singularities. However, the BGS map is not always surjective. For this reason we introduce extended operational Chow group $A^p_{\mathrm{ext}}(X)$ which contains the operational Chow group. We show that the BGS cycle class map extends to $A^p_{\mathrm{ext}}(X)$. Moreover, if $p=1$ and $X$ has at worst isolated singularity (not necessarily a surface), then the extended BGS map is surjective. This further extends the Lefschetz $(1,1)$-theorem to the case of isolated singularities.

math.AG

Hecke modifications of vector bundles

Hecke modifications of vector bundles have played a significant role in several areas of mathematics. They appear in subjects ranging from number theory to complex geometry. This article intends to be a friendly introduction to the subject. We give an overview of how Hecke modifications appear in the literature, explain their origin and their importance in number theory and classical algebraic geometry. Moreover, we report the progress made in describing Hecke modifications explicitly and why these explicit descriptions are important. We describe all the Hecke modifications of the trivial rank $2$ vector bundle over a closed point of degree $5$ in the projective line, as well as all the vector bundles over a certain elliptic curve, which admit a rank $2$ and degree $0$ trace bundle as a Hecke modification. This result is not present in existing literature.

math.AG

Remark on a theorem of Oguiso

For a Calabi-Yau variety X, Oguiso gave a useful criterion for primitivity of a self-map of X in terms of the associated linear map on the Neron--Severi space of X. In this short note, we prove a variant of Oguiso's criterion and use it to verify primitivity of a certain birational automorphism of a Calabi--Yau threefold, to which Oguiso's original criterion does not apply.

math.AG

Semi-homogeneous vector bundles on abelian varieties: moduli spaces and their tropicalization

Let $A$ be an abelian variety with totally degenerate reduction over a non-Archimedean field. We describe the moduli space of semihomogeneous vector bundles on $A$ from the perspective of non-Archimedean uniformization and show that the essential skeleton may be identified with a tropical analogue of this moduli space. For $H=0$ our moduli space may be identified with the moduli space $M_{0,r}(A)$ of semistable vector bundles with vanishing Chern classes on $A$. In this case we construct a surjective analytic morphism from the character variety of the analytic fundamental group of $A$ onto $M_{0,r}(A)$, which naturally tropicalizes. One may view this construction as a non-Archimedean uniformization of $M_{0,r}(A)$.

math.AG

Determinant morphism for singular varieties

Let $X$ be a projective variety (possibly singular) over an algebraically closed field of any characteristic and $\mathcal{F}$ be a coherent sheaf. In this article, we define the determinant of $\mathcal{F}$ such that it agrees with the classical definition of determinant in the case when $X$ is non-singular. We study how the Hilbert polynomial of the determinant varies in families of singular varieties. Consider a singular family such that every fiber is a normal, projective variety. Unlike in the case when the family is smooth, the Hilbert polynomial of the determinant does not remain constant in singular families. However, we show that it exhibits an upper semi-continuous behaviour. Using this we give a determinant morphism defined over flat families of coherent sheaves. This morphism coincides with the classical determinant morphism in the smooth case. Finally, we give applications of our results to moduli spaces of semi-stable sheaves on $X$ and to Hilbert schemes of curves.

math.AG

Mumford Tate groups and the Hodge conjecture

In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how to produce such families. Furthermore, we show for varieties with worse singularities the conjecture can be expressed solely in terms of the algebraic classes.

math.AG

Hodge conjecture for the moduli space of semi-stable sheaves over a nodal curve

In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We also compute the algebraic Poincare polynomial of the associated cohomology ring.

math.AG

Generators of the cohomology ring, after Newstead

Newstead gave the generators of the cohomology ring of the moduli space of rank 2 semi-stable, torsion-free sheaves with fixed odd degree determinant over a smooth, projective curve. In this article, we generalize this result to the case when the underlying curve is irreducible, nodal. We show that these generators (of the cohomology ring in the nodal curve case) arise naturally as degeneration of Newstead's generators in the smooth curve case.

math.AG

Descent theory of simple sheaves on $C_1$-fields

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on $X$. As a consequence, we show that there is a $1-1$ correspondence between the set of geometrically stable sheaves on $X$ with fixed Hibert polynomial $P$ and the set of $K$-rational points of the corresponding moduli space.

math.AG

Generalization of a conjecture of Mumford

A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least 2. The conjecture was proven by Kirwan. In this article, we generalize the conjecture to the case when the underlying curve is irreducible, nodal. In fact, we show that these relations (in the nodal curve case) arise naturally as degeneration of the Mumford relations shown by Kirwan in the smooth curve case. As a byproduct, we compute the Hodge-Poincare polynomial of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed determinant on an irreducible, nodal curve.

math.AG

Néron models of intermediate Jacobians associated to moduli spaces

Let $π_1:\mathcal{X} \to Δ$ be a flat family of smooth, projective curves of genus $g \ge 2$, degenerating to an irreducible nodal curve $X_0$ with exactly one node. Fix an invertible sheaf $\mathcal{L}$ on $\mathcal{X}$ of relative odd degree. Let $π_2:\mathcal{G}(2,\mathcal{L}) \to Δ$ be the relative Gieseker moduli space of rank $2$ semi-stable vector bundles with determinant $\mathcal{L}$ over $\mathcal{X}$. Since $π_2$ is smooth over $Δ^*$, there exists a canonical family $\widetildeρ_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{Δ^*}} \to Δ^{*}$ of $i$-th intermediate Jacobians i.e., for all $t \in Δ^*$, $(\widetildeρ_i)^{-1}(t)$ is the $i$-th intermediate Jacobian of $π_2^{-1}(t)$. There exist different Néron models $\overlineρ_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to Δ$ extending $\widetildeρ_i$ to the entire disc $Δ$, constructed by Clemens, Saito, Schnell, Zucker and Green-Griffiths-Kerr. In this article, we prove that in our setup, the Néron model $\overlineρ_i$ is canonical in the sense that the different Néron models coincide and is an analytic fiber space which graphs admissible normal functions. We also show that for $1 \le i \le \max\{2,g-1\}$, the central fiber of $\overlineρ_i$ is a fibration over product of copies of $J^k(\mathrm{Jac}(\widetilde{X}_0))$ for certain values of $k$, where $\widetilde{X}_0$ is the normalization of $X_0$. In particular, for $g \ge 5$ and $i=2, 3, 4$, the central fiber of $\overlineρ_i$ is a semi-abelian variety. Furthermore, we prove that the $i$-th generalized intermediate Jacobian of the (singular) central fibre of $π_2$ is a fibration over the central fibre of the Néron model $\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}$. In fact, for $i=2$ the fibration is an isomorphism.

math.AG

Degeneration of intermediate Jacobians and the Torelli theorem

Mumford and Newstead generalized the classical Torelli theorem to higher rank i.e., a smooth, projective curve $X$ is uniquely determined by the second intermediate Jacobian of the moduli space of stable rank $2$ bundles on $X$, with fixed odd degree determinant. In this article we prove the analogous result in the case $X$ is an irreducible nodal curve with one node. As a byproduct, we obtain the degeneration of the second intermediate Jacobians and the associated Néron model of a family of such moduli spaces.

math.AG

Existence of semistable vector bundles with fixed determinants

Let $R$ be an excellent Henselian discrete valuation ring with algebraically closed residue field $k$ of any characteristic. Fix integers $r,d$ with $r\ge 2$. Let $X_R$ be a regular fibred surface over Spec($R$) with special fibre denoted $X_k$, a generalised tree-like curve of genus $g \ge 2$. Let ${L}_R$ be a line bundle on $X_R$ of degree $d$ such that the degree of the restriction of ${L}_R$ on the rational components of $X_k$ is a multiple of $r$. In this article we prove the existence of a rank $r$ locally free sheaf on $X_R$ of determinant ${L}_R$ such that it is semistable on the fibres.

math.AG

Examples of varieties with index one on $C_1$-fields

Let $K$ be the fraction field of a Henselian discrete valuation ring with algebraically closed residue field $k$. In this article we give a sufficient criterion for a projective variety over such a field to have index $1$.

math.AG