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

**0**

votes

**0**answers

6 views

### Level-Lowering in Weight 2

Let $N$ and $p$ be relatively prime integers with $p$ a prime. Suppose $f$ is a weight $k=2$ (normalized, cuspidal, etc) newform of level $\Gamma_1(N) \cap \Gamma_0(p)$. I seem to recall the existence ...

**5**

votes

**1**answer

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

**-3**

votes

**0**answers

130 views

### Are there “adelic” L-functions? [on hold]

Following Tom163's answer to this question, I would like to know whether L-functions defined through adelic representations (as defined in https://projecteuclid.org/euclid.em/1317758108) have been ...

**2**

votes

**1**answer

35 views

### On a tower of strongly normal extensions

Where I could see the following statement?
Let $K\subset L\subset M$ be a tower of the strongly normal extensions of differential fields. If $M$ is weakly normal over $K$, then $M$ is strongly ...

**51**

votes

**5**answers

4k views

### Are there any serious investigations of whether “mathematicians do their best work when they're young”?

There is no shortage of anecdotes and conjectures on both sides of this widespread belief, but good supporting data either way is harder to find. Can anyone provide any references for serious ...

**3**

votes

**2**answers

136 views

### $\mathcal S'(\mathbb R^d)$ is separable [on hold]

I Think the statement is true, but I struggle to find a reference for the fact that the space of tempered distributions equipped with the weak-* topology is separable.
Thank you for your help!

**3**

votes

**2**answers

140 views

### Examples of toric threefolds

I am looking for examples of smooth projective toric threefolds $\mathbb P_\Delta$ such that the rational polytope $\Delta$ has only pentagonal faces and hexagonal faces.
I quickly searched for ...

**2**

votes

**2**answers

199 views

### étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.

**3**

votes

**1**answer

159 views

### Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of ...

**5**

votes

**3**answers

339 views

### Slightly weakened / altered concepts of a field

I've heard of at least three slight modifications of the standard concept of field:
meadow, which (according to this paper) is a commutative ring with unit equipped with a total unary operation ...

**-2**

votes

**1**answer

55 views

### How does deletion-contraction affect chromatic number? Can it increase chromatic number? [on hold]

Question: In graph theory, contracting an edge or deleting an edge are basic operations in many topics such as graph minors or Wagner's theorem on planar graphs. And I'm interested in how these ...

**5**

votes

**1**answer

142 views

### Higher-dimensional category theory on objects

I would like to know if there exists a satisfying generalization of higher-dimensional category theory on objects, that doesn't forget the inner structure of objects. Usually, what people do is to ...

**4**

votes

**0**answers

77 views

### On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

**3**

votes

**0**answers

113 views

### Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here.
E.B.Vinberg and A.L.Onishchik in their book give the following two definitions.
For a complex Lie group $G$ its real ...

**0**

votes

**0**answers

29 views

### interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding
\begin{equation}
L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...

**0**

votes

**0**answers

30 views

### Reference request for some “irregularities of distribution” papers

I would like to ask if anyone has access to any of the following papers:
1. J. G. van der Corput, Proc. Kon. Ned. Alcad. v. Wetensch., Amsterdam, 38, 813-821
(1935).
2. J. G. van der Corput, ibid. 38, ...

**6**

votes

**2**answers

177 views

### What methods do we have to understand the spectrum of matrices with restricted entries?

Consider questions of the form (or the "most probable value of" version of these questions rather than the "largest possible"),
What is the largest possible spectral radius of a $n \times n$ matrix ...

**0**

votes

**1**answer

59 views

### Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...

**2**

votes

**0**answers

42 views

### Multiplication operators are sectorial [migrated]

