Questions tagged [ag.algebraic-geometry]

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

Filter by
Sorted by
Tagged with
1 vote
0 answers
38 views

Simplicial approximation theorem for toric varieties

Given abstract simplicial complexes $K$ and $L$, one constructs topological spaces $|K|$ and $|L|$. Simplicial approximation theorem says for any continuous map $f: |K|\to |L|$ that there exists ...
user avatar
1 vote
0 answers
56 views

Locally symmetric spaces dependence on number field

A special case of locally symmetric spaces is the moduli space of abelian varieties of a given dimension $g$ (over a given base field $k$), lets call it $\mathcal{A}_g$ and is a $k$-scheme. For any ...
user avatar
3 votes
0 answers
97 views

Completion of ring as direct limit

If $X$ is a variety and $x \in X$, there are several ways to look locally around the point $x$: Localisation: taking the direct limit over open immersions around $x$. Henselisation: taking the direct ...
user avatar
  • 465
0 votes
0 answers
90 views

The genus of hyperplane sections

Let $S$ be a connected smooth projective surface over $\mathbb{C}$. Let $\Sigma$ be the complete linear system of a very ample divisor $D$ on $S$, and let $d=\dim(\Sigma)$ be the dimension of $\...
user avatar
  • 439
0 votes
0 answers
52 views

Computer algebra tools for finding real dimension of an algebraic variety

I have a system of polynomial equations with the unknowns being real numbers. The set of solutions is infinite. What software can I use to compute the real dimension of the solution set? The CAD-based ...
user avatar
  • 125
1 vote
0 answers
103 views

Simple modules of quantum planes

Let $k$ be an algebraically closed field. Let $R := k\langle x,y \rangle/(yx-qxy) (q \in k^*)$. We often call $R$ a quantum plane. If $q$ is a primitive $n$-th root, then for any $(\zeta, \xi) \in k^* ...
user avatar
4 votes
0 answers
109 views

Fibers of the coarse moduli space map

Let $\mathcal{X}$ be a Deligne-Mumford stack over a field $k$ which admits a coarse scheme $c : \mathcal{X}\rightarrow X$. This will be the case if $\mathcal{X}$ is separated and locally of finite ...
user avatar
1 vote
0 answers
144 views

Why are compact arithmetic surfaces defined through quaternion algebras (usually) only over $\mathbb{Q}$?

As in Chapter 6.2 of "Introduction to arithmetic groups" (by D.W. Morris), compact arithmetic surfaces could be defined through quaternion algebras $\mathbb{H}^{a,b}_F=\big(\frac{a,b}{F}\big)...
user avatar
  • 11
2 votes
0 answers
76 views

Surjective sheaf homomorphisms induced by morphisms of schemes

Let $S$ be a scheme and $X\to Y$ be a morphism over $S$. Then we have an induced homomorphism of sheaves $h_X=\mathrm{Hom}_S(-, X)\to h_Y=\mathrm{Hom}_S(-, Y)$ over the small étale site $S_{étale}$. ...
user avatar
  • 407
2 votes
0 answers
104 views

How to simplify this homotopy totalization coming from an arc-cover into a pullback?

My question concerns the proof of Proposition 4.2 in Bhatt-Mathew’s paper on the arc-topology, but my confusion is completely general and anyone familiar with limits in $\infty$-categories would know ...
user avatar
  • 1,035
-2 votes
0 answers
109 views

Let $V$ be a variety. A point $P \in V$ is nonsingular iff $\dim_k(M_P/M_{P}^{2})=\dim(V)$ [closed]

First of all, we consider $k$ to be an algebraically closed field, and by $M_P$ I denote the maximal ideal of the coordinate ring $k[V]$ at $P$. As for the statement, I have managed to understand how ...
user avatar
  • 121
1 vote
0 answers
95 views

Abelian subvarieties corresponding to vector subspaces

Let $S$ be a connected smooth projective surface. Let $C$ a smooth curve on $S$ In page 9 of the paper "https://arxiv.org/abs/1704.04187v1" a read the following: Let \begin{equation*} r: ...
user avatar
  • 439
1 vote
1 answer
146 views

Purity for proper varieties

