Closed points on schemes

Justin Chen

DOI: https://doi.org/10.48550/arXiv.1708.06494

2017-08-22

Abstract:This brief note gives a survey on results relating to existence of closed points on schemes, including an elementary topological characterization of the schemes with (at least one) closed point.

Algebraic Geometry

What problem does this paper attempt to address?

The S" fixed points in Quot-schemes

Bong H Lian,Chien-Hao Liu,Kefeng Liu,Shing-Tung Yau

2003-01-01

Abstract:We describe the S*-action on the Quot-scheme Quot (8”) associated to the trivial bundle &"= CP x C". In particlular, the topology of the S*-fixed-point components in Quot (8”) and the S*-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [LL-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on S'fixed points in this paper are used here to do explicit Mir-ror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcol-lection of the S*-fixed-point components. These components are identified and are labelled by Young tableaus. The S*-equivariant Euler class es1 of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down es1 directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using the method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation of mirror principle to physical theory. Some related questions are listed for further study.
The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

Bong H. Lian,Chien-Hao Liu,Kefeng Liu,Shing-Tung Yau

DOI: https://doi.org/10.1090/conm/322/05687

2003-01-01

Abstract:We describe the S 1 -action on the Quot-scheme Quot(E n ) associated to the trivial bundle E n = CP 1 × C n . In particlular, the topology of the S 1 -fixed-point components in Quot(E n ) and the S 1 -weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on S 1 fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the S 1 -fixed-point components. These components are identified and are labelled by Young tableaus. The S 1 -equivariant Euler class eS1 of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down eS1 directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation of mirror principle to physical theory. Some related questions are listed for further study.
Points in algebraic geometry

Ofer Gabber,Shane Kelly

DOI: https://doi.org/10.1016/j.jpaa.2015.03.001

IF: 0.834

2015-10-01

Journal of Pure and Applied Algebra

Abstract:We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, étale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type over a separated noetherian base. Combined with a theorem of Deligne on the existence of enough points, this provides an algebro-geometric description of a conservative family of fibre functors on these categories of sheaves. As an example of an application we show that direct image along a closed immersion is exact for all these topologies except qfh. The methods are transportable to other categories of sheaves as well.

mathematics, applied
The geometry of double nested Hilbert schemes of points on curves

Michele Graffeo,Paolo Lella,Sergej Monavari,Andrea T. Ricolfi,Alessio Sammartano

2024-10-10

Abstract:Let $C$ be a smooth curve. In this paper we investigate the geometric properties of the double nested Hilbert scheme of points on $C$, a moduli space introduced by the third author in the context of BPS invariants of local curves and sheaf counting on Calabi-Yau 3-folds. We prove this moduli space is connected, reduced and of pure dimension; we list its components via an explicit combinatorial characterisation and we show they can be resolved, when singular, by products of symmetric products of $C$. We achieve this via a purely algebraic analysis of the factorisation properties of the monoid of reverse plane partitions. We discuss the (virtual) fundamental class of the moduli space, we describe the local equations cutting it inside a smooth ambient space, and finally we provide a closed formula for its motivic class in the Grothendieck ring of varieties.

Algebraic Geometry
Inheritance of local topological properties of schemes

Johann Gramzow

2024-11-13

Abstract:This paper shows that for certain local topological properties, given a locally quasi-finite, flat and locally finitely presented map of schemes $f\colon X\to Y$, if $Y$ has the property, then so does $X$. We also show that being locally topologically noetherian or locally connected or having locally finitely many irreducible components are examples for these local topological properties.

Algebraic Geometry
Topological spaces satisfying a closed graph theorem

Dominikus Noll

2024-04-04

Abstract:We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed graph theorem, and we compare closed graph and open mapping spaces.

General Topology
Closed subcategories of quotient categories

Daniel Rogalski

2024-11-21

Abstract:We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of quasi-coherent sheaves on a quasi-projective scheme $S$, then the closed subschemes of $S$ correspond bijectively to the closed subcategories of $X$. Many interesting quasi-schemes, such as the noncommutative projective scheme Qgr-$B$ = Gr-$B$/Tors-$B$ associated to a graded algebra $B$, arise as quotient categories of simpler abelian categories. In this paper we will show how to describe the closed subcategories of any quotient category $X/Y$ in terms of closed subcategories of $X$ with special properties, when $X$ is a category with a set of compact projective generators.

Rings and Algebras,Category Theory,Quantum Algebra
Unexpected but recurrent phenomena for Quot and Hilbert schemes of points

Franco Giovenzana,Luca Giovenzana,Michele Graffeo,Paolo Lella

2024-06-21

Abstract:We investigate some aspects of the geometry of two classical generalisations of the Hilbert schemes of points. Precisely, we show that parity conjecture for $\text{Quot}_r^d\mathbb{A}^3$ already fails for $d=8$ and $r=2$ and that lots of the elementary components of the nested Hilbert schemes of points on smooth quasi-projective varieties of dimension at least 4 are generically non-reduced. We also deduce that nested Hilbert schemes of points on smooth surfaces have generically non-reduced components. Finally, we give an infinite family of elementary components of the classical Hilbert schemes of points.

Algebraic Geometry,Commutative Algebra
Existence of rational points as a homotopy limit problem

Gereon Quick

DOI: https://doi.org/10.48550/arXiv.1309.0463

2013-09-23

Abstract:We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in Grothendieck's Section Conjecture would follow from the surjectivity of the map from fixed points to continuous homotopy fixed points on the level of connected components. Along the way we define a new model for the continuous etale homotopy fixed point space of a smooth variety over a field under the Galois action.

Algebraic Geometry,Algebraic Topology
Fixed point distribution on Hilbert scheme of points

Gergely Bérczi,Jonas M. Svendsen

2023-11-20

Abstract:Let $\mathbf{k}$ be a closed field of characteristic zero. We prove that all monomial ideals sit in the curvilinear component of the Hilbert scheme of points of the affine space $\mathbb{A}_{\mathbf{k}}^n$, answering a long-standing question about the distribution of torus-fixed points among punctual components. This result confirms that the punctual Hilbert scheme is connected, a property previously established only for the full Hilbert scheme in 1966 by Hartshorne.

Algebraic Geometry,Mathematical Physics
Schemes of Finite Expansion and Universally Closed Curves

Matthias Johann Steiner

DOI: https://doi.org/10.48550/arXiv.2107.02236

2021-07-05

Algebraic Geometry

Abstract:In algebraic geometry there is a well-known categorical equivalence between the category of normal proper integral curves over a field $k$ and the category of finitely generated field extensions of $k$ of transcendence degree $1$. In this paper we generalize this equivalence to the category of normal quasi-compact universally closed separated integral $k$-schemes of dimension $1$ and the category of field extensions of $k$ of transcendence degree $1$. Our key technique are morphisms of finite expansion which can be considered as relaxation of morphisms of finite type. Since the schemes in the generalized category have many properties similar to normal proper integral curves, we call them normal integral universally closed curves over $k$.
Perspective and open problems on birational properties and singularities of moduli scheme of sheaves on surfaces

Kimiko Yamada

2024-04-08

Abstract:For complex projective smooth surface $X$, let $M$ be the coarse moduli scheme of rank-two stable sheaves with fixed Chern classes. Grasping the birational structure of $M$, for example its Kodaira dimension, is a fundamental problem. However, in the case where $\kappa(X)>0$, the study of this problem has not necessarily been active in recent years. In this article we survey the study of this problem, especially for the case where $\kappa(X)=1$ and $c_1=0$. We will also survey some research on the structure of singularities of $M$, and a minimal model program of $M$. While explaining motivations, we raise several unsolved problems.

Algebraic Geometry
On a Question of Closed Maps of S. Lin

Huaipeng Chen

DOI: https://doi.org/10.5666/kmj.2010.50.4.537

2010-01-01

Kyungpook mathematical journal

Abstract:Let X be a regular -space such that each single point set is a set. Denot 'hereditarily closure-preserving' by 'HCP'. To consider a question of closed maps of S. Lin in [6], we improve some results of Foged in [1], and prove the following propositions. Proposition 1. is discrete and closed if is a collection of HCP. Proposition 2. is an fininte subcolletion of is HCP if is a collection of HCP. Proposition 3. Let (X,) have a -HCP k-network. Then (X,) has a -HCP k-network F = such that such tat: (i) , (ii) is a discrete closed set and (iii) each is closed to finite intersections.
On schemes with trivial higher étale homotopy groups

Mohammed Moutand

2023-12-14

Abstract:Let $(X,\bar x)$ be a pointed connected noetherian scheme. In this note, we give characterizations for the vanishing of the second étale homotopy group $\pi^{\rm ét}_2(X,\bar x)$ in terms of splitting profinite-étale covers of $X$, and by means of universal covering spaces of the Artin-Mazur-Friedlander étale homotopy type $Et(X)$. In particular, this provides certain classes of schemes for which the Brauer map is surjective.

Algebraic Geometry
A note on the Tangent Cones of the scheme of Secant Loci

Ali Bajravani

DOI: https://doi.org/10.48550/arXiv.1812.00580

2018-12-03

Algebraic Geometry

Abstract:The point of this short note concerns with two facts on the scheme of secant loci. The first one is an attempt to describe the tangent cone of these schemes globally and the second one is a comparision on the dimension of the tangent spaces of various schemes of secant loci.
Punctual Quot schemes and Cohen--Lenstra series of the cusp singularity

Yifeng Huang,Ruofan Jiang

2023-06-06

Abstract:The Quot scheme of points $\mathrm{Quot}_{d,n}(X)$ on a variety $X$ over a field $k$ parametrizes quotient sheaves of $\mathcal{O}_X^{\oplus d}$ of zero-dimensional support and length $n$. It is a rank-$d$ generalization of the Hilbert scheme of $n$ points. When $X$ is a reduced curve with only the cusp singularity $\{x^2=y^3\}$ and $d\geq 0$ is fixed, the generating series for the motives of $\mathrm{Quot}_{d,n}(X)$ in the Grothendieck ring of varieties is studied via Gröbner bases, and shown to be rational. Moreover, the generating series is computed explicitly when $d\leq 3$. The computational results exhibit surprising patterns (despite the fact that the category of finite length coherent modules over a cusp is wild), which not only enable us to conjecture the exact form of the generating series for all $d$, but also suggest a general functional equation whose $d=1$ case is the classical functional equation of the motivic zeta function known for any Gorenstein curve. As another side of the story, Quot schemes are related to the Cohen--Lenstra series. The Cohen--Lenstra series encodes the count of "commuting matrix points'' (or equivalently, coherent modules of finite length) of a variety over a finite field, about which Huang formuated a "rationality'' conjecture for singular curves. We prove a general formula that expresses the Cohen--Lenstra series in terms of the motives of the (punctual) Quot schemes, which together with our main rationality theorem, provides positive evidence for Huang's conjecture for the cusp.

Algebraic Geometry,Commutative Algebra,Combinatorics
The Functor of Points Approach to Schemes in Cubical Agda

Max Zeuner,Matthias Hutzler

2024-03-20

Abstract:We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern algebraic geometry, as certain well-behaved functors from commutative rings to sets. This approach is often regarded as conceptually simpler than the standard approach of defining schemes as locally ringed spaces, but to our knowledge it has not yet been adopted in formalizations of algebraic geometry. We build upon a previous formalization of the so-called Zariski lattice associated to a commutative ring in order to define the notion of compact open subfunctor. This allows for a concise definition of qcqs-schemes, streamlining the usual presentation as e.g. given in the standard textbook of Demazure and Gabriel. It also lets us obtain a fully constructive proof that compact open subfunctors of affine schemes are qcqs-schemes.

Algebraic Geometry,Logic
Generically nonreduced components of Hilbert schemes on fourfolds

Joachim Jelisiejew

2024-06-28

Abstract:We exhibit generically nonreduced components of the Hilbert scheme of at least $21$ points on a smooth variety of dimension at least four. The result was announced in~[Jelisiejew__open_problems] and answers a question~[Problem~3.8, AIMPL]. The method is similar to the one of~[\S6, Jelisiejew-Šivic].

Algebraic Geometry,Commutative Algebra
On the Union-Closed Set Conjecture

Sven Schäge

DOI: https://doi.org/10.48550/arXiv.1607.01007

2016-07-07

Abstract:We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.

Combinatorics

Closed points on schemes

The S" fixed points in Quot-schemes

The S^1 Fixed Points in Quot-schemes and Mirror Principle Computations

Points in algebraic geometry

The geometry of double nested Hilbert schemes of points on curves

Inheritance of local topological properties of schemes

Topological spaces satisfying a closed graph theorem

Closed subcategories of quotient categories

Unexpected but recurrent phenomena for Quot and Hilbert schemes of points

Existence of rational points as a homotopy limit problem

Fixed point distribution on Hilbert scheme of points

Schemes of Finite Expansion and Universally Closed Curves

Perspective and open problems on birational properties and singularities of moduli scheme of sheaves on surfaces

On a Question of Closed Maps of S. Lin

On schemes with trivial higher étale homotopy groups

A note on the Tangent Cones of the scheme of Secant Loci

Punctual Quot schemes and Cohen--Lenstra series of the cusp singularity

The Functor of Points Approach to Schemes in Cubical Agda

Generically nonreduced components of Hilbert schemes on fourfolds

On the Union-Closed Set Conjecture