Consider the multiplication operator $M_a$ on $L^p(M)$, where $M$ is a Riemannian manifold, and $a$ is a non-negative function. An operator $A$ is said to be sectorial if there exists $\theta \in (0, ...

**6**

votes

**2**answers

201 views

### Existence of a measure-preserving bijection

Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g ...

**3**

votes

**0**answers

85 views

### n-homology of a Harish-Chandra module

Let $G$ be a connected real reductive Lie group and let $K$ be its maximal compact subgroup.
Let $P=MAN$ a parabolic subgroup. Let $K_M^0=M^0\cap K$ be connected component of the maximal compact ...

**3**

votes

**1**answer

128 views

### Preprint by Wall on Sjogren's theorem

In their account http://dx.doi.org/10.1016/0022-4049(87)90048-X of Sjogren's theorem, Cliff and Hartley refer to two articles:
[9] B. Hartley, A note on a lemma of Sjogren relating to. dimension ...

**6**

votes

**0**answers

226 views

### Heisenberg group: function without vertical derivative

Let $\mathbb H$ be Heisenberg group with vector fields
$$
X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t
$$
and $U\subset\mathbb H$ is an open set.
I am ...

**3**

votes

**1**answer

80 views

### Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative.
Here I am trying to look from another side: what is a difference between Sobolev space and ...

**3**

votes

**3**answers

177 views

### Enumerating cosets of the modular group

Suppose we chose the generators $f(z) = z+1, g(z) = z-1, h(z) = -1/z$ for the modular group $\Gamma$ (i.e. the group of fractional linear tranformations $z \mapsto (az +b)/(cz+d)$ with $a,b,c,d \in ...

**2**

votes

**0**answers

62 views

### Resolvent estimate of hyperbolic Laplacian [on hold]

Consider the Laplacian $-\Delta$ on the hyperbolic space $\mathbb{H}^n$. For $\lambda \in \mathbb{C} \setminus [0, \infty)$, do we have resolvent estimates of the form
$$\Vert (-\Delta - \lambda ...

**2**

votes

**0**answers

157 views

### References for 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'

Presently I am reading the 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'. I am finding it difficult for eg. the initial sections on $l$-adic geometric representation of finite ...

**5**

votes

**1**answer

165 views

### Prescribed values for the uniform density

Strauch & Tóth [1] Georges Grekos [3][4] showed that for any choice of upper and lower density, there is some subset of $\mathbb{N}$ with the chosen densities, provided the lower is no more than ...

**3**

votes

**0**answers

62 views

### Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$.
Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times).
I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$.
However, ...

**7**

votes

**0**answers

248 views

### Godel's second incompleteness theorem for non-r.e. theories

R. Jeroslow in this paper proves that a non-recursively enumerable theory whose set of theorems is $\Delta_2$-definable may prove consistency of itself
but it can not prove 2-consistency of itself.
...

**7**

votes

**0**answers

111 views

### Complete list of exceptions and efficient algorithm for Waring's problem

2 weeks ago, Samir Siksek http://arxiv.org/abs/1505.00647 proved more than 150-years-old conjecture that every positive integer other than 15, 22, 23, 50, 114, 167, 175, 186, 212, 231, 238, 239, 303, ...

**6**

votes

**1**answer

271 views

### An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that
$$
f^2=f
$$
(that ...

**4**

votes

**2**answers

171 views

### hyperbolic structure on Figure–8 knot complement

I was trying to understand the proof of the fact that there is a hyperbolic structure on Figure–8 knot complement initially from Thurston's notes and then from some online notes; but unfortunately I ...

**0**

votes

**0**answers

47 views

### Global existence solutions NLS

Let's consider the following NLS in $\mathbb{R}^3$
$$i\partial_t\psi=-\Delta\psi+\vert\psi\vert^2\psi$$
How to prove that $H^2$-solutions are globally in time? Can someone suggest references to me?

**3**

votes

**0**answers

56 views

### Integrability of Continuous Tangent Subbundles

Are there any field of mathematics, except dynamical systems, where one needs to integrate continuous sub-bundles of the tangent space?
More specifically given a smooth manifold of $M$ and a ...

**4**

votes

**1**answer

134 views

### Upper bound of the waiting time of a sum process

Let $n \in \mathbb{N}$, $x_1, \ldots, x_n \in (0,1)$ fix but arbitrary, s.t. $\sum_{i=1}^n x_i = 1$. Let $X_i \sim \operatorname{Unif}(\{x_1, \ldots, x_n\})$ i.i.d., and $T_n = \min\{t \in \mathbb{N} ...

**0**

votes

**0**answers

51 views

### Sum of weighted permutations over natural numbers [on hold]

If we consider the sum $\sum\limits_{i=1}^n i\sigma(i)$ where $\sigma$ is a permutation of the first $n$ natural numbers, then this sum has a few interesting properties for various values of $n$. My ...

**6**

votes

**2**answers

201 views

### Where is the exponential map a diffeomorphism?

Let $M$ be a closed compact Riemannian manifold.
The exponential map $\mathrm{exp}:TM\to M\times M$ takes $(p,v)$ to $(p,\gamma_v(1))$, where $\gamma_v$ is the geodesic flow at $p$ in the direction ...

**13**

votes

**2**answers

293 views

### Differential operators are coKleisli morphisms of the jet co-monad

The following statement may be "well known but not well known enough", and my question is which reference would state it explicitly:
The construction of Jet bundles is a comonad on suitable bundles ...

**4**

votes

**2**answers

292 views

### Reference on the Veblen-Young characterization of projective spaces

Can someone point me to a modern treatment of the Veblen-Young characterization of projective spaces of dimension greater than $2$ as $P(V)$ for some vector space $V$?
[Added: see here for a ...

**9**

votes

**2**answers

647 views

### How to learn QFT from mathematical perspective?

I want to learn QFT, because I have heard of its applications in mathematics, I am not interested in scattering cross sections and such. Where can I start to learn? Only books I found are either way ...

**1**

vote

**0**answers

75 views

### On moduli space of torsion free semi-stable sheaves on nodal curves

Let $X$ be a projective irreducible nodal curve of genus at least $2$. Denote by $U(r,d)$ the moduli space of semi-stable torsion free sheaves on $X$ of rank $r$ and degree $d$. There are several ...

**2**

votes

**1**answer

149 views

### Contraction semigroup

Let $(X, \mu)$ be a finite measure space and let $A$ be a non-negative self-adjoint operator which generates a contraction semigroup $e^{tA}$ on $L^2(X, \mu)$. If additionally, we have that $e^{tA}$ ...

**3**

votes

**1**answer

132 views

### Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems
'':
Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every
$n\in \omega, ...

**3**

votes

**0**answers

62 views

### Idempotent relations on the unit square with closed graphs

A colleague and I are interested in idempotent relations from $I=[0,1]$ to $I$ - relations such that $R\circ R(x)=R(x)$ for all $x\in I$. Specifically, the graphs of the relations we care about must ...

**5**

votes

**1**answer

376 views

### Vectorisation of a category

I have no experience with category theory at all, but I recently stumbled upon the following construction. Since it is extremely elementary and seems rather natural, it should be known, but I have not ...

**9**

votes

**1**answer

392 views

### On a result attributed to W. Ljunggren and T. Nagell

I've read in a number of places that, building on previous work of T. Nagell, W. Ljunggren proved in 1 that the Diophantine equation
$$\frac{x^{n}-1}{x-1} = y^{2}$$
doesn't admit solutions in ...

**7**

votes

**0**answers

167 views

### May's infinite loop machine for Friedlander's result for Adams conjecture

Eric M. Friedlander in the paper The infinite loop Adams conjecture via Classification Theorem for $\Gamma$-spaces proved the infinite loop Adams conjecture using techniques involved $\Gamma$-space.
...

**1**

vote

**1**answer

93 views

### Green's function for fractional Laplacian

Consider the fractional differential equation
\begin{align}
D_{|x|}^\alpha u(x) +bu(x)=f(x)
\end{align}
with $0<\alpha<2$ on an unbounded domain. Instead of $D_{|x|}^\alpha$ one also often sees ...

**6**

votes

**1**answer

129 views

### On the independence of lower and upper asymptotic and Banach densities

Given a set $X \subseteq \mathbf N^+$, denote by $\mathsf{d}_\ast(X)$ and $\mathsf{d}^\ast(X)$, respectively, the lower and upper asymptotic (or natural) density of $X$, viz. $$\mathsf{d}_\ast(X) := ...