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

**6**

votes

**0**answers

240 views

### Asymptotics of A261668

In Uniform Approach to Double Shuffle and Duality Relations of Various q-Analogs of Multiple Zeta Values via Rota-Baxter Algebras, Proposition 10.8, Jianqiang Zhao mentiones the sequence:
...

**7**

votes

**3**answers

307 views

### Computations in modular cohomology of finite groups

Let $k$ be an algebraically closed field of characteristic $p$, let $G$ be a finite group whose order is divisible by $p$, and let $H(G)$ be the commutative cohomology algebra of $G$ with coefficients ...

**4**

votes

**1**answer

212 views

### Transform Riesz basis $\{e^{i \lambda_n t}\}_{n\in\mathbb Z}$ to an orthogonal basis

It is well-known that $\{e^{i n t}\}_{n\in\mathbb Z}$ is an orthonormal basis for $L^2(-\pi,\pi)$. A theorem by Kadec (Kadec $1/4$ theorem) studies the perturbed exponential system:
If ...

**16**

votes

**0**answers

504 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**8**

votes

**2**answers

244 views

### Parahoric Group Scheme

I am looking for the definition of a parahoric group scheme in the sense of Bruhat and Tits? I couldn't find a reference for that? at least a "clear" reference!
thanks

**0**

votes

**1**answer

71 views

### Spherical decreasing rearrangement on the sphere

On $\mathbb{R}^n$, we have the concept of spherically decreasing rearragement of a function, which means, given a function $f$, one can design a radial and decreasing function $f^*$ such that $\Vert ...

**2**

votes

**2**answers

210 views

### The number of solution of $x_1^2 + \cdots + x_k^2 \equiv \lambda \bmod q$

I'm playing with exponential sums...
If $q$ is an odd prime and $a$ an integer such that $q \nmid a$, then the following formula for the Gaussian sum is known
$$\sum_{x=0}^{q-1} e_q(ax^2) = ...

**1**

vote

**1**answer

156 views

### tree property at $\aleph_2$ and $\aleph_4$

It is claimed that if there are two weakly compact cardinals, then there is a generic extension in which $\aleph_2$ and $\aleph_4$ have the tree property. Assuming one knows Mitchell's forcing, what ...

**0**

votes

**1**answer

147 views

### About the generating structure of Borel field

This is a graduate-level measure theory problem. I have thought throught it and asked on math.SE but received no satisfying answer.
On P.32 of [P.Billingsley] Probability and Measure, 3ed, 1993, the ...

**3**

votes

**3**answers

308 views

### Does there exist a holomorphic fibration of genus two over $\mathbb{P}^{1}$ with $7$ nodal singularities?

This is a problem about the holomorphic fibration on a complex manifold.
Does there exist a holomorphic fibration of genus two over $\mathbb{CP}^{1}$ with 7 nodal singularities?
If you are aware of ...

**1**

vote

**1**answer

146 views

### characterize certain type of matrices

I am trying to characterize matrices with a certain property :
Define $U$ as an $n \times n$ matrix (over C or R; you can also assume
that it is unitary or orthogonal if it helps). Now take $n$
...

**1**

vote

**0**answers

87 views

### Lecture note on Elliptic PDE

