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

learn more… | top users | synonyms (1)

0
votes
0answers
142 views

Grothendieck, A Place to Begin

I'm finishing up an undergrad degree in mathematics and am beginning to think about areas of research. I know that the work of Grothendieck is considered the cornerstone of modern algebraic geometry, ...
-1
votes
0answers
50 views

A question about Kähler Einstein metric

Let $X$, and $Y$ are Kähler manifolds and $f:X\to Y$ is birational and let on $(Y,\omega)$ we have $\text{Ric}(\omega)=-\omega$, then Kähler Einstein metric on $X$ can be of which form? can we say it ...
1
vote
0answers
21 views

Common Point of Intersection of n-dimensional ellipsoids [on hold]

Suppose we have two ellipses in 2-dimensions centered at the origin. It is easy to visualize that (unless one is contained in the other) they will have 4 points of intersection. Can we say that in ...
4
votes
0answers
75 views

Moduli space of complex Tori

Is there any explicit computation for the Weil-Petersson metric on moduli space of Tori of complex dimension n?
4
votes
0answers
76 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
65 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
34 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
113 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
122 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
123 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
86 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 ...
5
votes
0answers
170 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
47 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
218 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
86 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 ...
9
votes
1answer
255 views
+50

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
374 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
353 views

Algebraic Geometry needed for Kähler-Einstein metric

I am a Master's student interested in Differential Geometry / Geometric Analysis. Currently active research is going on in Kähler-Einstein / Extremal Kähler metric. I was wondering how much Algebraic ...
5
votes
1answer
201 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
179 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
150 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
96 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
78 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
250 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
307 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
83 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
93 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
364 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
103 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
154 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
312 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
222 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
61 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 ...