Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

learn more… | top users | synonyms (1)

3
votes
0answers
26 views

Fibers of a morphism

Let $X,Y,Z$ be projective varieties, and let $f:X\rightarrow Y$, $g:X\rightarrow Z$ be dominant morphisms. Assume that all the fibers of $g$ have the same dimension. If there exists a point $z_0\in ...
2
votes
0answers
58 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 ...
1
vote
0answers
30 views

moduli space of curves under prescribed tangency conditons

We consider an irreducible component of the Hilbert Scheme of curves in $\mathbb P^2$. Denote it as $\mathcal D.$ We fix a line $L$ and a point $A\in L.$ Denote $\mathcal D_0$ as the subscheme of ...
1
vote
1answer
93 views

Direct image for crystals?

If we get a morphism $f : X \to Y$ of schemes over $k$, how should I define the direct image functor $$ f_* : Crys(X) \to Crys(Y)? $$ By a crystal I mean a quasi-coherent sheaf $M$ on $X$ with a ...
0
votes
0answers
95 views

Faltings height on pair $(\mathcal X,\mathcal D)$

Let $\mathcal X$ be a semi-stable Abelian variety over number field $K$ and possessing a Neron differential $\omega\in \operatorname{H}^0(X,\Omega_X^{\text{dim}X})$, then the Faltings height can be ...
1
vote
1answer
117 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 ...
2
votes
0answers
82 views

Moduli space of log Calabi-Yau varieties exists?

Let $\mathcal M$ be a moduli space of pair varieties $(X,D)$ which $K_X+D$ is trivial and $D$ is a divisor on Kahler variety $X$. I am looking for a proof that such moduli space exists? The log ...
4
votes
0answers
160 views

Unifying (& “justifying”) the various definitions for differential operators

Reading about differential operators in different sources I've picked up several definitions which are not obviously equivalent (to me). Here they are: Definition 1 ("naive"): Let $X$ be a (real) ...
1
vote
0answers
46 views

Pairing for non-uniformizable Anderson T-motives

Let $M$ be an Anderson T-motive (the simplest case, i.e. abelian in the meaning of [G] Goss, Basic structures of function field arithmetic, Def. 5.4.12, over $A^1$, having $N=0$), and let $H_1(E)$ ...
1
vote
1answer
210 views

Reference request for an introduction to deformation theory in algebraic geometry

I'd like some introductory references for deformation theory in algebraic geometry. I'm interested in survey articles too but I primarily want references which give all the definitions and go through ...
2
votes
0answers
82 views

DG natural transformation Serre functors

This question might be really easy (or stupid), but I have only vague (heard-about) knowledge of DG categories, so I don't know where to look for an answer. Let $X$ be a smooth projective variety ...
7
votes
1answer
196 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 ...
2
votes
0answers
81 views

Open nature of $\mathcal{H}om$ functor/upper semi-continuity of $\operatorname{Ext}^i$

Let $k$ be an algebraically closed field, $T$ a $k$-scheme (can assume connected) and $X$ a projective variety over $k$. Let $\mathcal{F}$ be a coherent (pure) sheaf on $X \times_k T$ flat over $T$. ...
14
votes
1answer
364 views

Algebraic spaces as locally ringed spaces

Let $S$ be a scheme (although I am more than happy to have $S=\text{Spec}(k)$ for a field $k$) and $\mathsf{AlgSp}/S$ the category of algebraic spaces over $S$. Does there exist an embedding ...
4
votes
1answer
317 views

Algebraic Geometry needed for Kahler-Einstein metric

I am a Master's student interested in Differential Geometry / Geometric Analysis. Currently active research is going on in Kahler-Einstein / Extremal Kahler metric. I was wondering how much Algebraic ...
5
votes
1answer
193 views

Symplectic orthogonality and projective duality: how do they work together?

Let $(V,\omega)$ be a $2n$-dimensional linear symplectic space, and $(\mathbb{P}V,\theta_\omega)$ the corresponding $(2n-1)$-dimensional contact manifold. Given a smooth $(n-1)$-dimensional smooth ...
3
votes
0answers
177 views

Roadmap for the ideas expressed in Grothendieck's Esquisse d'un Programme

I would like to understand Grothendieck's Esquisse d'un Programme more. Are there any references that would help me, and are there modern works pursuing the same themes? At this point I am still ...
-1
votes
1answer
148 views

Distinguished triangle and short exact sequence [on hold]

