Skip to main content

Questions tagged [geometric-invariant-theory]

Geometric invariant theory (or GIT) is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces.

Filter by
Sorted by
Tagged with
0 votes
1 answer
52 views

Is every open substack of $Y$ of the form $[U/G]$ where $U$ is an open subscheme of $X$? [closed]

Let $G$ be a finite group acting on a scheme $X$. Consider the algebraic stack quotient $Y=[X/G]$: Is every open substack of $Y$ of the form $[U/G]$ where $U$ is an open subscheme of $X$?
Angry_Math_Person's user avatar
1 vote
1 answer
23 views

Semi-invariants of $\mathrm{GL}(V)\curvearrowright\mathbb{C}\big[\mathrm{Sym}^2(V)\otimes V\big]$?

There is an action $\mathrm{GL}(V)\curvearrowright\mathrm{Sym}^2(V)\otimes V$ for any vector space $V$. We view $\mathrm{Sym}^2(V)\otimes V$ as an affine space $\mathbb{A}^N$. Consider the action $\...
Display Name's user avatar
  • 1,409
0 votes
0 answers
84 views

$A_1$ Du Val singularity and blow ups

Blowing up $\operatorname{Spec}K[x,y]=\mathbb{A}^2$ along $\operatorname{Spec}K[x,y]/(x^2,y)$ in the $U_B$ chart gives a singular point $U_B=\text{Spec}K[x,y][a]/(ya-x^2)$ at the origin. This ...
領域展開's user avatar
  • 2,407
2 votes
0 answers
120 views

Differential Invariants of Surfaces

I'm reading Peter Olver's paper about Differential Invariants of Surfaces. In page 3, he defines two invariant differential operators $\mathcal{D}_1$ and $\mathcal{D}_2$, and he adds - "which ...
gipouf's user avatar
  • 55
1 vote
1 answer
43 views

Moduli space of n ordered points on affine line up to automorphism

I am interested in the space of $n$ ordered points on the affine line $\mathbb{A}^1$, modulo the automorphism group $Aut(\mathbb{A}^1) \cong \mathbb{A}^1 \rtimes \mathbb{G}_m$. Question Does this ...
dummy's user avatar
  • 571
0 votes
0 answers
43 views

Stability of vector bundles as GIT quotient

I believe that the stability of vector bundles or coherent sheaves (defined as the inequality of 'slopes' of its subsheaves) comes naturally from GIT. However, in any literature I can find, it is ...
Yuri's user avatar
  • 81
0 votes
0 answers
57 views

Certain GIT quotients for elliptic curves

The base field $k$ is algebraically closed. Let $C$ be a smooth projective variety and $G$ be a finite group of automorphisms of $C$ (as an algebraic variety). As is well known, up to isomorphism ...
jg1896's user avatar
  • 123
1 vote
1 answer
189 views

Automorphisms of curves and Hurwitz-Riemann formula

Let $k$ be a base field algebraically closed and of zero characteristic. Let $C$ be a smooth projective curve and $G$ a finite group of automorphisms of it. Let $C*$ be a smooth projective curve whose ...
jg1896's user avatar
  • 123
3 votes
0 answers
53 views

Dimension formula/algorithm for quiver varieties?

The title says the question. For a quiver and a dimension vector and a stability vector, we can construct a moduli space of semistable quiver representations with the given dimension vector. The ...
Display Name's user avatar
  • 1,409
0 votes
0 answers
34 views

Semistability and Proj quotients

Before to make my question, I'm going to introduce all necessary notions. Let $G$ be a linearly reductive group (i.e. each rational representation is completely reducible) acting regularly on an ...
wood's user avatar
  • 301
0 votes
1 answer
53 views

Geometric quotient parametrizing points which are not stable

I'm reading some lecture notes about GIT, and I was wondering the following: Let $\mathbb{C}^*$ act on $\mathbb{C}^2$ as $t\cdot (x,y)=(tx,t^{-1}y)$. One may show that there are 3 types of orbits: ...
OrdinaryAttention's user avatar
1 vote
0 answers
40 views

How are tangent spaces related via geometric quotient?

Let $G$ be a linearly reductive group acting regularly on an irreducible affine variety $X$ (over an algebraically closed field of characteristic zero). Suppose there's a $G$-stable open subvariety $U$...
It'sMe's user avatar
  • 847
