# Tagged Questions

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

171 views

### Hodge standard conjecture for étale cohomology

It is known that Hodge standard conjecture is true for étale cohomology for field $k$ in characteristic zero. It means that the following pairing $$(x,y)\mapsto (-1)^{i}\langle L^{r-2i}(x),y\rangle$$ ...
158 views

### on universal homeomorphisms between schemes

We are taught since when we are young that schemes are cool because they take into account "nilpotents". This means also that we can distinguish between schemes which have the same underlying ...
155 views

### Which locally ringed spaces are schemifiable?

(most of this question is re-asking Schemification (schematization?) of locally ringed spaces, which did not get answered) Given a locally ringed space $X$, say that a schemification of $X$ is a ...
169 views

### Why define curves over perfect fields?

One may define a curve (e.g. separated scheme of finite type of dim. 1) over an algebraically closed field, as done in Hartshorne's book. A weaker assumption, which is used commonly, is to define a ...
80 views

### Action of a lattice on abelian varieties

Let $\pi\colon Y\to\mathbb{P}_\mathbb{C}^1$ be a ramified cover of degree two of $\mathbb{P}_{\mathbb{C}}^1$ such that $Y$ is smooth. I fix a point $x$ on $\mathbb{P}^1$, over which the cover is étale,...
78 views

### functions coming from a perverse sheaf

Let's take a scheme $X$ over a finite field $k$ and $f:X(k)\rightarrow\mathbb{Q}_{\ell}$ What kind of condition do I need on $f$ if I want that it comes from an irreducible perverse sheaf on $X$?
157 views

110 views

564 views

### What sort of ind-scheme is this?

It apparently follows from work of Velu (MathSciNet) that every isogeny between elliptic curves in (long) Weierstrass form over $k$ can be written in the form  \left(\frac{u(x)}{v(x)}, \frac{s_1(x)+...
122 views

### Verdier duality on excellent schemes

Let $f:X\rightarrow Y$ be a regular morphism between $k$-schemes which are noetherian and excellent with a funcion of dimension. In the book by Illusie-Laszlo-Orgogozo, there is a theorem (4.4.1 in ...
88 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 ...
167 views

### l-adic local system. on hensel schemes

Let $k$ be a field, $\ell$ a prime different from the characteristic. If I take $S$ a closed subscheme of $Y$, which is a $k$-scheme of finite type, is it true that any $\mathbb{Z}_{\ell}$-local ...
366 views

### Obstructed automorphisms of schemes

Let $X$ be a smooth projective scheme over a field $\mathbf{k}$ of characteristic zero such that $\mathrm{H}^0(X, \mathrm{T}X)$ vanishes, and let $f$ be an automorphism of $X$. I would like to have an ...
147 views

314 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
833 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 ...
339 views

100 views