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

learn more… | top users | synonyms (1)

1
vote
0answers
31 views

Smooth points of the secant variety with a given tangent space

Let $X\subseteq\mathbb{P}^{N}$ be an algebraic variety of dimension $n$. Let $(x,y)\in X\times X-\Delta_{X}$ and $z\in\langle x,y\rangle\subseteq SX$, where $SX$ is the secant variety of $X$. I want ...
0
votes
0answers
28 views

Open Hamiltonian Gromov-Witten Invariants

Both open Gromov-Witten invariants and Hamiltonian Gromov-Witten invariants have been studied. I am interested in knowing whether anyone has considered open Hamiltonian Gromov-Witten invariants ...
2
votes
0answers
102 views

splitting property of etale covering

Theorem (Global Splitting): Let $X$ be an integral separated normal scheme flat and of finite type over $\mathbb Z$. Let $\phi: Y\rightarrow X$ be a connected etale covering which splits completely ...
4
votes
0answers
101 views

Flat + locally of finite presentation + monomorphism = open immersion

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$: Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then ...
3
votes
0answers
306 views

Grothendieck, A Place to Begin [on hold]

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
68 views

A question about Kähler Einstein metric [on hold]

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
23 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
95 views

Moduli space of complex Tori [duplicate]

Is there any explicit computation for the Weil-Petersson metric on moduli space of Tori of complex dimension n?
6
votes
0answers
118 views

Generalization of the rigidity lemma in birational geometry

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 and are connected. If there exists ...
2
votes
0answers
69 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
40 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
122 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 ...
-1
votes
0answers
187 views

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

Let $(\mathcal X,\mathcal L)$ 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 ...
1
vote
1answer
126 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
97 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
173 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
49 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
222 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
89 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 ...
10
votes
1answer
277 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
88 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
384 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
411 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
209 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
182 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
151 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
124 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
94 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
121 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
67 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
79 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
72 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
155 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 [closed]

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
252 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
310 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
95 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
368 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
104 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
155 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
314 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
287 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 ...