2 votes
0 answers
46 views

How to determine if an invariant rational function is defined at the $\theta$-polystable point?

Background: Let $A$ be a finite-dimensional (associative and unital) algebra over $\mathbb{C}$. Assume there is a quiver $Q=(Q_0,Q_1)$, where $Q_0$ is the set of vertices and $Q_1$ is the set of ...
It'sMe's user avatar
  • 847
1 vote
0 answers
52 views

Sufficient condition for moduli space of slope-stable bundles to be non-empty

I'm trying to find to a statement concerning the non-emptiness of the moduli space of slope stable vector bundles over a Kähler surface in the literature. Let $X$ be a Kähler surface. Let $\mathscr{M}(...
holitinh's user avatar
3 votes
0 answers
47 views

invariant closed subset under group scheme action (Mumford GIT)

I have a question about a condition in Mumford's GIT book. One page 8, remark (6) iii) they talk about a closed subset $W$ of $X$ which is invariant under the action of $G$. The context is that $G$ is ...
Nico's user avatar
  • 4,310
2 votes
2 answers
83 views

Why is this point fixed?

For an algebraic group $G$ that acts by $\sigma$ on a proper algebraic scheme $X/k$ and some closed point $x\in X$, we define the morphism $\psi_x: G\to X$ by $g\mapsto g\cdot x$. Say $\lambda$ is a $...
GoogleME's user avatar
  • 324
0 votes
1 answer
61 views

Why $\mathbb{A}_K^n/G_n=\mathbb{A}_K^n$?

In my algebraic geometry class my professor mentioned that $\mathbb{A}_K^n/G_n=\mathbb{A}_K^n$, where $G_n$ is the group of permutation of degree $n$ acting on coordinates. This is not clear for me ...
3435's user avatar
  • 385
3 votes
0 answers
166 views

Relationship between GIT and coarse moduli spaces

I'm trying to understand how a generic algebraic geometer constructs coarse moduli spaces. I'm familiar with the definition, and how it is usually quite involved to show that a space has the coarse ...
EJAS's user avatar
  • 185
0 votes
0 answers
41 views

Computing the stabilizer of any polynomial of degree $n$ with distinct roots.

How to compute the stabilizer of any polynomial of degree $n$ with distinct roots? I was told in case of polynomials of degree 3 in 2 variables this is related to the fact that there is a unique ...
weird's user avatar
  • 29
0 votes
1 answer
77 views

Proof for "any $p \in \operatorname{Sym^3(\mathbb C^2)}$ can be written as a product of linear factors?"

Here is the paper I am trying to understand: I need a proof that "any $p \in \operatorname{Sym^3(\mathbb C^2)}$ can be written as a product of linear factors $(a_1 x + b_1 y)(a_2 x + b_2 y)(a_3 ...
weird's user avatar
  • 29
1 vote
2 answers
63 views

Why are the linear factors of $g.p$ are given by $(a_i, b_i)g^{-1}$?

I am reading a part of the paper below that computes the semistable locus in case of $\operatorname{Sym^3}(\mathbb{C}^2).$ Here is the part of the paper I do not understand: Specifically, I do not ...
weird's user avatar
  • 29
1 vote
0 answers
36 views

Bondal-Orlov conjecture on Calabi-Yau varieties

Recently, I am trying to study the various progress made on the Bondal-Orlov conjecture: Birational Calabi-Yau varieties $\implies$ Equivalent derived categories. I have started reading the paper by ...
Rio's user avatar
  • 562
2 votes
1 answer
100 views

Does the dualizing sheaf on the nodal rational curve not admit a $\mathbb G_m$-linearization?

Let $X$ be the projective variety obtained by gluing the two points $0, \infty \in \mathbb P^1$ transversally, which means that $X$ is isomorphic to $\{y^2z = x^2(x+z)\} \subset \mathbb P^2$, the ...
red_trumpet's user avatar
  • 9,507
2 votes
0 answers
55 views

inverse image of the symmetrization map

Let $S_n$ denote the vector space of $n \times n$ matrices and $M_{m \times n}$ denote the vector space of $m \times n$ matrices. Then we have a map $f: M_{m \times n} \times M_{n \times m} \...
jack's user avatar
  • 362
1 vote
0 answers
73 views

Non-empty stable locus in an irreducible component

