0
votes
0answers
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 ...
3
votes
0answers
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 ...
1
vote
0answers
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 ...
-4
votes
0answers
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.
-5
votes
0answers
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 ...
-1
votes
0answers
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 ...
5
votes
3answers
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 ...
-4
votes
0answers
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$ ...
2
votes
0answers
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 ...
6
votes
1answer
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 ...
0
votes
0answers
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 ...
1
vote
0answers
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 ...
11
votes
1answer
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 ...
10
votes
1answer
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 / ...
-4
votes
0answers
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 ...
6
votes
1answer
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 ...
0
votes
0answers
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 ...
1
vote
0answers
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 ...
1
vote
0answers
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 ...
10
votes
1answer
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 ...
1
vote
0answers
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 ...
1
vote
0answers
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 ...
11
votes
4answers
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 ...
4
votes
2answers
120 views

Bounding and dominating numbers ${\frak b}, {\frak d}$ via ultrafilters

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$ and suppose that ${\cal U}$ is a free ultrafilter on $\omega$. We write $f \leq_{\cal U} g$ if $$\{n\in\omega: f(n) \leq ...
2
votes
1answer
107 views

About the characteristic polynomial of Frobenius of the Jacobian of a genus 2 hyperelliptic curve

I was looking for some information related to the values of the characteristic polynomial $\chi(t)$ of the Frobenius of a Jacobian of a hyperelliptic curve $C$ of genus 2 over $\mathbb{F}_q$ and in ...
2
votes
0answers
75 views

Factorisation of twisted polynomials

Let $K=\mathbb{C}((t))$ and let $K_m=\mathbb{C}((t^{1/m}))$. let $K\{x\}$ denote the ring of twisted polynomials. The addition in this ring is defined as usual, but the multiplication is adjusted by ...
2
votes
0answers
64 views

The weak-star closure of closed left ideals corresponding to pure states

I asked this question at math.stackexchange and received no comment. Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. Let $\tilde{\phi}$ be its unique $w^*$-continuous ...
2
votes
2answers
117 views

Recover Poisson bracket on $C[G]$ using the Lie cobracket $\delta: g \to \Lambda^2 g$

By a theorem of Drinfeld, there is a one to one correspondence between Lie bialgebras and Poisson Lie groups. Therefore given a Lie cobracket $\delta: g \to \Lambda^2 g$, there is a Poisson bracket on ...
1
vote
1answer
77 views

When the reduced $C^*$-algebra of $\Gamma$ admits character then $\Gamma$ is amenable [on hold]

Suppose that $C^*_r(\Gamma)$ admits some character (homomorphism into $\mathbb{C}$)-here $\Gamma$ is discrete group and $C^*_r(\Gamma)$ is the closure of the image of the group ring $\mathbb{C}\Gamma$ ...
4
votes
1answer
92 views

Continuous non-constant function with infinite intersections with horizontal line on a compact interval?

The title might be misleading, but whether such a function exists is what boggles me about the following problem: Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a continuous function such that for all ...
21
votes
10answers
837 views

What (fun) results in graph theory should undergraduates learn?

I have the task of creating a 3rd year undergraduate course in graph theory (in the UK). Essentially the students will have seen minimal discrete math/combinatorics before this course. Since graph ...
3
votes
1answer
91 views

Cells in affine Weyl groups

This may sound like a very general question, which pretty much reflects my ignorance on the subject. In the case of Weyl groups $W$, there is a notion of left/right/double cells, which is roughly ...
3
votes
1answer
102 views

Seeking more information regarding the “rigoidal category” of $\mathbb{N}$-graded sets

Definitions. By an $\mathbb{N}$-graded set, I mean a set $X$ together with a function $|\Box|_X:\mathbb{N} \leftarrow X,$ called the grading. These will simply be called graded sets hereafter. If ...
0
votes
0answers
13 views

combination of field and particle methods for fluid dynamics

in numerical fluid dynamics there are field methods like finite-volume, finite-element, etc. and particle methods like Smoothed-Particle-Hydrodynamics – SPH and others. Both approaches have advantages ...
2
votes
0answers
67 views

Classifications of Lie bialgebras

What is the current status of the classifications of Lie bialgebras? In particular, has the following problem been solved? Let $gl_n$ be the general linear Lie algebra. Classify all Lie cobrackets ...
8
votes
2answers
208 views

Topological Derivation of Leray Spectral Sequence

I'm interested in computing - to the extent possible - the Leray spectral sequence for a particular map which is almost, but not quite, a fiber bundle (e.g. a Seifert fiber space). The hardest step ...
1
vote
0answers
40 views

Suggestion for books in Pertubation theory with an emphasis on the theory

As the title suggest I am looking for another good coverage of the theory of Pertubation theory. Currently I am working through Murodock's book: Pertubations: Theory and Methods. But I am rest assure ...
-5
votes
0answers
14 views

When comparing different bars on a bar chart, can you use percentage difference/change? [on hold]

I wanted to know if you can use percentage difference for discontinuous data
28
votes
3answers
2k views

What is a foliation and why should I care?

The title says everything but while it is a little bit provocative let me elaborate a bit about my question. First time when I met the foliation it was just an isolated example in the differential ...
1
vote
0answers
112 views

if 0→A→A⊕B→B→0 is an exact sequence of finitely generated modules over a commutative Noetherian ring, then the exact sequence does split [duplicate]

Here, Martin Brandenburg says it is not true that "Every short exact sequence of the form $0 \to A \to A \oplus B \to B \to 0$ splits." Then Mohan says in comments that "As a positive result, If ...
3
votes
1answer
113 views

Discrete spectrum and almost periodicity

According to Vershik, an ergodic invertible measure-preserving transformation $T$ on a Lebesgue space $X$ has discrete spectrum if and only if for every bounded measurable function $f\colon X \to ...
1
vote
0answers
45 views

How do the heat kernel coefficients depend on the curvature tensor

this is a crosspost, the same question was asked first here: http://math.stackexchange.com/questions/1640092/polynomial-in-the-components-of-the-curvature-tensor Since I have not received any answers ...
3
votes
0answers
106 views

For which fields are the 1-dimensional algebraic groups known?

Given an algebraically closed field, or even a perfect one, a connected 1-dimensional algebraic group $G$ over the field $K$ is isomorphic to either $\mathbf G_a$ or $\mathbf G_m$. For which fields ...
11
votes
1answer
397 views

A seemingly simple combinatorial object that must have an easy generating function

One more question related to my earlier "Special" meanders. I am trying to isolate simplest problems related to it. Here is one. For a composition (i. e. a tuple of natural numbers) ...
4
votes
1answer
149 views

Looking for Severi varieties

Let $K$ be an algebraically closed field of characteristic $0$, and let $\mathbb{O}$ be the Cayley algebra over $K$. Let $$ \mathfrak{J}_{3}=\{A\in\mathcal{M}_{3}(\mathbb{O}):A\text{ is Hermitian}\}, ...
6
votes
1answer
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 ...
2
votes
0answers
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 ...
1
vote
0answers
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 ...
1
vote
1answer
71 views

Isotopy class of closed 2-ball embedded in R^3

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 ...
6
votes
0answers
126 views

Bott-Samelson theorem for simplicial sets

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 ...

15 30 50 per page