Skip to main content

All Questions

Filter by
Sorted by
Tagged with
14 votes
2 answers
783 views

A question on invariant theory of $\mathrm{GL}_n(\mathbb{C})$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Sym{Sym}$Let $\rho$ denote the irreducible algebraic representation of $\GL_n(\mathbb{C})$ with the highest weight $(2,2,\underset{n-2}{\underbrace{0,\...
asv's user avatar
  • 21.8k
14 votes
1 answer
681 views

If an equivariant map is smooth on diagonal matrices, is it smooth everywhere?

This is a followup from a question I asked on math.SE, which received a helpful answer but unfortunately not a complete one. $\def\Sym{\mathrm{Sym}_{n\times n}}$ $\def\s{\mathrm{Sym}}\def\sp{\s^+}$Let ...
Anthony Carapetis's user avatar
9 votes
0 answers
450 views

Invariant polynomials in curvature tensor vs. characteristic classes

Let $M$ be an $4m$-dimensional Riemannian manifold. We can then form the Pontryagin classes $p_k(TM)$ of the tangent bundle using Chern-Weil theory. For any sequence of numbers $k_1, \dots, k_l$ such ...
Matthias Ludewig's user avatar
7 votes
2 answers
315 views

Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
Ian Morris's user avatar
  • 6,206
7 votes
0 answers
236 views

Chern-Weil theory on some noncompact groups, and characteristic classes in differential cohomology

$\newcommand{\Z}{\mathbb Z}\newcommand{\HdR}{H_{\mathrm{dR}}} \newcommand{\Sym}{\mathrm{Sym}} \newcommand{\g}{\mathfrak g}$I have a specific question about invariant polynomials for some Lie groups, ...
Arun Debray's user avatar
  • 6,881
7 votes
0 answers
225 views

Relation between Donaldson invariants and GW invariants

What is known about the relation of Donaldson invariants on a complex surface $\Sigma$ and GW invariants (or equivalent) of local Calabi-Yau 3folds such as the canonical bundle of $\Sigma$? (if any of ...
Gorbz's user avatar
  • 661
6 votes
1 answer
589 views

Generalizing cosine rule to symmetric spaces

The sine and cosine rules for triangles in Euclidean, spherical and hyperbolic spaces can be understood as invariants for triples of lines. These invariants are given in terms of the distance (both ...
user avatar
5 votes
1 answer
355 views

Smooth and $GL(n)$-equivariant implies algebraic?

Context: Let $B_n$ be the space of symmetric bilinear forms on $\mathbb{R}^n$ and $L_n\subset B_n$ be the subset of non-degenerate forms of Lorentzian signature $(-,+,\ldots,+)$. Let $T$ be a finite ...
Igor Khavkine's user avatar
3 votes
1 answer
277 views

$\DeclareMathOperator\SU{SU}$$\SU(2)\times \SU(2)$ invariant $\SU(3)$-structure on $\{t\} \times M^6$

$\DeclareMathOperator\SU{SU}$I am reading Jason Lotay and Goncalo Oliveira's paper $\SU(2)^2$ invariant $G_2$-instantons, and have a few questions from the same. If we consider the space $M = S^3 \...
Inquisitive's user avatar
3 votes
1 answer
266 views

Lie algebra of invariant polynomials or invariant smooth functions

Is there a symplectic structure on $M_{2n}(\mathbb{R})$, not necessarily with constant coefficients, such that the space of smooth invariant functions, those smooth functions $f:M_{2n}(\mathbb{...
Ali Taghavi's user avatar
3 votes
0 answers
127 views

Orbit space of the action of $\mathrm{GL}(V)$ on the Grassmannian of $V\wedge V$

$ \newcommand{\K}{\mathbb{K}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\N}{\mathbb{N}} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\Grass}{Grass} $Consider $\K\in\{\R,...
Seba's user avatar
  • 126
1 vote
0 answers
105 views

Codimension of cusp singularities in the space of 2-jets

In trying to prove Cerf's theorem about homotopies between Morse-functions I ended up thinking about the following problem. For $n>2$, $a= (a_{i,j})\in GL(n-2)$, we define the polynomial map $C_a:\...
Overflowian's user avatar
  • 2,533
1 vote
0 answers
137 views

Invariant subspace of a nonlinear map

First please see this very simple fact: Fact: $\ $ Any linear map $T: \mathbb{R}^3 \rightarrow \mathbb{R}^3$ has a proper invariant linear subspace. By an invariant subspace we mean a space $M$ ...
user444628's user avatar
1 vote
0 answers
69 views

propagation of a invariance along some PDE

Consider the following non linear PDE on $\mathbb{R}^n$ $$ \partial_t u_t(x) \,=\, F\big(x, u_t(x), D u_t(x)\big)$$ with given initial condition $u_0(x)$. Assume that: $u_0$ is rotation invariant, ...
Gin Pat's user avatar
  • 11
0 votes
1 answer
198 views

Rotation invariant of surface

Let $(x, y, f(x,y))$ be a surface in $\mathbb{R^3}$. It is written in a book without proof that all rotation invariant (rotating around $z$-axis) of $f$ are combinations of the following four ...
marimo's user avatar
  • 101
-1 votes
1 answer
172 views

Tensor bundles as G structures [closed]

For a smooth, real surface $\Sigma$, its bundle of symmetric, bi-linear forms $S^2T\Sigma$ reduced to a $PGL(2,\mathbb{R})$ structure. A similar reduction(with different structure group) can be done ...
Mike Cocos's user avatar