Forgive me for asking an elementary question. Given coherent sheaves $A$, $B$, $C$ and morphisms $B\xrightarrow{f} C\xrightarrow{g} A$ which give rise to the distinguished triangle $A[-1] \rightarrow ...
2
votes
0answers
123 views

Computing intersection number of two arithmetic line bundles

I have some questions in Arithmetic Arakelov geometry Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and ...
2
votes
1answer
91 views

(Partial) crepant resolutions

Consider de orbifold $\mathbb{C}^2$/$\mathbb{Z}_n$. In this case a full crepant resolution exists and it is unique. However, this orbifold admits partial resolutions. So my question is: Are all those ...
5
votes
0answers
119 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 ...
4
votes
0answers
66 views

Non-universally trivial Chow group of zero-cycles on Fano hypersurfaces

Let $X$ be a smooth projective variety over a field $k$. By (one) definition, the Chow group of zero-cycles $CH_0(X)$ is universally trivial if, for every field extension $k \subset K$, the degree map ...
1
vote
0answers
95 views

Conjugacy scheme, fppf versus GIT

I would be glad to have some guidance in the following. Let $k$ be an algebraically closed field. Let $G$ be a connected reductive group over $k$. Denote by $\mathfrak{c}$ the Zariski spectrum of the ...
3
votes
0answers
73 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 ...
1
vote
0answers
71 views

Fiber of the specialization map of Picard groups

Let $R$ be a Henselian discrete valuation ring with residue field $k$ of positive characteristic and fraction field $K$ of characteristic zero. Let $\pi:X_R \to \mathrm{Spec}(R)$ be flat, projective ...
4
votes
3answers
154 views

Minimal “subset” of a set of homogeneous polynomials with same solution space

Suppose $A:=\{f_1,\dots,f_m\}\subset \mathbb{C}[x_1,\dots,x_n]$ with $m>n$ is a set of homogeneous polynomials of equal degree $d>0$. Suppose further that the variety they define consists of a ...
-3
votes
0answers
34 views

equation for triangular membership funtion [on hold]

I am working on fuzzy logic. Although I know the equations for triangular membership function but I can't figure out how they are derived.Are they derived from slope of line concept or some other ...
6
votes
0answers
247 views

Interuniversal Teichmuller theory's applications

Apart from a proof of the ABC conjecture -and its accepted consequences- are there applications of Mochizuki's IUT? In particular are there already widely accepted applications? Does it shed ...
6
votes
2answers
305 views

First Galois cohomology of Weil restriction of $\mathbb{G}_m$

Let $L/K$ be a finite Galois extension, write $G:= Gal(L/K)$. Denote by $R = Res(\mathbb{G}_m)$ the Weil restriction of $\mathbb{G}_m$, from $L$ to $K$. I want to show that its first Galois cohomology ...
2
votes
0answers
80 views

Parametrizing binary quartic forms with the kernel of obstruction map

This is my first post, so I apologize beforehand if my questions are too elementary for this site. In this paper by Fisher https://www.dpmms.cam.ac.uk/~taf1000/papers/testeqtc.pdf it is explained ...
2
votes
1answer
91 views

What finite groups are stabilizers in Kirwan's desingularization construction?

Assume $X$ is a smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$ and let $M$ be the (singular) moduli space of semistable rank two vector bundles with trivial determinant on $X$. Then ...
6
votes
2answers
358 views

Weighted projective spaces as stacks

As stacks are the weighted projective line $\mathbb{P}$(1,n-1) and $\mathbb{P}$(k,n-k) isomorphic? Is there any reference for this?
3
votes
1answer
102 views

On factorization theorem of toric birational morphisms

Let $X_{Σ′}\to X_{Σ}$ be a toric birational morphism between smooth and complete toric varieties induced by a regular subdivision $Σ′\leq Σ$, i.e. every cone in $Σ′$ is contained in a cone in $Σ$ and ...
0
votes
2answers
153 views

Existence of $B$-reduction of a $G$-torsor on a curve

Let $k$ be an algebraically closed field, $X$ a connected smooth curve over $k$, $G$ a connected reductive group over $k$, and $B \subset G$ a Borel subgroup. Given a $G$-torsor $E$ on $X$ in the ...
11
votes
1answer
311 views

Definition of ind-schemes

What is the correct definition of an ind-scheme? I ask this because there are (at least) two definitions in the literature, and they really differ. Definition 1. An ind-scheme is a directed colimit ...
2
votes
0answers
119 views

