# Tagged Questions

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

**1**

vote

**1**answer

129 views

### Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite areas such that for each simply finite area there exist a diffeomorphic map that ...

**9**

votes

**1**answer

374 views

### Between compact and locally uniform: What is the name of this convergence?

Let $X$ be a topological space, $(Y,d)$ a metric space, $f\in Y^X$, and $(f_n)$ a sequence in $Y^X$ with the following property:
For every $x_0\in X$ and every $\varepsilon>0$, there exist a ...

**8**

votes

**2**answers

274 views

### What is the BRST-anti-BRST formalism?

What is the BRST-anti-BRST formalism?
Is the Sp(2) doublet the ghost, antighost pair?
Introductory accounts of this subject seem to be hard to find. I would appreciate a reference for someone who ...

**2**

votes

**0**answers

170 views

### Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...

**7**

votes

**7**answers

592 views

### What is the best reference for Spectral theory?

I'm studying Bernard Aupetit: A Primer on Spectral Theory
but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things?
Thank you.

**3**

votes

**0**answers

80 views

### Oscillatory integral moments of $L(\frac{1}{2} + it, f \times f)$

Understanding moments and subconvexity bounds for $L$-functions is a big topic with a lot of activity. I'm currently looking at a related problem, bounding
$$
\int_0^T L\left(\tfrac{1}{2} + it, f ...

**12**

votes

**1**answer

245 views

### Subquotients in the Verma filtration on Verma modules

Let $\lambda$ be a dominant integral weight of $\mathfrak g$, a finite-dimensional reductive Lie algebra over $\mathbb C$. Let $M(w\cdot \lambda)$ denote the Verma module with high weight $w\cdot ...

**1**

vote

**0**answers

44 views

### Name for generalization of bivariate weighted-homogeneous polynomials

A polynomial $f = \sum_j c_j X^{\alpha_j}Y^{\beta_j}\in\mathbb K[X,Y]$ is said weighted-homogeneous if there exist $p$, $q$ and $d$ (where $p$ and $q$ are not both $0$) such that ...

**2**

votes

**1**answer

103 views

### A good reference for uniformization theorem for compact and non-compact Riemann surface

I am looking for a good reference for the uniformization theorem for Riemann surfaces, which states that each simply connected Riemannian surface is conformally equivalent to the complex plane ...

**6**

votes

**1**answer

286 views

### Applications of the Small and Great Theorems of Picard

I just presented the two famous theorems of Picard (Small and Great) in a graduate course, but I have not managed to discover a good number of interesting applications.
List of applications (rather ...

**4**

votes

**1**answer

104 views

### Orthogonal polynomial under linear transformation

Let $M_n(x) = x^n$ be the standard monomials. The binomial formula allows one to expand $M_n(ax+b)$ as a linear combination of $M_k(x)$, for $k \leq n$, giving
$$
M_n(ax+b) = (ax+b)^n = \sum_{k=0}^n ...

**1**

vote

**0**answers

43 views

### request for any expository works in pointwise convergence of double Fourier series and especially a paper by Hardy

Quart. J. Math. Volume 37, Issue 1, Pages 53-79
On double Fourier series, and especially those which represent the double zeta-function with real and incommensurable parameters.
Hardy, G.H.
I am not ...

**5**

votes

**1**answer

183 views

### Book about the history of mathematics for weather prediction

Can someone recommend a book about the history of mathematics being used for weather prediction, preferable one which covers recent developments?

**1**

vote

**2**answers

132 views

### Speed and absence of non-constant bounded harmonic functions

For a (symmetric) random walks on countable groups generated by $\mu$, there is a "brute-force computation" argument of Avez (1974) that shows that if the entropy $h_\mu$ is trivial then there are no ...

**5**

votes

**1**answer

75 views

### Is nfcp equivalent to stable + eliminates $\exists^\infty$?

Let $T$ be a complete first-order theory. Recall that a formula $\phi(\overline{x},\overline{y})$ has the finite cover property (fcp) if for all $n$, there exist $\overline{a}_1,\dots,\overline{a}_n$ ...

**3**

votes

**0**answers

106 views

### torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T),
My question is:
is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free?
Thanks in advance!
...

**2**

votes

**1**answer

118 views

### For compact complex surfaces $h^{1,0}$ is either $h^{0,1}$ or $h^{0,1} - 1$. Do we need to use the Enriques-Kodaira classification?

In the Wikipedia article on the Enriques-Kodaira classification, before the classification itself, the following sentence appears:
For compact complex surfaces $h^{1,0}$ is either $h^{0,1}$ or ...

**9**

votes

**3**answers

199 views

### Reference request: Systems of linear PDES with constant coefficients

I am looking for a reference for the following statement:
Assume that $P_1, \dots, P_k \in \mathbb R[x_1, \dots, x_m]$ and consider a system of PDEs
\begin{align}
P_i(\partial / \partial x_1, \dots, ...

**1**

vote

**0**answers

110 views

### Noncommutativization of fixed point theory

What papers or references have been devoted for a noncommutativization of "Fixed point theory". Here the terminology Noncommutativiztion, as usual, indicates to that famous table with 2 columns: ...

**5**

votes

**1**answer

168 views

### Uniformization of a plane minus cantor set

Let $\mathbb{D}$ be the unit disk endowed with the Poincaré metric and $G$ be a Fuchsian group such that the hyperbolic surface $\mathbb{D}/G$ is homeomorphic to the plane minus a Cantor set.
...

**4**

votes

**1**answer

125 views

### Dependence of solutions on parameters in partial differential equations

In the standard homogenization problem
$$-\nabla.\left(A\left(x,\frac{x}{\epsilon}\right)\nabla u^{\epsilon}(x)\right)=f\ \mbox{in } \Omega,$$
the homogenized matrix $A_0$ is given in terms of ...

**5**

votes

**1**answer

369 views

### Harmonic Crystal using Random Walk

Me and my advisor were looking for a specific proof of the disorder in $2d$ harmonic crystals. We could not find a paper or a textbook with it, so I thought trying my luck here.
Basically, it is a ...

**2**

votes

**1**answer

213 views

### Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...

**1**

vote

**0**answers

107 views

### How does perturbation method guarantee its solution for the perturbed pde $\Delta u + \epsilon u^2 =0$

[This may not be a research-level question; if it violates any term of this website, I will delete it right away]
My question is quite simple: Suppose we are given a PDE of with a boundary condition
...

**3**

votes

**1**answer

94 views

### Proper Model Category

Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? ...

**0**

votes

**1**answer

32 views

### Sufficient and necessary condition for BIBO stability

I am looking for a reference for the proof of the next claim:
"BIBO—bounded input bounded output—stability.
We claim that a necessary and sufficient condition for a system described
by a linear, ...

**2**

votes

**0**answers

114 views

### Unitary dual of $Sp_4(\mathbb{R})$

Do we know the unitary dual of $Sp_4(\mathbb{R})$? If so, can someone provide me any references? How about other rank 2 real groups? Thank you!

**3**

votes

**1**answer

171 views

### Obtaining non-normal varieties by pushout

In his answer to this MO question, Karl Schwede claimed that every non-normal variety can be obtained by an appropriate pushout diagram, as sketched in that answer. This would give substance to the ...

**4**

votes

**1**answer

80 views

### Reference request: Wasserstein metric spaces for non linear weights/mobility?

There is a very nice theory of gradient flows in metric spaces by Ambrosio, Gigli and Savaré. One particularly important application is the quadratic Wasserstein setting, where the metric space in ...

**0**

votes

**0**answers

77 views

### SVD of Frechet derivative

This is mainly a reference request. Is there a particular characterization of operators A from a Hilbert space H to itself such that the Frechet derivative A'(u) exists for each $u \in H$ and for any ...

**6**

votes

**4**answers

179 views

### Inside-out polygonal dissections

A dissection of a polygon $P$
is a partition of $P$ into a finite number of pieces, which can then be rearranged
(via planar translations and rotations) and joined (without overlap) to form a new ...

**0**

votes

**1**answer

161 views

### Aronszajn measure

In a geometric measure theory (GMT) course I'm following this year, the professor told us about the Aronszajn measure, and asked us to go check by ourselves what it reprensents (the course was about ...

**1**

vote

**0**answers

75 views

### Reference for a proof of a projective representation of $A_6$

This question is copied from math.stackexchange, in hope that it might get some attension.
I want to understand the proof of
There is a projective representation of $A_6 \hookrightarrow ...

**3**

votes

**1**answer

59 views

### The link and equivalence between variant definition of computation model and computational complexity over reals

To unify the numerical computation and classic computability theory, or to pave a foundation for the numerical computation, mathematicians present variant computation model and computational ...

**10**

votes

**3**answers

434 views

### Natural associative law for a ternary “group”?

Suppose one were to define a group-like structure based on a set $G$
with a ternary (rather than binary) operator $g( a, b, c ) = \left< a, b, c \right>$.
One possible definition for the ...

**2**

votes

**3**answers

376 views

### Lucido's three prime lemma

Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes.
This is lucido's three prime lemma. I ...

**0**

votes

**0**answers

22 views

### Literature on the notion of combining two discrete stationary processes with the latter process slowed down

Is there any literature about the following way of combining two stationary processes?
Let $X_1, X_2, \dots$ be a discrete-time stationary process. Let $A$ be a subset in its sample space. Let ...

**3**

votes

**1**answer

115 views

### Associated graded Lie algebra of braid groups

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...

**24**

votes

**4**answers

2k views

### Recent, elementary results in algebraic geometry

Next semester I will be teaching an introductory algebraic geometry class for a smallish group of undergrads. In the last couple weeks, I hope that each student will give a one-hour presentation. ...

**2**

votes

**0**answers

57 views

### Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than
certifying the non-negativity of an arbitrary polynomial function:
for instance, in (1) is proved that the complexity of ...

**4**

votes

**1**answer

271 views

### The formula for a perhaps basic identity (move from stackexchange)

The following question is moved from math stackexchange. It seems that this is not a popular question, but I really want to know the answer so I moved it to here. The question reads as follows.
We ...

**0**

votes

**0**answers

91 views

### Classification of complex Kronecker foliations

Let $\theta \in \mathbb{C}$ be a fixed complex number. The submersion $f:\mathbb{C}^{2}\to \mathbb{C}\; \text{with}\; f(x,y)=y-\theta x$ defines a complex foliation on $\mathbb{C}^{2}$. Consider the ...

**1**

vote

**1**answer

177 views

### Self-similarity for simple algebraic structures [closed]

I'm doing this thread because I have some ideas about how to define self-similarity in algebra, but I don't know if this is known at all. Any critics, comments and references are more than welcomed. ...

**3**

votes

**1**answer

149 views

### semi-classical Green's function

I am reading Gutzwiller's papers on the relation between Hamiltonian flows and solution to Schrodinger equations.
In the two papers, he gave a semi-classical approximation of the Green's function to ...

**3**

votes

**0**answers

138 views

### Argument againts the $abcd$ conjecture with extra gcd conditions

Got an argument and numerical support againts the $abcd$
conjecture with extra gcd conditions (observe that this
is different from the $abc$ and the $abcd$ conjectures).
This thesis p. 20 defines the ...

**2**

votes

**1**answer

139 views

### Lower regularity version of Moser's theorem on volume elements

A theorem of Moser, published in "On the Volume Elements of a Manifold" (Transactions of the Americal Mathematical Society 120, 1965), shows that if a $C^\infty$ compact manifold $M$ has two ...

**4**

votes

**0**answers

214 views

### “Partition” of a smooth function in $\mathbb R^2$

This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions ...

**1**

vote

**1**answer

170 views

### The definition of computational complexity or complexity measure of computing reals [closed]

A real $r$ is computable if given any $i\in \mathbb{N}$, the $i$th bit can be outputed by a Turing Machine or an algorithm. So, what is computational complexity or complexity measure of computing the ...

**1**

vote

**1**answer

109 views

### Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...

**5**

votes

**2**answers

138 views

### Positivity of Ehrhart polynomial coefficients

Are there any results stating that a given family of convex polytopes have Ehrhart polynomials with non-negative coefficients?
What methods are available for proving such a property for some family ...