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
68 views

Interesting fragments of first-order logic induced by sorting?

In first approximation, modal logic (I'm using the term loosely) can be understood as an interesting fragment of first-order logic (for simplicity I ignore e.g. how modal logic relates to ...
1
vote
0answers
207 views

Where can I find the article of A. Borel: “Values of zeta-functions at integers, cohomology and polylogarithms”? [closed]

Where on the internet can I find this article? I know that it is in this book: Current trends in mathematics and physics, Narosa, New Delhi, 1995.
0
votes
1answer
88 views

Non-convergence of ergodic measures with positive entropy

Let $T:X\to X$ be a continuous function on a compact metric space $X.$ Let $\mu$ be a $T$ invariant and ergodic probability measure on $X$ with strictly positive Sinai entropy $h_{\mu}(T).$ Let ...
1
vote
1answer
71 views

Example of non-convergence of iteration of measures

Let $T:X\to X$ be a continuous function on a compact metric space $X.$ Let $\mu$ be a $T$ invariant and ergodic probability measure on $X.$ Let $F:X\to X$ be a continuos transformation that commutes ...
-3
votes
1answer
326 views

Is SOC known to imply the Grand Riemann Hypothesis? [closed]

I'm currently working on a conditional proof of the Grand Riemann Hypothesis, which is based on the assumption that every field automorphism of $\mathbb{C}$ that commutes with an element of the ...
2
votes
0answers
86 views

Chern-Weil theory for degenerated metric

If $\omega$ is a Kähler metric on a compact complex manifold $X$, the standard Chern-Weil theory says that the Chern classes $c_{i}(M)$ can be represented by forms involving the curvature of ...
0
votes
1answer
101 views

Name search for special Linear Integer Programm

I am looking for a name for the following question in literature! (and if you know it, then it would be great) I couldn't find it and due to wide audience here, presumably you know more. Thank you ...
0
votes
1answer
184 views

Is there is a known relation or expression containing the algebraic rank $r$?

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. The modularity theorem implies that $L(C,s)$ is the ...
0
votes
0answers
16 views

C-Periodic boundary conditions

I'm working with linear chain of strongly correlated electrons. These types of models have problems due to finite size effects, this leads one to consider C-Periodic boundary conditions as an attempt ...
6
votes
2answers
223 views

Conjectured congruence for the Apery numbers

Numerical evidence for the first hundred Apery numbers $$A_n=\sum\limits_{k=0}^n\binom{n}{k}^2\binom{n+k}{k}^2$$ suggests the following congruence relation $$A_n\equiv 0\; (\mathrm{mod}\; ...
1
vote
1answer
168 views

Countable residually finite abelian groups

Is there a countable abelian group for which its subgroups are exactly all of the countable "reduced" abelian groups? (Reduced means that its divisible subgroup is zero) Is the following group a ...
2
votes
0answers
70 views

relative cohomology $H(X,D)$ of a pair in Weil cohomology theory

In algebraic topology, one defines relative cohomology groups $H(X,A)$ of a pair of spaces $A\subset X$. Is there an analogue in algebraic geometry of cohomology of a pair of schemes? For example, ...
2
votes
0answers
48 views

Generalized separating systems

We call a set system $\mathcal{A}$ of subsets of the $n$ element universe $U$ a separating system if for any pair of elements $x,y \in U$ there is at least one set $A \in \mathcal{A}$ such that either ...
1
vote
0answers
125 views

What is a morphism of $B_\infty$ algebra

Let $k$ be a commutative ring and $C$ a $ \mathbb{Z}$ graded $k$ module. A $B_\infty$ structure on $C$ is the datum of a differential and a multiplication on $ BC:= \bigoplus^\infty_{i =0} ...
7
votes
2answers
126 views

Bounds on chromatic number of $k$-planar graphs

A $1$-planar graph can be drawn in the plane so that each arc is crossed at most once by another arc. A $k$-planar graph can be drawn so that each arc is crossed at most $k$ times. Planar graphs are ...
0
votes
0answers
89 views

topological space of Wang Tile

When trying to reprove a theorem in Wang tile: An established proof in Wang Tile which I doubt , a few notions are provided which I would like to seek for more information: For a given set of blocks ...
2
votes
1answer
83 views

dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...
0
votes
0answers
66 views

Ring structure for $K^{-1}$?

My questions are whether there exists a product structure for $K^{-1}(X)$? Here $K^{-1}$ is the odd topological $K$-group, and $X$ is a compact space (or a manifold), say. If such a ring structure ...
2
votes
0answers
31 views

Where to read about this kind of “measure of irredundancy” of a set from a family of sets?

Studying a very practical problem from psychometrics, I encountered the following construction. Let $(X,\mu)$ be a measure space; if preferred, you can presume $\mu$ is a probability measure. In any ...
3
votes
3answers
171 views

Time-inhomogeneous Markov Chains

I'm trying to find out what is known about time-inhomogeneous ergodic Markov Chains where the transition matrix can vary over time. All textbooks and lecture notes I could find initially introduce ...
3
votes
3answers
730 views

An established proof in Wang Tile which I doubt

When I was reading the paper: Wang, Hao. "Notes on a class of tiling problems." Fundamenta Mathematicae 82.4 (1975): 295-305. from http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82119.pdf I could not ...
1
vote
1answer
197 views

Inducing a Monoidal Structure using an Equivalence of Categories [closed]

Given an equivalence of categories $C \equiv D$, such that $C$ has a monoidal structure, is it clear that we can use the equivalence to induce a monoidal structure on $D$. Is there a standard ...
2
votes
1answer
266 views

Is there an english translation of Delignes “La conjecture de Weil pour les surfaces K3.”?

The title is pretty self explanatory: I'm looking for an english translation of Delignes inventiones paper "La conjecture de Weil pour les surfaces K3." Anyone know if such a thing exists? Thanks!
0
votes
1answer
168 views

A very natural question in weak* topology [closed]

Can you provide me a counter example for this. Suppose that I have a sequence of probability measures $(\mu_{r,t})_{r,t>0}$ on a compact space metric $X.$ Suppose additionally that: there exists ...
8
votes
4answers
389 views

Action of a Lie group with finitely many orbits

EDIT: Let a real Lie group $G$ act on a smooth manifold $M$ with finitely many orbits such that each orbit is locally closed ($M$, but not $G$, may be assumed to be compact in my case). Let ...
7
votes
1answer
272 views

What is the total polarization of the determinant?

Let $A\in\mathfrak{gl}(\mathbb{R},n)$ be an endomorphism, and think up to conformal factors (in particular, $\Lambda^n\mathbb{R}^n$ will be the same as $\mathbb{R}$). By the total polarization ...
8
votes
1answer
220 views

Shriek push-forward for parameterized spectra

In May and Sigurdsson's Parameterized Homotopy Theory, Proposition 2.2.11, four isomorphisms of functors are given. For a pullback square of base spaces $C=holim(A\overset{f}\to B\overset{j}\leftarrow ...
4
votes
1answer
189 views

Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...
2
votes
2answers
96 views

formula for repeated finite differences

I am looking for a proof of a well-known fact, whose proof must be very easy, though I've been struggling to find it. Let $\Delta$ be the map from real-valued functions of a real variable, given by ...
1
vote
1answer
126 views

Link between integral points on varieties and solutions to Diophantine equations

Let $k$ be a number field, $S$ a finite set of places of $k$ including the infinite ones and $F(X_1,\dots,X_n)$ a polynomial in $k[X_1,\dots,X_n]$. I am looking for notes, books or surveys detailing ...
9
votes
3answers
250 views

Dimensions of self-affine sets

Let $A$ be a $2\times 2$ matrix which we assume to be contracting, i.e., the exists $\alpha\in(0,1)$ such that $$ \|A {\mathbf x}\|_2\le \alpha\|{\mathbf x}\|_2,\quad \forall {\mathbf x}\in\mathbb ...
7
votes
1answer
346 views

Demuth's theorem in set theory

I am quite sure the following fact must have been known for set theorists, though I could not find it anywhere. If $r$ is random over $L$ and $x\in L[r]\setminus L$, then there must be some real ...
0
votes
0answers
29 views

Approximation with Predefined Topology of Niveau Sets

Problem given are a finite, connected, undirected and, cycle-free graph (i.e. a "tree") $T(V,E)$, of which one of the vertices (w.l.o.g. $v_0$) is defined to be the root. a planar imbedding ...
11
votes
3answers
1k views

Source of quotation about the waste-baskets of physicists

In an article I'm writing I want to quote (with attribution) the original version of an aphorism that says that one can often find mathematical gold in the waste-baskets of physicists. Would someone ...
9
votes
0answers
277 views

Short proof of $\frak p=t$

It is known for a while now that $\frak p=t$, as a result of Malliaris-Shelah. The original paper draws from model theoretic methods. I've heard rumors that there was a proof which was purely set ...
2
votes
2answers
163 views

How to calculate $P(\sum_{i=1}^{m}(A_i+S_i)\le L)$ with $A_i,L\sim\text{exp}(\lambda),S_i\sim\text{exp}(\mu)$ and positive integers $\lambda\neq\mu$?

Recently I was stumped by the calculation of the probability $$\mathbb{P} \big(\sum_{i=1}^{m} (A_i + S_i) \le L < \sum_{i=1}^{m+1} (A_i + S_i) \big)$$ where $A_i \sim \text{exp}(\lambda), S_i \sim ...
4
votes
0answers
156 views

“Naïve”cobordism?

The naive view of (say, complex) cobordism of a space $X$ is that it should be the group generated by continuous families of closed manifolds parametrized by $X$. Acting even more naively, one may try ...
10
votes
0answers
94 views

Is there literature on approaching semisimplicity of l-adic cohomology using vanishing cycles

Let $K$ be a finitely generated field, and $X/K$ a smooth proper variety. Let $G$ denote the absolute Galois group $\mathrm{Gal}(\bar{K}/K)$. Let $\ell$ be a prime different from $\mathrm{char}(K)$. A ...
7
votes
1answer
339 views

Incomplete Failures of the Inverse Galois Problem

I thought of this question the other day and have not been able to get any traction on references or results along its lines, so I finally caved and decided to ask it here. I am no expert on Galois ...
3
votes
0answers
128 views

Reference request: construction of Chern classes

I am looking for a reference on splitting principle for etale cohomology of simplicial schemes (over arbitrary field k). I found a paper by Schechtman, "On the delooping of chern character and Adams ...
16
votes
3answers
356 views

Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group

There are many introductory texts on real Lie groups, and many on linear algebraic groups in general, but fewer on the specific case of linear algebraic groups over the reals, and even fewer that try ...
2
votes
2answers
181 views

Hardy-Littlewood-Sobolev inequality on hyperbolic space

Let $I_\alpha = (-\Delta)^{-\alpha/2}$ be the Riesz potential on $\mathbb{R}^n$. The Hardy-Littlewood-Sobolev inequality on $\mathbb{R}^n$ says $$||I_\alpha f||_{L^q} \leq C||f||_{L^p}$$ where $q = ...
0
votes
1answer
70 views

Meromorphic extension of local defining equations of a complex submanifold

let $M$ be a smooth compact complex manifold of dimension $m$ and $N\subset M$ a smooth complex submanifold of dimension $1\leq n \leq m-2$. Covering $N$ with well chosen open sets of $M$ we can ...
3
votes
0answers
234 views

The dogma of the natural numbers in physics

As is well known "God made the natural numbers; all else is the work of man" (Leopold Kronecker). However, "what would correspond more to the spirit of physics would be a mathematical theory of the ...
0
votes
1answer
176 views

Trace map for sepeared morphism of non-singular varieties

I read about for any separable morphism of non-singular varieties $f:X'\to X$, one can define a homomorphism $\text{Tr}:f_*(\Omega_{X'}^q) \to \Omega_{X}^q$,so that the map $\Omega_{X}^q \to ...
2
votes
0answers
51 views

