This tag is used if a reference is needed in a paper or textbook on a specific result.

**5**

votes

**2**answers

193 views

### Is there a similar theory as for symmetric polynomials, that deals with polynomials on the entries of matrices that are symmetric in both dimensions?

I am looking at a polynomial of the entries of a matrix, and this polynomial is invariant under permutation of the rows or columns of the matrix. Is there a similar characterization as in the case of ...

**0**

votes

**0**answers

163 views

### Mathematics Book on Yang-Mills Equation

I am planning to read two papers - Atiyah-Bott's paper on Yang-Mills equations on Riemann surfaces and Hitchin's Self-Duality equations on Riemann Surface. Can someone please suggest some book where ...

**4**

votes

**1**answer

129 views

### A moduli problem inspired by Stein factorization

Let $f:X \to Y$ be a proper, birational morphism with connected fibers, $X$ is non-singular and $Y$ is normal. Does there exist a moduli space parametrizing all invertible sheaves $\mathcal{L}$ on $X$ ...

**11**

votes

**1**answer

464 views

### Reference to a Don Zagier Result and the Congruent Number Problem

I was looking for a reference/explanation as to how Don Zagier managed to find the side lengths of a rational right triangle with area 157. There have been many literature references to the fact that ...

**5**

votes

**1**answer

88 views

### Discrete Wavelets

I am looking for research that has been done in Discrete wavelets. Let me be specific as Google doesn't give me what I want when I say "discrete wavelets". I don't want countable basis for $ ...

**6**

votes

**2**answers

241 views

### Intermediate value for a vector-valued function

Consider a vector-valued function $f: [0,1]^n\rightarrow[0,1]^n$. Write $f(x)=\{f_1(x), ..., f_n(x)\}$ with $x\in[0,1]^n$, where the $f_i: [0,1]^n\rightarrow[0,1]$ are continuous functions with the ...

**9**

votes

**1**answer

417 views

### What happened to the fourth paper in the series “On the classification of primitive ideals for complex classical Lie algebras” by Garfinkle?

In a series of papers in Compositio Math. entitled On the classification of primitive ideals for complex classical Lie algebras I, II and III, Garfinkle describes an algorithm that allows one to ...

**4**

votes

**1**answer

95 views

### Geometry of convex subsets in Alexandrov space/ Riemannian manifold

Let $X^n$ be an $n$-dimensional complete Alexandrov space with curvature bounded below (or a smooth Riemannian manifold, possibly with boundary). Let $U\subset X$ be an open dense subset with the ...

**6**

votes

**1**answer

531 views

### Replacing Axiom of Choice with Axiom of Countable Choice

Many people find ACC more intuitive than AC ("Pick something from the first set, then something from the second set, then...) and it also doesn't lead to "controversial consequences" (See for eg: ...

**13**

votes

**2**answers

298 views

### Coxeter exchanges in non-reduced words

Let $Q$ be a word in the generators of some Coxeter group, and consider a subword $R$ (not necessarily reduced, though I might want $Q$ to be).
Define the greedy or Demazure product of $R$ as ...

**6**

votes

**1**answer

125 views

### How to divide a square into three similar rectangles

Preparing some exercises for my High School pupils I came across this question: How can you tile a square into three similar (ie., same shape, different size) rectangles?
With a bit of algebra it can ...

**5**

votes

**2**answers

91 views

### Are quasi-Möbius maps always quasi-conformal?

The article "Quasimöbius maps" by Jussi Väisälä states that one always has the implication QM $\implies$ QC. But a proof is only given in for maps of the form
$f:\dot{A} \to \dot{Y}$ where $A \subset ...

**0**

votes

**0**answers

112 views

### when is “fibering” preserved under homotopy equivalence

Suppose I have an oriented $F$ bundle over $B$ with total space $E$ (all of the three are closed manifolds) and i have a closed manifold $E'$ which is homotopy equivalent to $E$.Is there any condition ...

**1**

vote

**1**answer

169 views

### Different model structures on Top

There is at least 3 model structures on the category of topological spaces, the Quillen Model structure, the Storm model structure and the Mixed model structure.
In the Mixed model structure ...

**4**

votes

**1**answer

112 views

### Generating Functional for the Dirac Field, equivalence of expressions

As with the Klein-Gordon field, we can alternatively derive the Feynman rules with the free Dirac theory by means of a generating functional. In analogy with the scalar field theory where $Z[J]$ is ...

**1**

vote

**0**answers

136 views

### Homotopy equivalence of Lens spaces

I find the following statement about the homotopy equivalence of Lens spaces in Wikipedia. The three-dimensional spaces $L(p,q_1)$ and $L(p,q_2)$ are homotopy equivalent if and only if $q_1 q_2\equiv ...

**0**

votes

**0**answers

68 views

### Generalization of asymptotic notations like big O or little o notation [migrated]

Context and question
For a thesis I need to prove all the arithmetic rules for asymptotic notations – such as $O(\cdot)$ or $\omega(\cdot)$ – I have used (which are a lot). Currently I look for a ...

**1**

vote

**1**answer

61 views

### Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...

**4**

votes

**0**answers

137 views

### Application of Frobenius splitting in characteristic $0$

In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field.
I am reading Brion and Kumar's book and I can see that there are geometric results can be ...

**8**

votes

**3**answers

378 views

### Is there a modification of Martin's Axiom which admits non-measurable sets of size less than continuum?

Background/Motivation. We know that some of the usefulness of Martin's Axiom lies in giving certain "smallness" properties to sets of size less than continuum, e.g. we have
that for all infinite ...

**1**

vote

**1**answer

62 views

### Quadrature formula for singular integrals over rectangular cuboids

A)Find the maximum of the following :
$$\int_{\Omega_{a,b,c}}\int_{\Omega_{a,b,c}}\frac{dV(X)dV(Y)}{\|X-Y\|^2}$$
where ${\Omega_{a,b,c}}=[0,a]\times[0,b]\times[0,c]$, given $abc=1$ with $a,b,c>0$.
...

