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

learn more… | top users | synonyms (1)

0
votes
0answers
87 views

Real algebraic solution

Suppose a system of polynomial equations with rational coefficients has a real solution. Does necessarily there exists a real solution with algebraic coordinates? What about the simplest case of one ...
3
votes
3answers
163 views

Injective map between two schemes

Assuem we have a finite surjective map between two irreducible, separated schemes, $f:X \rightarrow Y$, and for a dense open $U \subset Y$ and for any $y \in U$, $|X_y| =1$, then can we say $f$ is ...
3
votes
1answer
237 views

Results about moduli of surfaces

There are early successes of the moduli theory - the construction and compactification of the moduli spaces of curves $\overline{\mathcal{M}}_g$ . I want to study about the moduli of algebraic ...
0
votes
0answers
69 views

Pathological behavior of Lie algebra under a map of abelian schemes

I am trying to understand Example 7.5/9 from the book "Neron models". There one has a discrete valuation ring $R'$ that is the localization of $\mathbb{Z}[\zeta_p]$ at $p$, so that the absolute ...
0
votes
1answer
107 views

On understanding Orlov's LG B model

I try to read Orlov's papers on Landau-Ginzburg model, but I am quite puzzled,there are several questions: 1 the method of truncation is used frequently,(that is: using a bounded above complex $Q$ ...
5
votes
1answer
197 views

abelian $\ell$-adic representations in $\widehat{SL(2,Z)}$

In Grothendieck's Esquisse he claims that the action of $$\text{Gal}(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\widehat{SL(2,Z)})$$ obtained from the homotopy exact sequence of the étale ...
3
votes
1answer
155 views

Coherent cohomology of an abelian scheme and base change

Let $f\colon A \rightarrow S$ be an abelian scheme of dimension $d$. I would like a reference or an argument for the fact that $R^1f_* \mathcal{O}_A$ is locally free of dimension $d$ and that its ...
3
votes
1answer
177 views

cycle class as Chern class