Is this duality operation on simplicial complexes/Stanley-Reisner rings previously known?

Let $K$ be an abstract simplicial complex on vertices $x_1,\ldots,x_n$, then there is the familiar construction of the face ideal $I_K=\langle x_{i_1}\cdots x_{i_r} | ...
3
votes
1answer
379 views

Questions on the proof of the Serrin condition for the regularity of Navier-Stokes equations and related issues for the incompressible Euler equation

Edit: The question has been substantially modified from the original one. The original question (see below) concerned with rigorously justifying the proof of the Serrin condition. These questions have ...
15
votes
4answers
780 views

Expressing the Lebesgue integral using categories + the difficulty of describing estimates in category theory

In this question of mine in a comment to the accepted answer, someone remarked: There are ways to express even basic things in analysis, such as the spectral theorem or the Lebesgue integral, ...
0
votes
0answers
100 views

access to Ramanujam's paper on vanishing theorem

I couldn't found the article "C.P Ramanujam, Remarks on the kodaira vanishing theorem, J. Indian Math. Soc.36(1972) 41-50" Can anyone help me to find that? Thanks!
10
votes
1answer
303 views

Did Milnor and Thurston write anything else about characteristic numbers for 3-manifolds?

In Characteristic numbers for 3-manifolds Milnor and Thurston define a characteristic number and this is cited in ch. 6 of Thurston's notes when discussing the Gromov approach to Mostow rigidity. The ...