**2**

votes

**2**answers

80 views

### “Dynamical” spectral gap for the orignal system out of the spectral gap for the induced system

I would like to prove presence of a spectral gap for the transfer (Ruelle-Perron-Frobenius) operator for some non-uniformly hyperbolic dynamical system on the unit interval. Suppose that I know how to ...

**3**

votes

**1**answer

72 views

### Probabilistic many-to-one matching

Let $p<1$ be a constant. Consider two sets $A,B$ with $n$ and $nf(n)$ vertices, respectively, where $f(n)$ is an integer. For each pair $(a,b)\in A\times B$, the edge between $a$ and $b$ appears ...

**0**

votes

**1**answer

152 views

### Reference Request: Irreducibles of the regular representation of the permutation group is absolutely irreducible

I am writing a paper(physics) where I am using the fact that the irreducible's of the regular representations of the permutation group are absolutely irreducible in the following sense.
If $V$ is an ...

**5**

votes

**1**answer

81 views

### Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...

**3**

votes

**0**answers

135 views

### Is the Veronese variety “enough” to describe all the $SL(V)$-orbits in $\mathbb{P}(\textrm{Sym}^dV)$?

I apologise in advance if the question will look ridicolous to experienced eyes: in this case a good reference will be enough to clarify my doubts.
Let $V$ be a complex vector space of dimension $n$, ...

**2**

votes

**1**answer

74 views

### Getting an estimate of the form $\lVert u(t+h)-u(t) \rVert_{L^1(\Omega)} \leq \frac{Ch}{t}$ on solution of PDE