I have a vague question: Let $X$ be an algebraic pre-scheme and $G$ be a linear reductive group. Consider the G.I.T quotient $X//G$. Is there any result (maybe in some special case) which tells us ...
It'sMe's user avatar
  • 847
2 votes
0 answers
83 views

Actions by affine algebraic groups?

I am learning geometric invariant theory from Hoskins' notes. I am really confused about notions of group actions. One particular problem is the definition of a (rational) action on an algebra. In ...
Display Name's user avatar
  • 1,409
1 vote
1 answer
196 views

Geometric quotient definition in Mumford's book contains an error?

The seminal book by Mumford titled "Geometric Invariant Theory", 1965, gave a thorough and satisfactory answer to the question of how to form quotients of schemes. Not only that, it laid the ...
SeparatedScheme's user avatar
5 votes
1 answer
332 views

Linearization of the action of PGL(n) on the projective space of dimension n-1

Since I do not have enough reputations I could not comment directly at a similar question asked at https://mathoverflow.net/questions/219064/choosing-a-group-action-to-do-git-of-hypersurfaces?newreg=...
chi-yu Cheng's user avatar
2 votes
1 answer
228 views

Global sections of $\operatorname{Proj} S$ when $S$ is an integrally closed domain

Let $S=\bigoplus_{n \geqslant 0}S_n$ be a finitely generated $\mathbb{Z}_{\geqslant 0}$-graded algebra over $\mathbb{C}$ with $S_+ \neq 0$, here $S_+:=\bigoplus_{n>0}S_n$. Let us also assume that $...
Asav's user avatar
  • 135
1 vote
0 answers
147 views

About Jordan normal form and stability in GIT

I am preparing linear algebra exam and I met a problem about Jordan normal form. Suppose $V$ is a vector space over field $\mathbb K$, $\psi$ is a linear transform on $V$, the char polynomial and ...
LSY's user avatar
  • 795
1 vote
0 answers
136 views

What if the semi-invariant ring is a polynomial ring or hypersurface

I'm asking this question as a continuation of discussion and answer given by Hugh Thomas at the following post: Why do people study semi-invariant ring (in general)? I have been studying about semi-...
It'sMe's user avatar
  • 847
7 votes
1 answer
696 views

What is Representation of Surface Groups?

I had a question in my mind for a month ago. Mainly I am interested in Hyperbolic Geometry. I found a topic named "Representation Theory of Surface Groups". Let me tell about what is a "...
user2022's user avatar
7 votes
1 answer
426 views

Proving that GIT quotient of linear group is smooth

I'm trying to prove that the projective variety associated to the GIT quotient $$\mathrm{End}(W)^{ss} / H$$ is smooth, where $H$ is a (reductive) subgroup of $\mathrm{Gl}(W)$ acting by pre-composition ...
Heitor Fontana's user avatar
1 vote
1 answer
70 views

Understanding (GIT) quotient by action on End(W)

Suppose we have a subgroup $H < \mathrm{Gl}(W)$, where $W = \mathbb{C}^n$, which acts on $\mathrm{End}(W)$ by precomposing: $a \mapsto h\circ a$, for $h\in H$. We are given a distinguished linear ...
Heitor Fontana's user avatar
0 votes
1 answer
337 views

Why are finite groups linearly reductive?

Let $G$ be a linear algebraic group contained in $GL(n)$. $G$ is linearly reductive iff every regular representation is completely reducible. Among the examples of linearly reductive groups, there are ...
cip's user avatar
  • 1,127
0 votes
1 answer
277 views

Example of G-invariant ideal

Definition: Let $G$ be a group acting on $R_n:=K[x_1,\dots,x_n]$ with $$\begin{aligned} G\times R_n &\rightarrow R_n\\ (g,f) &\mapsto f^g \end{aligned} $$ where $(f^g)$ acts on a point $p$ in ...
Pina Merenda's user avatar
1 vote
1 answer
159 views

Help with an algebraic geometry result

I am studying this part of algebraic geometry and I have come to this proposition. I understand the basic idea well but there are two details that escape me. Proposition: Let $G$ be a finite group ...
Pina Merenda's user avatar
0 votes
0 answers
190 views

Reference for the Hilbert scheme of points as GIT quotient

Could you provide me some ressources concerning the construction of the Hilbert scheme of n ponts in $\mathbb{C} ^2$ as a GIT quotient. There is this article of Barbara Bolognese and Ivan Losev but ...
Rhylx's user avatar
  • 11
