# All Questions

93 views

### Express $\int_0^1 \frac{dz}{\sqrt{x(x^2 - 1)(x - \lambda)}}$ as hypergeometric function [on hold]

How do we express the following as hypergeometric function? Let $\lambda > 1$: $$\int_0^1 \frac{dz}{\sqrt{x(x^2 - 1)(x - \lambda)}}$$ Is this still of the ${}_2F_1$ type? How to find the ...
65 views

### Quantization of $S^2$ as $C^*$-algebra?

The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695). The particular question is about ...
79 views

### Intuition behind the Duistermaat-Guillemin version of Weyl's law

The theorem in question (see this paper), after a modification by Ivrii (see this paper) states the following: Let $(M, g)$ be a compact Riemannian manifold of dimension $n \geq 2$. Assume that the ...
78 views

### Ramsey theory and logic [on hold]

i need literature which contains formal proof of finite Ramsey theorem in PA, possibly, available on- line.
46 views

### How to convert the Hadamard transform to an Haar Wavelet to handle increased angles of incidence? [on hold]

I would like to convert the Hadamard transform to an Haar Wavelet in order to handle increased angles of incidence beyond 3 degrees in the paper, Simultaneous real-time visible and infrared video ...
63 views

### Maschke Theorem descomposition [on hold]

When I was doing an exercise to illustrate to myself the decomposition of the famous Maschke´s Theorem, I realized I didn't understand how was the decomposition stated in the theorem. This is the ...
251 views

### Asymptotics for the number of abelian groups of order at most $x.$