Let $X$ be a proper, geometrically connected, geometrically integral variety over $\mathbf{F}_q$. There exists a finite field extension $k/\mathbf{F}_q$ of degree $d$ and an alteration $X'\to X_k$ ...
user avatar
  • 25
0 votes
0 answers
141 views

Where can I find that Weil suggested a cohomology theory for characteristic $p>0$?

I have seen that in Grothendieck's paper "THE COHOMOLOGY THEORY OF ALGEBRAIC VARIETIES", he says "The need of a theory of cohomology for 'abstract' algebraic varieties was first ...
user avatar
2 votes
0 answers
146 views

Compact generation of Voevodsky motives

Let $DM(k,{\mathbb{Q}})$ be the derived category of Voevodsky motives over a field $k$ with $\mathbb{Q}$-coefficients. As a triangulated category is $DM(k,{\mathbb{Q}})$ known or expected to be ...
user avatar
  • 21
4 votes
0 answers
128 views

Does the space of hyperplanes in the Grassmannian have a name?

A way of defining the Grassmannian $Gr(k,n)$ is to consider the space of $k\times n$ matrices mod $GL(k)$ transformations on the rows. I'm interested in the space of $k\times 2n$ matrices mod $GL(k)$ ...
user avatar
4 votes
1 answer
134 views

A group in a neighbourhood of a Zariski dense subgroup

By Borel's theorem, lattices in simple Lie groups are Zariski dense. I expect that a small (in metric sense) deformation of a lattice in a Lie group is also Zariski dense. Suppose we have a Zariski ...
user avatar
2 votes
0 answers
74 views

How to compute Selmer set?