Can someone please suggest me some good lecture notes (not books) on Elliptic PDE? I am reading the book by Trudinger at my own and in the book there are many lemmas whose proofs are quite long (and ...

**3**

votes

**0**answers

72 views

### Cohomology of the classifying space of some Super Lie group

Are there any papers on the cohomology of the classifying space of the general linear supergroup $GL(n, m)$ or unitary supergroup $U(n, m)$?
I know basically nothing about supergeometry. It seems ...

**2**

votes

**1**answer

43 views

### Calculating the Upper Bound on the Sphere Radius of Knotted Channel Surfaces

This question is motivated by trying to determine the upper bound on the thickness of a rope of fixed length (w.l.o.g. $2\pi$), with which a knot of given topology can be realized under the further ...

**4**

votes

**2**answers

224 views

### Riemannian metric of hyperbolic plane

I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector ...

**5**

votes

**1**answer

54 views

### Characterization of right properness using slice categories

I would like to know how to cite this theorem (which has a quite surprising consequence):
A model category $\mathcal{M}$ is right proper if and only if for any
weak equivalence $f:A\to B$, the ...

**1**

vote

**0**answers

166 views

### The Birch-Swinerton-Dyer conjecture for rank 1 [closed]

I'm reading the kolinvagin's work about the Birch Swinnerton-Dyer of elliptic curves woose rational points have rank one. I want to ask about the prerequisites to understand the Kolinvagin's work on ...

**2**

votes

**1**answer

88 views

### Multi dimensional symbolic dynamics

I want to learn Multi dimensional symbolic dynamics. can you point to any recent thesis containing a good exposition or lecture notes?

**2**

votes

**2**answers

190 views

### Eigenfunctions of the Laplacian on singular spaces

Consider a compact manifold $M$ with boundary and corner. As an example, we could have the cube $\{(x_1, x_2,..x_n) \in \mathbb{R}^n : x_i \in [0,1]\}$. We could very well define the Laplacian ...

**6**

votes

**2**answers

495 views

### On bounds for idoneal integer

What is the best known lower bound and upper bound known for such a number if it exists and have there been any attempts (computational including) to eliminate the existence of such a number in known ...

**14**

votes

**5**answers

891 views

### Modern mathematical books on general relativity

I am looking for a mathematical precise introductory book on general relativity. Such a reference request has already been posted in the physics stackexchange here. However, I'm not sure whether some ...

**2**

votes

**0**answers

94 views

### Modules over an Azumaya algebra and modules over the associated Brauer-Severi variety

Assume $\mathcal{A}$ is an Azumaya algebra of rank $r^2$ on a smooth projective scheme $Y$ over $\mathbb{C}$. Let $f: X\rightarrow Y$ be the Brauer-Severi variety associated to $\mathcal{A}$.
I read ...

**5**

votes

**1**answer

157 views

### Dynamics of the distribution of prime factorization types in increasing intervals

I've tagged this as reference request as surely this question must be very well investigated, I just don't know how to look for it. Most likely the perfect answer will be in form of a keyword for ...

**7**

votes

**2**answers

208 views

### Upper bound on length of addition chain

An addition chain for $n$ is a finite sequence of integers starting at 1 and ending at $n$, such that each element is a sum of two previous elements. A short addition chain for $n$ can be used, for ...

**2**

votes

**0**answers

37 views

### Mathematical Billiards: Set of starting points and velocities hitting boundary at time t

In the simplest setting $\Omega$ smooth compact and convex in $R^n$ with linear constant speed trajectories that is ($q_t=q_0+t\cdot v$ until the collision point). What is known about the structure ...

**3**

votes

**1**answer

94 views

### Method to construct a bipartite graph G' with 2n vertices from a graph G

I have seen mentioned in a talk an operation that takes a graph $G=(V,E)$ and constructs a new bipartite graph $G'=(V',E')$ such that $V' = V\times \{0,1\}$ and $E'=\{((i,1),(j,0)) : (i,j)\in E\} \cup ...

**2**

votes

**0**answers

56 views

### Resource needed on Lerch's transcendent

I am looking for resources in english which discuss basic properties of the Lerch's transcendent function.
The Lerch Transcendant is defined by:
...

**2**

votes

**0**answers

131 views

### Can such categorical notion of action be formalized?

I'm wondering if it's possible to find an universal construction for a general concept of action for (single-sorted?) finite product sketches, such that one of those is "acting" on the second in the ...

**7**

votes

**1**answer

465 views

### Segal's 1999 Stanford lecture notes on TQFT, where to find them?

I am trying to track down a copy of Graeme Segal's 1999 lecture notes on topological field theory. These are sometimes referred to as the "Stanford lectures" or something similar.
For many years ...

**7**

votes

**1**answer

619 views

### A road to inter-universal Teichmuller theory

What would be a study path for someone in the level of Hartshorne's Algebraic Geometry to understand and study inter-universal Teichmuller (IUT) theory? I know that it heavily relies on anabelian ...

**5**

votes

**0**answers

119 views

### Has unconditional convergence ever been proved other than by deducing it from absolute convergence?

Nobody's answering this question so I'll try it here. This is really a reference request: Has a certain kind of proof ever been used?
A series $\displaystyle\sum_n a_n$ converges absolutely if ...

**4**

votes

**0**answers

248 views

### Conjectured new primality test for Mersenne numbers

How to prove that this conjecture about a new primality test for Mersenne numbers is true ?
Definition: Let $M_{q}=2^{q}-1 , S_{0} = 3^{2} + 1/3^{2} , \ and: \ S_{i+1} = S_{i}^{2}-2 \pmod{M_{q}}$
...

**1**

vote

**1**answer

91 views

### Are constructive characterisations of k-regular (simple) graphs known?

By a constructive characterisation I mean a theorem giving a list of base graphs and a list of operations such that every graph in a given class is generated from the base graphs by applying some ...

**4**

votes

**1**answer

121 views

### Kan extensions of pseudofunctors

Can anyone suggest a reference for (left) Kan extensions of pseudofunctors?
In particular, say we are given bicategories $\mathscr{A,B,C}$ and pseudo functors $\mathscr A \xrightarrow{G} \mathscr ...

**8**

votes

**0**answers

204 views

### On an unpublished result of Magidor

In 1970th, Magidor proved the following important results:
(1) Assuming the existence of a supercompact cardinal, it is consistent that $\aleph_\omega$
is strong limit and ...

**2**

votes

**0**answers

64 views

### Statements generalizing representability of integers by binary quadratic forms to $n$-variable higher homogeneous forms?

Representing integers through the theory of binary quadratic forms is a well studied topic. We know that given $a,b,c\in\Bbb N$, based on discrimant $b^2-4ac$, we can study the representability of ...

**0**

votes

**1**answer

85 views

### Question about sign change of Hecke eigenvalues

I want to write a survey on the subject 'Sign changes for coefficients of symmetric power $L$-functions'. So, I browse the Web and I got some papers. I read it and I gave special interest to the paper ...

**0**

votes

**0**answers

168 views

### Quantities associated to deformed sheaves

I am trying to figure out what happens to "quantities" associated to a sheaf when one deforms it. I am actually interested in deforming a bounded complex of coherent sheaves but I want to make the ...

**1**

vote

**0**answers

56 views

### Standard name / symbol for intersection in Brouwerian lattices

A Brouwerian lattice has a lower adjoint $\cdot - B$ to $B\lor\cdot$. It is called pseudodifference. The main reference is http://www.jstor.org/stable/1969038
Once you have pseudodifference, you can ...

**13**

votes

**0**answers

254 views

### Research situation in the field of Information Geometry

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field.
I have read (4) and parts of (3). ...

**3**

votes

**0**answers

114 views

### Can one complete a morphism of commutative triangles to a “commutative cube” in a triangulated category?

This question is a continuation of Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?.
I am deeply grateful for the contributions there; they roughly say that ...

**2**

votes

**1**answer

84 views

### Set of regular points in an Alexandrov space with curvature bounded below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere $S^{n-1}$.
...

**21**

votes

**9**answers

2k views

### Advanced Differential Geometry Textbook

I tried this post on StackExchange with no luck. Hopefully the experts at MathOverflow can help.
In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual ...

**1**

vote

**0**answers

45 views

### Doubling theorem for Alexandrov spaces

Is there a user friendly exposition of the notion of boundary of an Alexandrov space with curvature bounded from below and of the Doubling theorem?
The only reference I am aware of is the original ...

**4**

votes

**0**answers

72 views

### Roller's problem on median groups

At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...

**1**

vote

**2**answers

134 views

### Automorphism group of the affine groups AGL(n,q), ASL(n,q)

I have a question. The automorphism group of the linear groups $GL(n,q)$, the group of linear transformations of $V = \mathbb{F}_q^n$, and $SL(n,q)$, the subgroup of $GL(n,q)$ consisting of elements ...

**11**

votes

**0**answers

102 views

### Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]+[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...

**4**

votes

**1**answer

131 views

### symmetric measurable 2-cocycles on compact abelian groups vanish?

Is the following result true? If it is, could you plese give me a reference for it? Thanks in advance!
Let $(G, \mu)$ be any compact abelian group with Haar measure $\mu$ (The case I am interested ...

**5**

votes

**0**answers

205 views

### Why do Kashiwara and Schapira require a base ring of finite global dimension?

In the book "Sheaves on Manifolds" by Kashiwara and Schapira, they work always with sheaves of $R$-modules, where $R$ is a ring of finite global dimension.
Why do they do this, what care ...

**9**

votes

**1**answer

356 views

### Relationship between the syntomic cohomology of Kato and of Fontaine-Messing

Fix a prime $p$ and let $X$ be a $\mathbb{Z}_{p}$-scheme. Write $X_{n}:=X\otimes\mathbb{Z}/p^{n}$ and $\phi:X_{1}\rightarrow X_{1}$ for the absolute Frobenius. Let $X\hookrightarrow Z$ be a (suitable) ...