Intereting Posts

Sobolev space $H^s(\mathbb{R}^n)$ is an algebra with $2s>n$
Using Pigeonhole Principle to prove two numbers in a subset of $$ divide each other
Canonical symplectic form on cotangent bundle of complex manifold
Interpretation of a probability problem: expected value.
inclusion of $\sigma$-algebra generated by random variables
Syntactically speaking, when can you introduce a universal such that no logical inconsistencies are introduced?
Calculate unknown variable when surface area is given. (Calculus)
Integrating trigonometric function problem $\int \frac{3\sin x+2\cos x}{2\sin x+3\cos x}dx$
Regularity of a quotient ring of the polynomial ring in three indeterminates
Homography between ellipses
Efficient way to compute $\sum_{i=1}^n \varphi(i) $
For $s > 1,$ we have $\zeta(s) = \prod \left( \dfrac{1}{1-p^{-s}} \right)$
What is wrong with the sum of these two series?
Bhattacharya Distance (or A Measure of Similarity) — On Matrices with Different Dimensions
Is this a correct/good way to think interpret differentials for the beginning calculus student?

I am studying the proof of the following proposition in Hartshorne – Let $k$ be an algebraically closed field. There is a natural fully faithful functor $Var(k)\longrightarrow Sch(k)$ from the category of varieties over $k$ to schemes over $k$.

First they make some statements about general topological spaces (in which I have a doubt).

Let $X$ be any topological space. And let $t(X)$ be the set of non-empty irreducible closed subsets of $X$. If $Y, Y_1, Y_2, Y_i$ $(i\in I)$ are closed subsets of $X$, then we can check that $t(Y)\subset t(X)$, $t(Y_1)\cup t(Y_2)=t(Y_1\cup Y_2)$ and $\bigcap_{i\in I}t(Y_i)=t(\bigcap_{i\in I}Y_i\big)$. From this, we can make $t(X)$ a topological space, by taking closed subsets of $t(X)$ to be subsets of the form $t(Y)$, where $Y$ is a closed subset of $X$. Further if $f:X_1\longrightarrow X_2$ is a continuous, we obtain a map $t(f):t(X_1)\longrightarrow t(X_2)$ by sending $Y\in t(X_1)$ to $cl(f(Y))$ in $X_2$. Thus $t$ is a functor on topological spaces.

- Localization Notation in Hartshorne
- Algebraic Geometry Text Recommendation
- Morphism from a line bundle to a vector bundle
- Homotopy invariance of the Picard group
- intrinsic proof that the grassmannian is a manifold
- Hilbert polynomial Twisted cubic

Further, we define a map $\alpha:X \longrightarrow t(X)$, by $\alpha(P)=cl\{P\}$. We see that $\alpha$ is continuous because for any closed subset $t(Y)$ of $t(X)$, $\alpha^{-1}(t(Y))=Y$, which is closed in $X$. Next they make the following statement :

$\alpha$ induces a bijection between the set of open subsets of $X$ and the set of open subsets of $t(X)$. This is where I have doubts.

I think it is enough to prove that there is a bijection between the corresponding closed sets. What I have so far is : if $Y$ is a closed subset of $X$, then $\alpha^{-1}(t(Y))=Y$, and $\alpha(Y)\subset t(Y)$. Also if $Y\neq Z$ closed subsets of $X$, I can show that $\alpha(Y)\neq\alpha(Z)$. What more is needed to prove that there is a bijection?

- Sheafication of a sheaf restricted to a open set
- Hartshorne Ex. 1.3.8 - Where do I take intersections here?
- Poincare duality in group (co)homology
- Morphism between projective schemes induced by injection of graded rings
- Functions determine geometry … Riemannian / metric geometry?
- How to compute the topological space of fibered product of schemes?
- Relation between a generalization of Weil's abstract varieties and algebraic schemes
- Is local isomorphism totally determined by local rings?
- Krull dimension and transcendence degree
- Can there be a point on a Riemann surface such that every rational function is ramified at this point?

Let $U=X\setminus Y$ be an open subset of $X$ (of course $Y$ is closed). The induced map can be defined as

$$ \alpha(U) = t(X)\setminus t(Y), $$

which is well defined since $\alpha(U)$ is an open subset of $t(X)$ by definition of its topology. This map is obviously a bijection between the open subsets of $X$ and the open subsets of $t(X)$.

I’m not sure Abramo’s answer above is correct as described here.

To be clear, we can define a bijection from closed sets of $X$ to closed sets of $tX$ by sending a closed set $Y \subseteq X$ to the closed set $tY \subseteq tX$. This map is clearly subjective by definition of the topology on $tX$. As was mentioned above, we have $\alpha^{-1}(tY) = Y$, for any closed $Y \subset X$, and this gives injectivity.

Closed set and open sets are in bijection by complementation so the above bijection can be made to be between open sets by sending an open $X-Y$ in $X$ to $tX – tY$ in $tX$.

- Problem in the solution of a trigonometric equation $\tan\theta + \tan 2\theta+\tan 3\theta=\tan\theta\tan2\theta\tan3\theta$
- Bijection $f:\mathcal{P}(A)\to(A\to \{0,1\})$
- Does the series $\sum \sin^{(n)}(1)$ converge, where $\sin^{(n)}$ denotes the $n$-fold composition of $\sin$?
- Does every finite nilpotent group occur as a Frattini subgroup?
- In what sense of “structure” do group homomorphisms “preserve structure”?
- Easy way to generate random numbers?
- Does this sequence have any mathematical significance?
- Convergence in probability inverse of random variable
- Congruent Polynomials
- Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?
- Uniform convergence of a sequence of functions
- Magnitude of differentiable complex function $f(z)$
- Evaluation of $ \lim_{x\to 0}\left\lfloor \frac{x^2}{\sin x\cdot \tan x}\right\rfloor$
- An example of a derivation at a point on a $C^k$-manifold which is not a tangent vector
- Divisibility by Quadratics