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

learn more… | top users | synonyms

5
votes
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
4answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
4answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
3answers
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
2answers
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
0answers
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
5answers
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
0answers
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
1answer
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
6answers
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
1answer
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
3answers
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
0answers
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
1answer
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
0answers
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 ...