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

learn more… | top users | synonyms (1)

0
votes
0answers
104 views

Cohen-Macaulay fibers

Let $Y$ be a set of points in $\mathbb{P}^n$. Then we can write a resolution $$0\rightarrow P_n \rightarrow \cdots \rightarrow P_0\rightarrow \mathcal{O}_Y$$ where each ...
4
votes
1answer
107 views

Is the upper boundary of a Schubert variety Cartier?

On $G/B$, the divisor $\bigcup_\alpha X_{r_\alpha}$ is Cartier (where $X_w := \overline{B_- w B}/B$, and $\alpha$ varies over simple roots), not least because $G/B$ is smooth. Is the same true for ...
1
vote
1answer
108 views

Relative tangent space to proper morphism and irreducibility of fibers

Let $f:X \to Y$ be a proper surjective morphism of reduced connected noetherian schemes. Assume $Y$ is irreducible. Let $y \in Y$ be a closed point. Denote by $X_y$ the fiber over $y$ to the morphism ...
1
vote
1answer
137 views

Symplectic reduction: from indefinite signature to Riemannian signature

Let $(M,g,\omega)$ be a $d$-dimensional manifold equipped with a metric $g$ of signature $(t,s)$, $d = t+s$, and a symplectic form $\omega$. Let us assume that a Lie group $G\subset Isometries(M,g)$ ...
8
votes
2answers
657 views

Morgan Shalen compactification of $\mathbb C^2$

I'm reading the Otal's survey on the compactification of Morgan Shalen. (available here) He claims in an example (page 8) that the compactification of $\mathbb C^2$ is $S^4$, which sounds completely ...
4
votes
1answer
186 views

When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.) Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group ...
2
votes
1answer
174 views

An example of toric threefold

I am looking for an example of projective toric threefold $X = \mathbb P_\Delta$ that comes from a rational polytope $\Delta$, where $\Delta$ is a triangular bipyramid (click the word for its image). ...
3
votes
1answer
92 views

Existence of Factor rings of UFDs which are UFDs

Suppose that $X=Spec(A)$ is an affine variety over an algebraically closed field $k$ which is normal and such that $Cl(X)=0$. I am interested in hypersurfaces of $X$ which again satisfy this ...
0
votes
1answer
85 views

Samuel multiplicity

Let $X$ be the hyper-surface defined by $$f:=\sum_{i=1}^k x_i^n=0$$ in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal $$I=(x_1^{n-1},\dots , x_k^{n-1}) $$ What is ...
2
votes
0answers
146 views

Bruhat Tits buiding to visualize closed points of affine flag varieties?

In his survey "affine springer fibers and affine Deligne-Lusztig varieties", Goertz gives us a tutorial session on how to use Bruhat Tits buildings to visualize subsets of affine Grassmannians or of ...
2
votes
0answers
170 views

How to prove two manifolds are not birational?

Given a family of compact complex manifold $\mathcal{X} \rightarrow B$, what are the standard techniques to prove two distinct fibers $\mathcal{X}_a$ and $\mathcal{X}_b$ are not birational?
2
votes
0answers
92 views

What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?

It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor ...
2
votes
1answer
146 views

When is the pullback in Chow groups defined?

This is the first time I ask a question on Mathoverflow, so I apologize in advance if it is not suitable/a duplicate/otherwise inappropriated. I am thinking about Voevodsky's category of motives and ...
8
votes
0answers
229 views

Degeneration of wildly ramified local monodromy representations - near or far from Deligne?

Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
5
votes
1answer
344 views

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?
2
votes
1answer
154 views

Is a locally free sheaf projective in the category of $\mathcal{O}_X$-modules when $X$ is an affine scheme?

Let $X$ be an affine scheme and $\mathcal{E}$ a finitely generated locally free sheaf on $X$. It is obvious that $\mathcal{E}$ is a projective object in the category Qcoh$(X)$ since we can pass to ...
6
votes
0answers
140 views

Reference or explanation: Cup products, deformations of complex structure and Mirror Symmetry

In section 0.3. of their paper "Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields," Barannikov and Kontsevich discuss the fact that Kontsevich's formality morphism (from his paper ...
1
vote
1answer
136 views

