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 1950's and ...

learn more… | top users | synonyms

24
votes
0answers
1k views

Mikhalkin's tropical schemes versus Durov's tropical schemes

In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...
14
votes
0answers
318 views

History of the functor of points

Until now, I thought the functor of points approach was introduced by Grothendieck at the 1973 Buffalo seminar. However, in this note by Lawvere the author writes: "I myself had learned the ...
9
votes
0answers
137 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 ...
8
votes
0answers
193 views

Arithmetic zeta function and local zeta functions

For the arithmetic zeta function of (say) a nonsingular projective variety $X$, one has the following Euler product \begin{equation} \zeta_X(s) = \prod_{p\ \mbox{prime}}\zeta_{X\vert\mathbb{F}_p}(s), ...
6
votes
0answers
210 views

Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...
6
votes
0answers
278 views

Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?

When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...
6
votes
0answers
399 views

Ever seen a ringed group?

A locally ringed space is a common generalization of schemes and various manifolds. I am wondering about a locally ringed group which should be a common generalization of group schemes and various Lie ...
5
votes
0answers
123 views

Comparison of sheaves of modular forms

Let $\pi:E\to X$ the universal generalized elliptic curve over the compactified modular curve, with zero section $e: X\to E$. Now consider the following two sheaves on $X$: $e^*\Omega^1_{E/X}$ and ...
5
votes
0answers
171 views

If $X,Y$ are regular and of finite type over $S$, can $X\times _S Y$ be embedded into a regular $S$-scheme?

It seems to be well-known (see Is there an example of a variety over the complex numbers with no embedding into a smooth variety?) that a general finite type $S$-scheme does not embedd into a regular ...
5
votes
0answers
69 views

Category of the smooth formal p-groups over a local ring

Fontaine showed in Asterisque 47-48 that the category of finite dimensional smooth formal $p$-groups over the ring $A=W(k)$ of the Witt vectors over a finite field $k$ is anti-equivalent to the ...
5
votes
0answers
615 views

Two definitions of smoothness?

This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$. ...
5
votes
0answers
309 views

What is known about “singularity types” in the Murphy's Law sense?

In his "Murphy's Law" paper, Vakil gives a definition equivalent to the following: The singularity type of a pointed scheme $(X,p)$ its equivalence class, under the following equivalence relation: ...
5
votes
0answers
554 views

Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situation) follow from results of Gabber?

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases? Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to ...
4
votes
0answers
197 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 ...
4
votes
0answers
259 views

Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski

Context In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...
4
votes
0answers
163 views

formal smooth morphism with a formal smooth source

Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field). We suppose that X is formally smooth and f is formally smooth and surjective. Do we have that $Y$ is formally smooth? Or if it's ...
4
votes
0answers
246 views

Is the pushout of smooth varieties along a smooth closed subvariety again a variety?

The following question is motivated by a desire to find a rough analog in algebraic geometry of the usual notion of gluing of smooth bordisms. Suppose k is an algebraically closed field of ...
4
votes
0answers
675 views

Zariski tangent space of a scheme as the vector space of derivations

A standard lemma says that for a scheme $X$ of finite type over an algebraically closed field $k$ the set of derivations $\mathcal{O}_{X,x} \to \kappa(x)=k$, is isomorphic to the Zariski tangent ...
4
votes
0answers
303 views

Vector bundles of schemes and their topological realizations

Hi, there is a realization functor $R_\mathbb{R}$ from schemes of finite type over $\mathbb{R}$ to topological spaces and there is also a functor $R_\mathbb{C}$. Does $R_\mathbb{R}$ send an ...
3
votes
0answers
80 views

henselizations along closed subscheme

Where can I find some references about henselizations ablong a closed subscheme? For example if I take a map $Y\times\mathbb{A}^{1}\rightarrow Y$ and $Z$ a closed subscheme. Let $Y_{Z}^{h}$ the ...
3
votes
0answers
113 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$ ...
3
votes
0answers
212 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 ...
3
votes
0answers
173 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 ...
3
votes
0answers
105 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$ ...
3
votes
0answers
96 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 ...
3
votes
0answers
132 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. ...
3
votes
0answers
123 views

Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of ``nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite? By a "nice" stack I mean a smooth finite ...
3
votes
0answers
385 views

Given a morphism of schemes, when does bijective + isomorphic tangent spaces = isomorphism?

Let $f: X \to Y$ be a morphism of schemes over a field $k$ such that $f$ induces (1) a bijection between their closed points, and (2) an isomorphism of their Zariski tangent spaces. Under these ...
3
votes
0answers
168 views

