Newest Questions
159,110 questions
12
votes
1
answer
471
views
Is the Grothendieck construction a homotopy pullback?
The category of elements of a functor $F:\mathcal C\to\mathsf{Set}$ can be obtained as the strict pullback in with the forgetful functor of pointed sets $\mathsf{Set_*}\to\mathsf{Set}$:
$$
\begin{...
- 527
1
vote
1
answer
312
views
Weak convergence in $H^{1}$ implies different convergence in $L^{p}$?
Suppose I have a sequence $\{f_{n}\}_{n\in \mathbb{N}} \subset H^{1}(\mathbb{R}^{d})$ which converges weakly to $f$ in $H^{1}(\mathbb{R}^{d})$, in the sense that $\langle f_{n},\varphi \rangle_{L^{2}}+...
1
vote
1
answer
84
views
optimization over moving domains
Let $A, B$ be Banach spaces, and for any $a\in A$, $B_a\in B$ is a measurable subset. Consider the following optimization problem:
$$L(a)=\inf_{b\in B_a}\ell(b),$$
where $\ell(b)$ is a infinite-times ...
- 87
2
votes
1
answer
160
views
Measurability of two hitting times at the stopped $\sigma$-algebra
Let $\mathcal{F}=(\mathcal{F}_t)_{t\ge 0}$ be the complete filtration generated by the Brownian motion $B $, and let $a<0<b$. Define the stopping times
$\tau_a=\inf\{t\ge 0\mid B_t=a\}$ and $\...
- 503
5
votes
1
answer
212
views
Are $\infty$-categories functorially colimits of their simplices?
Let $\mathcal C$ be an $\infty$-category. If $C$ is a quasicategory modeling $\mathcal C$, then we have a coend decomposition
$$\mathcal C = \int^{[n] \in \Delta} \Delta[n] \times C_n.$$
This allows ...
- 64k
2
votes
1
answer
194
views
Minimal degree of a polynomial such that $|p(z_1)| > |p(z_2)|, |p(z_3)|, ..., |p(z_n)|$
I was investigating the behavior of $p(x)^n \mod {q(x)}$, for some polynomials $p, q \in \mathbb{C}[x]$. We'll assume $q$ is squarefree. If $q(x) = (x - z_1) (x - z_2) (x - z_3) ... (x - z_n)$ for ...
- 3,319
0
votes
1
answer
152
views
Almost Pell type equation
Consider the following Diophantine equation
$$
2x^2-Ny^2 = -1.
$$
where $N$ is an integer. Is there any result expressing the values of $N$ for which the above equation admits an integral solution?
- 8,998
1
vote
0
answers
117
views
Reduction mod 2 for orthogonal groups
Setting Let $k$ be a real quadratic field, $\mathbb Z_k$ its ring of integers. Let $n$ be an even integer $A$ a symmetric $n$-by-$n$ matrix with coefficients in $\mathbb Z_k$. Let $L$ be the lattice $\...
- 3,399
1
vote
0
answers
93
views
Basis of subgroup of free group
Let $F_2$ be a free group on $2$ generators $a, b$. We know $b$ and a conjugate of $b$, which is different from $b$, generate rank 2 free subgroup of $F_2$ and they are free generating set of the ...
- 11
0
votes
1
answer
115
views
Lifting an automorphism of a curve to an automorphism of its Jacobian
Let $C: Y^3Z = f(X,Z)$, with $f(X,Z)\in K[X,Z]$, a degree 4 homogeneous polynomial, and $K$ a field.
The curve $C$ has an order $3$ automorphism, given by sending $(x,y,z)$ to $(x,\omega y, z)$, where ...
- 2,907
1
vote
0
answers
145
views
Complexity of calculating the expectation of $\operatorname{Tr} h(A)$, $A$ is a random matrix
$A$ is a $d_1\times d_1$ random matrix. Given $\{g_i\}~(1\leq i\leq n)$ iid Gaussian variables, $f_{ij}(g_1,g_2,...,g_n)~(1\leq i,j\leq d_1)$ are degree-$d_2$ polynomials. And $f_{ij}\equiv f_{ji}~(\...
- 91
3
votes
1
answer
245
views
Integration against Eisenstein series can be regarded as a cup product
This summer, I was very fortunate and honored to attend the conference "Iwasawa 2023" at the University of Cambridge as a young Ph.D. student on Iwasawa theory. There, one of the speakers, ...
- 639
11
votes
2
answers
769
views
Are topological PID's Noetherian?
Romain Giquaud has given a counterexample to the general form of the question. The bounty is for a solution for locally compact, metrizable rings. (I suspect the answer may be positive with this ...
- 42.8k
5
votes
1
answer
594
views
MREF tool and TeX formatting
For sometime I have used the very useful MathSciNet MRef tool. It allows one to input a citation (e.g. from zbMath or from MRLookup, if you don't have MathSciNet access, as I didn't for a while, and ...
- 18.7k
2
votes
1
answer
176
views
Clique number of $k$-critical graphs
A graph $G$ is called a ${\it{k}}$-${\it{critical}}$ graph if $\chi(G)=k$ and for any proper subgraph $H$ of $G$ we have $\chi(H)<k$， where $\chi(G)$ denotes the chromatic number of $G$. The ...
- 51
1
vote
0
answers
128
views
Representability of twists of projective schemes
Let $K$ be a perfect field, and let $S$ be a projective $K$-scheme. Denote by $\text{Twist}(S/K)$ the set of twists of $S$ up to $K$-isomorphism. These are (apriori) sheaves $\mathcal{F}$ on the ...
- 2,907
10
votes
0
answers
488
views
Reconstruction of commutative differential graded algebras
Let $k$ be an algebraically closed field of characteristic $0$.
Let $A,B$ be commutative differential graded algebras (cdga) over $k$ such that $H^{i}(A)=H^{i}(B) =0 \ (i>0)$.
Here, differentials ...
- 889
3
votes
1
answer
340
views
On a Poincaré inequality with weight
Let $\Omega$ be a bounded convex (non-empty) open subset of $\mathbb{R}^n$ ($\Omega$ can be as smooth as you like). Let also $p, q > 1$ be conjugate exponents.
Is it true that there exists a ...
- 1,263
0
votes
1
answer
140
views
nonlinear equation problem
Can you please help me solve the following nonlinear equation to determine the value of the vector $z$ :
$$
\boldsymbol{a}=\boldsymbol{z}^{2} \odot \boldsymbol{K}*\boldsymbol{z}^{-1}$$
Where:
$\...
- 11
1
vote
0
answers
95
views
Linear Program Optimal Value
If $f(A,b,c)$ is the optimal value of a linear program
$\min c.x$
subject to $A.x \leq b ; x \geq 0.$
Does $f(A,b,c)$ have a piecewise polynomial/rational upper bound in $(A,b,c)$ on the domain of ...
1
vote
1
answer
150
views
Relative $G$-equivariant homology groups
Let $X$ be a free $G$-CW-complex with $G$-equivariant cell filtration by
$n$-skeleta $X_0 \subset \dots \subset X_n \subset \dots \subset X$ (for
rigorous definition see
Chap. II, p. 98 in linked ...
- 6,016
7
votes
1
answer
503
views
Combinatorial consequences of de Branges's Theorem?
I'm usually not a proponent of the mentality “here is a tool, what results can we prove with it?” (as I prefer to start at the other end with a well-motivated problem), but this famously entertaining ...
- 191
3
votes
2
answers
617
views
Negative of combinatorial game
I am having problem understanding what negative of a combinatorial game $G$ exactly means in combinatorial game theory. Does it mean that if I have normal game, if I create inverse, i.e., $-G = \{-G^R ...
- 31
2
votes
0
answers
169
views
Understanding the Seiberg-Witten equations in dimension $3$
I am trying to understand the dimensional reduction of Seiberg-Witten equations from dimension $4$ to $3$, more specifically my concern is about ellipticity of the new equations in dimension $3$ under ...
- 954
2
votes
0
answers
114
views
What is the quantity $\sqrt{\frac{c^2+d^2}{a^2+b^2}}$ of a matrix with determinant one?
Suppose that $A \in \mathbb R^{2 \times 2}$ has determinant one,
$$
A = \begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
$$
I'm currently working on a problem where I obtained a condition on the ...
- 173
6
votes
2
answers
724
views
In the constructive theory of direct categories, is it decidable whether an arbitrary morphism is an identity or not?
I'm wondering what the legit definition of direct categories should be in constructive mathematics. I must admit I don't even know in what literature I should look for the definition. I would ...
- 366
1
vote
1
answer
280
views
Application of Yamabe and Liouville type equation
Let $\Omega$ be a domain in $\mathbb{R}^n$. I am interested in the following critical elliptic partial differential equations (PDEs):
The Yamabe Type Equation (for $n>2$):
\begin{equation}
-\...
- 914
1
vote
1
answer
117
views
Do Gromov hyperbolic spaces admit concical geodesic bicombings?
Consider a metric space $(X,d)$ with a distinguished selection of geodesics, i.e. a geodesic bicombing $\sigma:X\times X\times [0,1]\rightarrow X$. We call a geodesic bicombing conical if it ...
- 364
2
votes
0
answers
164
views
Fractional Brownian motion covariance with a twist
Let $H \in (0, 1)$, $D \in \mathbb{R}$ and assume that the following function
$$
r ( t, s ) = \frac{1}{2} \, \Big[ t^{2H} + s^{2H} - | t - s |^{2H} \Big] + D \, t^H s^H,
\quad t, \, s \geq 0
$$
is ...
- 620
6
votes
1
answer
240
views
Does there exist quantum algorithms not homotopic to the identity?
Is it possible to operate on a single qubit by a map which has a degree not equal to one?
Let $c=c_0|0\rangle + c_1|1\rangle$ represent a qubit state where $c_0,c_1 \in \mathbb{C}$ and $|c_0|^2+|c_1|^...
- 571
2
votes
1
answer
229
views
The physical meaning of the $L^2$ norm of the gradient of the velocity in N-S equation
I'm reading Asymptotic Properties of Steady Plane Solutions
of the Navier-Stokes Equations
with Bounded Dirichlet Integral written by D. GILBARG and H. F. WEINBERGER. They studied the properties of an ...
- 809
8
votes
0
answers
558
views
What is the nicest bijection $\textbf{R}^p \to \textbf{R}^q$ that you know?
It is well-known that bijection between $\textbf{R}^p$ and $\textbf{R}$ exist (e.g. here, though many other examples exist).
The problem with all these examples of bijections is that typically the ...
4
votes
1
answer
334
views
GCD in $\mathbb{F}_3[T]$ with powers of linear polynomials
This is a continuation of my previous question on $\gcd$s of polynomials of type $f^n - f$.
Let us call $n > 1$ simple at a prime $p$ when $p-1 \mid n-1$ but $p^k - 1 \not\mid n-1$ for all $k > ...
- 63.1k
0
votes
0
answers
70
views
A cellular automaton with an image that is not closed
Let $G$ be a non-locally finite periodic group and let $V$ be an infinite-dimensional vector space over a field $\mathbb{F}$. Does there exist a nontrivial topology on $V^G$ and a linear cellular ...
- 883
0
votes
1
answer
133
views
$L^p$ boundedness for pseudo-differential operators
Let $\rho, \delta, m$ be real parameters such that $0\le \delta\le \rho\le 1, \delta<1$. The set $S^m_{\rho, \delta}(\mathbb R^{2n})$ is defined as the set of smooth functions $a$ on $\mathbb R^n\...
- 16.2k
0
votes
0
answers
87
views
coupling method for first hitting times
Consider a Markov process $(X_t: S \to S)_{t \ge 0}$ that begins with two initial probabilities $\mu_1$ and $\mu_2$ defined on the state space $S$. Let's define the first hitting time $\tau$ as $\tau:=...
user513728
0
votes
0
answers
138
views
Question about a step in the proof of the min-max principle
I honestly do not think this is a hard question, maybe it is even obvious but I tried MSE and had no success so far, so I am reproducing the question Question about the proof of the min-max principle ...
- 1,305
5
votes
1
answer
288
views
Realizing a finite subgroup of $\mathrm{Homeo}^+(S_g)$ as a subgroup of $\mathrm{Isom}^+(S_g)$
Let $G\leq \operatorname{Homeo}^+(S_g)$ be finite, where $S_g$ is a closed, connected, orientable surface of genus at least $2$. Then I have the following questions:
(1) Can $G$ always be realized as ...
- 79
5
votes
0
answers
107
views
Classifying spaces of crossed modules
Let $\mathcal{G}$ be a strict topological $2$-group, i.e. a strict $2$-category with a single object, a space of invertible $1$-morphisms, a space of invertible $2$-morphisms and continuous structure ...
- 7,637
3
votes
1
answer
212
views
Extreme case bounds on Diophantine approximation
I am wondering about the possible best case approximation and worst case approximation of irrational numbers. I think the appropriate formulation is whether there are functions $\hat{b}(q)$ and $\...
- 633
0
votes
1
answer
171
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 823
0
votes
1
answer
138
views
Is $\Gamma(z,1)\not=0$ for all $z$ with $\Re(z)<0$?
I found this paper online which appears to present zeros of the incomplete gamma function within the right half plane. It makes me think that there are no zeros in the left half plane. Not sure how to ...
- 402
0
votes
1
answer
396
views
A question on permutation groups
Let $a_1$, $a_2$, and $a_3$ be three involutions of a finite set such that $a_1 a_2 a_3$ is a cyclic permutation. Is the group generated by $a_1, a_2, a_3$ the symmetric group?
user513682
1
vote
1
answer
314
views
Inequality of three prime factors of $x^2-1$
This is about my experimental math observation on prime factorization of $x^2-1$
We can see, for many $x\in \mathbb{Z}_+$, the expression $x^2-1=(x-1)(x+1)$ gives result as a product of twin prime. ...
- 599
3
votes
1
answer
372
views
Subalgebras of quadratic algebras that are not quadratic
Suppose $A=k\oplus A_1 \oplus A_2\oplus \cdots$ is a quadratic algebra over a field $k$. Let $B$ be the subalgebra generated by a subspace $V\subseteq A_1$. What are the examples of such subalgebras $...
1
vote
0
answers
64
views
Colorability classes of graphs
Let $G=(V,E)$ be a simple, undirected graph, finite or infinite, with $V \neq \emptyset$. We consider the chromatic number $\chi(G)$ as a cardinal. We say that colorings $c:V\to \chi(G)$ are proper ...
- 48.9k
5
votes
1
answer
716
views
What is a particle in the context of QFT with interactions?
I'm a bit of a novice, so bear with me.
My understanding of the story is as follows.
From Lagrangians to Irreducible Representations
The story of the types of possible particles begins with the ...
- 323
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
2
votes
1
answer
153
views
Proof involving retractions onto apartments
Let $\Delta$ be a (thick) building and let $\Sigma$ be an apartment. Let $C$ and $C'$ be adjacent chambers of $\Sigma$. Then $C$ and $C'$ have common wall $B \in \Sigma$. Since $\Delta$ is thick, ...
- 139
1
vote
2
answers
237
views
I am looking for a paper by Zalgaller
I cannot find this paper online. Does anyone have a pdf file of it?
Zalgaller, V. A.
The k-dimensional directions that are singular for a convex body F in Rn. (Russian)
Zap. Naučn. Sem. Leningrad. ...
- 28k