Intereting Posts

Why the primitive of a Riemann functions must be continuous?
What would be the value of $\sum\limits_{n=0}^\infty \frac{1}{an^2+bn+c}$
Conditional probability is not a probability measure, but it does satisfy each of the requisite axioms with probability 1.
solve $3x^2 + 6x +1 \equiv 0 \pmod {19}$
Formula for midpoint in hyperbolic 3-space
An exercise about finite intersection property in $T_1$ space
Question regarding matrices with same image
Analytic function in the punctured plane satisfying $|f(z)| \leq \sqrt{|z|} + \frac{1}{\sqrt{z}}$ is constant
Properties of Adjoint functors
Prove that $gNg^{-1} \subseteq N$ iff $gNg^{-1} = N$
Proving that the dual of the $\mathcal{l}_p$ norm is the $\mathcal{l}_q$ norm.
Continuous extension of a Bounded Holomorphic Function on $\mathbb{C}\setminus K$
a square root of an irrational number
About a weak topology on TVS
Conjectures that have been disproved with extremely large counterexamples?

Let $\mathbb T:=(\mathbb C^{*})^{m+1}$ be the complex torus and suppose $\mathbb T$ acts on $\mathbb C^{m+1}$ diagonally as follows $$ (t_0, \cdots, t_m) : (x_0, \cdots, x_m) \mapsto (t_0x_0, \cdots, t_mx_m)$$

This action can induces a natural $\mathbb T$-action on $\mathcal O_{\mathbb P^m}(1)$ and also on $X:=H^0(\mathbb P^m, \mathcal O_{\mathbb P^m}(1))$, so the vector space $X$ becomes a $\mathbb T$-representation.

**Question** How to compute the weights of this $\mathbb T$-action explicitly? I will appreciate it if you can provide details.

- Separatedness of a scheme of finite type over a field
- Closed points are dense in $\operatorname{Spec} A$
- Prove that this condition is true on an Zariski open set
- Intersection of all maximal ideals containing a given ideal
- Functions determine geometry … Riemannian / metric geometry?
- Maximal ideals and the projective Nullstellensatz

(PS:Someone told me that the weights are related to some Chern classes. Is this true? )

- Variety of Nilpotent Matrices
- The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$
- Bezout in $\mathbb C $
- Why are projective spaces and varieties preferable?
- When is a Morphism between Curves a Galois Extension of Function Fields
- 4-ellipse with distance R from four foci
- Quotient of a local ring at a point is a finite dimensional vector space
- Sheafification: Show that $\tilde{\mathscr{F}_x}=\mathscr{F}_x$.
- Hypersurfaces containing given lines
- Proof that an affine scheme is quasi compact

A possible solution (take it with some grains of salts, I am not perfectly familiar with the subject) relies on the following two facts:

- The $0$’th sheaf cohomology $H^0\left(\mathbb P^m, \mathcal O_{\mathbb P^m}(1)\right)$ is the space of global sections of the bundle $\mathcal O_{\mathbb P^m}(1)$. (c.f. [Wiki])
- The space of global sections of the bundle $\mathcal O_{\mathbb P^m}(1)$ can be identified with the space of homogeneous degree $1$ polynomials in the homogeneous coordinates $\{x_0, \cdots, x_m\}$. (c.f. [Vakil]: Proposition, §1.2.)

Let us define some notation:

\begin{align}

\pi: \mathcal O_{\mathbb P^m}(1) \to \mathbb P^m \; :&\; \mbox{the canonical projection of the bundle to the base} \\

\{U_i\}_{i=0}^m \;:&\; \mbox{standard open cover of $\mathbb P^m$} \\

\{x_i\}_{i=0}^m \;:&\; \mbox{a basis of polynomials of homobeneous degree 1}

\end{align}

Now, a basis of global sections of $\mathcal O_{\mathbb P^m}(1)$ can be defined by (c.f. [Vakil]: Proposition, §1.2.):

$$ g_i^{(j)} : U_j \to \pi^{-1}(U_j) \to \mathbb C\,, \qquad g_i^{(j)}:[x_0:\cdots :x_m] \mapsto \frac{x_i}{x_j}\,. $$

The action of $(\mathbb C^*)^{m+1}$ on $g_i^{(j)}$ is defined by imposing:

$$ (t_0, \cdots, t_m): g_i^{(j)} \mapsto \tilde g_i^{(j)}\,, \qquad \tilde g_i^{(j)}([t_0 x_0: \cdots : t_m x_m]) := g_i^{(j)}([x_0: \cdots : x_m])\,, $$

which implies:

$$ \tilde g_i^{(j)}([x_0: \cdots : x_m]) = \frac{t_j}{t_i} \frac{x_i}{x_j} = \frac{t_j}{t_i} g_i^{(j)}([x_0: \cdots : x_m])\,. $$

We can write this action of $(\mathbb C^*)^{m+1}$ on the global sections (in the chart $U_j$) as follows:

$$ (t_0, \cdots, t_m): \left(g_0^{(j)}, \cdots, g_m^{(j)}\right) \mapsto \left(\frac{t_j}{t_0} g_0^{(j)}, \cdots, \frac{t_j}{t_m} g_m^{(j)}\right)\,, $$

so if we denote the $(m+1)$ $(m+1)$-tuples of weights (the weights are $(m+1)$-tuples because the group is an $(m+1)$-dimensional torus, and there are $(m+1)$ of these tuples because the module is $(m+1)$-dimensional) in the chart $U_j$ by $w_a^{(j)} \in \mathbb C^{m+1}$ where $a \in \{0, \cdots, m\}$, then $w_a^{(j)}$ has $1$ at the $j$’th position, $-1$ at the $a$’th position and $0$ everywhere else, for example, $w_1^{(3)}$ looks like $(0,-1,0,1,0, 0, \cdots, 0)$.

- Finding the dual cone
- Value of $ \sum \limits_{k=1}^{81} \frac{1}{\sqrt{k} + \sqrt{k+1}} = \frac{1}{\sqrt{1} + \sqrt{2}} + \cdots + \frac{1}{\sqrt{80} + \sqrt{81}} $?
- How to show equinumerosity of the powerset of $A$ and the set of functions from $A$ to $\{0,1\}$ without cardinal arithmetic?
- Direct proof of empty set being subset of every set
- Why does this “miracle method” for matrix inversion work?
- What are $E_\infty$-rings?
- A function that is $L^p$ for all $p$ but is not $L^\infty$?
- Modularity and prime number sequence
- Prove/Disprove: For any sets $X$ and $Y$, $\overline{X\cap Y} = \bar{X}\cup\bar{Y}$
- $\ell_1$ and unconditional convergence
- History of Dual Spaces and Linear Functionals
- How to Prove Plancherel's Formula?
- square root of symmetric matrix and transposition
- The Uniqueness of a Coset of $R/\langle f\rangle$ where $f$ is a Polynomial of Degree $d$ in $R$
- How to deal with misapplying mathematical rules?