Let $X$ be a smooth projective complex variety and $Z \subset X$ a codimension $p$ closed algebraic subvariety. Then one can define the class of $Z$ in singular cohomology $[Z] \in H^{2p}(X, ...
9
votes
0answers
164 views

Is every projective space curve a set-theoretic intersection of two surfaces? What is known about this question?

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every curve in $\mathbb{P}^3(\mathbb{C})$ ...
1
vote
1answer
117 views

intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too. ...
0
votes
0answers
63 views

sufficient condition of complete intersection [on hold]

According to Corollary 2.8 and the front part of Section 3 of this paper, if $X:= Q_1\bigcap Q_2\bigcap Q_3\subset \mathbb{P} _{\mathbb{C}}^{4}$ be a connected and purely $1$-dimensional intersection ...
4
votes
0answers
81 views

An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and $$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$ a short exact sequence of smooth $K$-group schemes of ...
2
votes
1answer
72 views

On transforming pair of bivariate polynomials to pair of univariate polynomials by applying polynomial map

We know that a polynomial map $f(x,y), g(x,y)$ is polynomial automorphism if there exists polynomials $p(x,y)$ and $q(x,y)$ such that $f(p,q)$=x and $g(p,q)=y$. Jacobian conjecture tries to ...
5
votes
1answer
184 views

p-adic Stein spaces

The higher cohomology of coherent sheaves vanish on Stein spaces (both complex and p-adic). In the case when the space ($X$) is a curve and we're working in the complex world, this shows that all ...
5
votes
1answer
139 views

Weil height of an Abelian Variety with everywhere (potentially) good reduction

Background: Suppose that $E$ is an elliptic curve over $\mathbb{Q}$ with everywhere (potentially) good reduction. there are many ways to define the height of $E$, and I will be concerned with the ...
1
vote
1answer
157 views

Vector fields whose divergence are proper maps

Let $X$ be a polynomial vector field of degree $2$ on $\mathbb{R}^{2}$. Does there exist a nonvanishing smooth function $g$ such that $Div(gX)$ is a proper map?Or at least the zero locus of ...
2
votes
0answers
99 views

Surjectivity of multiplication maps with respect to pullback

Given a morphism $f: Y \to X$ and a globally generated line bundle $\mathcal L$ on $X$ such that $H^0(X,\mathcal L) \otimes H^0(X,\mathcal L) \to H^0(X,\mathcal L \otimes \mathcal L)$ is surjective. ...
1
vote
0answers
95 views

Ext and cup products and subvarieties

I am trying to understand Remark 11.3 in Huybrechts's amazing book on derived categories (FM transforms in AG). He starts with smooth projective varieties $j\colon Y \subset X$ and aims to describe ...
1
vote
0answers
97 views

Criterion for normality of a schematic image

Consider a projective flat morphism $$ f\colon X\to Y $$ between normal varieties. Let's say over the complex numbers. The geometric fibers of $f$ are all irreducible. I would like a criterion to ...
5
votes
1answer
704 views

textbooks on modern algebraic geometry for 21st-century starters

As for learners in algebraic geometry in 21st century, is there a textbook, lecture note or anything like that to introduce algebraic geometry utilizing the language of derived categories and stacks? ...
4
votes
0answers
113 views

The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...
2
votes
1answer
219 views

A perfect domain that is not integrally closed?

Does there exist an integral domain $R$ of characteristic $p > 0$ that is perfect (i.e., $x \mapsto x^p$ is bijective on $R$) but not integrally closed in its field of fractions?
2
votes
0answers
56 views

Topological/numerical constraints for the existence of more than one pencil

A famous theorem of Castelnuovo and de Franchis tells us that for $S$ a smooth projective complex algebraic surface that for $b \geq 2$, pencils $f : S \to B$ of genus $b :=g(B)$ are in bijective ...
8
votes
2answers
259 views

Fano variety of lines on the Segre and the Grassmannian

Does every $\mathbb{P}^{19}\subset \mathbb{P}(\mathbb{C}^5\otimes\mathbb{C}^5)$ intersect the Segre variety of rank one matrices in at least a $\mathbb{P}^1$? A naive dimension count suggests this is ...
4
votes
1answer
226 views

Geometrically connected components of an algebraic group

Suppose that $G$ is an algebraic group over a field $k$. Let $G^o$be the connected component of the identity. Since $G^0$ contains a $k$-rational point (the identity) therefore it is geometrically ...
1
vote
1answer
102 views

what are the possible approximations for ideals

(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.) Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...
2
votes
2answers
235 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 ...
1
vote
1answer
123 views

Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...
0
votes
1answer
140 views

Codimension in zero and positive characteristic

Let $F_0,\ldots,F_m\in\mathbb{Z}[x_0,\ldots,x_n]$ be polynomials with integer coefficients and let $p$ be a prime integer. Consider the two ideals: $$I_0:=(F_0,\ldots,F_m)\subset ...
5
votes
0answers
181 views

Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...
2
votes
2answers
182 views

Equations for points to lie on a rational normal curve

$\def\PP{\mathbb{P}}$Let $z_1$, $z_2$, ..., $z_n$ be points in $\PP^{k-1}$. I am interested in equations for when the $z_i$ lie on a rational normal curve (or degeneration thereof.) Specifically, ...
1
vote
0answers
104 views

Geometric (or intuitive) interpretation of Almost Gorenstein and Cohen-Macaulay rings

This question is related to This one: Darius Math in his good answer added that Cohen-Macaulay ring's singularities is nice. So I'd like to complete that question and ask: Let R be a local ...
7
votes
0answers
298 views

What is the etale fundamental group of Spec Z((x))?

I know the etale fundamental group of $\mathbb{Z}$ is trivial. For algebraically closed fields $K$, the etale fundamental group of $K((x))$ is $\hat{\mathbb{Z}}$, since all covers in this case are ...
3
votes
2answers
146 views

Standard plane Cremona transformation

Let us consider nine general points $p_1,...,p_9\in\mathbb{P}^2$ and the line $L = \left\langle p_1,p_2\right\rangle$. Take the standard Cremona $f_1$ centred in $p_3,p_4,p_5$, then $C_1 = f_1(L)$ is ...
11
votes
2answers
403 views

Are there nonisotrivial elliptic curves over $\mathbb{G}_m$?

Is there an elliptic curve over $\mathbb{C}[t, t^{-1}]$ that has a nonconstant $j$-invariant? What is an equation for such a curve, if it exists?
6
votes
2answers
251 views

Moduli spaces of connections as representation spaces

It is well known that the moduli space of flat connections over a closed manifold $M$ can be identified with the representation space $Hom(\pi_1(M), G) / G$. Furthermore, Atiyah and Bott (1983) showed ...
1
vote
0answers
89 views

Degeneracy locus and flatness over local Artinian ring

Let $X$ be a projective scheme flat over a local Artinian ring $A$, the residue field of $A$ is algebraically closed, and the special fiber of $X$ (under the natural morphism from $X$ to $A$) is ...
0
votes
1answer
144 views

Number of singular fibers in families of hypersurfaces

Consider the projection map $$\pi: X = V(t_0 f + t_1 gh) \to \mathbf P^1,$$ where $[t_0: t_1]$ are the homogeneous coordinates on $\mathbf P^1$, $f=f(x_0, \dots, x_n)$ is a homogeneous polynomial of ...
1
vote
1answer
128 views

Canonical form of cubic curves over general fields

Given a field of characteristic not 2 or 3 containing a primitive third root of unity, is it true that every nonsingular cubic curve, i.e. a curve defined by one homogeneous form of degree 3 in 3 ...
1
vote
1answer
109 views

Decomposing quasi-finite separated group schemes

Let $U$ be a punctured disk, and let $G\to U$ be a quasi-finite separated group scheme. (Assume $K$ of char zero if it helps) Why is $G = G_1\sqcup G_2$, where $G_1 \to U$ is finite and $G_2\to U$ ...
1
vote
1answer
140 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$ ...
11
votes
5answers
797 views

Differential Algebra Book

I'm looking for a couple good textbooks covering differential algebra. I'm a prospective Ph.D. student, and this is potentially applicable to my specialization. As such, I'm not afraid of depth; I've ...
2
votes
1answer
278 views

Algebraic equivalence vs linear equivalence

Maybe the question is too general, but nevertheless: under what conditions on algebraic variety $X$, algebraic equivalence of divisors coincide with linear equivalence? What are typical classes of ...
0
votes
0answers
57 views

A question od being algebraic stable for birational map

Recently I need to read a paper related to complex algebraic geometry and several complex variable. I think I may need some criterion of a function being algebraic stable. Let $f$ be a birational ...
2
votes
1answer
153 views

Quotient of a (non-linear) algebraic group by a closed subgroup

Let G be a (not necessarily linear) algebraic group and H a closed algebraic subgroup. Does the, say categorical, quotient G/H exist? If yes, where do I find a proof? If no, do you have a ...
0
votes
1answer
99 views

Surjectivity of “nice maps” from local properties

What tools are available from real algebraic geometry, analysis and topology to check surjectivity of a map $f:M_{1}\rightarrow\mathbb{R}^{d}$ from local properties and maybe function values? ...
7
votes
0answers
106 views

Nearest Point to a real algebraic set

Suppose I have a compact bounded real algebraic (eventually: or analytic or semialgebraic or semianalytic set) $V$ in $\mathbb R^3$ and a point $x\in\mathbb R^3$ not in $V$. How much do we know about ...
0
votes
0answers
59 views

Upper bound on number of cells created by varieties of co-dimension 1

Say I have polynomials $p_1,p_2,\dots,p_m$ in $\mathbb{R}^n$ (ie. over $n$ variables), each of degree $d$. Is there an upper bound on the number of "regions" created by the surfaces $p_i = 0$? Let's ...
3
votes
2answers
141 views

counting points on nilpotent Springer fiber

Computing $p$-adic orbital integral I come to the following question. My ground field $k$ is the residue field of a non-arch local field, i.e. a finite field. I am happy to put any assumption on ...
5
votes
1answer
215 views

Is the Weil–Deligne representations coming from $\ell$-adic cohomology independent of $\ell$?

Let $F$ be a $p$-adic field. Let $(G_{F}, W_{F}, I_{F})$ denote the (absolute Galois group, Weil group, inertia group) of $F$. Let $X/F$ be a proper smooth variety. Let $\ell$ be a prime number $\ne ...