The holomorphic line bundle $\mathcal{O}_X(1)$ over a toric manifold $X$, admits a hermitian connection, $A^{(1)}$, whose $U(1)$ gauge transformation in a local patch of the base space is $$ A^{(1)}_Idx^I\rightarrow A^{(1)}_Idx^I-\textrm{ }d\lambda, $$ where $x^I$ are sections of the bundle. On page 61 of https://arxiv.org/abs/hep-th/0005247, it is assumed without explanation that the hermitian connection of $\mathcal{O}_X(-n)$ is just $$ A^{(-n)}=-nA^{(1)} $$ Why is this true? References would be appreciated.
2025-01-13 05:58:40.1736747920
Connection of $\mathcal{O}(n)$ on a toric manifold
162 Views Asked by Meer Ashwinkumar https://math.techqa.club/user/meer-ashwinkumar/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- Relations among these polynomials
- Completion of a flat morphism
- Is every sheaf a subsheaf of a flasque sheaf?
- Intersection of curves on surfaces and the sheaf $\mathcal O_{C\cap C'}$
- Does intersection of smooth divisors satisfy Serre $S_2$ criterion?
- Application of GRR in number theory
- Generic point and pull back
- Every point lies on a unique secant through $C$
- Projective transformation in $\mathbb{P}^1$
- Equality $H^i(K,\mathcal{F}_{|K})=\varinjlim_{U\supset K}H^i(U,\mathcal{F}_{|U})$ for a constructible sheaf
Related Questions in COMPLEX-GEOMETRY
- Equality $H^i(K,\mathcal{F}_{|K})=\varinjlim_{U\supset K}H^i(U,\mathcal{F}_{|U})$ for a constructible sheaf
- Question about Gysin map (pushforward in cohomology)
- When do vector bundles decompose into line bundles?
- Definition of a Subtorus
- Base change of topogical spaces VS Base change of schemes
- Complex differential forms on $CP^n$
- Is there a complex surface into which every Riemann surface embeds?
- Extending a d-closed (p,q) form of a fibre of complex analytic family
- Why care about (local) rational functions in algebraic geometry?
- cohomology of a tangent bundle
Related Questions in HOLOMORPHIC-BUNDLES
- Condition for a complex vector bundle to be holomorphic?
- If $f$ and $g$ are holomorphic complex functions, is $f/g$ also holomorphic? What's the proof?
- The Hirzebruch surface $\mathbb F_n$ contains a unique irreducible curve with negative self-intersection.
- (Anti-) Holomorphic significance?
- Why was this terminology of holomorphism used here?
- Global generation of vector bundles by an exact sequence
- Bounded holomorphic function
- Why the canonical bundle of a complex manifold is a line bundle?
- Show that there existe a unique holomorphic function $f : D(0; 1) \to \mathbb{C}$ such that $f(0)=0$ and $f'(z)=\frac{1}{1-z}$
- Connection of $\mathcal{O}(n)$ on a toric manifold
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
$\mathcal{O}(-n)=\mathcal{O}(-1)^{\otimes n}$ is a tensor product of line bundles, so the connection is simply $n$ times the connection on $\mathcal{O}(-1)$. If that was not obvious, it will be useful if we review the basic ingredients involved here, which will hopefully clear up any confusion.
Consider a principal $G$-bundle $P$ over a manifold $X$. Suppose we have a connection $A$ on $P$, i.e. a locally defined $1$-form valued in the Lie algebra $\mathfrak{g}$ of $G$. Let $\rho:G \to \mathrm{Aut}(V)$ be a representation of $G$ on the vector space $V$, and let $\hat\rho: \mathfrak{g} \to \mathrm{Aut}(V)$ be the induced representation of $\mathfrak{g}$ on $V$.
Let $E_\rho = P \times_\rho V$ be the vector bundle associated to $P$ via the representation $\rho$. The connection $A$ on $P$ defines the covariant derivative acting on sections of $E_\rho$ by $$\nabla \equiv \mathrm{d} + \hat\rho(A),$$ where $\mathrm{d}$ is the differential on $X$.
Suppose $\rho':G\to \mathrm{Aut}(V')$ is another representation of $G$, and let $E_{\rho'}$ denote the associated vector bundle. Then we can form the tensor product bundle $E_\rho\otimes E_{\rho'}$ whose fibers are the tensor products of the fibers of $E_\rho$ and $E_{\rho'}$. The covariant derivative acting on sections of $E_\rho\otimes E_{\rho'}$ is $$\nabla = \mathrm{d} + (\hat\rho \otimes \hat\rho')(A),$$ where $$(\hat\rho\otimes \hat\rho')(A) = \hat\rho(A)\otimes 1 + 1\otimes \hat\rho'(A).$$
Now, consider the simple case $G = \mathrm{U(1)}$. Its irreducible representations are $1$-dimensional and are labeled by an integer $q\in \mathbb{Z}$, $\rho_q :\mathrm{U}(1) \to \mathrm{Aut}(\mathbb{C})$ with $\rho_q(e^{i\theta}) = e^{iq \theta}$. The associated Lie algebra representation is simply multiplication by $q$. The covariant derivative on $E_{\rho_q}$ is therefore simply $\nabla = \mathrm{d} + q A$. The covariant derivative on $E_{\rho_q} \otimes E_{\rho_{q'}}$ is then $\nabla = \mathrm{d} + (q+q')A$, since the tensor product is trivial for these $1$-dimensional representations.
Thus, if $P$ is a $\mathrm{U(1)}$ bundle with connection $A$ and $\mathcal{L}$ is the charge $1$ associated line bundle with covariant derivative $\nabla = \mathrm{d} + A$, then the covariant derivative on $\mathcal{L}^{\otimes n}$ is $\nabla = \mathrm{d} + n A$.
For the original question, $\mathcal{O}(1)$ is a line bundle with covariant derivative $\mathrm{d} + A$. $\mathcal{O}(-1)$ is its dual, with covariant derivative $\mathrm{d} - A$. $\mathcal{O}(-n)$ is by definition the tensor product bundle $\mathcal{O}(-1)^{\otimes n}$, and its covariant derivative is $\mathrm{d} - n A$.