In the last paragraph of the first page of this paper, it is mentioned that an $n$-dimensional Calabi-Yau manifold $X$ is the moduli space of structure sheaves of its points and I am not really sure what this exactly means. Is this trying to mention the functor-of-points viewpoint or is there some other result? Thank you in advance.
2026-02-23 10:49:02.1771843742
A variety is the moduli space of structure sheaves of points
92 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- How to see line bundle on $\mathbb P^1$ intuitively?
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- An irreducible $k$-scheme of finite type is "geometrically equidimensional".
- Global section of line bundle of degree 0
- Is there a variant of the implicit function theorem covering a branch of a curve around a singular point?
- Singular points of a curve
- Find Canonical equation of a Hyperbola
- Picard group of a fibration
- Finding a quartic with some prescribed multiplicities
Related Questions in COMPLEX-GEOMETRY
- Numerable basis of holomporphic functions on a Torus
- Relation between Fubini-Study metric and curvature
- Hausdorff Distance Between Projective Varieties
- What can the disk conformally cover?
- Some questions on the tangent bundle of manifolds
- Inequivalent holomorphic atlases
- Reason for Graphing Complex Numbers
- Why is the quintic in $\mathbb{CP}^4$ simply connected?
- Kaehler Potential Convexity
- I want the pullback of a non-closed 1-form to be closed. Is that possible?
Related Questions in SYMPLECTIC-GEOMETRY
- Linear algebra - Property of an exterior form
- Proof that 1-Form on a Symplectic Manifold is Closed?
- Time derivative of a pullback of a time-dependent 2-form
- Understanding time-dependent forms
- What is a symplectic form of the rotation group SO(n)
- Dimension of the Marsden-Weinstein reduction of a coadjoint orbit in the dual of the Lie algebra of the gauge group (Atiyah-Bott context)
- Symplectic form on the n-torus
- Computing the flow on the cotangent bundle
- Action-angle variables in non-compact level sets
- About the tangent space of a coadjoint orbit
Related Questions in MIRROR-SYMMETRY
- Book References about Complex Geometry
- Why Lagrangians of two (real) torus are lines?
- Fibrating $X=\Bbb R^2 / \{0\}$ by breaking up the space with hyperbola?
- Construction of virtual class at Homological Mirror Symmetry
- Areas of contemporary Mathematical Physics
- The Kähler form and the anticanonical line bundle
- Moduli space about $CP^{N-1}$ and $T^* CP^{N-1}$.
- Mathematical terminology about Holomorphic vector bundle over Grassmanian.
- Why is a DG-enhancement of the derived bounded category of coherent sheaves an enhancement?
- Defining asymmetries in Turing's reaction-diffusion paper
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
This line is nothing special to Calabi-Yau manifolds. If $\check{X}$ is any complex manifold, we can say that $\check{X}$ parametrizes the structure sheaves of points of $\check{X}$ in the (tautological) sense that there is a bijection \begin{align*} \{\mathcal O_p: p \in \check{X}\} \leftrightarrow \{p: p \in \check{X}\} = \check{X}. \end{align*} If you want to be extra-formal, you can upgrade this to an isomorphism of functors of points. Namely, for each morphism $f: T \to \check{X}$, we can take its graph $\Gamma(f) \subset \check{X} \times T$; the structure sheaves of these graphs will parametrize the morphisms $f$. (The special case $T = *$ recovers the earlier bijection.)
What does this give you in the context of the paper? We're assuming that there is an equivalence of categories $$ \mathcal{Fuk}(X) \cong D^b(\mathrm{Coh}(\check{X})) $$ identifying certain features on each side with each other (cf. the table in the paper). In particular, the sheaves $\mathcal O_p$ form a family of objects of the right-hand category, parametrized by $\check{X}$. So there must be a corresponding family of objects of the left-hand category, also parametrized by $\check{X}$. This is the family of Lagrangians mentioned in the following sentence of the paper. Then one can identify the Floer cohomology groups of these objects with the Ext groups of the sheaves $\mathcal O_p$.