Questions tagged [schemes]

The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1). It was finalized by Alexandre Grothendieck, during the 1950s and the 1960s.

Filter by
Sorted by
Tagged with
5 votes
1 answer
299 views

The stack of group algebraic spaces

The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see (...
Stacky student's user avatar
4 votes
1 answer
299 views

Stacks with a small coarse moduli space

Let $k$ be a field of characteristic zero. Let $X$ be a finite type algebraic stack over $k$ with a coarse (or good) moduli space $M$. Suppose that $M$ is isomorphic to a point, i.e., $M = Spec k$. ...
Fater's user avatar
  • 41
4 votes
0 answers
334 views

Properties of schemes determined by field valued points [closed]

Are there any interesting cases (interesting here is interpreted rather loosely here) where you can show $X$ has property $P$ whenever all $X(K)$ have property $P$ where $K$ runs through all fields? ...
solbap's user avatar
  • 3,938
3 votes
0 answers
179 views

Is there a difference between the inertia stack and the universal automorphism group

Let $\mathcal M$ be a stack representing some moduli problem. Let $\mathcal X\to \mathcal M$ be the corresponding universal family. What is the difference between the inertia stack $I\to \mathcal M$ ...
user123123's user avatar
1 vote
1 answer
214 views

On functors which are generically representable

Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$. Suppose that $F_{\mathbb Q}$ is ...
Konan's user avatar
  • 11
3 votes
1 answer
266 views

Sections of morphisms up to fppf covering

Let $f:X\to S$ be a finite type affine morphism of schemes where $S$ is an integral noetherian affine regular scheme whose function field is of characteristic zero. Assume that all geometric fibers ...
Steven's user avatar
  • 33
2 votes
0 answers
125 views

Locally free sheaves of algebras vs. algebra bundles

It is well known that there is a bijective correspondence between locally free sheaves of modules and vector bundles (cf. https://rigtriv.wordpress.com/2008/04/09/locally-free-sheaves-and-vector-...
mathbekunkus's user avatar
0 votes
0 answers
168 views

constructibility for pushforward

Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...
prochet's user avatar
  • 3,432
0 votes
0 answers
183 views

If the quotient of an algebraic space $X$ by a finite group is a scheme, is $X$ a scheme?

If the quotient of an algebraic space $X$ by a finite group $G$ is a scheme, is $X$ already a scheme? Here $G$ is just a finite group, but I'd like to know the answer when $X$ is defined over Spec(Z)....
cooldude99's user avatar
3 votes
0 answers
301 views

Finiteness of the connected components of a stack

Let $X$ be an algebaic stack over a scheme $S$, for any $S$-scheme $Y$ we can consider the groupoid $X(Y)$ of $Y$-points. Denote by $\pi_0(X(Y))$ the set of isomorphism classes of the groupoid. Are ...
Bear's user avatar
  • 845
4 votes
1 answer
2k views

On Q-Cartier Divisors

I have my question on Q-Cartier Weil divisor. People say $D$ is Q-Cartier divisor if $nD$ is Cartier for some $n \geq 1$. Especially for $n > 1$, I have never seen the `rigorous' definition of $...
Pierre MATSUMI's user avatar
5 votes
1 answer
494 views

Evaluation maps for moduli of stable maps

Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$. Consider the product of the evaluation ...
user avatar
2 votes
0 answers
178 views

completion of non-finitely generated ideal

Let consider $A=k[x_{1},x_{2}...]$, the polynomial ring with countably many indeterminates. Then we can consider the completion $\hat{A}=\varprojlim_{r,l}k[x_{1},x_{2},..]/(x_{1}^{r},..x_{l}^{r},x_{l+...
prochet's user avatar
  • 3,432
3 votes
0 answers
531 views

going down theorem

Typical maps that satisfy "going down theorem" are flat morphisms and integral extensions of normal rings that are integral. Let $Spec(B)\rightarrow Spec(A)$ be a finite type morphism of k-noetherian ...
prochet's user avatar
  • 3,432
2 votes
1 answer
250 views

Are the fibers of this morphism geometrically regular?

Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
Olórin's user avatar
  • 255
0 votes
0 answers
224 views

Pro-constructible subset of scheme intersects very dense subsets?

Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$? If $Y$ is just constructible, this is true. ...
user68570's user avatar
9 votes
0 answers
389 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
prochet's user avatar
  • 3,432
0 votes
1 answer
528 views

Artin approximation of a diagram

Let consider $f:(X,x)\to (Z,z)$ and $g:(Y,y)\to (Z,z)$ morphisms of pointed $k$-schemes of finite type ($k$ is a field). Suppose that there exists a map on the level of formal neighborhoods $\phi:X_{x}...
prochet's user avatar
  • 3,432
3 votes
1 answer
504 views

What if the base change of an algebraic space is representable

Let $k\subset L$ be an extension of fields of characteristic zero. Suppose that $X/k$ is an algebraic space such that $X\otimes_k L$ is representable by a finite type $L$-scheme. I am sure there are ...
Qunat Mex's user avatar
10 votes
1 answer
824 views

Is the functor of points of a scheme cofinally small?

Background: In functorial algebraic geometry one would like to consider the category of all functors $\mathsf{CRing} \to \mathsf{Set}$ and define/characterize the category of schemes as a full ...
Martin Brandenburg's user avatar
9 votes
1 answer
939 views

on the local structure of schemes

Let $X$ be an integral finite type scheme over $\mathbb{C}$. Let $x\in X$, such that there exists a neighborhood $U$ of $x$, such that the sheaf of differentials $\Omega^{1}_{U}$ decomposes into: $\...
prochet's user avatar
  • 3,432
1 vote
0 answers
107 views

(Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to $1$-...
Olórin's user avatar
  • 255
3 votes
2 answers
617 views

Push-forward of a quasi-coherent graded algebra under a proper map

Let $f\colon X \rightarrow Y$ be a proper morphism with $Y$ Noetherian (and even affine, if you wish), and let $\mathscr{A} = \bigoplus_{n \ge 0} \mathscr{A}_n$ be a quasi-coherent graded $\mathscr{...
Question Mark's user avatar
2 votes
1 answer
360 views

Relative identity component for group algebraic spaces

Let $S$ be a locally noetherian scheme and let $G$ be a separated and smooth $S$-group algebraic space of finite presentation. Does there exist an open sub-(group algebraic space) $G^0 \subset G$ ...
Question Mark's user avatar
2 votes
0 answers
158 views

Covering a finite set of points of height 1 by an affine open

Let $R$ be a Noetherian ring and let $X$ be a finite type, separated $R$-scheme that is normal and integral. Let $x_1, \dotsc, x_n \in X$ be points of height $1$. Does there exist an open affine $U \...
Question Mark's user avatar
2 votes
1 answer
1k views

Affine communication lemma and finite limits in the category of rings

Let $X$ be a scheme and $\mathrm{Spec}(B) = V \subseteq X$ be an open affine subset. When using the affine communication lemma (c.f. Theorem 6.3.2, Vakil's notes, Foundations of Algebraic Geometry), ...
Patrick Da Silva's user avatar
1 vote
1 answer
329 views

Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$. We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...
prochet's user avatar
  • 3,432
20 votes
1 answer
1k views

Does every relative curve have a Picard scheme?

More precisely: Let $X \to S$ be a smooth proper morphism of schemes such that the geometric fibers are integral curves of genus $g$. Must the fppf relative Picard functor $\operatorname{\bf ...
Bjorn Poonen's user avatar
  • 23.6k
3 votes
0 answers
194 views

motivic integration and jacobian ideal

When we consider the change of variables in motivic integration, we have a birational map $f:Y\rightarrow X$ with Y smooth and we have to consider two invariants the order of the Jacobian ideal of $X$ ...
prochet's user avatar
  • 3,432
0 votes
0 answers
101 views

on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$ Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and $...
prochet's user avatar
  • 3,432
2 votes
1 answer
220 views

Some questions about ruled surfaces defined over a number field

definitions: A non-singular complex projective surface $S$ is a ruled surface if it is birationally equivalent to $C\times_{\text{Spec} \mathbb C}\mathbb P^1_{\mathbb C}$ where $C$ is a non-singular ...
Dubious's user avatar
  • 1,237
1 vote
2 answers
365 views

When the contraction is a morphism defined over $\overline{\mathbb Q}$

Suppose that $S$ is a complex projective surface defined over $\overline{\mathbb Q}$, namely there exists a surface $S_{\overline{\mathbb Q}}$ over $\overline{\mathbb Q}$ such that: $$S_{\overline{\...
Dubious's user avatar
  • 1,237
2 votes
1 answer
206 views

About $\mathbb P^1_\mathbb C$ contained in a surface

Suppose that $X$ is a non-singular projective surface over $\mathbb {\overline Q}$ ( $X$ is a $\mathbb {\overline Q}$-scheme...) and suppose that there is an embedding: $$j:\mathbb P^1_{\mathbb C}\...
Dubious's user avatar
  • 1,237
2 votes
1 answer
264 views

Minimal model of a non-singular complex projective surface defined over $\overline{\mathbb Q}$

Suppose that $S$ is a non-singular complex projective surface that is defined over $\overline{\mathbb Q}$, namely $S\cong\text{Proj}\frac{\mathbb C[T_1,T_2,\ldots,T_n]}{(f_1,\ldots,f_n)}$ where $f_i$ ...
Dubious's user avatar
  • 1,237
3 votes
1 answer
484 views

Flatness of Normalization of regular schemes

I have a followup to the following question: Flatness of normalization. Suppose that $X$ is a regular scheme (of finite type over a $\mathbb{C}$ if one wants) and $X'$ is the normalization of $X$ in ...
jacob's user avatar
  • 2,814
6 votes
0 answers
231 views

Can we classify reductive group schemes over curves

Let $C$ be a smooth quasi-projective connected curve over the complex numbers. Can one classify all reductive group schemes over $C$? Certainly, you have the trivial ones (coming from pulling-back ...
User12345's user avatar
3 votes
1 answer
409 views

Can the Grothendieck ring of varities over a field $k$ be defined for non separated schemes?

The Grothendieck ring of varieties over a field $k$ is the abelian group generated by isomorphim classes $[X]$ of separated, reduced $k$-schemes $X$ of finite type with the relation $[X]=[Y] + [X\...
Manuel Mérida Angulo's user avatar
4 votes
0 answers
318 views

Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple. Pro-reductive groups make sense over any scheme. Is there an extension of the theory ...
User123456's user avatar
2 votes
0 answers
279 views

infinite dimensional germs of schemes and tangent spaces

(The question of the type "how to define?") Let $(R,\mathfrak{m})$ be a local ring over a field $k$ of zero characteristic. Consider the matrices over this ring, $Mat(m,R)$. I think of $Mat(m,R)$ as ...
Dmitry Kerner's user avatar
0 votes
1 answer
129 views

curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset. Let $x\in H$, Is it possible to find an curve $C\subset\mathbb{A}^{...
prochet's user avatar
  • 3,432
5 votes
2 answers
361 views

Existence of affine hulls

(This question is inspired by Matthieu Romagny's answer to my previous question about base change properties of affine hulls.) Given a scheme $S$, it is well-known (cf. EGA I.9.1.21) that the ...
Fred Rohrer's user avatar
  • 6,660
3 votes
1 answer
410 views

Affine hulls and base change

Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...
Fred Rohrer's user avatar
  • 6,660
1 vote
3 answers
966 views

Weil restriction

I've already asked a similar question in SE, without success, so I've decided to post here a more general version of my question. Let $f: Y \to X$ be a finite étale morphism of smooth proper varieties ...
user57469's user avatar
3 votes
0 answers
146 views

Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature. To be more clear let me explain the example I have in mind. Let $N\...
Bear's user avatar
  • 231
2 votes
1 answer
577 views

Base change through a field automorphism

Note:For a correct comprehension of the question see the "important edit" at the end. Consider a projective variety over $\mathbb C$, $X=\textrm{Proj}\frac{\mathbb C[T_0,\ldots,T_n]}{f_1,\ldots,f_m}$ ...
Dubious's user avatar
  • 1,237
1 vote
1 answer
187 views

Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...
Dubious's user avatar
  • 1,237
4 votes
1 answer
217 views

Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...
Mikhail Bondarko's user avatar
3 votes
0 answers
188 views

Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles

Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles. ...
Jonathan's user avatar
3 votes
2 answers
242 views

Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
Pablo's user avatar
  • 11.2k
-2 votes
1 answer
253 views

Schemes over $K_s$ and over $\bar{K}$

Let $K$ be a field. Let $X$ be a scheme over $K$. We denote by $K_s$ and by $\bar{K}$ the separable closure and the algebraic closure of $K$ respectively. By base change we have the schemes $X_{K_s}$ ...
Pgatti's user avatar
  • 147

1
9 10
11
12 13
15