polynomials with similar maxima-minima

Assume $p$ and $q$ are n-variate degree d, homogeneous polynomials. Define $ |p|_{\infty}= \max_{x \in S^{n-1}} |p(x)|$ $D(p)=\{ x \in S^{n-1} : p(x)= |p|_{\infty} \}$ $E(p)=\{x \in S^{n-1} : p(x)= ...
5
votes
2answers
331 views

Obstruction and rational points on curves

Is etale-Brauer the only obstruction to the existence of rational points on projective plane curves over number fields?
6
votes
2answers
398 views

How to compute class number of a torus

Let $T$ be an algebraic torus over a number field $K$. Following notations in Ono's The Arithmetic of Tori, ...
1
vote
1answer
146 views

motive of the general linear group

Let $k$ be a perfect field. Let $GL_n$ be the general linear group over $k$. Does anybody know a reference for the computation of the motive $$ M(GL_n) $$ in Voevodsky's category $DM(k)$?
4
votes
0answers
153 views

Map of the Klein quartic from $CP^2$ to $R^3$

The Klein quartic $\mathcal{X}$ is cut out of $\mathbb{C}P^2$ by the homogeneous equation $$x^3 y + y^3 z + z^3 x = 0.$$ It has 168 orientation preserving automorphisms and includes several copies of ...
3
votes
0answers
110 views

going down theorem

Typical maps that satisfy "going down theorem" are flat morphisms and integral extensions of normal rings that are integral. Let $Spec(B)\rightarrow Spec(A)$ be a finite type morphism of k-noetherian ...
4
votes
1answer
250 views

Singular models of K3 surfaces

Let us work over a ground field of characteristic zero. As is well-known, a K3 surface is a smooth projective geometrically integral surface $X$ whose canonical class $\omega_X$ is trivial and for ...
3
votes
1answer
260 views

Mixed Hodge structure and cup product

I'm looking for a reference for the answer to the following questions. Let $X$ be an algebraic variety over C. When is the cup product a morphism of Mixed Hodge structures? Does $X$ have to be ...
3
votes
2answers
332 views

Should the Grothendieck ring of varieties be K_0 of numerical motives?

Assuming the Standard Conjectures, should the Grothendieck ring of varieties be the $K_0$ of the abelian category of numerical motives?
0
votes
1answer
172 views

Proper morphism and irreducibility of schemes

Let $f:X \to Y$ be a proper surjective morphism of quasi-projective noetherian schemes over $\mathbb{C}$. Assume that $Y$ is irreducible and $X$ is reduced, connected with finitely many irreducible ...
2
votes
1answer
271 views

Recollement of multiple $t$-structures

Given a recollement $$ \mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...
1
vote
0answers
126 views

Récollement of stable $t$-structures

Given a recollement $$ \mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...
0
votes
1answer
98 views

Linearly normal but not projectively normal variety

Suppose $X$ is a smooth variety, $X\to \mathbf{P}^n$ is a closed immersion. For the fixed imbedding, we call $X$ is linearly normal if $\Gamma(\mathbf{P}^n,O(1))\to\Gamma(X,O_X(1))$ is surjective; we ...
4
votes
1answer
400 views

Why is the first chern class of a line bundle $c_1(L) = 1-L$ in complex K-theory?

I'm trying to understand why on earth the first chern class of a line bundle in K-theory $c_1(L) = 1-L$. I understand that the first Chern class of the trivial bundle is zero, and that $H-1$ ...
2
votes
1answer
168 views

Presentation of the tautological bundle of the Grassmannian

Consider a Grassmannian $G=Gr(r,n)$ embedded in projective space $P^n$ by its Plucker embedding. Is there a way of writing down a presentation of the tautological bundle of $G$, as a module over the ...
4
votes
1answer
83 views

pull-back of canonical divisor under blow-up of a singular point

I was checking an example of canonical singularities from surface. We consider the surface $X:(xz=y^2)\subset \mathbb A^3$. The only singular point is the origin. We write down one affine piece of ...
2
votes
1answer
173 views

What is the cohomology of the tangent bundle of a flag variety?

Let $G$ be the general linear group $\operatorname{GL}(n,\mathbb{C})$ and $P$ a parabolic subgroup with Lie algebra $\mathfrak{p}$. Consider the vector bundles $$ \mathcal{P} = G\times_P ...
2
votes
4answers
375 views

applications of Berkovich spaces

What are applications of the theory of Berkovich analytic spaces? The analytification $X \mapsto X^{\mathrm{an}}$
4
votes
1answer
264 views

Covering of schemes and flatness

Let $f:X \to Y$ be a finite surjective morphism of quasi-projective schemes over $\mathbb{C}$, $X$ is reduced and $Y$ is integral. Suppose that there exists an integer $n$ such that for every closed ...
0
votes
0answers
134 views

For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD?

For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD? I've proved that neither $p$ nor $q$ can be congruent to $1$ modulo ...
0
votes
1answer
183 views

Reference Request: Fundamental Group Scheme

I want to learn about the Fundamental Group Scheme(First introduced by Madhav Nori). I am familiar with Basic Algebraic Geometry at the level of Eisenbud & Harris'"Geometry of Schemes" & to a ...
1
vote
0answers
106 views

Intersection Multiplicity

Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...
4
votes
1answer
77 views

Estimate self crossings of a curve parameterized by a trigonometric polynomial

Given z on the unit circle, let $P(z)= \sum\limits_{k=-D}^D p_k z^k $. Can one estimate the number of self crossings of the following curve with an analytic expression in terms of the coefficients ...
5
votes
0answers
151 views

Does the fundamental group identify group structure on subvarieties of products of curves?

Let $C_1,\dots, C_n$ be smooth curves over $\overline{\mathbb F}_p$, not necessarily proper. Let $X$ be a subvariety of $C_1 \times \dots \times C_n$. I'm interested in the natural map: $$ ...
3
votes
1answer
174 views

Analytically but not algebraically smoothable singularity

Are there examples of algebraic singularities which may be smoothed analytically but not algebraically? It certainly seems possible, but if not, why? Are there conditions under which this becomes ...
1
vote
0answers
69 views

miniversality vs versality

Consider a moduli problem $\mathcal{M}$. Assume, at each point $x$, the associated deformation problem $\mathcal{M}_x$ has a tangent-obstruction theory. It follows that $\mathcal{M}_x$ has a hull ...
2
votes
1answer
133 views

A question on polynomial heights

For a given polynomial $f(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$, define the height of $f$ as $H(f)$ as the maximum absolute value among its coefficients. We can also define the log ...
1
vote
1answer
111 views

Degree of irreducible locally free sheaves and global sections on curves

Let $X$ be a smooth projective curve and $\mathcal{F}$ a locally free sheaf on $X$ of rank $2$ and negative degree. Assume further that $\mathcal{F}$ is irreducible in the sense, $\mathcal{F}$ cannot ...
0
votes
1answer
210 views

Find all possible rational values of the parameter of a parametric cubic such that it is reducible

Description: Given the following parametric cubic polynomials ${E}^{3} - 15\, {\beta}_{\pm}\, {E}^{2} - 3 \left({71\, {\beta}_{\pm}^{2} + 352\, {\beta}_{\mp}}\right) E + 135\, {\beta}_{\pm} ...
0
votes
2answers
134 views

divisor is big iff its birational pullback is big

In Kollár and Mori's Birational Geometry of Algebraic Varieties, the authors say a Cartier divisor is big iff its birational pullback is big (Definition 2.59 below). But I can't understand. Maybe the ...
1
vote
1answer
142 views

Special linear sections of a hypersurface

We discuss on the field of complex numbers. Let $X$ be a smooth projective hypersurface of dimension $n \geq 4$ in $\mathbb{P}^{n+1}(\mathbb{C})$. Assume that for a general point $x \in X$, there ...
0
votes
0answers
57 views

About bounding values of quadratic forms

It would be helpful if someone can share (either as references) examples of calculations/analysis which achieves bounding of values of quadratic forms in say either of the following situations, ...
4
votes
2answers
200 views

Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$

Let $M$ be an invertible symmetric $2n \times 2n$ matrix with entries in the finite field $\mathbb{F}_2$. Is $\mathrm{Ker}\ (M^2 - I_{2n})$ necessarily even dimensional?