Let $X$ be an affine variety and $G$ an affine algebraic group (for example $\operatorname{PGL}_n$). How do I compute the Selmer set $$ \operatorname{Sel}_\zeta(\mathbb{Q},G) = \{\tau \in H^1(\mathbb{...
user avatar
2 votes
0 answers
67 views

The dual of the Lefschetz operator under a perturbation

Let $(X, \omega)$ be a compact Kähler, or more generally, Hermitian manifold. Let $L_{\omega} : \Omega^k(X) \to \Omega^{k+2}(X)$ denote the Lefschetz operator given by $$L_{\omega}(\alpha) : = \omega \...
user avatar
  • 137
1 vote
1 answer
81 views

Free closed group action on varieties

Suppose we are given a reductive group $G$, its closed subgroup $H$ (not necessarily reductive), an affine $G$-variety $X$ and its closed subvariety $Y$ such that (1) The $G$ action on $X$ is free and ...
user avatar
2 votes
0 answers
56 views

Smoothness of homomorphisms between graded algebras

Let $A$ be a finitely generated $\mathbb{C}$-algebra. Let $S^{\bullet}=\bigoplus_{i\geq 0} S^i$ and $T^{\bullet}=\bigoplus_{i\geq 0} T^i$ be two graded $A$-algebras such that $S^0=T^0=A$ and $S^1, T^1$...
user avatar
  • 407
1 vote
0 answers
61 views

Non-trivial extension and tangent bundle isotropic Grassmannian

Let $V$ be a $2n$-dimensional vector space endowed with a nondegenerate skew-symmetric form $q:V \to V^\vee$. We define the isotropic Grassmannian to be $$ X:=G_q(k,V)=\left\{[W] \in \mathbb P \left( \...
user avatar
  • 369
2 votes
2 answers
184 views

Rational solutions to $P(x,y)=0$ for $P$ reducible over ${\mathbb C}$

There are facts in Mathematics that are so "obvious" and "well-known" that no-one includes a proper proof. An example is: Theorem: If polynomial $P(x,y)$ with rational coefficients ...
user avatar
2 votes
0 answers
82 views

Constructions of motivic complex that is only supported on positive degrees

It is expected by Beilinson-Soule vanishing conjecture that negative motivic cohomology groups are zero so the motivic complexes are supported on nonnegative degrees. My question is about ...
user avatar
  • 5,046
3 votes
1 answer
109 views

Bounded torsion of quotients of affine formal models

$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
user avatar
4 votes
1 answer
349 views

Pairing of cotangent and tangent bundles

I am reading the survey paper: "The de-Rham Witt complex and Crystalline cohomology" by Luc Illusie. In math line (2.1.12), Illusie considers the pairing $\langle-,-\rangle:\Omega_{X/S}^1\...
user avatar
0 votes
1 answer
184 views

Approaching the Riemann-Roch Theorem for algebraic curves

I am using "Algebraic Curves: An Introduction to Algebraic Geometry" by William Fulton as a guidline for approaching the Riemann-Roch Theorem for algebraic curves. I have two questions: ...
user avatar
  • 121
1 vote
0 answers
103 views

Cycle class/cohomology class of subvarieties in flat families

Let $X$ be a projective variety over $\mathbb C$ and $T$ an irreducible projective $\mathbb C$-scheme. Let $a,b$ be closed points of $T$. Suppose we have a flat family $Z\to X\times T\to T$ such that ...
user avatar
  • 111
2 votes
1 answer
67 views

Is the polar dual of a semi-algebraic convex body also semi-algebraic?

Call a convex body $C\subset\Bbb R^n$ semi-algebraic if it can be written as $$(*)\quad C=\bigcap_{i\in I}\, \{x\in \Bbb R^n\mid p_i(x)\le 0\}$$ with polynomials $p_i\in\Bbb R[X_1,...,X_n]$ and a ...
user avatar
  • 10k
1 vote
0 answers
126 views

Complex quadric as a symmetric space

It is known that a smooth complex quadric is a symmetric space. For example, it is $$\operatorname{Spin}(n+2)/G$$ where $G$ is the maximal parabolic subgroup. I want a reference for more details and ...
user avatar
  • 11
1 vote
1 answer
148 views

Difference between $K(1)$-local K theory and l-adic completion of etale $K$ theory

Let $X$ be an scheme. Fix a prime $l$ which is invertible in $X$. Consider the $K(1)$-localization at prime $l$ of algebraic K theory $L_1K(X)$ and $l$-adic completion of etale K theory $K^{et}(X)$. ...
user avatar
  • 37
2 votes
1 answer
134 views

Is the restriction of the Cartan 3-form on conjugacy classes exact?

Let $G$ be a complex semisimple group and $\mathcal{O} \subset G$ a conjugacy class, i.e. $\mathcal{O} = \{gag^{-1} : g \in G\}$ for some $a \in G$. Let $\Omega$ be the Cartan 3-form on $G$ defined by ...
user avatar
2 votes
0 answers
103 views

Tannakian recovery of a group from other tensor abelian categories

Classical Tannakian reconstruction recovers an affine group scheme $G$ over $k$ from the category of its linear representations over a field $k$ (as the automorphism group of the forgetful functor to ...
user avatar
  • 83
3 votes
1 answer
179 views

When does a holomorphic symplectic manifold compactify to a Poisson manifold?

Let $X$ be a complex manifold endowed with a holomorphic closed 2-form $\omega$ whose associated map $\omega : TX \to T^*X$ is invertible. Can we always embed $X$ as an open subset of a compact ...
user avatar
0 votes
0 answers
114 views

Reference Request: sheves of abelian groups over a smooth projective variety

Can someone point some good reference (books or lecture notes) for these topics: Let X a smooth projective variety over an algebraically closed field Sheaves of abelian groups over X Quasi-coherent ...
user avatar
  • 21
-1 votes
0 answers
108 views

Projectivization of normal bundle

We work over the field of complex numbers. Let $Y \subset \mathbb P^N$ be a smooth projective variety. Consider the set $I_Y^0 \subset \mathbb P^N \times (\mathbb P^N)^\vee$ of pairs $(y,H)$ such that ...
user avatar
  • 369
3 votes
0 answers
139 views

Boundedness indices in Voevodsky's smash nilpotence conjecture in family

Let $X$ be a smooth projective variety over an algebraically closed field $k$. Voevodsky introduced the following notion : an algebraic cycle $Z$ in $X$ is smash nilpotent if there exist $N>0$ such ...
user avatar
  • 6,261
2 votes
1 answer
389 views

What is the dual of the stable infinity category of perfect complex on smooth proper variety?

Fix a commutative ring $R$. Lurie proved that smooth proper $R$-linear stable infinity categories are dualizable in $\text{Cat}^\text{perf}_{R,\infty}$. For a smooth proper variety $X$ over $R$, what ...
user avatar
  • 37
1 vote
1 answer
234 views

What's a right parameter space of abelian varieties over a non algebraically closed fields?

Let $k$ be a field of characteristic not 2 or 3. Then the set of elliptic curves over $k$ can be parametrized by the affine variety $S=D(4a^3+27b^2)\subset\mathbb{A}^2_k$ via the family $E\to S$ where ...
user avatar
  • 2,297
0 votes
0 answers
130 views

Projection map of the Hirzebruch surface

Consider the Hirzebruch surface $\mathbb{F}_0:=\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1})\xrightarrow{\pi}\mathbb{P}^1$. We know that $$\pi_*\mathcal{O}_{\mathbb{F}_0}(n)\...
user avatar
  • 9
1 vote
0 answers
235 views

Decomposition of vector bundles on the inertia stack of a DM stack

Let $X$ be a tame DM stack over $\mathbb{C}.$ Let $IX$ denote the inertia stack of $X.$ Let $K(IX)$ denote the Grothendieck group of vector bundles on $IX.$ By the discussion on page 20 of Toen's ...
user avatar
  • 1,079
2 votes
1 answer
228 views

Connected components of inertia stacks

Let $k$ be a field. Let $X$ be a connected tame DM stack over $k.$ Let $IX$ be the inertia stack of $X.$ Then $IX$ is a disjoint union of connected components. Is this always a finite union? If not, ...
user avatar
  • 1,079
4 votes
1 answer
231 views

Existence of rigid objects in the derived category of a smooth projective variety

Let $X$ be a smooth projective variety (say over $\mathbb{C}$). An object $F \in D^b(X)$ is said to be rigid if $\mathrm{Ext}^1(F,F)=0$. I was wondering if we can always find a rigid object on a ...
user avatar
  • 6,261
3 votes
1 answer
200 views

Is the theta characteristic attached to an etale double cover of a plane quintic arising from a cubic threefold even in characteristic two?

We work over an algebraically closed field $k$ of characteristic $2$. Let $X$ be a cubic threefold realized as a conic bundle via $f: X \to \mathbb{P}^2$ (after blowing up some line). Let $C \to \...
user avatar
  • 267
3 votes
0 answers
167 views

A quantity computed from weights of representations -- Have you seen it?

The following quantity has come up in some work my collaborators and I are doing on equivariant D-modules, and in that particular context it seems to be very significant (i.e. it's the only "...
user avatar
  • 2,961
6 votes
0 answers
158 views

Degenerations of rationally connected varieties

Let $X$ be a smooth projective rationally connected variety over $\mathbb{C}((t))$ and $R= \mathbb{C}[[t]].$ Does there exist a proper regular scheme $\mathcal{X} \to \mathrm{Spec}(R)$ whose special ...
user avatar
4 votes
1 answer
288 views

Coincide between Chern-connection and Levi-Civita connection

I am a beginner in complex geometry and I am going to show Levi-Civita connection $\nabla$ and the Chern connection $D$ are the same on the holomorphic tangent bundle $T^{1,0}M$ on Kahler manifold. By ...
user avatar
2 votes
0 answers
86 views

Control on the locus of bad reduction for divisors

Let $X$ be a smooth variety over a number field $K$ and let $\mathcal X$ be a normal, projective model of $X$ over the ring of integers $O_K$. Now assume that $D\subset X$ is an irreducible divisor ...
user avatar
  • 767
1 vote
0 answers
105 views

Counting Points on a Plane Curve

I want to find the number of points of $\displaystyle \mathcal{C}_{h} \cap A^{2}( F_{q})$, (char(F) is not equal to 2,3), where $\displaystyle h$ is a rational function defined as $\displaystyle h( x) ...
user avatar
  • 11
8 votes
2 answers
899 views

Algebraic geometry over the complex numbers, and beyond

My question basically is very simple: when did mathematicians start to do algebraic geometry "outside the complex numbers" ? In the old days, algebraic geometry was solely done over the ...
user avatar
  • 3,361

1
2 3 4 5
393