The number of abelian groups of order $n$ (call it $a(n)$ is a studied subject (see http://oeis.org/A000688), but I can't seem to find any asymptotic results. Obviously, there is no asymptotic for ...
36 views

### lebegue integral [on hold]

we suppose that $f:R^+\rightarrow R^+$ is a positive lebegue integrable function and for every $\epsilon >0$, $\int_0^\epsilon f(s)ds >0$ .if we have $\sqrt[n]{\int_0^a f(s)ds} <1$ ...
54 views

### Resolution of indeterminacies for a map to Grassmannian of planes

Let $X\subset \mathbb P_k^N$ be a $n$-dimensional smooth projective variety ($n\geq 2$) and $\phi_l:X^l\dashrightarrow Gr(l,N+1)$ ($l\leq n+1$) be the natural rational map which associates to a ...
213 views

### Is there a consistent arithmetically definable extension of PA that proves its own consistency?

I asked this on stackexchange with no answer. The negation would be the obvious generalization of Gödel's second incompleteness from r.e. extensions of PA to any arithmetically definable extension of ...
23 views

### How to find the number of possible sub rectangles touching the edge of a larger one? [on hold]

http://i.imgur.com/iUDIeMG.png If there exists a rectangular matrix of order M by N then how to find the number of ways to pick a sub-rectangle matrix of any size which is a multiple of 1 square ...
16 views

### Least Width of Planar Unimodal Curves with Unit Diameter

I am currently trying to find a way to define some notion of "roundness" for subtours in graphs and that definition should only be based on the comparing (sums of) edge length and on the order in ...
215 views

### Mixed Hodge structure on sheaf cohomology of a variation of Hodge structures

I'm new here. I hope to do it right! I am interested in studying mixed Hodge structures over complex algebraic surfaces and their generalizations. Let us take a smooth complex variety $X$ and a ...
336 views

### “Set theory” founded on lists rather than sets

On a computer, sets are often represented rather "indirectly / implicitly", e.g. in terms of some properties that they or their members satisfy. But some sets can be represented more "directly / ...
24 views

### first order linear systems differential equations [on hold]

This is an easy question on one dimension but when moving into a system of equations I can’t find the exact solution using matrixes and vectors. given $\dot {\vec x} =A{\vec x}+\vec b$ (where A is a ...
79 views

### Maximal TB number and slice genus relation of a knot in any 3-manifold

Lisca-Stipsicz say that if a knot $K\subset{S^{3}}$ satisfies $g_{s}(K)>{0}$ and $TB(K)=2g_{s}(K)-1$ then $S^{3}_r(K)$ carries positive, tight contact structures for every ...
40 views

### On Lie theory with special functions. [on hold]

I research in Lie theory with special functions. But I saw a lot of research on the use of lie theory in hyper-geometric and hermit and other .. Is there a new kind of functions, not considered ...
96 views

### Are there any ways we can determine whether the $\Xi_x$-classes of natural numbers upto $\frac{1}{2}p^2_x -2$ exvert all non-trivial $\Xi_x$-classes? [on hold]

This question follows from the information provided below. Are there any ways we can determine whether the $\Xi_x$-classes of natural numbers up to $\frac{1}{2}p^2_x -2$ exvert all non-trivial ...
51 views

### Wave-like equation with 1st order time derivative and non-constant coefficients

We start with the following recurrence relation for complex coefficients $c_{n,m}$: $$i\dot{c}_{n,m}(t) = \sqrt{(n+1)(n+2)(m-1)m}c_{n-2,m+2} + \sqrt{n(n-1)(m+1)(m+2)}c_{n+2,m-2}$$ where ...
175 views

### Calculation of the integral related to the gravitational shock wave

The following integral $$\int\limits_0^\infty \frac{\cos{\left(\frac{1}{2}\sqrt{3}s\right)}}{\sqrt{\cosh{s}-\cos{\theta}}}\,ds$$ can be found in the paper Tevian Dray and Gerard 't Hooft, The ...
89 views

### Verdier duality on excellent schemes

Let $f:X\rightarrow Y$ be a regular morphism between $k$-schemes which are noetherian and excellent with a funcion of dimension. In the book by Illusie-Laszlo-Orgogozo, there is a theorem (4.4.1 in ...
44 views

### For a division ring $D$, does $[D:C_D(a)]_{right}$ vary when $D$ is enlarged?

In a commutative field $K$, the Zariski dimension of an algebraic subset of $K^n$ over $K$ does not vary if one enlarges $K$ if I understood well. In particular, for two Zariski-closed vector spaces ...
375 views

### List of counting proofs instead of linear algebra method in combinatorics

I've just come across this proof of the Graham-Pollak Theorem by Sundar Vishwanathan (thanks to Konrad Swanepoel's sporadic comments about it on this site), that must be called beautiful after its ...
120 views

155 views

### Chern-Simons forms, characteristic numbers, and boundary terms?

For any principal $G$-bundle $P \to M$ with principal connection $\omega$, given a $G$-invariant polynomial $p: \mathfrak{g} \to \mathbb{R}$ we can construct a form $p(F_\omega)$ on $P$ which descends ...
81 views

### How does the $L^\infty$ norm of the solution of $-\Delta u + \lambda u =0$, $\partial_\nu u=\alpha$ depend upon $\alpha$ and $\lambda$?

Let $\lambda > 0$ be a constant and let $u$ be the weak solution on a bounded domain $\Omega$ of $$-\Delta u + \lambda u = 0 \quad\text{in \Omega}$$ \partial_\nu u = \alpha \quad \text{on ...
71 views

### to what extent is a reductive group hyperbolic?

The group $SL(2,F)$ where $F$ is a local nonArchemidian field is hyperbolic. Various generalizations of the notion of hyperbolicity have been studied in the literature (I've seen terms like ...
My intuition tells me that any two topological embeddings of the closed 2-ball (aka unit disk) into $R^3$ are isotopic in $R^3$. Is this correct? Maybe easy to prove? It seems like it should be easy ...
Let $X\in \mathrm{sSet}$ and $FX$ be the Milnor's construction (model for $\Omega\Sigma |X|$) - in each dimension $n$ this is the free group on $X_n$ with one relation $*=1$. I'm interested in ...