Questions tagged [zariski-topology]
The zariski-topology tag has no usage guidance.
20
questions
2
votes
1
answer
146
views
Unifying categorical equivalences and dualities for the functors : Gelfand spectrum and Zariski spectrum, Structural sheaf and Continuous sections
I would be very grateful for any references I might be led to, from a categorical point of view for the functors:
$\textsf{Spec}_{\mathscr{Z}\textrm{arisky}}(-)$, related to $\mathcal{O}(-)$, which ...
0
votes
0
answers
120
views
Is the set of common-zeros of the systems of polynomials Zariski dense?
Let $K$ be an algebraically closed field of characteristic $0$.
Let $f: K^m \to K^m$ be a map defined by $f(x_1,x_2,\cdots,x_m)=(f_1,f_2, \cdots,f_m)$ where $f_i \in K[x_1,x_2, \cdots, x_m]$. Let $Z$ ...
- 267
13
votes
2
answers
968
views
Intrinsic topology on the Zariski spectrum
In a big topos whose objects are a kind of "space", it sometimes happens that when we define some "set" internally to the topos, the "topology" it automatically acquires ...
- 63.6k
1
vote
0
answers
196
views
Defining path on the prime spectrum
If $p$ and $q $ are two prime ideals of a commutative ring $R $ such that $p \subseteq q$, then we can easily define a continuous function (a path) $f$ from the unit interval $ [0,1]$ to the prime ...
8
votes
0
answers
476
views
When is a constructible set locally closed?
Let $X$ be a topological space (or more specifically, $\mathbb{C}^N$ endowed with the Zariski topology), and let $S \subseteq X$ be a constructible set, i.e. $S=\cup_{i=1}^n C_i \cap U_i$, where the $...
- 1,000
1
vote
2
answers
109
views
Rank of a linear combination of linear operators
I asked this question a few days ago in MathExchange and received no satisfatory answer. I hope it is well suited for MathOverflow.
Suppose I have two linear operators $X,\,Y$ on $\mathbb{C}^n$. Now ...
- 365
2
votes
0
answers
172
views
When is there a path between two minimal prime ideals?
Recall a path from a point $x$ to a point $y$ in a topological space $X$ is a continuous function $f$ from the unit interval
$[0,1]$ to $X$ with $f(0) = x$ and $f(1) = y$. Now let $R$ be a ...
- 21
1
vote
0
answers
63
views
When minimal prime ideals are maximal with respect to not containing an element
Let $\{ P_i \}$ be the set of all minimal prime ideals of a commutative ring $R $. Is there any conditions on $R $ under which there exists an element $x\in R $ such that $P_i $ is an ideal of $R $ ...
- 11
8
votes
0
answers
172
views
Continuous functions on a compact $T_1$ space
Let $X$ be a compact $T_1$ topological space consisting of more than one point, and suppose that $X$ is locally compact (i.e. every point has a local base of compact neighbourhoods), second countable, ...
- 563
3
votes
0
answers
254
views
Do these Zariski-dense subgroups of $\operatorname{SO}_{6}(\mathbb C)$ have non-empty intersection with this subset?
Let $G\leq \operatorname{SO}_{6}(\mathbb Z)$ be a finite-index normal subgroup, so it's a Zariski dense subgroup of $\operatorname{SO}_{6}(\mathbb C)$; and let $H$ be the subset of $\operatorname{SO}_{...
- 71
0
votes
0
answers
210
views
Symmetric products of varieties and projective bundles
Given a smooth projective geometrically connected curve $C$, a symmetric product of $C$ has the structure of a projective bundle over the Jacobian of $C$ (e.g. see Symmetric powers of a curve = ...
- 501
5
votes
1
answer
296
views
Locally affine varieties and du Val singularities
Let me start with an apologetic disclaimer: I am very far from an algebraic geometer, so this question might be crudely formulated.
I have a specific question about du Val singularities, but while ...
- 381
0
votes
0
answers
172
views
The Grothendieck ring of varieties with classical Zariski
Consider $\mathcal{V}_k$, the category of $k$-varieties over the finite field $k = \mathbb{F}_q$ with $q$ elements. We see varieties in the old "classical" sense of the word, foreseen with the old ...
- 4,005
6
votes
0
answers
251
views
On the prime spectrum of $R[[X]]$ when the prime spectrum of $R$ is Noetherian
All rings below are commutative with unity.
If $R$ has a.c.c. on radical ideals i.e. if $Spec R$ is Noetherian under Zariski topology, then so is $R[X]$, this is Theorem 2.5 in the following paper ...
- 194
4
votes
0
answers
99
views
A relation between $Spec((1+I)^{-1}R)$ and $Spec(R/J)$
Let $R$ be a commutative ring with identity and let $I$ and $J$ be two finitely generated ideals of $R$. Clearly $1+I:=\{1+i:i\in I\}$ is a multiplicative closed subset of $R$. We can consider the ...
- 41
0
votes
0
answers
211
views
Convergent sequences in projective varieties
It's very well known that if $X$ is an irreducible projective variety (feel free to assume that the base-field is $\mathbb{C}$), then any two points $x,y\in X$ can be connected by the image of a non-...
- 1,242
4
votes
0
answers
276
views
Bézout and products in algebraic groups
Let $G$ be a linear algebraic group -- be it a Lie group or a group of Lie type. Let $V$, $W$ be subvarieties of $G$. Of course, $V\cap W$ is also a variety (not necessarily irreducible) and $V\cdot W^...
- 18.9k
12
votes
1
answer
685
views
Points of the big Zariski site
It's relatively simple to show that the geometric morphisms $ \mathbf{Set} \to \mathrm{Sh}(\mathbf{CRing}^\mathrm{op}_{\mathrm{fp}}, \mathrm{Zar})$ correspond to local rings.
More precisely, since ...
user13113
1
vote
1
answer
148
views
An ideal and its J-radical
Let $R$ be a commutative ring with $1$ and $I$ be an ideal of $R$. Now let $J=\cap_{I\subseteq m\in Max(R)}m$. Set $A:=\{p\in Spec(R): I\subseteq p\}$ and $B:=\{p\in Spec(R): J\subseteq p\}$, where $...
- 19
15
votes
5
answers
1k
views
Locales as spaces of ideal/imaginary points
I posted this question on MSE a few days ago, but got no response (despite a bounty). I hope it will get more answers here, but I'm afraid it might not be appropriate as I'm not sure it's actually ...
- 11.6k