Showing 1–4 of 4 results for author: Stark, S

Deformations of the Fano scheme of a cubic

Authors: Samuel Stark

Abstract: We study the deformation theory of the Fano scheme $\mathrm{F}=\mathrm{F}(\mathrm{X})$ of lines on a cubic $\mathrm{X}$ of dimension $d$ with only finitely many singularities. By taking the relative Fano scheme, we define a morphism $η:\mathscr{D}_{\mathrm{X}}\rightarrow\mathscr{D}_{\mathrm{F}}$ of the local moduli functors associated to $\mathrm{X}$ and $\mathrm{F}$, respectively. We show that fo… ▽ More We study the deformation theory of the Fano scheme $\mathrm{F}=\mathrm{F}(\mathrm{X})$ of lines on a cubic $\mathrm{X}$ of dimension $d$ with only finitely many singularities. By taking the relative Fano scheme, we define a morphism $η:\mathscr{D}_{\mathrm{X}}\rightarrow\mathscr{D}_{\mathrm{F}}$ of the local moduli functors associated to $\mathrm{X}$ and $\mathrm{F}$, respectively. We show that for $d\geqslant 5$, $η$ yields an isomorphism on first-order deformations; in particular, $η$ is an isomorphism whenever $\mathrm{H}^{0}(Θ_{\mathrm{X}})=0$. △ Less

Submitted 23 July, 2024; v1 submitted 18 July, 2022; originally announced July 2022.

Cosection localization and the Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$

Authors: Samuel Stark

Abstract: Let $\mathcal{E}$ be a locally free sheaf of rank $r$ on a smooth projective surface $S$. The Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of $\mathcal{E}$ is a natural higher rank generalization of the Hilbert scheme of $l$ points of $S$. We study the virtual intersection theory of this scheme. If $C\subset S$ is a smooth canonical curve, we use cosectio… ▽ More Let $\mathcal{E}$ be a locally free sheaf of rank $r$ on a smooth projective surface $S$. The Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of $\mathcal{E}$ is a natural higher rank generalization of the Hilbert scheme of $l$ points of $S$. We study the virtual intersection theory of this scheme. If $C\subset S$ is a smooth canonical curve, we use cosection localization to show that the virtual fundamental class of $\mathrm{Quot}^{l}_{S}(\mathcal{E})$ is $(-1)^{l}$ times the fundamental class of the smooth subscheme $\mathrm{Quot}^{l}_{C}(\mathcal{E}\vert_{C})\subset\mathrm{Quot}^{l}_{S}(\mathcal{E})$. We then prove a structure theorem for virtual tautological integrals over $\mathrm{Quot}^{l}_{S}(\mathcal{E})$. From this we deduce, among other things, the equality of virtual Euler characteristics $χ^{\mathrm{vir}}(\mathrm{Quot}^{l}_{S}(\mathcal{E}))=χ^{\mathrm{vir}}(\mathrm{Quot}^{l}_{S}(\mathcal{O}^{\oplus r}))$. △ Less

Submitted 29 December, 2022; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: Final version

Journal ref: Proc. R. Soc. A 478 (2022)

On the Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$

Authors: Samuel Stark

Abstract: We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface. In particular, we investigate the nature of its singularities, its intersection theory, and the cohomology of sheaves on $\mathrm{Quot}^l_{S}(\mathcal{E})$. We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface. In particular, we investigate the nature of its singularities, its intersection theory, and the cohomology of sheaves on $\mathrm{Quot}^l_{S}(\mathcal{E})$. △ Less

Submitted 26 January, 2024; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: revised version

MSC Class: 14F06; 14C17; 14B05

Algorithms for detecting dependencies and rigid subsystems for CAD

Authors: James Farre, Helena Kleinschmidt, Jessica Sidman, Audrey Lee-St. John, Stephanie Stark, Louis Theran, Xilin Yu

Abstract: Geometric constraint systems underly popular Computer Aided Design soft- ware. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special po… ▽ More Geometric constraint systems underly popular Computer Aided Design soft- ware. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special positions" of a design in which generically independent constraints become dependent. We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency. Further factoring in the Grassmann- Cayley algebra may allow a geometric interpretation giving conditions (e.g., "these two lines being parallel cause a dependency") determining the special position. △ Less

Submitted 1 October, 2015; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: 37 pages, 14 figures (v2 is an expanded version of an AGD'14 abstract based on v1)