Skip to main content
Robert Bryant's user avatar
Robert Bryant's user avatar
Robert Bryant's user avatar
Robert Bryant
  • Member for 13 years, 9 months
  • Last seen this week
comment
Exterior products of irreducible representations of sl_2(C)
A simpler formula for the map of $V_{2n}\times V_{2n}\to V_{4n-2}$ is this: You just send $F\wedge G$ to $\mathrm{d}F\wedge\mathrm{d}G$ which is a $2$-form in the variables $x_1,x_2$ and then take the coefficient of the basis $2$-form $\mathrm{d}x_1\wedge\mathrm{d}x_2$. In other words, you send $F\wedge G$ to the Poisson bracket $\{F,G\}$.
comment
Killing spinor on $S^6$
Yes. That's correct.
comment
Killing spinor on $S^6$
Yes. Using the $\mathrm{G}_2$-invariant almost complex structure, there is a $\mathrm{G}_2$-invariant $(0,3)$-form, and that corresponds to the killing spinor under the above isomorphisms. The reason is that $S^6=\mathrm{G}_2/\mathrm{SU}(3)$, and $\mathrm{SU}(3)$ is the stabilizer of a $(0,3)$-form (unique up to a complex constant multiple).
comment
A question about a form of elements of G2
@emiliocba: I think you are correct about the sign of $\phi_3$. I didn't actually check it when I wrote the answer back then. The OP's 'standard basis' is different from mine, that's why I suggested that the OP check. I like my basis better. (I would use $e_7 = i(jl)$ instead of $e_7=(ij)l$ because then left multiplication by $e_1=i$ induces the 'correct' complex structure on $e_1^\perp\simeq \mathbb{R}^6 = \mathbb{C}^3$.)
awarded
awarded
awarded
awarded
awarded
comment
Does $F_{A}^{0,2}=0$ for a connection $A$ on $TM$ almost complex give a complex structure?
@PaulCusson: An Hermitian connection $A$ on the tangent bundle that is without torsion wil always have $F_A^{0,2}=0$. This is a consequence of the first Bianchi identity.
comment
What are some explicit examples of nontrivial gradient almost Ricci solitons with harmonic curvature?
@MatheusAndrade: Hmmm. You are right that something is wrong with my answer, but I'm not sure what. I'm traveling now and don't have those calculations with me so I can't check them. I'll have a look at them when I get back home next week, check them over, and see what I can do about correcting the formulae.
revised
Hyperbolic system of PDEs with elliptic-like boundary contions
Added a remark about the boundary value problem.
Loading…
comment
Example of a curvature with no associated metric
Moreover, in dimension $3$, if $f(x)$ is nonvanishing, then $R_{ijkl}=f(x)(\delta_{ik}\delta_{jl}-\delta_{il}\delta_{jk})$ is locally the Riemann curvature tensor of some metric $g$. I proved this when $f$ is real-analytic (and nonvanishing) and later DeTurck and Yang proved this when $f$ is smooth (and nonvanishing).
comment
Example of a curvature with no associated metric
Actually, this doesn't quite work. There are non constant functions $h(x)$ such that $g = h(x)\,\bigl (\mathrm{d}x^1)^2 + \cdots + (\mathrm{d}x^n)^2\bigr)$ has constant sectional curvature. For example, $h(x) = 4/(1+|x|^2)^2$. Won't the Riemann curvature tensor of $g$ have the above form for a nonconstant $f(x)$?
comment
Example of a curvature with no associated metric
Oh, I wasn't worried about 'attribution'. I was just pointing out that it's not as 'concrete' as the OP might want. What I was thinking was that the OP might just want a 'concrete' answer, such as $R = x^3\,(\mathrm{d}x^1\wedge\mathrm{d}x^2)\otimes (\mathrm{d}x^1\wedge\mathrm{d}x^2)$ on $\mathbb{R}^3$.
comment
Example of a curvature with no associated metric
Your example is basically what I gave in my answer that the OP linked. It may be that the OP will not consider your class of examples sufficiently 'explicit' either.
comment
Hyperbolic system of PDEs with elliptic-like boundary contions
@DanielCastro: Well, an area bound won' t work because you could just take $\Omega_1$ to be the unit disk and $\Omega_2$ to be an ellipse with a large major axis and sufficiently small minor axis, and you'd have the area bound you propose, but the same argument as above for circles would show that the desired $f$ won't exist. Maybe if you assume that $\Omega_1$ and $\Omega_2$ are convex and the '$XY$-diameter' of $\Omega_2$ is sufficiently small relative to the '$xy$-diameter' of $\Omega_1$, you'd have a chance, but I suspect that it's still hopeless with only these hypotheses.
Loading…
revised
Existence of solution to linear inhomogeneous first order PDEs systems
Clarified the ranges of a few implied summations
Loading…
revised
Existence of solution to linear inhomogeneous first order PDEs systems
Added a proof of the fundamental existence result that is based on the Frobenius Theorem only.
Loading…
1
14 15
16
17 18
269