# All Questions

129 views

### Reference request: Invariant sets of dynamical systems

(I should preface this with the disclaimer that this is a slightly elaborated version of a question that I posted onto math se recently to which I received no responses, and have since deleted the ...
42 views

### differential Proper Maps [on hold]

If $K$ is a subset of $M$ we write $M_{K}(M,M)$ for the set of diffferential maps of $M$ into $M$ with support in $K$.If $K$ is compact,then $M_{K}(M,M)$ consists of maps for which the preimages of ...
29 views

### Questions about some special tensor transformation

Suppose tensor $U_{i\alpha\beta}$ with dimension $M*N*N$ satisfy following condition: $$U_{i\beta\alpha}=W^1_{\alpha\alpha'}W^2_{\beta\beta'}U_{i\alpha'\beta'}$$ where $W^1$ and $W^2$ are $N*N$ ...
52 views

### Lemma on Polish Spaces [on hold]

I asked the following question on StackExchange earlier, but received no replies yet. Let $(X_1,\Sigma_1,\mu_1)$ and $(X_2,\Sigma_2,\mu_2)$ be probability spaces. Suppose the following conditions ...
31 views

### Anti-Invariant Polynomials of the Dihedral group

I'm interested in the one-dimensional irreducible representations of $D_{2n}$ acting on $\mathbb{R}[x,y]$. I have found that the trivial representations for an algebra freely generated by $x^2+y^2$ ...
51 views

### How to prove $\lim _{ \delta\rightarrow {0}^{+}}\int_{a}^{b} F_{\delta}(x)dx=0 ?$ [on hold]

This question comes from http://math.stackexchange.com/questions/982231/a-function-fx-that-riemann-integrable-on-a-b Define a function $f(x)$ that Riemann integrable on $[a,b]$. Let ...
91 views

### Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$. I am ...
35 views

### estimate angle between two lines y = 1000x and y = 999x [on hold]

How to estimate the angle between line y = 1000 x and y = 999 x? I use the calculator and get 10^(-6) but how to approximate it by hand. Does it relate to Taylor Expansion?
2k views

### Why is it so hard to compute $\pi_n(S^n)$?

Of course it isn't really that hard - nowhere near as hard as $\pi_k(S^n)$ for $k>n$, for instance. The hardness that I'm referring to is based on the observation that apparently nobody knows how ...
50 views

### The 4-th generator of $K_1$ group for 3-dimensional NC tori algebra

An $n$-dimensional NC torus algebra $A_\theta^{(n)}$ is defined for any antisymmetric $n\times n$ matrix $\theta$ of real numbers as the universal $C^*$-algebra, generated by unitaries ...
74 views

117 views

### Quantitative stability: Hausdorff distance between subdifferentials

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...
120 views

### Which $\frak{sl}_2$-Representations Arise From Hermitian Metrics

Recal that $\frak{sl}_2$ is the Lie algebra with basis elements $e,f,h$, and bracket $$[e,f] = h, ~~~ [h,e] = 2e, ~~~ [h,f] = -2f.$$ For $M$ a $2n$-complex manifold, the Lefschetz identities tell us ...
143 views

### Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either returns true or false, we say that $\mathcal{A}$ works for ...
168 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
42 views

### identity of equation [on hold]

We have the equation ($\partial_{\mu}\partial_{\nu}$-$\eta_{\mu\nu}\Box$)$\phi=0$, where $\phi$ is a scalar field, $\Box=\partial_{\mu}\partial^{\mu}$ is a standart Dalamber operator, $\eta_{\mu\nu}$ ...
271 views

### College - Ecuation to solve in 3 variables (p,q,r) in [1,2] [on hold]

This is the image containing the ecuation
41 views

### orthonormal basis or Parseval frame for Sobolev spaces

Consider the uni-variate Sobolev space of order $m$: $$\mathcal{W}_2^m=\{ f:[0,1] \rightarrow \mathbb{R}|f,f^{(1)},\dots ,f^{(m-1)}\, \text{are absolutely continuous and}\, f^{(m)}\in L^2\}.$$ It is ...
91 views

### Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
132 views

### scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers. Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices ...
41 views

### Properties of solutions of Parabolic type equations

Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation $$\partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\ u(0)=u_{0}.$$ with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...
90 views

The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations" When looking at a (nonlinear degenerate) PDE like $$... 0answers 150 views ### Mellin transform on \mathbb{Z}[\omega] [on hold] I'm eager to ensure some facts which are elementary for many experts here. Let \omega=\frac{-1+i\sqrt{3}}{2} be a complex cube root of unity. The Eisenstein integers \mathbb{Z}[\omega] (a unique ... 2answers 423 views ### Who first defined quantum integers? Who first gave the defintion of quantum integers$$ [m]_q = \frac{1 - q^m}{1 - q} $$and addition as$$ [m]_q \oplus_q [n]_q = [m]_q + q^m [n]_q $$and multiplication as$$ [m]_q \otimes_q [n]_q = ...
Given the 0 or 1 coefficients of a very high degree polynomial $P(x)$ over GF(2), where x is an element of $GF(1024)$, is there a simple algorithmic way to find out if this polynomial is divisible ...