Newest Questions
162,007 questions
1
vote
0
answers
6
views
Commuting totalizations with filtered colimits in the plus-construction for $\infty$-presheaves on a topological space
Let $\mathrm{An}$ be the $\infty$-category of anima (i.e., $\infty$-groupoids).
Let $X \colon \mathcal{O}(U)^{\mathrm{op}} \to \mathrm{An}$ be a presheaf on a topological space $U$.
Now, consider a ...
- 7,876
0
votes
0
answers
33
views
Hasse principle for rational number times a quadratic form
Motivation:
Hasse principle for rational times square
local-global principle for units
Does the Hasse norm theorem easily imply the global squares theorem?
Let $K/F$ be a quadratic extension of global ...
- 41
0
votes
0
answers
15
views
Applicability of Besicovitch Covering Theorem in different norms in $\mathbb{R}^n$
This question is probably quite simple, but I would still appreciate a straightforward answer, whether positive or negative. Thank you in advance.
I alredy know that the Besicovitch Covering Theorem ...
4
votes
0
answers
30
views
Kashiwara-Schapira Stack of microsheaves
I will assume familiarity with the notions of singular support as defined by Kashiwara and Schapira in Sheaves on Manifolds. Let $M$ be a manifold, one can define a functor :
$\mu Sh^{pre} : Op_{T^*M, ...
- 111
2
votes
2
answers
81
views
Hyperplane sections of general type surfaces
Let $X$ be a smooth projective complex surface with $K_X$ very ample. Let $D\in |K_X|$ be a general element.
Does there exist another smooth projective variety $D'$ with a finite flat morphism $D\to D'...
- 493
1
vote
0
answers
90
views
Dirichlet series of $\zeta'(s)\zeta'(1-s)$
I want to find the Dirichlet series coefficients of $\zeta'(s)\zeta'(1-s)$.
I know that $$\zeta'(s)=-\sum_{n=1}^{\infty}\frac{\log n}{n^s},$$provided $\Re(s)>1$. I would have thought it would be ...
- 11
0
votes
1
answer
48
views
Expected number of steps for a random walk to return with a single barrier
Here is the problem and a possibly noobie question I am trying to figure out.
You have a biased random walk on $\mathbb{Z}$ with jump to the left probability $p=0.7$ and jump to the right $q=1-p=0.3$. ...
- 342
1
vote
0
answers
43
views
What is known about the algebras $\mathrm{End}_{U_q(\mathfrak{sl}_2)}(L(d)^{\otimes n})$?
Let $A_{d,n}=\mathrm{End}_{U_q(\mathfrak{sl}_2)}(L(d)^{\otimes n})$. For $d=1$, this is the Temperley-Lieb algebra $A_{1,n}=TL_n(q+q^{-1})$. For $d=2$, Scrimshaw calls this the tangle algebra, first ...
- 502
0
votes
0
answers
29
views
Nonnegative submartingales: convergence to infinity in probability
Consider a nonnegative submartingale $X_n$, with uniformly bounded jumps, and jump variance uniformly bounded from below. Can we conclude that it converges to infinity in probability? Also, is it ...
- 1,907
5
votes
1
answer
112
views
Categorical structure guaranteed to exist, but not necessarily preserved
Background
I'm currently studying arithmetic universes (AUs), which are defined to be list-arithmetic pretoposes (see "Joyal's arithmetic universe as list-arithmetic pretopos" by Maietti). ...
- 335
-5
votes
0
answers
51
views
For endorsement [closed]
I am a research scholar working in the area of General Topology, and I would like to submit it to arXiv under the math.GN category. As this is my first submission in this category, I need an ...
0
votes
0
answers
50
views
Algorithm that allows to get any value of A000123 if finite number of values of A002577 are known
Let
$T(n,k)$ be an integer coefficients such that $$ T(n,k) = \begin{cases} 1 & \text{if } k = 0 \vee n = k \\ \displaystyle{ \sum\limits_{i=k-1}^{n-1} T(n-1,i) T(i,k-1) } & \text{otherwise} \...
- 5,890
0
votes
1
answer
55
views
Combining two Dirichlet polynomials into one polynomial
I want to write $$\sum_{m_1,m_2\le M}\frac{a(m_1)}{m_1^s}\frac{a(m_2)}{m_2^{1-s}}$$ as one single Dirichlet polynomial that is, I want to find the Dirichlet polynomial $\sum_{n\le N}f(n)n^{-s}$ such ...
- 103
0
votes
1
answer
85
views
Factorization of polynomials vanishing on quadrics: divisibility by the defining equation
Let $P(x,y,z)$ be a real polynomial that vanishes on the ellipsoid defined by $$ g(x,y,z) := \frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} - 1 = 0.$$ How can one rigorously justify the ...
- 11
2
votes
0
answers
55
views
Equivalent definitions of volume of representations (or characteristic classes of flat bundles)
Statement of the problem:
Let $M$ be a closed connected oriented manifold with fundamental group $\Gamma$ (considered as covering transformations acting on its universal cover). Let $G$ be a (...
- 21
6
votes
1
answer
142
views
Circle action on free loop space of a classifying space
It is a folklore result that if $G$ is a discrete group and $BG$ its classifying space, then the free loop space $L(BG)$ is homotopy equivalent to $EG\times_{Ad} G$ where $EG$ is the universal $G$-...
- 113
3
votes
1
answer
131
views
A structured recursive formula for the complete homogeneous symmetric polynomial
I recently discovered a recursive, closed-form summation formula that appears to compute the complete homogeneous symmetric polynomial $h_n(x_0, x_1, \dots, x_{m-1})$, but in a more structured and ...
- 39
0
votes
0
answers
36
views
From global to local: strong failure of regularity (quasirandomness) in random bipartite graphs
Let $n$ be a positive integer and $\varepsilon > 0$ with $\varepsilon \ll 1$ and $n \gg 1/\varepsilon$. Let $G = (A, B, E)$ be a bipartite random graph with $|A| = |B| = n$, where each edge between ...
- 379
0
votes
0
answers
56
views
Fejér-Riesz inequality for $H^p$ on the unit disk for more general curves
Let us consider the Hardy space $H_p$ on the unit disk, and a function $f \in H_p$. There's an inequality by Fejér and Riesz stating that:
\begin{equation}
\int_{-1}^{1} |f(x)|^p \, dx \leq \frac{1}{2}...
1
vote
0
answers
58
views
Projective module over Robba ring
Is a projective module finitely generated over Robba ring free?
-2
votes
0
answers
49
views
Can we have a descending powerset class in Stratified ZF?
Working in $\sf Stratified \ ZF + Class \ Comprehension$, where class comprehension is that of Morse-Kelley. Is there anything to forbid having a class $C$ that meet these two conditions:
$\forall x \...
- 12.4k
-1
votes
0
answers
22
views
Sigma Algebra- All of Statistics [migrated]
I am reading the book All of Statistics by Larry Wasserman. In the first chapter he defines probability axioms and says that it is not always possible to assign probabilities to all the subsets of a ...
6
votes
0
answers
96
views
Is there a model category structure for C-homotopy?
After reading Harry Altman's question about homotopy with regards to arbitrary connected spaces I started wondering about the extent to which the notion defined there is compatible with more recent ...
- 15.7k
0
votes
0
answers
43
views
What do invariant subspaces of graph-related matrices encode?
The question that I have posted here is as follows:
The eigenvalues of the adjacency matrix or laplacian matrix for a given graph $G$ has been relatively well studied. These provide a rather ...
- 179
1
vote
0
answers
60
views
Ordinary Quivers for Infinite-Dimensional Algebras
I am wondering if there is an analogue to the ordinary quiver for a finite-dimensional, basic, connected $\Bbb K$-algebra. In particular, I am interested in an ordinary quiver for the polynomial ring $...
- 11
0
votes
0
answers
50
views
Maximal density of overlapping circle packing
I'm looking for a way to prove that on a plane if we place points with a minimal distance of $d$ and each point is the center of a circle of radius $d$ then the density of the plane is no more than $\...
- 1
0
votes
0
answers
43
views
When is −∥x−y∥+∥A(x−y)∥ a CPD kernel ? - Difference of CPD radial kernels remains CPD (Bernstein functions)
I’m studying a family of translation-invariant kernels built from two norms and would like to understand exactly when their difference remains conditionally positive-definite. In particular, we focus ...
- 1
0
votes
0
answers
23
views
Uniform entropy bounds for unions of VC subgraph classes
I'm working with VC subgraph classes of functions, say $\mathcal{F}$ and $\mathcal{G}$, which are both uniformly bounded and admit envelopes $F$ and $G$, respectively. I came across a useful lemma (...
- 125
1
vote
0
answers
178
views
Periodic cyclic homology and Hochschild homology
Suppose we have a quasi-compact quasi-separated scheme $X$ and consider $D_{QCoh}(X)$ the dg enhancement of derived category of quasi coherent sheaves on $X$. Then the Hochshild Homology $HH_*(X)$ is ...
- 481
2
votes
1
answer
196
views
Endomorphisms of groups schemes involving $\mathbb{G}_a$ and flat base change
Let $R$ be a ring of positive characteristic. Let $G$ be a commutative affine and smooth group scheme over $R$. I consider two abelian groups:
$$M(G):=\mathrm{Hom}(G,\mathbb{G}_{a,R})$$
and
$$N(G):=\...
- 1,509