All Questions
153,393
questions
4
votes
1
answer
565
views
Smith Normal Form for block matrices over the integers
Are there any known results on the Smith Normal Form for block matrices over the integers?
In particular, I am interested in matrices of size $kr \times ks$ made of square blocks of size $k$ such that ...
5
votes
1
answer
210
views
Aperiodic set of corner Wang Tile [closed]
There is quite some reference on aperiodicity of the edge-type of Wang Tile. But I could not yet find aperiodic corner type of Wang Tiles... Could someone provide me some instances (better with ...
6
votes
3
answers
809
views
Pseudo-automorphisms on Fano varieties
Is every pseudo-automorphism (self-birational map which does not contract any hypersurface) of a smooth Fano variety of Picard rank $1$ equal to a biregular automorphism?
Remark: For $\mathbb{P}^n$, ...
7
votes
0
answers
336
views
A question about cardinal numbers when the Axiom of Choice is absent
The Axiom of Choice constrains every set of cardinal numbers which is linearly ordered by size to be well-ordered. By contrast, does ZF-without the Axiom of Choice (but with the Axiom of Foundation)-...
10
votes
0
answers
349
views
Is there a "hereditary" construction for $L$?
Recall that $L$, Godel's constructible universe is constructed by defining the following hierarchy:
$L_0=\varnothing$, for a limit ordinal $\delta$, $L_\delta=\bigcup_{\alpha<\delta}L_\alpha$, and ...
2
votes
1
answer
104
views
Why do rotationally ordered configurations have well defined distributon function?
Let $u=(u_{j})_{j \in \mathbb{Z}}$ where $u_{j}\in \mathbb{R}$ for all $j \in \mathbb{Z}$ be a rotationally ordered configuration i.e. $S_{n,m}u>u$ or $S_{n,m}u<u$ or $S_{n,m}u=u$ where
$u<v$...
1
vote
1
answer
709
views
Is Mumford's statement about the representability of some functor wrong?
I am having trouble proving a result in Mumfords book 'Lectures on Curves on an Algebraic surface.
It is a statement about the representability of some functor. It is stated on page 108 and says the ...
6
votes
1
answer
301
views
A variation on Bulgarian solitare
It appears that a variation on Bulgarian solitare has a fixed point regardless
of the starting $n$.
For example, let $n=69$, and consider this partition:
$$
(8,8,7,7,5,5,5,5,5,4,3,3,2,2)
$$
In ...
2
votes
1
answer
129
views
Controling mixed derivatives
This is a cross-post from Math.SE since the question got nothing (but upvotes) even after offering a decent bounty. If it is too trivial or in other ways not suited for this site, please let me know ...
1
vote
0
answers
219
views
Reference on calculation of 2nd cohomology group
Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
3
votes
2
answers
196
views
Inverse Fourier of $\omega^{-1+{\rm i}\alpha} u(\omega-1)$
Let $\alpha$ be an arbitrary real number and define
\begin{align}
\widehat{f}(\omega)=\left\{\begin{array}{ll}
\omega^{-1+{\rm i}\alpha}, & \omega>1,\\
0, & \textrm{otherwise}.
\end{array}
\...
12
votes
1
answer
629
views
Nonunital $E_\infty$-rings
An elementary fact of algebra is that the category of nonunital commutative rings is equivalent to that of $\mathbb{Z}$-augmented unital commutative rings, the equivalence being given by forming ...
6
votes
1
answer
1k
views
How to check if a symmetric random variables is the difference of two iid symmetric random variables
I have the continuous symmetric random variable $X$ in $\mathbb{R}$. If I know its distribution function $F(x)$ what are the conditions on $F(x)$ so that $X=Y_1 - Y_2$ where $Y_i$ are also iid ...
3
votes
1
answer
582
views
An identity for elementary symmetric functions
Trying to understand a result in a representation theoretical paper, I realized that it implies the following elementary identity for symmetric functions. My question is whether this identity is true, ...
7
votes
3
answers
2k
views
Characterising the adjoint representation of SU(N)
One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an $...
5
votes
2
answers
421
views
An interesting calculation of derivative
I was trying to get the probability distribution $p(n)$ from a generating function $G(s)$ like this:
$G(s) = e^{a(s-1)^2}=\sum s^np(n)$
I need first to do Maclaurin expansion of the exponential and ...
3
votes
1
answer
356
views
The convergence of Matrix factorization
I'm trying to prove the convergence of Matrix factorization.
The problem is described below.
$|X-WH|^2 + |H|_2^2 +|W|_2^2$.
My optimization steps are using Alternating least squares which update H ...
2
votes
1
answer
594
views
On the pole of local L-function
Let $F$ be a number field and $v$ a finite place of $F$.
Let $\chi_v$ be a unramified unitary character of $F_v$.
Then we define local L-function $L_v(s,\chi_v):=\frac{1}{1-\chi_v(\omega)q^{-s}}$ ...
0
votes
1
answer
293
views
Hilbert scheme of a closed subscheme
Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over }...
29
votes
1
answer
2k
views
Is there a higher Grothendieck ring of varieties?
Fix a field $k$. The Grothendieck ring $K_0(\mathrm{Var}_k)$ of varieties over $k$ is defined as the quotient of the free abelian group on isomorphism classes of algebraic varieties by the scissor ...
4
votes
1
answer
220
views
Fixed point relation $\ Fix\ $ for pairs of manifolds
First the classical definition: a topological space $X$ has the fixed point property (fpp) $\ \Leftarrow:\Rightarrow\ $ for every continuous $\ f : X\rightarrow X\ $ there exists $\ p\in X\ $ such ...
8
votes
2
answers
459
views
Inverse cohomological isomorphisms
Let $\ M'\ M''\ $ be simply-connected Hausdorff compact manifolds (possibly with boundary for another variant of the question). Let $\ f:M'\rightarrow M''\ $ be a continuous function which induces an ...
3
votes
0
answers
140
views
Non-finitely based varieties and pseudovarieties
The variety of semigroups defined by $B=\Big\{(x^py^p)^2=(y^px^p)^2:p \text{ is prime}\Big\}$ is non-finitely based (Isbell, 1970). Is the pseudovariety defined by $B$ also non-finitely based?
More ...
1
vote
1
answer
212
views
Does projective duality preserve arithmetic-Cohen-Macaulay-ness?
Let $V$ be a vector space over $\mathbb{C}$.
Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring $\...
2
votes
0
answers
238
views
Finitely generated groups non-embeddable into $L_1(0,1)$
I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups:
(1) Heisenberg group $\...
8
votes
0
answers
646
views
Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)
Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...
2
votes
0
answers
224
views
Ostaszewski space's construction Lemma
I'm studying the Ostaszewski's article "On Countably Compact, Perfectly Normal Spaces". I'll add some context. Lemma 1.2 says the following:
Let $X$ be a locally compact, zero-dimensional and ...
4
votes
2
answers
281
views
Is there an easy way to tell if all eigenvalues of a unitary or self-adjoint matrix only have eigenvalues of multiplicity two?
I am interested in a class of $2n\times 2n$ unitary matrices with complex entries (if you prefer, we can replace "unitary" with "self-adjoint").
I know that all the eigenvalues of matrices in this ...
7
votes
0
answers
209
views
Limits and colimits in a 2-category vs. in an infinity category: the non- (2,1)-case
Suppose that $\mathscr{C}$ is a $2$-category (or more generally a bicategory) which is not a $\left(2,1\right)$-category. Is there any relation between limits and colimits in $\mathscr{C}$ (in the ...
4
votes
0
answers
754
views
Examples of unproven but likely true existential sentence (in the sense of incompleteness)
Some examples of universal statements that are unproven but likely true include the Riemann hypothesis (all non-trivial zeros of the zeta function have real part 1/2) and the Goldbach conjecture (all ...
3
votes
1
answer
270
views
Criteria for abstract polytopes to be convex polytope
Suppose I have an abstract polytope defined by a poset. Are there any methods for determining whether the abstract polytope can be geometrically realized as convex-hull on its set of vertices?
2
votes
2
answers
1k
views
Gaussian expectation of an exponentiated outer product
Given a normal random column vector $\mathbf{x} \sim N(\mu, \Sigma)$, I need the expectation,
$$ E\left[ \exp(\mathbf{xx}^\top)\right]$$
where $\exp(\cdot)$ is element-wise exponential function (not ...
-1
votes
1
answer
372
views
Collatz property implying infinite "fall below" trajectories, is it known?
(this was discovered analyzing Collatz empirically.)
a key aspect of resolving Collatz involves looking at the number of iterations for trajectories to "fall below" the initial value.
consider a ...
22
votes
7
answers
3k
views
Where to find (personal) motivation [closed]
I think it would be appropriate to make this question CW...
It is likely that this question will not survive here on MO for long, but I do hope that the community gives it a chance. I also hope to ...
1
vote
1
answer
294
views
Bi-invariant one forms on compact Lie groups
I'm hoping to learn of a criterion for the existence of a bi-invariant one form on a Lie group $G$. I'm looking for a reference that there are no such one forms son $SU(n)$ (as long as this is in fact ...
1
vote
0
answers
170
views
Does the canonical morphism commute with the inverse image functor?
I am trying to prove the representability of the Quotient functor.
I have the following problem.
Let $\phi \colon T \to S$ be a morphism of noetherian schemes and let $F$ be a coherent sheaf on $\...
3
votes
1
answer
575
views
Concavity of the solution of a parametric implicit function
Suppose $F(x,y;k)=f(x,y)+kg(x,y)=0$ uniquely defines the solution $y(x;k)$ for $x\in \mathbb{D}$, a compact domain, and $0\leq k \leq 1$ is a parameter. We know that for $k=0,1$, $y(x;0)$ and $y(x,1)$ ...
0
votes
1
answer
146
views
Dimension of a similarity class
Let $K$ be an algebraically closed field with characteristic $0$. I consider the Jordan decomposition of a NILPOTENT matrix: $A=diag(J_{r_1},\cdots,J_{r_s})\in M_n(K)$ where $J_k$ is the nilpotent ...
5
votes
1
answer
554
views
What is known about the Brauer group of an arithmetic surface?
Let $X$ be an arithmetic surface over $\mathbb{Z}$, that is we have $\pi: X\rightarrow Spec(\mathbb{Z})$, $X$ is integral, two-dimensional and regular and $\pi$ is projective and flat.
What is known ...
6
votes
3
answers
2k
views
Estimating the variance of a discrete normal distribution
Let $f(x; \sigma) = \frac{1}{\sigma\sqrt{2\pi}}\cdot e^{-\frac{x^2}{2\sigma^2}}$ be the probability density function of a normal distribution $\mathcal{N}(0, \sigma^2)$. We consider a discrete normal ...
2
votes
1
answer
194
views
Degree of a smooth curve in an abelian variety
Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$.
Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in $...
7
votes
0
answers
190
views
Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$
$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying
$b$ is bilinear,
$b(x,...
4
votes
1
answer
167
views
Stabiliser of the lamination of a free group - Invariant subgraphs
I am studying the paper "Laminations, trees, and irreducible automorphisms of free groups" of Bestvina, Feighn and Handel. But I found a note in the paper "Stabilisers of $\mathbb{R}$-trees with ...
6
votes
1
answer
975
views
Left invertible operators of $B(X,Y)$
Suppose that $X$ and $Y$ are Banach spaces. Is $\{f\in B(X,Y):f\ \text{has a left inverse}\}$ an open subset of $B(X,Y)$?
5
votes
1
answer
733
views
Arbitrarily large $n$ divides $F_n$
Is it true that there exists $n \in \mathbb{N}$ with arbitrarily many prime factors such that $n$ divides $F_n$, where $F_n$ represents the n-th Fibonacci number?
3
votes
1
answer
684
views
Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$
I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...
8
votes
5
answers
1k
views
Small values of a polynomial evaluated at roots of unity
The MO answer https://mathoverflow.net/a/98176/11926 notes the following: Let $\gamma$ be an algebraic number that is not a root of unity. Then Baker's theorem implies that there is a constant $C(\...
1
vote
1
answer
246
views
Hilbert scheme of an infinitesimal neighborhood of a subvariety
Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...
4
votes
1
answer
706
views
Automorphism group of a smooth quadric $Q\subset\mathbb{P}^4$
Let $Q$ be the smooth quadric threefold in $\mathbb{P}^4_{\mathbb{C}}$ defined by the equation
$x_0x_4+x_1x_3+x_2^2=0$.
Is it true that the automorphism group of $Q$ is $SO(Q;\mathbb{C})$ which is ...
8
votes
1
answer
308
views
A conjecture about strongly regular graphs
Let $G \neq K_{v}$ be a $(v,k,\lambda,\mu)$ strongly regular graph. After perusing through Brouwer's tables of parameters I have formed the conjecture $$\lambda-\mu \leq \frac{k}{2}.$$
So far I have ...