**8**

votes

**0**answers

182 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),
...

**7**

votes

**1**answer

216 views

### Base schemes and Bayesian priors

One of Grothendieck's dicta about algebraic geometry is to consider "the relative situation", where one doesn't consider the category of schemes but of schemes over a fixed base scheme.
In Bayesian ...

**8**

votes

**2**answers

300 views

### Are there varieties with non finitely generated Picard group and vanishing irregularity?

Let $X$ be a smooth projective variety over an algebraically closed field $k$.
Can it happen that $q(X) := \dim H^1(X,\mathcal O_X) =0$ and $\textrm{Pic} \,X$ is not finitely generated?
Certainly, ...

**17**

votes

**1**answer

476 views

### Reference for de Rham cohomology in positive characteristic

It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...

**3**

votes

**1**answer

160 views

### Chevalley devissage

Let $G$ be an algebraic group over a perfect field $k$. Then it is know that it can be written as an extension of an affine algebraic group and a proper algebraic group.
Is there a similar result for ...

**19**

votes

**1**answer

495 views

### Why would one “attempt” to define points of a motive as $\operatorname{Ext}^1(\mathbb{Q}(0),M)$?

I'm a novice when it comes to motives. (I've read multiple introductory texts.)
I'm attempting to read Galois Theory and Diophantine geometry by Minhyong Kim. In it, he says that "One might attempt, ...

**0**

votes

**1**answer

480 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 ...

**6**

votes

**1**answer

213 views

### Higher-dimensional Artin L-functions

I begin by clarifying that the "higher-dimensional" in my question refers to analogues of Artin L-functions over higher dimensional base schemes than $\mathrm{Spec}(\mathbb{Z})$.
Now for the set-up. ...

**13**

votes

**2**answers

744 views

### Homotopy types of schemes

Let $X$ be a scheme over $\mathbb{C}$.
When does the topological space $X\left(\mathbb{C}\right)$ of $\mathbb{C}$-points have the homotopy type of a finite CW-complex?
When does the topological ...

**2**

votes

**0**answers

144 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 ...

**8**

votes

**2**answers

261 views

### Parahoric Group Scheme

I am looking for the definition of a parahoric group scheme in the sense of Bruhat and Tits? I couldn't find a reference for that? at least a "clear" reference!
thanks

**7**

votes

**1**answer

299 views

### About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$

I've asked this question http://math.stackexchange.com/questions/1407451/about-the-relation-between-the-categories-textsch-textlrs-and-text on math.stackexchange , however I don't think I will receive ...

**2**

votes

**1**answer

88 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 ...

**6**

votes

**1**answer

266 views

### Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...

**1**

vote

**0**answers

99 views

### In how many ways can one extend the zero section of the affine line with a double origin

Let $X$ be the affine line with a double origin over Spec $\mathbb Z$. Let $X_\eta$ be its generic fibre, the affine line with a double origin over Spec $\mathbb Q$.
Let $0$ be one of the origins of ...

**6**

votes

**0**answers

205 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 ...

**0**

votes

**0**answers

92 views

### Irreducible component of a scheme over a dvr

Let $\mathcal M$ be a (reduced) quasi-projective scheme over a dvr (of mixed caracteristics), $R$. Suppose that the generic fiber $\mathcal M_{\eta_R}$ is (nonempty) smooth and irreducible of ...

**-3**

votes

**1**answer

239 views

### The scheme $y^n = x^{2n}$ for $n$ a rational number [closed]

Let $n\geq 1$ be an integer. If $A$ is a ring, then the spectrum of $A[x,y]/(y^n - x^{2n})$ is a well-defined (affine) scheme, say $X_n$. This scheme describes the "variety" given by the equation ...

**9**

votes

**1**answer

233 views

### Torsors trivializing over a fixed finite etale cover

Let $S$ be an integral regular scheme and let $T\to S$ be a finite etale morphism. Let $G$ be a smooth affine finite type group scheme over $S$.
Is the set of $S$-isomorphism classes of $G$-torsors ...

**0**

votes

**0**answers

104 views

### Zariski closure construction (over a field) implicitly uses reduced induced structure?

Let $X$ be a $k$-scheme of finite type, $k$ a field, and $\Sigma$ a subset of $X(k)$. Since the $k$-points of $X(k)$ may be identified with the physical points $x\in X$ for which the structural map ...

**4**

votes

**2**answers

328 views

### Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers.
Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...

**14**

votes

**1**answer

426 views

### Geometric generic fibre

This is a pretty elementary question about schemes, but it came up in the course of research, so let's try it here rather than MSE.
Question 1: Are the fibres of a family of complex varieties ...

**4**

votes

**1**answer

197 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 ...

**4**

votes

**1**answer

177 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$.
...

**6**

votes

**1**answer

664 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:
...

**4**

votes

**0**answers

170 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?
...

**3**

votes

**0**answers

109 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$ ...

**1**

vote

**1**answer

150 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 ...

**3**

votes

**1**answer

144 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 ...

**2**

votes

**0**answers

48 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. ...

**0**

votes

**0**answers

127 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 ...

**0**

votes

**0**answers

48 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 ...

**18**

votes

**1**answer

477 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 ...

**3**

votes

**0**answers

204 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 ...

**1**

vote

**1**answer

235 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 ...

**5**

votes

**1**answer

200 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 ...

**2**

votes

**0**answers

65 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 ...

**3**

votes

**0**answers

161 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 ...

**23**

votes

**6**answers

4k views

### How much of scheme theory can you visualize?

I am just starting to learn about schemes and algebraic geometry in general, but I am finding it very hard to visualize things. For example, affine schemes that look like varieties are easily ...

**0**

votes

**0**answers

87 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.
...

**0**

votes

**0**answers

48 views

### normality of truncated arc space

Let $X=Spec(A)$, with $A$ a normal $k$-algebra of finite type, $k$ is a field.
For any integer $n$, let $X(k[t]/(t^{n}))$ the $n$-th truncated arc space, is it also normal?
Same question for ...

**9**

votes

**0**answers

129 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 ...

**0**

votes

**0**answers

47 views

### closed subscheme associated to a closed rigid subspace

Let me start by saying that I know almost nothing about rigid geometry and I have no idea whether my question is easy or not.
Start with a ring $R$ which is local, complete for the topology defined ...

**9**

votes

**1**answer

446 views

### Can one check formal smoothness using only one-variable Artin rings?

Let $f:X\rightarrow Y$ be a morphism of schemes over a field $k$. Can one check that $f$ is formally smooth using only Artin rings of the form $k^{\prime}\left[t\right]/t^{n}$, where $k^{\prime}$ is ...

**3**

votes

**1**answer

257 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 ...

**8**

votes

**1**answer

411 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 ...

**2**

votes

**0**answers

179 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

**0**answers

122 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 ...

**1**

vote

**1**answer

194 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$ ...

**3**

votes

**2**answers

329 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 ...