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

learn more… | top users | synonyms

1
vote
0answers
42 views

Where can I find basic “computations” of equivariant stable homotopy groups?

I am new to this subject; so please correct me if I will say something wrong or if you don't like my notation. In particular, I don't know whether it is reasonable to consider an infinite group $G$ (...
0
votes
0answers
33 views

Reference request for a well-known lemma in Parabolic Vector Bundle

In the paper- "Moduli Space of parabolic vector bundles on a curve" - Usha N Bhosle, Indranil Biswas-Beitr Algebra Geom (2012), 53:437-449, DOI: 10.1007/s13366-011-0053-7, Lemma $2.1$ is being ...
1
vote
0answers
67 views

Poincaré–Bendixson theorem on the torus

I was reading the paper A Generalization of a Poincaré-Bendixson Theorem to Closed Two-Dimensional Manifolds by Arthur J. Schwartz which proves the following theorem: THEOREM. Let $M$ be a ...
0
votes
0answers
19 views

Algorithm for Longest Common Subtour

For a new kind of heuristic for the TSP I need to calculate the longest subtour, that is common to a set $T_1,\ ...,\ T_m$ of tours, that are "good" approximations of the optimal tour $T_{opt}$. By a ...
5
votes
1answer
158 views

The current status of the conjecture on algebraic matroids

Can anyone point out some articles for the conjecture: the dual of an algebraic matroid is algebraic? Thank you!
0
votes
0answers
79 views

Selmer and free rank of Elliptic Curves

If I am not mistaken, the equality of the $p$-Selmer rank and the free rank of an elliptic curve are conjectured to be equal. This is one of the many equivalent formulations of the Birch and ...
0
votes
1answer
65 views

Heat kernel upper bounds on a complete Riemannian manifold

Let $M$ be a complete Riemannian manifold, and $p(t, x, y)$ denotes its heat kernel. I am trying to find sufficient conditions for when the following holds: $$ p(t, x, y) \leq Ct^{-n/2}, \forall x, y, ...
6
votes
1answer
95 views

Chevalley restriction theorem for non-split Cartan

Let $G$ be a reductive group over a field $k$ with maximal torus $H$. Let $\mathfrak{g}$ and $\mathfrak{h}$ denote the corresponding Lie algebra. If $k$ is algebraically closed, we have a theorem of ...
3
votes
1answer
141 views

What kind of set theory is obtained from the canonical models of K?

Consider the minimal normal modal logic $K$ (axioms = classical propositional logic + $(\Box(p\land q)\leftrightarrow\Box p\land\Box q)$ + $(\Box\top)$, nothing else). Its canonical model with no ...
6
votes
1answer
181 views

Reference for push-pull formula in cohomology

I would like a precise reference for the following fact. Assume that $$ \begin{array}{ccc} M\times_B N & \stackrel{f'}{\to} & N \newline \quad\downarrow g' & & \quad\downarrow g \...
11
votes
2answers
574 views

Algebraic Geometry for Topologists

As someone who is familiar with algebraic topology, say, at the level of Hatcher's book, and familiar with homological algebra and categories and applications in topology but has no idea what a ...
2
votes
2answers
148 views

Examples of Sets with Positive Upper Density

While reading the statement of Roth's theorem I started asking myself what are examples of sets of positive upper density? It's not hard to come up with a few: Flip a coin with probability $\mathbb{...
0
votes
0answers
18 views

Criteria for existence of stable principal submatrices of a stable matrix?

Let $A$ be an $n\times n$ real matrix. Suppose $A$ is stable, that is, all the eigenvalues of $A$ have strictly negative real part. Question: What are some results about existence of stable ...
1
vote
1answer
63 views

Every $W^{1,p}$ has a representative in ACL

Let $\Omega:=(0,1)^n$ and define $ACL_i(\Omega)$ as the set of all Borel functions $u:\Omega\to\mathbb{R}$ such that $$ t\mapsto u(x_1,\dots,x_{i-1},t,x_{i+1},\dots,x_n) $$ is $AC$ for a.e. $(x_1,\...
1
vote
0answers
75 views

Induced structure of topological group [on hold]

If we consider a closed Jordan curve $\mathcal{C}$, I know that it's homeomorphic to the circle $S^1$. Now I take an homeomorphism $\phi:S^1\longrightarrow\mathcal{C}$ and this homeomorphism induces a ...
3
votes
0answers
63 views

A color interpolation lemma

I need the following "color interpolation lemma". Actually I know a way to prove it, but I'm not very satisfied with that proof. Lemma. Let $G=(V,E)$ be a (properly) colored graph with colors $1, \...
4
votes
1answer
129 views

Asymptotics on the number of ways to pair off $\{1, 2, \dots, 2n\}$ into primes

Given $S = \{1, 2, \dots, 2n\}$, we can always pair off elements into $n$ pairs such that each sum to a prime. The proof of this fact is easy and follows from Bertrand's postulate. Now, let $\gamma(n)...
1
vote
0answers
52 views

Is the category of prederivators cartesian closed?

The question is in the title. ${\bf PDer} = Fun({\bf Cat}^\text{op}, {\bf CAT})$ is obviously cartesian since $\bf CAT$ is. The usual argument for presheaf categories does not apply directly since 1-...
17
votes
0answers
283 views

Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (with ...
3
votes
0answers
88 views

The number of monotone Boolean functions

In the paper "The number of monotone Boolean functions" A. D. Korshunov calculates an asymptotic number of the number of monotone Boolean functions (see https://en.wikipedia.org/wiki/Dedekind_number)...
0
votes
0answers
55 views

An idea of two sided invertible matrix [closed]

Can you suggest me a reading material that expand on the idea of two matrices that are inverse to each other but which are not square matrices? Here's what I think of, take $A$ a matrix of order $n\...
0
votes
0answers
21 views

Existence of solution to first order pde [closed]

Let $U : = \big(-\frac 12, \frac 12 \big)^2 \setminus B_R(0)$ for some sufficiently small $R > 0$. I would like to prove the existence of a solution $\rho = \rho (x_1, x_2)\in C^1(U)$ to the ...
6
votes
3answers
360 views

linear independence of $\sin(k \pi / m)$

I have tried searching the literature for a result like the following, but have not found anything. For a positive integer $m$, is it known that $$\{ \sin (k \pi / m): 1 \leq k \leq m/2, (k,m)=1 \}$$ ...
5
votes
0answers
82 views

Constructible sheaves on general stratified spaces

I am not an expert in the field, so my question might be rather standard. Let $X$ be a compact metric space. Assume that $X=\cup_{i=1}^NS_i$ is a finite disjoint union of locally closed topological ...
0
votes
0answers
21 views

Interpolation inequality for fractional Sobolev spaces

In Theorem 5.2 of the book Robert A. Adams and John J. F. Fournier, MR 2424078 Sobolev spaces, ISBN: 0-12-044143-8. is stated that, for any integers $0 \leq j \leq m$ and $u \in W^{m,p}(\Omega)$ (...
0
votes
0answers
35 views

Software for matching theorems to inputted conditions/hypotheses

Many times I find myself going through analysis books, wikipedia and papers, looking for what is known for my functions/objects at hand. So is there any software that at least tries to move in that ...
1
vote
0answers
54 views

Reference on Probability theory on functional spaces (in special Hilbert spaces)

Currently, I am working on some sort of stochastic optimization problems defined over function spaces. I am familiar with standard probability theory (R. Durrett, ''Probability: Theory and Examples")...
1
vote
0answers
109 views

Vector bundles and equivariant vector spaces

It seems commonly accepted that most of the results of equivariant geometry for vector spaces yield analog result for vector bundles. In so far as I understand it, the reason for that is the ...
-1
votes
1answer
156 views

When the Ratio of Two Factors is a power of $2$ (i.e. $\lfloor{\frac{a}{b}}\rfloor = 2^{s-2}$)

We can write, $n!= 2^s \times a \times b$ where $gcd(a,b)=1$ and $2^{s+1} \nmid n!$. Problem: Is there infinite number of $n$ when $\lfloor{\frac{a}{b}}\rfloor = 2^{s-2}$? Question: 1.How ...
6
votes
0answers
189 views

Tree property using side conditions

The following problems were asked during the high and low forcing workshop: Question 1. Can one force tree property at $\kappa^{++}$ for $\kappa$ singular using side conditions? Question 2. ...
2
votes
1answer
165 views

Reference - Generalized Hodge conjecture for triangulated motives

GHC for triangulated motives: The Hodge conjecture holds and an object $\rm M \in Dmg$ is effective if and only if its Hodge realization is effective. I would like to know some references on GHC ...
4
votes
1answer
95 views

A quotient group of a self-normalizing spherical subgroup

Let $G$ be simply connected, simple algebraic group over $\mathbb{C}$. Let $H\subset G$ be a self-normalizing spherical subgroup of $G$, not necessarily connected or reductive. Here "self-normalizing" ...
4
votes
0answers
68 views

Realization/embedding for (weakly) finite linear categories

I am trying to determine the status of the following claim. I know how to prove this (unless I made a stupid mistake), so the question is mostly Is it in the literature? If not, is there something ...
4
votes
1answer
116 views

Density of smooth functions on Hölder spaces

The following result is often cited without reference in the context of PDEs: Let $\varOmega \subset\mathbb R^n$ be a bounded open set with smooth boundary. If $0<\beta<\alpha<1$ then $C^\...
0
votes
0answers
66 views

A question on indefinite binary quadratic forms

Let $f(x,y) = ax^2 + 2bxy + cy^2$ be an irreducible, indefinite (so that $b^2 - ac > 0$) binary quadratic form. Put $d = b^2 - ac$. We say that two pairs of integers $(x_1, y_1)$ and $(x_2, y_2)$ ...
2
votes
1answer
128 views

Irreducibility of family of polynomials

Consider the following family of polynomials over $\mathbb{Q}$: $$f_n = x^n - x^{n-1} - \dots - 1$$ Notice that these polynomials satisfy the recurrence $$ f_{n+1} = x f_n - 1 $$ I would like to ...
7
votes
0answers
102 views

Alternative definitions of Sobolev spaces on non-compact Riemannian manifolds

SHORT VERSION: Does the Meyers-Serrin theorem hold on complete, non-compact Riemannian manifolds, i.e. $W^{k,p}(M) = H^{k,p}(M)$? My guess is that this holds for the special case $k=1$ (and all $p\geq ...
0
votes
0answers
21 views

Article Using Kullback Leibler Divergence to Measure Divergence of Observation from Distribution

I am currently attempting to compare an observed distribution to a theoretical distribution, and my current approach is to normalize the two and find the Kullback Leibler Divergence. I am beginning to ...
3
votes
1answer
132 views

A Combinatorial Identity Involving Characters of $S_n$ (Reference Request?)

It is a well-known exercise that $C_n = \chi_{(n,n)}(1)=\chi_{(n,n)}^{1^n}$ where $C_n$ is the $n$th Catalan number and $\chi_{(n,n)}^{1^n}$ is the character of the irrep $(n,n)$ on conjugacy class $1^...
5
votes
1answer
191 views

Numbers divisible only by primes of the form 4k+1

Let $A(N)$ denote the number of positive integers $n\le N$ composed of prime numbers $p\equiv 1\pmod 4$ only. Is there an asymptotic formula for $A(N)$ (as $N$ tends to infinity)?
4
votes
1answer
335 views

Higgs fields whose determinant have only simple zeros

Is the following property true for every stable holomorphic bundle of rank 2 with trivial determinant on a compact Riemann surface: The space of trace-free Higgs fields, whose determinant have only ...
56
votes
16answers
8k views

Examples of algorithms requiring deep mathematics to prove correctness

I am looking for examples of algorithms for which the proof of correctness requires deep mathematics ( far beyond what is covered in a normal computer science course). I hope this is not too broad.
0
votes
0answers
149 views

Regularity for a div-curl system

Let $Q = [0,1]^3$ be the unit cube in $ \mathbb{R}^3$, and let $U \subset Q$ be a simply-connected subdomain with smooth boundary. Suppose $g \: \colon Q \to \mathbb{R}^3$ is a non-negative smooth ...
5
votes
0answers
176 views

Equivalence of algebraic and topological monodromy representations?

Does anyone know of a reference for the following fact? Let $M_g$ denote the moduli stack of genus g curves, let $A_g$ denote the moduli stack of abelian varieties, and let $U_g \rightarrow A_g$ ...
2
votes
0answers
29 views

First eigenvalue for strictly convex domains

Let $M^n$ be a compact Riemannian manifold with boundary, suppose 1). $Ric(M)\ge (n-1)$ and 2). the principle curvatures of the boundary is bounded from below by $h\ge 0$. Is there any results on the ...
0
votes
0answers
36 views

Fisher metric for shift-invariant probabilities

I'm just discovering what seems to be the tremendous heuristic value of the (century-old, more or less) canonical Riemannian metric (Fisher metric) on the $n$-dimensional simplex $\Sigma_n:=\{(p_i)_{i=...
5
votes
1answer
232 views

How often does a pair of linear maps generate a Zariski-dense subgroup of $GL(d,\mathbb{R})$?

I am an analyst working on a number of problems which in some way relate to random matrix products. In this context I frequently find that the analytic properties I am interested in depend in some way ...
4
votes
2answers
242 views

Determining a function is harmonic from mean value property for just three(?) radii

A couple days ago I posted this on MSE (here) but in retrospect it might be more appropriate for this site. This theorem is well-known (maybe it can be called Morera's theorem): A continuous ...
1
vote
0answers
158 views

on universal homeomorphisms between schemes

We are taught since when we are young that schemes are cool because they take into account "nilpotents". This means also that we can distinguish between schemes which have the same underlying ...
4
votes
1answer
222 views

How to construct an abelian variety with CM by a given CM field?

Let $F$ be a totally real number field, and let $K$ be a quadratic extension of $F$ which cannot be embedded into $\mathbb{R}$. Then $K$ is a so called CM field. For instance, take $F = \mathbb{Q}(\...