0 votes
0 answers
42 views

Action of an algebraic group is closed.

I am studying geometric invariant theory and I came to the following question. Let us consider an algebraic subgroup $G$ of $SL(V)$ with $V$ a $n$-dimensional $k$-vector space. Let us consider the ...
Samantha Smith's user avatar
1 vote
0 answers
175 views

Relative GIT quotient.

I´m studying Mumford's geometric invariant theory and I came to the following question. Let us suppose that $k$ is an algebraically closed field of characteristic 0, and $G$ is a reductive linear ...
Samantha Smith's user avatar
5 votes
0 answers
245 views

Quotient of closed $G$-invariant subset of $G$-variety

Let $X$ be an affine $G$-variety where $G$ is a reductive group. All the varieties are over $k$ , where $k$ is a field (if it necessary we can assume it is algebraically closed). It is a known theorem ...
Tommaso Scognamiglio's user avatar
2 votes
1 answer
333 views

Invariants cyclic group actions

Let $G_m$ be the multiplicative group of $m$-th roots of unity generated by $\epsilon_m=\exp{(2\pi i/m)}$, and let us assume it acts faithfully on $\mathbb{C}[x_1,x_2]$ with weights $a=(a_1,a_2)=(a_1,...
blob's user avatar
  • 489
0 votes
0 answers
32 views

Is the product group of finitely many copies of the multiplicative group of positive real numbers a reductive group?

Let G be the multiplicative group of positive real numbers. Is the finite product group $G \times \cdots \times G$ reductive? I am trying to construct the moduli space for some quiver representations ...
Marco Armenta's user avatar
3 votes
0 answers
112 views

Quotients of $\mathbb{P}^1 \times \mathbb{P}^1$

It is known that $\mathbb{P}^1 \times \mathbb{P}^1 \not \cong \mathbb{P}^2$. One way to see this is working with their respective class groups, $\mathbb{Z}^2$ and $\mathbb{Z}$, which in this case, ...
user313212's user avatar
  • 2,236
0 votes
0 answers
102 views

All Harder-Narasimhan factors of $E$ are semistable with slope $\leq B \in \mathbb{R}$ implies $E$ semistable

I'm trying to show the following claim: Let $E$ be a vector bundle on a surface $X$, of slope $\mu(E) = B$ such that it's Harder-Narasimhan factors are $\mu$-semistable of slope $\leq B \in \mathbb{...
mathphys's user avatar
  • 2,919
0 votes
0 answers
189 views

Proof of "A geometric quotient is categorical"

I'm reading Geometric Invariant Theory by Mumford-Fogarty, but I can't understand some details in the proof that any geometric quotient is categorical. Let $\sigma$ be an action of $G/S$ on $X/S$ ...
user313212's user avatar
  • 2,236
5 votes
0 answers
109 views

$G$-invariant divisor in affine space

Suppose we have a linearly reductive group $G$ acting on $X=\mathbb{A}^n_{\mathbb{C}}$ and we have a closed subvariety $Z=V(f_1,...,f_k)$, where $f_i$ are $G$-invariant functions. If we further know ...
Bananeen's user avatar
  • 1,967
1 vote
0 answers
29 views

2-Beltrami derivative of the normal vector of surface in $\textbf{R}^3$

Assume a surface $\textbf{S}\in C^3$, $\overline{x}=\overline{x}(u,v)$, $(u,v)\in D$ and a function $f(u,v)\in C^2$ defined on $D$. Moreover let $\{\overline{e}_1,\overline{e}_2,\overline{e}_3\}$ be ...
Nikos Bagis 's user avatar
3 votes
1 answer
197 views

Group schemes vs abstract groups in GIT

In studying GIT I encounter the same problem at multiple occasions of confusing group schemes for abstract groups . There is a natural example: Take an affine scheme $X=Spec(A)$ and an (affine) group ...
Notone's user avatar
  • 2,380
3 votes
1 answer
229 views

Stable points in a GIT quotient

I have a maybe stupid question on GIT: Let $\mathbb P^N=\mathbb P^N_k$ be the Hilbert scheme of hypersurfaces of degree $d$ in $\mathbb P^n$, where $N=\binom{n+d}{d}-1$, and let $G:=PGL_{n+1}(k)$. ...
Akatsuki's user avatar
  • 3,280