All Questions
15,509 questions
9
votes
2
answers
494
views
Reference Request for global Hölder continuity of solutions to elliptic PDEs
This is question that was also posted on MathStackExchange Link, where it was suggested I post this question on MathOverflow. Please note that the answer given in Link does not help as I do not have ...
- 133
0
votes
0
answers
52
views
Reference request for the determinant of a matrix constructed from Pascal's triangle
One can prove by induction that the matrix $M^{(n)}$ given by
$$ \begin{pmatrix}
1 & 1 & 1 & 1 & \dots & \binom{n}{0} \\
1 & 2 & 3 & 4 & \dots & \binom{n+1}{1} \...
- 5,546
7
votes
2
answers
284
views
Bounded geometric morphisms, origin and motivation for the terminology
Bounded geometric morphisms serve as a generalization of Grothendieck topoi; $T$ being a Grothendieck topos iff global section $T \rightarrow Set$ is bounded. I managed to only track this down to the ...
- 1,347
34
votes
3
answers
5k
views
A trigonometric equation: how hard could it be?
The following problem started out with a formulation in terms of complex numbers: let $\epsilon=e^{\frac{\pi i}3}$ and $z=e^{\frac{2\pi i}{3(2n-1)}}$. It's rather amusing that the following appears to ...
- 43.2k
6
votes
1
answer
168
views
Laplacian is surjective from $\mathcal{C}^{\infty}(B)$ to $\mathcal{C}^{\infty}(B)$
Let $B$ denote the open unit ball in $\mathbb{R}^n$. Let $\mathcal{C}^{\infty}(B)$ represent the space of smooth functions on $B$.
Is the Laplacian operator $\Delta$ surjective as a map from $\mathcal{...
- 63
8
votes
0
answers
150
views
What is the forcing $\bf U$ from Bartoszyński-Judah?
In Set Theory - on the structure of the Real Line by Bartoszyński & Judah, a forcing notion $\bf U$ is mentioned on page 339, allegedly corresponding to $\rm{cof}(\cal N)$ as it has several ...
- 403
3
votes
0
answers
74
views
Reference for PDEs from system of SDEs
I'm working with a system of SDEs
\begin{align*}
dX_t &= b(X_t, t) + \sigma dB_t\\
dY_t &= c(X_t, Y_t, t) + \sigma dB_t.
\end{align*}
Here, the Brownian motion is the same.
I know that ...
2
votes
0
answers
76
views
Does a matrix ring over a ring satisfy the Koethe conjecture if the coefficient ring itself satisfies the Koethe conjecture?
I just want to know whether the following statement is true or false.
If $R$ is a ring satisfying the Koethe conjecture, then the matrix ring over $R$ also satisfies the Koethe conjecture.
Or is it ...
3
votes
1
answer
231
views
Are principal parabolic group scheme bundles Zariski locally trivial?
Let $P$ denote a parabolic subgroup scheme of $\operatorname{Sp}(2n;F)$, where $F$ is a field (I am interested in $K=\mathbb{Q}_p$ so possibly okay to assume local with characteristic $0$ if it makes ...
- 2,907
1
vote
1
answer
223
views
Sum over three squares
Let $x$ be a sufficiently large number. Is there an explicit or asymptotic formula for the following sum
$$\sum_{\substack{n\leq x\\ n=a^2+b^2+c^2}} 1.$$ Any reference would be helpful.
- 1,257
19
votes
6
answers
2k
views
Book recommendation introduction to model theory
Next semester I will be teaching model theory to master students. The course is designed to be "soft", with no ambition of getting to the very hardcore stuff. Currently, this is the syllabus....
- 9,111
3
votes
3
answers
388
views
On subfields of the cyclotomic field $\mathbb{Q}(\zeta_p)$
Let $p$ be an odd prime. Let $\zeta_p=e^{2\pi{\bf i}/p}$ and let $1\le k\le p-1$ be a divisor of $p-1$. Recently, when I learnt algebraic number theory, I met the following problem.
If we let
$$U_k=\{...
- 87
9
votes
1
answer
224
views
$p$-adic analytic pro-$p$ group satisfies a pro-$p$ identity?
Let $p$ be a prime. Let $w$ be an element of a free pro-$p$ group $F_r$ of finite rank $r\geq 2$. Then we say that a pro-$p$ group $G$ satisfies the pro-$p$ identity
$w$ if for every homomorphism $ f:...
- 667
4
votes
1
answer
206
views
Stationary phase formula for a complex valued phase
I'd be interested in computing an asymptotic expansion when $h \rightarrow 0$, of an integral of the form
$$
I_h = \int_{\mathbb{R}}{e^{\frac{i}{h}\varphi(x)}dx}
$$
where $\varphi : \mathbb{R} \...
- 2,696
0
votes
0
answers
106
views
Generalizing the property of linear independent set in infinite dimensional TVS
Given a infinite dimensional Hilbert space $H$, and a countable set of vectors $\{v_{i}\}_{i=1}^{\infty}$. I want to study the following property of $\{v_{i}\}_{i=1}^{\infty}$:
There exists sequences $...
- 523
12
votes
4
answers
994
views
Reference for the proof that Möbius transformations extend to isometries of hyperbolic 3-space
Consider the group $\operatorname{PSL}(2,\mathbb C)$ acting by Möbius transformations of the Riemann sphere. It is known that this action can be extended to an action on the unit ball which is ...
- 481
2
votes
0
answers
168
views
Centralizer of PSL in PGL and of SL in GL: reference request
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\PSL{PSL}$Consider the general linear group $\GL(n,q)$ over a finite field with $q$ elements and ...
- 361
1
vote
1
answer
280
views
Moduli space of complex and anti-complex tori?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SL{SL}$By Will Sawin's answer to Moduli Spaces of Higher Dimensional Complex Tori the moduli space of complex $d$-tori is $X ...
- 341
4
votes
1
answer
328
views
Holomorphic homotopy conjecture
Let $X$ be a smooth projective variety over the complex numbers, and let $\text{Coh}(X)$ be the category of coherent sheaves on $X$. Consider the dg-category $\text{Perf}(X)$ of perfect complexes on $...
- 41
16
votes
3
answers
4k
views
Is it known that the Collatz-like sequence with 7n+1 diverges to infinity starting with 7?
In this question I was wondering if the $3$ in the Collatz conjecture is arbitrary, and when I wrote that question I tried to change to $7n+1$ starting with the seed number $7$, the sequence appears ...
- 541
3
votes
0
answers
287
views
What did Mirimanoff say about Intuitionism?
Dmitry Mirimanoff, "L'intuitionisme", Alma Mater n° 6, Geneva, 1945.
Most of Mirimanoff's work was in number theory, but he wrote three papers about set theory that were way ahead of their ...
- 8,481
14
votes
5
answers
5k
views
Who says understanding physics helps mathematicians? (A reference request) [Take the word "who" literally.]
If I wanted to make a somewhat bold and rather vague claim in print that it is widely acknowledged among mathematicians that knowledge of mechanics (in the sense in which physicists understand that ...
2
votes
1
answer
77
views
Locating elementary argument for leaf volume bound of codimension one compact foliations
Where in Reeb's thesis (or other expository reference) is the fact claimed by the following two blurbs proved? These both refer to Reeb's thesis.
Edwards-Millett-Sullivan's Foliations with all leaves ...
0
votes
0
answers
80
views
Relation between Chow groups and K theory
I am reading about Chow groups and algebraic K-theory of schemes. I get to know that for smooth schemes the re is a strongly convergent spectral sequence
$$E_2^{p,q} = CH^{-q}(X,-p-q) \implies K_{-p-q}...
- 629
3
votes
1
answer
76
views
Polarities for intuitionistic linear logic formulas inside classical linear logic (without linear implication)
In the article on intuitionistic linear logic on the LLWiki, it is stated that a polarization of formulas in classical linear logic is enough to make it equivalent to intuitionistic linear logic, ...
- 343
11
votes
2
answers
433
views
On the convex cone of convex functions
$\newcommand\R{\Bbb R}$Let $F$ be the set of all functions of the form $\max(a,b,c)$, where $a,b,c$ are affine functions from $\R^2$ to $\R$ and the maximum is taken pointwise. Let $G$ be the set of ...
- 128k
2
votes
1
answer
186
views
On local Galois deformation rings
Let $p,\ell$ be two different primes. Let $K$ be a finite field extension of $\mathbb{Q}_{\ell}$ and $ \bar{\rho}:G_{K}\to {\rm GL}_{n}(\mathbb{F}_p) $ be a continuous mod $p$ representation of the ...
- 667
1
vote
1
answer
120
views
Reference request for the isomorphism $H^1(G_{K_v},E)[n]\cong (E(K_v)/nE(K_v))^*$ in the context of Tate-duality
Let $E/K$ be an elliptic curve over a number field $K$. Let $M_K$ be the set of all places of $K$. Let $K_v$ be a completion of $K$ at $v$.
I'm searching for a reference for the statement of the ...
- 1,541
11
votes
1
answer
340
views
Number of odd-dimensional irreducible representations of $S_n$
In this paper the structure of odd-dimensional irreducible representations of the symmetric group is described, but what is the asymptotic behaviour of the number of such representations? (Or, if it ...
- 109k
11
votes
4
answers
952
views
Is there a name for finite unions of intervals?
Finite unions of intervals are simple sets that are used quite often, e.g. in measure theory. (The construction of the Cantor set is a noble example). I realised that I do not have a name for them. Is ...
- 60.6k
2
votes
0
answers
26
views
Reference for the biequivalence between the bicategory of distributors and the bicategory of two-sided discrete fibrations
It is well known that a distributor/profunctor $A \not\rightarrow B$, i.e. a functor $B^{\text{op}} \times A \to \mathrm{Set}$, is equivalent to a two-sided discrete fibration from $A$ to $B$. ...
- 10.7k
42
votes
4
answers
4k
views
Are these fast convergent series for $\log(2)$, $\log(3)$ and $\log(5)$ already known and proven?
Now that some of the previously MSE formulae that I left here have been applied Dec.2023 to compute high precision record values ($10^{12}$ decimal digits) of trascendental constants $\Gamma(1/3)$ (Eq....
- 2,836
2
votes
1
answer
215
views
Number of binary matroids of rank $r$ on a ground set with $n$ elements
How many simple binary matroids are there, up to isomorphism, of rank $r$ on an $n$-element ground set, where $r \le n < 2^r$? Write this number as $a_r(n)$. Is there somewhere where I can get this ...
- 331
2
votes
0
answers
95
views
Kernel of a Mikhlin multiplier is a Calderón–Zygmund kernel (reference request)
Consider any function (convolution kernel) $K(x):\mathbb{R}^d\to\mathbb{R}$. Suppose the Fourier transform of $K(x)$, denoted by $\hat{K}(\xi):\mathbb{R}^d\to\mathbb{R}$ satisfies the standard Mikhlin ...
- 989
4
votes
0
answers
97
views
Characterization of Vilenkin group
It is shown in [1, Section 1] by C.W. Onneweer that every infinite compact, metrizable, zero-dimensional commutative group is a Vilenkin group. My question is does this implication also hold if we ...
- 85
7
votes
0
answers
160
views
What happens if we add an initial object to a Lawvere theory?
Motivation
There is a theory of smooth spaces (for example, diffeological spaces) as certain sheaves on the site $\mathrm{Cart}$, which is the "category of cartesian spaces" whose objects ...
- 355
8
votes
1
answer
687
views
The state of the art on topological rings - the Jacobson topology
I was recently studying the Jacobson density theorem and I found it quite interesting.
Most textbooks I've seen, including Jacobson's own Basic Algebra, only spend a few lines about the reason why it ...
- 243
5
votes
1
answer
1k
views
Is this a new result about hexagon?
Let a hexagon $AB'CA'BC'$ let $AB' \cap A'B=C''$, $BC' \cap B'C = A''$, $CA' \cap C'A = B''$ then three conditions as follows equivalent:
Three lines $AA', BB', CC'$ are concurrent (let the point of ...
- 1,776
1
vote
0
answers
52
views
Stability of Euler discretization
I am looking at the discretization of an ODE:
$$x_{n+1} = x_n + \alpha f(x_n),$$
where $x_n\in R^d$ and $f$ is continuously differentiable and such that $f(0)=0$ and $f'(0)$ is Hurwitz (i.e., the real ...
- 562
0
votes
1
answer
121
views
Reference request: hyperfinite cross product
Given a countable essentially free ergodic non-singular group action $G \curvearrowright (X, \mu)$ on a standard measure space, suppose $\mu$ is a non-atomic probability measure and $\alpha: G \...
1
vote
0
answers
86
views
Unitary representations of the symmetric group over finite fields
I am interested in understanding the unitary representations of the symmetric group over $\mathbb{F}_{q^2}$. In general, some comments here are relevant
Unitary representations of finite groups over ...
- 571
3
votes
0
answers
390
views
Status of motives in higher category theory: motives and algebraic cycles through a higher categorical perspective
A while ago this interesting question was asked Derived Algebraic Geometry and Chow Rings/Chow Motives.
Primary question:
Have there been any recent developments/advances on the above question? If not,...
1
vote
0
answers
101
views
Locating volume 2 of certain conference proceedings in analytic number theory
Does anyone know where one might locate "Analytic Number Theory: Proceedings of a Conference in Honor of Heini Halberstam, Volume 2"? There exists Volume 1 here: https://link.springer.com/...
- 1,890
7
votes
0
answers
267
views
Herbrand's consistency proof
Jacques Herbrand's thesis "Investigations in proof theory: The properties of true propositions" (or in the original French "Recherches sur la théorie de la démonstration", with the ...
- 161
4
votes
0
answers
126
views
Minimal model for $A_\infty$-categories
Is there a reference for existence and construction of the minimal model of an $A_\infty$-category? Most references I found ultimately refer to Lefèvre-Hasegawa's thesis but there doesn't seem to be a ...
- 489
1
vote
1
answer
64
views
What is $\left[ \begin{array}{c} K_i;0\\ \ell\\ \end{array} \right] _{\varepsilon _i}$ in the restricted specialization in QUE algebras?
I have a question about the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. It comes from section $9.3$ on page $300$ of this book
In Section 9.1, the authors define ...
- 137
3
votes
0
answers
153
views
What is known about the word problem on free algebraic models?
Consider the fragment of first-order logic with equality and universal quantification as the only logical symbols; we call this logic the logic of universal algebra. I am interested in languages $\...
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
- 2,974
0
votes
1
answer
71
views
Asymptotic expansion inverse discrete Fourier transform
Let $\ell^1(\mathbb{Z})$ be the space of biinfinite sequences $f = (f(n))_{n \in \mathbb{Z}} \subset \mathbb{C}$ such that it is absolutely summable. The discrete Fourier transform or Fourier series ...
0
votes
0
answers
61
views
Defining rank of an abelian subgroup using the second centralizer
I recently posted this on MSE, but didn't receive any feedback; so I'm posting it on MO.
I recently came across this article which explored the maximal abelian subgroups of the symmetric group $S_n$. ...
- 195