All Questions
15,613 questions
1
vote
2
answers
196
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 103
0
votes
0
answers
136
views
State of the art on attempts to solve the elliptic curve discrete logarithm problem through transfering the problem to a weaker curve
Let an elliptic curve $E$, and 2 points on such curve $P$ and $O$ the methods I’m talking about consist in creating a weaker elliptic curve $F$ and mapping $P$ and $O$ to $F$ while successfully ...
- 87
0
votes
0
answers
31
views
Looking for a citation for this simple generalization of the Markov bound to non-negative super-martingales
Does anybody know a reference for the following theorem?
Theorem 1. Let $(X_t)_{t=0}^\infty$ be a non-negative supermartingale.
Then, for any constant $c > 0$, the event $(\exists
> t)\, X_t \...
- 183
38
votes
1
answer
4k
views
Updates to Stanley's 1999 survey of positivity problems in algebraic combinatorics?
In 1999, Richard Stanley wrote a very nice survey on open problems in algebraic combinatorics, with a specific focus on positivity, called "Positivity problems and conjectures in algebraic ...
- 24.2k
6
votes
1
answer
131
views
Condition for a functor to induce a cartesian closed functor between categories of presheaves
We denote the category of presheaves on a small category ${\cal C}$ (set-valued functor-category) by $$\widehat{\cal C}:=[{\cal C}^{op},{\bf Set}].$$
Such a category is cartesian closed, i.e. it ...
- 189
8
votes
1
answer
435
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
- 716
2
votes
1
answer
61
views
$k$-subset with minimal Hausdorff distance to the whole set
Let $(\mathcal{M}, d)$ be a metric space. Let $k \in \mathbb{N}$. Let $[\mathcal{M}]^k$ be the set of $k$-subsets of $\mathcal{M}$. Consider the following problem:
$$ \operatorname*{argmin}_{\mathcal{...
CommunityBot
- 1
16
votes
1
answer
688
views
Approximating zero sets of real polynomials with "less complicated" polynomials
Let $K \subset \mathbb{R}^n$ be a compact subset, and let $P(x_1,\dots,x_n)$ be a real multivariable polynomial of degree $d$, whose vanishing set we denote by $Z_P$. Is it plausible to approximate $...
CommunityBot
- 1
43
votes
16
answers
9k
views
Essential reads in the philosophy of mathematics and set theory
I am graduate student and have a decent understanding of logic and set theory.
Recently I have got interested in the philosophy of mathematics and set theory. I have read a number of papers by ...
- 236k
6
votes
1
answer
902
views
Understanding a particular approximation for Stirling's number of the second kind
I noticed and employed (without a problem) an approximation for Stirling's number of the second kind found on Wikipedia (http://en.wikipedia.org/wiki/Stirling_numbers_of_the_second_kind), in ...
- 318
2
votes
1
answer
146
views
Baer sums of extensions
Apologies in advance if this question is too basic, I looked briefly through Weibel and the stacks project and couldn't find any relevant reference.
Let $\mathcal{A}$ denote an abelian category, and ...
- 2,907
1
vote
1
answer
177
views
Unitary representations of discrete (locally compact) groups
Let $\Gamma$ be a discrete (locally compact) subgroup of a locally compact Lie group. Let $H = L^2(\mathbb R^n, \mathbb C)$. Assume we have a complex unitary representation $$\Phi : \Gamma \to \...
- 63.9k
1
vote
0
answers
82
views
Does sets of positive capacity rule out constant functions?
Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by
\begin{align*}
\text{Cap}_{p}(K, U) :=
\inf \left\{
\int_U |\...
- 1,101
3
votes
1
answer
324
views
About Grothendieck and special cases
I was recently reminded of a quote about (not by!) Alexander Grothendieck that I had read many years ago, I think in the 1990s or 2000s.
The quote was about the way in which Grothendieck solved ...
- 9,597
2
votes
1
answer
212
views
Representing positive integers $n$ by binary forms $n=ax^2+by^2$, $a\geq 0$, $b\geq 0$
In there a finite set of $(a_k,b_k)\in\mathbb{Q}_{\geq 0}\times \mathbb{Q}_{\geq 0}$ so that any $n\in \mathbb{Z}_{>0}$
can be written as $n=a_k x^2+b_k y^2$ for some $k$ ?
This is related to ...
- 105k
8
votes
1
answer
668
views
Infinite series and sum of two squares
Consider the following infinite sequence $a(n)$ generated by
$$\sum_{n\geq0} a(n)q^n
=\frac{\sum_{k\geq0}F(2k+1)q^{\binom{k+1}2}}{\sum_{k\geq0} q^{\binom{k+1}2}}$$
where the $F(2k+1)$ are the odd ...
- 79.9k
13
votes
2
answers
1k
views
What's the deal with De Morgan algebras and Kleene algebras?
The notion of Boolean algebras, and the corresponding classical propositional logic, is very standard, and it is easy to find information about them (for example, among many other such works, there is ...
- 47.1k
0
votes
1
answer
169
views
Is the evolution family self-adjoint?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
\newcommand{\qtext}[1]{\quad\text{#1}}
\newcommand{\qtextq}[1]{\quad\text{#1}\quad}
$
I am reading Roland Schnaubelt's survey ...
- 6,696
6
votes
0
answers
102
views
Computer program for free restricted Lie polynomial
I am conducting numerical experiments involving the Gröbner–Shirshov Basis for restricted Lie algebras. At each step of the computation, I need to work with restricted Lie polynomials. Specifically, I ...
- 63.9k
1
vote
2
answers
292
views
Possible refinements of the large sieve inequality
Let $a_n$, $1\leq n\leq N$, be complex numbers, and set $S(\alpha)=\sum\limits_{n=1}^{N}a_ne(n\alpha)$, where $e(\alpha)=\exp(2i\pi\alpha)$. Then, Selberg's large sieve inequality says that
$$\sum\...
- 341
4
votes
0
answers
218
views
Conditional distribution of steps of random walk given the sum
Set-up. Consider a random walk $S_n=\sum_{i=1}^n X_i$, where $\{ X_i, 1\leq i < \infty \} $
is a sequence of i.i.d. random variables with distribution $\mu$, $\mathbb{E}X_1 = 0$. Let $a > 0$.
...
- 724
3
votes
1
answer
404
views
Moments of a random variable related to uniform distribution on sphere
Let $u$ be taken uniformly from the unit sphere $\mathbb S^{n-1}$ and $D$ be a diagonal matrix. I'd like to find a general formula for
$$
\mathbb E[(u^\top D u)^m]
$$
for $m=1,2,3, \dots$, in terms of ...
- 188k
9
votes
0
answers
273
views
What is known about vector subspaces of polynomial rings closed under factors?
Let $R$ be a commutative ring. Call a nonempty subset $F$ of $R$ a factroid if it is closed under sums and factors. That is:
If $a,b \in F$, then $a+b \in F$, and
If $a,b \in R$ with $a\in R$ ...
- 1,802
2
votes
0
answers
97
views
An injective map in equivariant algebraic K-theory
Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ and $\mathfrak{g}$ be its Lie algebra. Let $\mathcal{N}$ be the nilpotent cone of $\mathfrak{g}$ consists of all nilpotent ...
- 12.9k
-3
votes
1
answer
193
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 1,381
2
votes
1
answer
126
views
"Balanced" separator which is independent set
I am looking for existence results on separators of $r$-regular graphs $G=(V,E)$, which have the property that
$S\subset V$ is a separator
for all $v,w\in S$ the edge $\langle v,w\rangle\not\in E$ (i....
CommunityBot
- 1
1
vote
0
answers
45
views
Proper Pisot n-tuples
Recall that x is a Pisot number if it is real and x>1, while all of its conjugates have magnitude less than 1. Then $\{(x)^k\}$ (where $\{\cdot\}$ is the fractional part of x) approaches 0 ...
- 3,319
2
votes
1
answer
266
views
Can the number of elements of order 4 in the Tate–Shafarevich group grow arbitrarily large?
Let $E/K$ be a number field. For quadratic field extensions $L/K$, it is known that $\operatorname{Ш}(E/L)[2]$ can be arbitrarily large (cf. P. L. Clark and S. Sharif, "Period, index and ...
- 148k
0
votes
0
answers
21
views
Easy instance of set cover
I am trying to prove that a natural greedy algorithm solves the following instance of the set cover problem: for a set of elements $e\in U$ with a set of weights $w_e$, we define the cost of a subset ...
- 4,049
0
votes
0
answers
80
views
Reference for computing cohomology of $Q_nS^0$ (the $n$-th component of infinite loop space)?
$Q_nS^0=\varinjlim_k(\Omega^kS^k)_n$, where $(\Omega^kS^k)_n$ refers to homotopy classes of maps $(S^k,\ast)\to (S^k,\ast)$ of degree $n$. I already know the case of $n=0$.
Is there any reference ...
- 867
3
votes
0
answers
129
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
10
votes
0
answers
349
views
How are the hypergeometric motives of WZ-Pairs connected?
If $\small{(F,G)}$ is a WZ-pair and general asymptotic conditions $\lim_{k\rightarrow\infty}\small{G(n,k)=0}$ and $\lim_{n\rightarrow\infty}\small{F(n,k)=0}$ hold, then we have the certified ...
- 24.2k
0
votes
0
answers
43
views
Equivalent conditions for $z$-embeddability
I am looking for where this specific theorem of Blair is originally located:
Theorem. Let $S\subseteq X$, the following are equivalent:
$S$ is $z$-embedded
If $A, B\subseteq S$ are disjoint zero-...
- 1,201
2
votes
5
answers
609
views
A good introduction to the study of the Thue Equation
Hi,
I am interested in studying the Thue equation, where we are concerned with a binary form $F(x,y) = a_0 x^r + a_1 x^{r-1}y + \cdots + a_r y^r$ and solutions of the form
$$F(x,y) = h$$
for some ...
- 704
24
votes
2
answers
1k
views
Why can the general quintic be transformed to $v^5-5\beta v^3+10\beta^2v-\beta^2 = 0$?
The quintic can be transformed to the one-parameter Brioschi quintic,
$$u^5-10\alpha u^3+45\alpha^2u-\alpha^2 = 0\tag1$$
This form is well-known for its connection to the symmetries of the ...
- 16.5k
5
votes
1
answer
920
views
Stacks and Maurer-Cartan elements
One can associate to any deformation problem a dg Lie or $L_{\infty}$-algebra $g$.
For instance, in algebraic deformation theory, let's say the deformation theory of algebras over a Koszul operad $P$, ...
CommunityBot
- 1
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
4
votes
1
answer
376
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 12.2k
1
vote
1
answer
289
views
General algebraic definition of mirror symmetry
I'm trying to understand the following statement of Hori-Vafa from the algebraic perspective:
The mirror of the Hirzebruch surface $\mathbb{F}_{n}$ is the Landau-Ginzburg model $x+y+\frac{a}{x}+\frac{...
CommunityBot
- 1
3
votes
1
answer
439
views
Chinese remainder theorem for target interval
Given $n$ pairwise coprime natural numbers $m_{1}, \dots, m_{n}$ with remainders $y_{i}$, for all $i \leq n$. Furthermore, we have a target interval $I := \left[ a, b \right]$, with $1 \leq a < b \...
CommunityBot
- 1
1
vote
1
answer
158
views
Comparison of special metrics on Riemann surfaces with the hyperbolic one
Let $X$ be a complex algebraic curve, or equivalently a compact Riemann surface, of genus $a\ge2$. Denote $\omega_1, \dots , \omega_a$ a basis of holomorphic differentials, and consider the Riemaniann ...
- 63.9k
3
votes
0
answers
133
views
Grothendieck spectral sequence (cohomology version) for posets with functor coefficient
In this paper, Quillen mentioned a spectral sequence as follows.
Let $f:X\to Y$ is a poset map and $\mathcal{F}:X\to Ab$, where $Ab$ is the category of abelian groups, a functor which is contravariant ...
- 139
1
vote
0
answers
111
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,389
4
votes
1
answer
227
views
Literature Request: The derived category is Krull-Schmidt
I am looking for literature where it is proven that the derived category of bounded complexes over a finite-dimensional algebra is Krull-Schmidt. I found this question
Literature request: $K^b(\text{...
- 867
0
votes
1
answer
119
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 840
2
votes
1
answer
104
views
Looking for review of delay differential equations involving $f(x)$ and $f(x/k)$
A research problem unexpectedly leads me to a delay differential equation of the form
$$
f(x)=\alpha(f(x),f(x/2))\,f'(x)+\beta(f(x),f(x/2))\,f'(x/2)+\gamma(f(x),f(x/2))
$$
For special cases of $\alpha,...
- 3,065
6
votes
0
answers
211
views
Hölder's inequality for trace-class maps of $p$-liquid spaces and a related conjecture of Grothendieck
In Condensed Math and Complex Geometry Proposition 8.8, Clausen-Scholze describe trace-class maps between projective objects in the $p$-liquid category as sums of rank 1 operators against ${<}p$-...
- 61
1
vote
1
answer
165
views
Multidimensional intersection property
Consider the multidimensional annulus $\{(p,\theta)\} = \mathbb R^n\times\mathbb T^n$ endowed by the $1$-form $\omega=p\,d\theta$. A diffeomorphism $A$ of this annulus onlo itself is said to be exact ...
CommunityBot
- 1
13
votes
3
answers
2k
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 ...
- 12.9k
14
votes
1
answer
556
views
What is the "schematic" point of view for regular polyhedra?
Last week, I read Wikipedia's article on Alexander Grothendieck. It lists his twelve greatest contributions to mathematics as accounted for in Grothendieck's own Récoltes et Semailles. The final item ...
- 498