|
|
Results 1 - 3 of 3 |
1. CJM Online first
| A Hilbert Scheme in Computer Vision Multiview geometry is the study of
two-dimensional images of three-dimensional scenes, a foundational subject in computer vision.
We determine a universal Gröbner basis for the multiview ideal of $n$ generic cameras.
As the cameras move, the multiview varieties vary in a family of dimension $11n-15$.
This family is the distinguished component of a multigraded Hilbert scheme
with a unique Borel-fixed point.
We present a combinatorial study
of ideals lying on that Hilbert scheme.
Keywords:multigraded Hilbert Scheme, computer vision, monomial ideal, Groebner basis, generic initial ideal Categories:14N, 14Q, 68 |
2. CJM 2010 (vol 62 pp. 1131)
| Moduli Spaces of Reflexive Sheaves of Rank 2
Let $\mathcal{F}$ be a coherent rank $2$ sheaf on a scheme $Y \subset \mathbb{P}^{n}$ of
dimension at least two and let $X \subset Y$ be the zero set of a section
$\sigma \in H^0(\mathcal{F})$. In this paper, we study the relationship between the
functor that deforms the pair $(\mathcal{F},\sigma)$ and the two functors that deform
$\mathcal{F}$ on $Y$, and $X$ in $Y$, respectively. By imposing some conditions on two
forgetful maps between the functors, we prove that the scheme structure of
\emph{e.g.,} the moduli scheme ${\rm M_Y}(P)$ of stable sheaves on a threefold $Y$
at $(\mathcal{F})$, and the scheme structure at $(X)$ of the Hilbert scheme of curves
on $Y$ become closely related. Using this relationship, we get criteria for the
dimension and smoothness of $ {\rm M_{Y}}(P)$ at $(\mathcal{F})$, without assuming $
{\textrm{Ext}^2}(\mathcal{F} ,\mathcal{F} ) = 0$. For reflexive sheaves on $Y=\mathbb{P}^{3}$ whose
deficiency module $M = H_{*}^1(\mathcal{F})$ satisfies $ {_{0}\! \textrm{Ext}^2}(M ,M ) = 0 $
(\emph{e.g.,} of diameter at most 2),
we get necessary and sufficient conditions of unobstructedness that coincide
in the diameter one case. The conditions are further equivalent to the
vanishing of certain graded Betti numbers of the free graded minimal
resolution of $H_{*}^0(\mathcal{F})$. Moreover, we show that every irreducible
component of ${\rm M}_{\mathbb{P}^{3}}(P)$ containing a reflexive sheaf of diameter
one is reduced (generically smooth) and we compute its dimension. We also
determine a good lower bound for the dimension of any component of ${\rm
M}_{\mathbb{P}^{3}}(P)$ that contains a reflexive stable sheaf with ``small''
deficiency module $M$.
Keywords:moduli space, reflexive sheaf, Hilbert scheme, space curve, Buchsbaum sheaf, unobstructedness, cup product, graded Betti numbers.xdvi Categories:14C05, qqqqq14D22, 14F05, 14J10, 14H50, 14B10, 13D02, 13D07 |
3. CJM 2004 (vol 56 pp. 495)
| Coinvariant Algebras of Finite Subgroups of $\SL(3,C)$ For most of the finite subgroups of $\SL(3,\mathbf{C})$, we give explicit formulae for
the Molien series of the coinvariant algebras, generalizing McKay's formulae
\cite{M99} for subgroups of $\SU(2)$. We also study the $G$-orbit Hilbert scheme
$\Hilb^G(\mathbf{C}^3)$ for any finite subgroup $G$ of $\SO(3)$, which is known to be a
minimal (crepant) resolution of the orbit space $\mathbf{C}^3/G$. In this case the fiber
over the origin of the Hilbert-Chow morphism from $\Hilb^G(\mathbf{C}^3)$ to $\mathbf{C}^3/G$
consists of finitely many smooth rational curves, whose planar dual graph is
identified with a certain subgraph of the representation graph of $G$. This is
an $\SO(3)$ version of the McKay correspondence in the $\SU(2)$ case.
Keywords:Hilbert scheme, Invariant theory, Coinvariant algebra,, McKay quiver, McKay correspondence Categories:14J30, 14J17 |