Does $C(k)$ necessarily contain a smooth point? [closed]

If $k$ is an infinite perfect field and if $f \in k[x, y]$ is nonconstant irreducible, cutting out the affine plane curve $C$, then does $C(k)$ necessarily contain a smooth point?
3
votes
1answer
284 views

Galois cohomology of a non-abelian group over a function field

Let $k$ be an algebraically closed field, and $X$ a connected smooth projective curve over $X$. Let $F$ be the function field of $k$. Let $G$ be an algebraic group over $k$ (assume that it is smooth, ...
-2
votes
1answer
127 views

Degree of quasi-projective variety [closed]

Why we cannot define the degree of a quasi-projective $k$-variety ($k=\bar k$) $X$ for a given embedding $X\subset \mathbb P^n_k$ ? If we take any compactification $\bar X$ of $X$, $\bar X\backslash ...
3
votes
1answer
188 views

A technical question about affine grassmanian

For a commutative ring $R$, consider $R[[t]]$-modules $$t^k R[[t]]^n \subset M \subset t^{-k} R[[t]]^n \subset R((t))^n.$$ It is known that if $t^{-k} R[[t]]^n / M$ is finitely generated projective ...
-2
votes
0answers
113 views

Analogue of exponential exact sequence in mixed characteristic [closed]

Let $R$ be a discrete valuation ring with residue field of positive characteristic but fraction field of characteristic zero and $X_R$ a flat, projective $R$-scheme. Assume further that $X_R$ is ...
2
votes
1answer
321 views

Reference request: English translation of Brieskorn 1970 paper

Is there any english (or french) translation of the following paper by Brieskorn (1970)? Brieskorn, E., "Die Monodromie der Isolierten Singularitäten von Hyperflächen", Manuscripta Mathematica 2 ...
6
votes
1answer
204 views

Quotients of curves of genus $4$ by a free $\mathbb{Z}/ 3 \mathbb{Z}$-action

Let $V_2$ and $V_3$ be the two hypersurfaces of $\mathbb P^3$ defined by \begin{equation*} V_2:={x_2x_3 + r(x_0, \, x_1)=0}, \quad V_3:={x_2^3+x_3^3+s(x_0, \, x_1)=0}, \end{equation*} where $r, \, s ...
5
votes
1answer
216 views
+50

When is a general sheaf (on the projective plane) globally generated?

Let $v$ be a chern character on $\mathbb P^2$ so that the moduli of sheaves of chern character $v$ is non-empty of the expected dimension. When is it true that the general sheaf in moduli is globally ...
14
votes
0answers
209 views

Does every automorphism of a separably rationally connected variety have a fixed point?

Let $k$ be an algebraically closed field. Let $X$ be a smooth, projective variety over $k$ that is separably rationally connected, i.e., there exists a $k$-morphism $u:\mathbb{P}^1_k \to X$ such that ...
0
votes
0answers
60 views

Hausdorff limits of fibers of affine maps

Let $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, and let $$ F=(P_1,\ldots, P_m):\mathbb{K}^n\to \mathbb{K}^m $$ be a polynomial map. I would like to know under what conditions the preimages $F^{-1}(y)$ of ...
5
votes
1answer
108 views

Pythagorean number in Artin's theorem on nonnegative rational fractions

Emil Artin's theorem on nonnegative rational fractions says that a rational fraction $Q$ with $n$ variables with real coefficients which is non-negative on $\mathbb R^n$ is a sum of squares of ...
0
votes
0answers
74 views

Analytification of Poisson structures on an affine variety

It is well known that one can transfer every affine variety $X$ over $\mathbb{C}$ into an analytic space $X^{an}$ in a natural way. This process is called the analytification. My question is that does ...
0
votes
0answers
127 views

Equivariant Cohomology questions [closed]

Hello I am a beginner to Cohomology theory. I have the following question and I don't know if it will fit into Mathoverflow. Let $X$ be a (smooth) projective variety on which a finite group $G$ acts ...
0
votes
0answers
107 views

on the ``generic" modules of finite length (skyscrapers)

Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.) Let $M$ be a finitely generated $R$-module ...
3
votes
1answer
245 views

Hypersurfaces without variable cohomology

Let $X$ be a smooth projective variety over $\mathbb C$ of dimension $n+1$. If $Y$ is a smooth very ample hypersurface, we know that except $H^n(X;\mathbb Q)\rightarrow H^n(Y;\mathbb Q)$, the ...