Let $u$ be a weak solution (i.e. $u \in C([0,T];L^1(\Omega))$ of some degenerate or nondegenerate parabolic equation $u' - Au = f$ on a bounded domain. (For my purpose it is enough to have this for ...

**1**

vote

**3**answers

157 views

### reference on complex dynamics

Please someone suggest me some reference on the topic "Complex Dynamics". I want a brief geometric treatment from the root level. I have graduate level background on complex analysis, riemannian ...

**1**

vote

**2**answers

131 views

### Asymptotics of the derivatives of analytic functions

Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as ...

**2**

votes

**2**answers

108 views

### Matching with probabilistic edges

Let $p<1$ be a constant. Consider two sets $A,B$, each with $n$ vertices. For each pair $(a,b)\in A\times B$, the edge between $a$ and $b$ appears with probability $p$, independently of the ...

**2**

votes

**1**answer

83 views

### Regularity of Hodge Laplacian on bounded domains

I need a reference for the $W^{s,p}$ regularity of the Hodge boundary value problem on bounded domains. I need estimates
$\lVert \omega \rVert_{W^{s+2,p}} \leq c \lVert f \rVert
_{W^{s,p}}$, for ...

**5**

votes

**2**answers

153 views

### Brownian motion in $n$ dimensions

Consider a particle starting at the origin in $\mathbb{R}^n$ and undergoing Brownian motion. Is there an expression known for the probability of the particle hitting the sphere $S^{n - 1}_r = \{x \in ...

**3**

votes

**0**answers

160 views

### Correspondence between Serre and Tate on resolution of singularities

I am told that there is a 1961 correspondence between J-P. Serre and J. Tate on resolution of singularities in characteristic 0, where Serre discusses his attempts to disprove the latter using R. ...

**8**

votes

**1**answer

155 views

### Expansion in strongly regular graphs

Have you seen the following statement proven anywhere?
Let $G$ be a strongly regular graph with parameters $(n,k,\lambda,\mu)$ with $\lambda,\mu>0$. Then there is no set $A$ of at least $n/4$ ...

**3**

votes

**1**answer

171 views

### Whitney sum formula for Pontryagin classes II

I have read in several places that the total Pontryagin classes of real vector bundles satisfy a Whitney sum formula $p(E\oplus F) = p(E)\cdot p(F)$ modulo 2-torsion. I would like to understand the ...

**4**

votes

**2**answers

200 views

### A result of Sierpiński on non-atomic measures

There is a classical result commonly attributed to W. Sierpiński that reads as follows:
Theorem 1. If $f: \Sigma \to \bf R$ is a non-atomic (*) measure on a set $S$, then for every $X \in \Sigma$ ...

**52**

votes

**3**answers

4k views

### What was Hilbert's view of Gödel's Incompleteness Theorems?

According to Solomon Feferman, in his slide presentation "Three Problems for Mathematics", Hilbert wrote (in regards to Gödel's second incompleteness theorem):
...the end goal [is] to establish as ...

**2**

votes

**0**answers

61 views

### Combining oscillatory integrals of the first and second kind

Consider an oscillatory integral of the first kind
$$
I_\lambda(x)=\intop_{\mathbb{R}^{n}}e^{i\lambda\Phi(x,y)}a(x,y)\,d y,\quad \lambda\geq 0,\; a\in C_c^\infty(\mathbb{R}^{k+n}),\; \Phi\in ...

**7**

votes

**0**answers

149 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying ...

**3**

votes

**1**answer

95 views

### Vertex-connectivity of connected, vertex-transitive graphs without $K_4$ is maximum possible

A graph is said to have optimal vertex connectivity if its vertex connectivity equals its minimum degree. According to this arXiv preprint, it was shown by Mader in (Arch. Math., 1970) and (Math. ...

**2**

votes

**0**answers

115 views

### Is $C^{\gamma}(\Sigma)$ dense in $C(\Sigma)$?

Consider $\{0,1\}$ with the discrete topology and $\Sigma=\{0,1\}^{\mathbb{N}}$ with the product topology. We know that this
product topology is generated by the metric
$$
...

**0**

votes

**1**answer

53 views

### The classical two phase Stefan problems

What is the most commonly used treatment method of the moving interface in the classical two phase Stefan problems with the finite element method. Here I mean the water-ice two phase problem under ...

**17**

votes

**1**answer

476 views

### Reference for de Rham cohomology in positive characteristic

It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...

**7**

votes

**0**answers

154 views

### What is the status of this fifty-year-old conjecture of Kostant?

On page 3.27 of his 1963 thesis on the cohomology of homogeneous spaces as approached through the Eilenberg–Moore spectral sequence, Paul Baum states the following conjecture, which he attributes to ...

**4**

votes

**1**answer

167 views

### What is known about the largest prime divisor of the product of $k$ consecutive integers?

Take $k$ consecutive composite integers from a prime gap. What is known about the largest prime divisor of their product?
It seems to me that except for the triplet $(8,9,10)$ and the pair $(8,9)$ , ...

**3**

votes

**0**answers

81 views

### How to describe morphisms to a weighted projective space (bundle)?

The case of an usual projective space (bundle) is well known (Grothendiek,EGA II, Publ.Math. IHES, 8, 1961; or Hartshorne, Alg.Geom.).The more general case of toric varieties has been considered by D. ...

**4**

votes

**1**answer

239 views

### Recognize this countably generated abelian group?

I recently came across a construction that, in abstraction, leads to the following family of abelian groups: Fix $1<q<p$ with $q$ and $p$ relatively prime. The group $G_{(p,q)}$ is given by the ...

**1**

vote

**0**answers

53 views

### Does any one have Gerhard Ringel's note: “Cyclic Arrangements of the elements of a group.” [closed]

Which has reference:
G. Ringel,
Cyclic Arrangements of the elements of a group.
Notices of the American Mathematical Society
Vol 21 1974 pages A95-96
I'm having a hard time getting a look at ...

**8**

votes

**1**answer

294 views

### Multiplicity of Laplace eigenvalues

Disclaimer: This is a very heuristic question and I will be satisfied with heuristic insights, if rigorous and precise answers are not possible.
All the examples of closed surfaces (or higher ...

**1**

vote

**0**answers

66 views

### A reference for “Borel Sets and Circuit Complexity”

Is there any pdf version of M.Sipser's "Borel Sets and Circuit Complexity" or , since I am unable to get this paper, is there other reference closely related to theory in that paper?