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

**5**

votes

**0**answers

86 views

### A weak Perron-Frobenius property for sets of positive matrices

A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...

**0**

votes

**1**answer

85 views

### Samuel multiplicity

Let $X$ be the hyper-surface defined by
$$f:=\sum_{i=1}^k x_i^n=0$$
in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal
$$I=(x_1^{n-1},\dots , x_k^{n-1}) $$
What is ...

**3**

votes

**1**answer

232 views

### 'Unitary' charts on odd-dimensional spheres

Consider the odd-dimensional sphere $S^{2n+1} \subset \mathbb{C}^{n+1}$. One may talk variously about its structure as a contact, CR or Einstein-Sasaki manifold, but I'm looking for some specific ...

**4**

votes

**1**answer

79 views

### Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'

Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...

**2**

votes

**0**answers

115 views

### Dynamics of electrons on a sphere

Suppose one place $n$ electrons closely surrounding the north pole of a sphere, forming
a perfect planar regular $n$-gon:
Q1.
What will happen if the ...

**7**

votes

**2**answers

610 views

### Stokes theorem with corners

I've found the following version of Stokes' theorem in G. Stolzenberg's lecture notes 19:
Notation:
for $1 \le n \le m$
$\Lambda(m, n) = \{ \lambda: \{1,...,n\} \rightarrow \{1,...,m\} \ | \ ...

**2**

votes

**0**answers

92 views

### What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?

It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor ...

**2**

votes

**1**answer

154 views

### Is a locally free sheaf projective in the category of $\mathcal{O}_X$-modules when $X$ is an affine scheme?

Let $X$ be an affine scheme and $\mathcal{E}$ a finitely generated locally free sheaf on $X$. It is obvious that $\mathcal{E}$ is a projective object in the category Qcoh$(X)$ since we can pass to ...

**7**

votes

**0**answers

131 views

### Decidabilty of the Hilbert lattice and quantum logic

What is known about the decidability of (first-order formulas in) the structure $(\mathcal{L}(H),\leq)$, where $\mathcal{L}(H)$ is the collection of all closed linear subspaces of a (separable) ...

**2**

votes

**0**answers

79 views

### Computing Voronoi poles in $\mathbb{R}^d$ (the farthest points within each cell)

Say I have a Voronoi diagram of some points $p_1,\dots,p_n\in\mathbb{R}^d$, which tesselates $\mathbb{R}^d$ into cells $V_1,\dots,V_n$. Within each cell $V_i$, the pole is defined as the vertex of ...

**2**

votes

**1**answer

128 views

### References on the Free Loop Space

I intend to approach the paper of Wolfgang Ziller: "The Free Loop Space of Globally Symmetric Spaces", but I need the proper background on the foundations of the study of Free Loop Spaces. I obtained ...

**9**

votes

**4**answers

497 views

### Rounding errors in images of Julia sets

One typically computes Julia sets by iterating a complex function, such as a polynomial or rational function.
How do rounding errors affect the results?
I'm looking for references on this issue, ...

**3**

votes

**0**answers

128 views

### Group completion and algebraic K-theory

In the paper "On the group completion of a simplicial monoid", Quillen discusses the applications of group completions to the definition of algebraic K-groups. But it's before his celebrated paper on ...

**0**

votes

**0**answers

55 views

### Is any affine domain J-1?

Can someone please suggest me a reference for the fact(!) that any affine domain over a field $k$ is $J-1$, i.e., its regular locus is open (I hope the result holds even if $k$ is of finite ...

**3**

votes

**1**answer

260 views

### Mixed Hodge structure and cup product

I'm looking for a reference for the answer to the following questions.
Let $X$ be an algebraic variety over C. When is the cup product a morphism of Mixed Hodge structures? Does $X$ have to be ...

**4**

votes

**0**answers

82 views

### power laws emerging from the sandpile model

Is there a rigorous proof that the abelian sandpile model generates a power law distribution of avalanche lengths?

**5**

votes

**1**answer

126 views

### Upperbounding the number of regions induced by a set of unit disks

Given a set $D$ of $n$ same radius disks, embedded in the plane, their arrangement induces a number $k$ of connected regions in $\mathbb{R}^2 \setminus \cup_{d \in D}$ .
I am interested in an upper ...

**4**

votes

**1**answer

311 views

### Inaccessible cardinal and $\Sigma_1$ reflection

A theorem of A. Levy says that, if $\kappa$ is an inaccessible cardinal, then $V_\kappa\prec_{\Sigma_1}V$ namely $V_\kappa$ is an elementary submodel when considering only $\Sigma_1$ formulas.
Where ...

**5**

votes

**4**answers

707 views

### Consequences of the Inverse Galois Problem

Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false?
We know a lot of things that would be true if the Riemann Hypothesis holds. ...

**2**

votes

**1**answer

139 views

### Is there a characterization of Riemannian manifolds that split off two factors?

Some Riemannian manifolds are expressed as a product manifold. Recently, I have read two articles about space-times. In both articles, the authors prove that a Riemannian manifold $\bar{M}^n$ is ...

**2**

votes

**1**answer

136 views

### Reference request: flat surfaces

When writing a paper, I feel like to point out exact references to the following seemly easy facts concerning flat structures on a closed surface $\Sigma$ with negative Euler characteristic:
The ...

**0**

votes

**1**answer

183 views

### Reference Request: Fundamental Group Scheme

I want to learn about the Fundamental Group Scheme(First introduced by Madhav Nori). I am familiar with Basic Algebraic Geometry at the level of Eisenbud & Harris'"Geometry of Schemes" & to a ...

**1**

vote

**0**answers

106 views

### Intersection Multiplicity

Let $X$ be an hyper-surface in an affine space defined by an equation $F$. We can assume that the ground field is $\mathbb{C}$ and $X$ is normal. Take functions $f_1,\dots, f_n$ on $X$ and let $B$ ...

**4**

votes

**1**answer

177 views

### Characterising subsets of the reals as ordered spaces

There are concise and elegant characterisations of the real line as a topological space and as an ordered space in the literature. I am interested in the harder case of characterising subsets of the ...

**2**

votes

**1**answer

103 views

### Enumerating positive fractions (reference missing)

I remember that the recursion
$r(0)=0, \ \
r(n+1)=\frac{1}{2 [r(n)]+1-r(n)}$
produces a sequence of rational values $ 0 \mapsto 1 \mapsto 1/2 \mapsto 2 \mapsto 1/3 \mapsto ... $ which exausts the ...

**5**

votes

**1**answer

365 views

### Functor generalisation

In an article I am writing, I am led to the following generalization of the notion of functor. Let $C$ and $D$ and be two categories. A generalized functor $F : C \to D$ is given by:
a function $f : ...

**5**

votes

**2**answers

276 views

### Choice of fibrations is like a choice of a basis of a module

In some notes on derived stacks, in describing categories of fibrant objects, the author drops this parenthetical:
(Grothendieck said in his famous letter to Quillen that the choice of
$\mathscr ...

**0**

votes

**1**answer

81 views

### Norm of matrix with randomly deleted entries

Let $A$ be an $n \times n$ matrix with real entries and let $B$ be the random matrix whose $(i,j)$ entry is $$B_{i,j}=v_{i,j}A_{i,j}$$ where the $v_{i,j}$ are i.i.d Bernoulli random variables with ...

**1**

vote

**0**answers

87 views

### Convergence proof for fictitious play!

In "Fictitious play property for games with identical interests" by D. Monderer and L.S. Shapley, the convergence of fictitious play to a Nash equilibrium is proved for a potential game with players ...

**14**

votes

**2**answers

507 views

### Scott-Solovay unpublished paper on ``Boolean valued models of set theory''

I have read some papers from 1970$^{th}$, and in some of them, the paper of Scott and Solovay on ``Boolean valued models of set theory'' is given as a main reference, with many references to the ...

**2**

votes

**3**answers

382 views

### First Explicit Irreducible Representations

Although the classification of simple Lie Algebras and their representations is fully understood, I wonder whether there is some book with exhaustive tables describing explicit irreducible ...

**4**

votes

**2**answers

191 views

### The action of the center on the extended Dynkin diagram

Let $R$ be an irreducible root system with a basis $\Pi$.
We obtain the Dynkin diagram $D$ and the extended Dynkin diagram ${\widetilde{D}}$ of $R$ with respect to $\Pi$.
Let $Q^\vee\subset P^\vee$ ...

**3**

votes

**0**answers

85 views

### If $\angle 0xy\leq \pi/2$ for every $x\in \partial K$, $y\in K$, then $K$ is a ball

Let $K$ be a bounded closed convex set in $\mathbb{R}^d$, $0$ lies in interior of $K$. Assume that for every boundary point $x$ of $K$ the plane through $x$ perpendicular to $x$ is a support plane of ...

**1**

vote

**2**answers

337 views

### More recently published comprehensive reference on inequalities in the spirit of Hardy-Littlewood-Pólya

Is there a comprehensive reference book on inequalities in the
spirit of the one written by G.H. Hardy, J.E. Littlewood, and G. Pólya(*), but more up-to-date (i.e., published in more recent years and ...

**17**

votes

**2**answers

1k views

### Philosophical arguments in defense (or against) large cardinals

The question is essentially what is asked in the title. I split it into two parts
(A) (Arguments supporting the existence of large cardinals) What are the main philosophical arguments in defense ...

**1**

vote

**0**answers

81 views

### Laumon's “Sur les modules de Krichever”

I'm looking for a copy of the preprint mentioned in the title.
Thank you very much in advance for any help!

**9**

votes

**1**answer

325 views

### History of Tarski's problems on free groups

As is known, Tarski posed his questions about first-order theories of non-abelian free groups around 1945. However, the questions were not published in his papers or books.
What is the original ...

**4**

votes

**1**answer

398 views

### What is the current state of generalizations Noether's theorem?

The well-known Noether's theorem is a vital tool in classical physics. But it assumes some hypothesis, many of which could be removed by a detailed look.
So my question is: In what directions has ...

**7**

votes

**2**answers

252 views

### Constructing Ramanujan graphs from elliptic curves

Is there an exposition which explains how to do this step-by-step? (I see stray references and allusions to such a thing being possible but can't locate anything concretely)
Something to do with ...

**1**

vote

**1**answer

108 views

### Boundary components of a subsurface

Consider the following situation. Suppose we have a closed oriented Riemannian surface $ \Sigma $ and a connected open subset $ \Omega \subseteq \Sigma $ with a boundary, consisting of finitely many ...

**5**

votes

**1**answer

222 views

### Reference on (discrete) log-concave probability distributions

A discrete distribution $p$ over $\mathbb{N}$ is said to be log-concave if it satisfies the following conditions:
The support of $p$ is a contiguous interval, i.e. $\exists a \leq b$ s.t. $p_i > ...

**24**

votes

**5**answers

3k views

### Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces.
Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...

**3**

votes

**0**answers

88 views

### K-theory of coherent sheaves on complex manifolds: references and gamma-filtration?

For a complex manifold $X$ one has an exact category of locally free coherent sheaves; so it seems to be no problem to define certain $K$-theory (I do not know whether the $K$-groups given by the ...

**2**

votes

**1**answer

174 views

### Exact reference for Liouville theorem

It seems hard for me to find that the solution of the following equation
$$
\Delta u+e^u=0
$$
defined on a simply-connected domain $D\subset R^2$ must be of form
$$
...

**12**

votes

**6**answers

802 views

### Application of Fraïssé construction in set theory

As you know Fraïssé limit construction and its generalization, Hrushovski's construction, have many applications in model theory to build models with interesting property.
Now I would like to know ...

**2**

votes

**1**answer

62 views

### Reference that contains examples of absolutely indecomposable representations of quivers over a finite field

Is there a reference that lists/discusses examples of absolutely indecomposable representations of quivers over a finite field (absolutely indecomposable = does not decompose into a direct sum over ...

**6**

votes

**3**answers

476 views

### Category of Gödel Codings? [Reference Request]

Consider computation with the integers $\mathbb{Q}$. The traditional theory of recursive functions on $\mathbb{N}$ applies to $\mathbb{Q}$ by the identification of $\frac{a}{b} \in \mathbb{Q}$ with ...

**2**

votes

**0**answers

74 views

### Errata for Getzler-Kapranov “Cyclic operads and Cyclic homology”

Do you know if anyone made an errata for the Getzler-Kapranov paper "Cyclic operads and Cyclic homology"? I was trying to read it, and I have found (at least I think I did) quite a few typos not all ...

**3**

votes

**1**answer

204 views

### Motivic integration in positive characteristic: how much is known?

It seems that in papers on motivic integration people usually assume the base field to have characteristic $0$ (and algebraically closed?). My question is: how much can one prove over a positive ...

**1**

vote

**0**answers

92 views

### Integral Cohomology of Symmetric Groups

Does anybody know a reference for the explicit description of the integral cohomology ring of $S_5$ and $S_6$. I can not find them anywhere in the internet. For $S_4$, I found C. B. Thomas's nice ...