Does the following first order approximation of the Kapranov-Vasserot infinitesimal loops still do any job?

Let $X$ be a scheme over, say, a field $k$. Let us denote $\mathrm{Spec}(k[\varepsilon])$ by $T$ and its (unique) $k$-point by $0\in T$. Call the first order infinitesimal cone $C_{T,0}(X)$ over $X$ ...
3
votes
0answers
235 views

Does a section of a morphism of schemes give a subscheme?

Let $f:X\rightarrow Y$ be a morphism of schemes (or algebraic spaces), and $s:Y\rightarrow X$ is a section to $f$, i.e. $fs=1_{Y}$. Question: Is $s$ an (closed) immersion?
3
votes
0answers
66 views

on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$. Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$. We consider $I_{\gamma}$ the group ...
3
votes
0answers
311 views

A presentation of a scheme as a limit of smooth ones over finitely generated bases

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true: If $S$ is regular, then it can be presented as a projective limit of ...
2
votes
0answers
71 views

extending local systems on a neighbourhood

Let $Y$ an affine finite type scheme over an algebraically closed field $k$. Let $S$ be a closed subscheme of $Y$ and $Y'$ the henselization of $Y$ along $S$. If we have a $\mathbb{Z}_{\ell}$ local ...
2
votes
0answers
137 views

Description of the equalizer of $\prod _j R/I_j \rightrightarrows \prod _{i,j}R/(I_i+I_j)$

This is a crosspost of this MSE question. I have asked several questions in an attmept to get a general version of the Chinese remainder theorem without conditions on the ideals which will ...
2
votes
0answers
100 views

Morphisms of locally ringed spaces into affine schemes

In Görtz and Wedhorn's Algebraic Geometry I, there's the following proposition: Proposition 3.4. Let $(X,\mathcal O_X)$ be a locally ringed space. If $Y$ is an affine scheme then the natural map ...
2
votes
0answers
154 views

Blow up along a section of a smooth morphism

Let $C$ be a ground locally notherian and quasiprojective scheme. Let $\pi:S\to B$ be a $C$-morphism of finite type $C$-schemes. We call $\pi$ a $C$-smooth morphism if the morphisms $S\to C$ and $B\to ...
2
votes
0answers
49 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. ...
2
votes
0answers
74 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 ...
2
votes
0answers
186 views

Stable Lefschetz fibrations

Let $S$ be a non-singular complex projective surface, then construct the Lefschetz fibration $\pi:\widetilde S\longrightarrow\mathbb P^1$ associated to $S$ (we have a birational morphism ...
2
votes
0answers
124 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 ...
2
votes
0answers
85 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 ...
2
votes
0answers
151 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 ...
2
votes
0answers
143 views

Examples of non-projective morphisms with projective fibres

Let $X\to S$ be a morphism of noetherian schemes such that, for all $s$ in $S$, the morphism $X_s\to $ Spec $k(s)$ is projective. Then it doesn't follow that $X\to S$ is projective in general. In ...
2
votes
0answers
76 views

semicontinuity of the conductor defined by Temkin

We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor. For a ...
2
votes
0answers
121 views

scheme of sections over complete local ring

Let $f:X\rightarrow S= Spec(k[[\pi]])$ a finite type faithfully flat morphism. Let $U\subset X$ be an open subset such that $U$ is smooth and surjective on $S$. We consider the $k$-scheme ...
2
votes
0answers
174 views

fpqc, formal smoothness

Based on Possible formal smoothness mistake in EGA, let $X$ and $Y$ $k$-schemes ($k$ a field), let $f:X\rightarrow Y$ a fpqc morphism such that $f$ is formally smooth and $X$ formally smooth, do we ...
2
votes
0answers
137 views

descent for formally smooth maps

Let $f:X\rightarrow Y$ a morphism between schemes and $Y'\rightarrow Y$ a fpqc morphism such that the base change $f'$ of $f$ to $Y'$ is formally smooth, does it imply that $f$ is formally smooth?
2
votes
0answers
134 views

Regular subscheme of a projective limit of schemes

Let $S\cong \varprojlim S_i$, where $S$ and all $S_i$ are separated regular excellent of finite Krull dimension. Let $Z$ be a closed regular subscheme of $S$. As Theorem 8.8.2 of EGA4 shows, $Z$ comes ...
2
votes
0answers
126 views

Dualizing sheaf in mixed characteristic for regular schemes.

I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...
2
votes
0answers
197 views

Segre class of cones and Base change of projective cones

I'm trying to work out a result in Fulton's intersection theory and I think I need the following basic result about base change of projective cones (whose support may not be the entire base scheme). ...