9,156 reputation
1938
bio website
location New Jersey
age 27
visits member for 3 years, 9 months
seen 12 mins ago

Graduate student in mathematics.


Mar
26
comment Is the determinant the “only” group homomorphism from $\mathrm{GL}_n(\mathbb R)$ to $\mathbb R^\times$?
a Lie group homomorphism is determined by the corresponding Lie algebra homomorphism. So what are all of the Lie algebra homomorphisms $\mathfrak{gl}_n(\mathbb R) \to \mathbb R$? These are the elements of the dual space of $\mathfrak{gl}_n(\mathbb R)$ that vanish on commutators. Are multiples of the trace the only ones (the trace is the derivative of $\det$)?
Mar
22
comment Prove the Curvature Tensor is a Tensor
@user13223423 if $T$ is a tensor and $D$ is some differential operator, $T = T+D - D$ is a tensor but neither $T+D$ nor $D$ are tensors. Of course, the sum of tensors is again a tensor. With regarding your other question, tensors can be characterized as those linear operators on sections of a vector bundle that are linear over $C^\infty(M$).
Mar
22
revised Prove the Curvature Tensor is a Tensor
added 1 characters in body
Mar
22
comment Prove the Curvature Tensor is a Tensor
Each of those terms is not a tensor on their own. You also had a typo in the definition of $R$, which I edited.
Mar
21
comment Time-dependent flat line bundle
@JoshBurby yep that's correct
Mar
21
comment Example: Maps of Constant Rank - Composition not of Constant Rank
what have you tried? sounds like a homework question.
Mar
20
comment Time-dependent flat line bundle
@JoshBurby see my edit. hope this helps.
Mar
20
revised Time-dependent flat line bundle
added 1097 characters in body
Mar
20
revised determinating the signature of a bilinear form
edited body
Mar
20
comment determinating the signature of a bilinear form
It looks like you have a typo, what should $y_n + 1 - i$ be? Should it be $y_{n+1-i}$ and then the sum should really start at $i=1$ instead of $0$?
Mar
19
answered Time-dependent flat line bundle
Mar
19
comment Time-dependent flat line bundle
I'm guessing you want the connection on $L$ to be that induced from each $\ell_t$?
Mar
18
comment How can I prove that $\mathcal{O}_X(-n-1) \simeq \Lambda^n(T_X)^*$?
Take the top exterior power of the euler sequence: en.wikipedia.org/wiki/Euler_sequence
Mar
18
comment What topology has $Pic(X)$?
In the case that $X$ is a Riemann surface, I think what you're after is called the Jacobi variety.
Mar
18
revised Connection(gauge field) in Fubini-Study metric is pull back of a connection A of line bundle $\mathcal{O}(1)$ on $\mathbb{CP}^{N-1}$
added tag
Mar
18
answered Connection(gauge field) in Fubini-Study metric is pull back of a connection A of line bundle $\mathcal{O}(1)$ on $\mathbb{CP}^{N-1}$
Mar
16
comment Connection(gauge field) in Fubini-Study metric is pull back of a connection A of line bundle $\mathcal{O}(1)$ on $\mathbb{CP}^{N-1}$
A does not generate the cohomology of $\mathbb C P^{N-1}$ ($A$ is not even globally defined on $\mathbb C P^{N-1}$). The curvature of the connection is the cohomology class of the Fubini-Study Kahler form and that is what generates the cohomology ring.
Mar
13
comment Conditions on a $1$-form in $\mathbb{R}^3$ for there to exist a function such that the form is closed.
@SanathDevalapurkar because the exterior derivative satisfies the product rule: $d(\lambda \omega) = d\lambda \wedge \omega + \lambda d\omega$.
Mar
5
reviewed Approve suggested edit on Integral equation question
Mar
5
reviewed Approve suggested edit on Algebraic manipulation of Lyapunov function