I am currently trying to get a basic understanding of the fibre products in the category of schemes. I am familiar with the construction done in the Hartshorne theorem 3.3. But I personally do not habe a good intuition of the construction with gluing a bunch of fibre products together ( this process is again rather tecchnical to me). My question is how to construct or obtain the underlying topological spaces of fibre products of schemes in general. To give some further motivation for the question and the answer I would like is Exercise 2.10 a) (that I have done) and Example 4.0.1 in the Hartshorne. That is for a Morphism $f \colon X \to Y$ sp($X_y$) is isomorphic to $f^{-1}(y)$, I have done this but I am not quite happy with my understanding of the reduction to affine X by gluing the spaces together in the end. The other one is the fibre product of the affine lines with doubled origins over the ground field k. It is said that the topological space is the affine plane with four origins and doubled coordinate axes, which seems reasonable, but I am not quite sure what a good way of constructing it is. I would cover the space with the affine lines and then do the gluing constructions, but to me this seems a bit inconvenient. But maybe this is what you do and you just need some experience working with this construction, I would really appreciate some personal opinions on this topic. Thanks a lot!
2026-02-23 10:06:12.1771841172
Underlying topological spaces of scheme theoretic fibre products
419 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in GENERAL-TOPOLOGY
- Is every non-locally compact metric space totally disconnected?
- Let X be a topological space and let A be a subset of X
- Continuity, preimage of an open set of $\mathbb R^2$
- Question on minimizing the infimum distance of a point from a non compact set
- Is hedgehog of countable spininess separable space?
- Nonclosed set in $ \mathbb{R}^2 $
- I cannot understand that $\mathfrak{O} := \{\{\}, \{1\}, \{1, 2\}, \{3\}, \{1, 3\}, \{1, 2, 3\}\}$ is a topology on the set $\{1, 2, 3\}$.
- If for every continuous function $\phi$, the function $\phi \circ f$ is continuous, then $f$ is continuous.
- Defining a homotopy on an annulus
- Triangle inequality for metric space where the metric is angles between vectors
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 SCHEMES
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- Do torsion-free $\mathcal{O}_X$-modules on curves have dimension one?
- $\mathbb{C}[x,y]$ is the sections of Spec $\mathbb{C}[x,y]$ minus the origin?
- Finitely generated $k-$algebras of regular functions on an algebraic variety
- Is every open affine subscheme of an algebraic $k-$variety an affine $k-$variety?
- Scheme Theoretic Image (Hartshorne Ex.II.3.11.d)
- Is this a closed embedding of schemes?
- Adjunction isomorphism in algebraic geometry
- Closed connected subset of $\mathbb{P}_k^1$
- Why can't closed subschemes be defined in an easier way?
Related Questions in FIBRE-PRODUCT
- A question on the fibered product of schemes
- The existence of fibre product of schemes
- Hartshorne II.3.22c following the hint
- EGA I (Springer), Proposition 0.4.5.4.
- How to understand fibres of morphisms of schemes.
- Question about irreducible components of the fiber product $\operatorname{Spec}(k[t]) \times_{\text{Spec}(k[t^2])} \operatorname{Spec}(k[t])$
- Pullback of localisations of commutative ring
- An example when the direct image of a locally free sheaf is not locally free
- The Image of Diagonal Morphism $\Delta(X)$
- If $S\to T$ is a closed immersion, then $X\times_S Y\simeq X\times_T Y$.
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?