All Questions

0
votes
0answers
3 views

Is this problem in $NP$?

Where is the problem 'Given two $n$ many homogeneous system of polynomials in $\mathbb Z[x_1,\dots,x_n]$ with degree $2$ do all there integer roots agree?' in the polynomial hierarchy? Is there a ...
0
votes
0answers
2 views

Order statistics of correlated bivariate Gaussian

Suppose $(X_1,Y_1),...,(X_n,Y_n)$ are i.i.d. bivariate Gaussian with mean zero. Each coordinate has variance 1 and correlation between coordinates is $\rho\in[-1,1]$. I'm interested in the following ...
0
votes
0answers
4 views

Adiabatic limit of the torus bundle on the circle

Let $(S^1,g_1)$ be a circle with length $L$ and $(T^2,g_2)$ a flat torus where $T^2=\mathbb C/\{\mathbb Z \oplus \mathbb Z \tau\}$ for $\text{Im}\, \tau>0$. If $(M^3,g_{\epsilon})$ has a fibration ...
0
votes
0answers
4 views

Example of a Manifold which has One Non-zero Component of Ric corresponding to Scalar Curvature

I am wondering if there is a simple example of a manifold such that, given a value for the scalar curvature $R$, I can find a manifold such that the Ricci tensor has all zero components except for one ...
0
votes
0answers
14 views

Showing a differential operator is positive semidefinite

Let $R>\lambda>\chi$ be positive real constants and $\alpha$ be a real number. The following differential operator \begin{multline} \mathcal{L}g = -\frac{d}{d\xi}\left[(1-\xi^2)\frac{dg}{d\xi}\...
1
vote
0answers
18 views

Bishop-Gromov inequality strengthened for anisotropic metrics?

The Bishop-Gromov inequality provides an upper-bound on the rate of growth of volume of a ball of radius $r$ in spaces that have a lower-bound on the Ricci curvature, $Ric \geq (n-1)K$. (I am ...
3
votes
0answers
24 views

Minimizing union of overlapping rectangles

Believe it or not, this has something to do with making triangle-free graphs bipartite... We have a collection of $k$ axis parallel rectangles with side lengths $(a_i,b_i)$. We want to arrange them (...
0
votes
0answers
16 views

Is transverse measure on a foliation without closed leaves unique?

Let $(F,\nu)$ be a Thurston's foliation on a surface $S$ with a non-zero transverse measure $\nu.$ Assume that $F$ has no closed leaves nor compact separatrices. Did anyone study such foliations? ...
0
votes
0answers
24 views

Subgroup of the symmetry group of $Zer(\zeta)$ preserving multiplicity

Let $Zer(\zeta)$ denote the multiset of the non trivial zeros of the Riemann zeta function counted with multiplicity and $G$ the group of isometries of the complex plane preserving this multiset ...
2
votes
1answer
46 views

Eigenfunctions of elliptic equations

Let $\Omega$ be a bounded region in $\mathbb{R}^n$ and $a_1, a_2$ be smooth positive functions such that $a_1-a_2$ is compactly supported in $\Omega$, and $a_i>c>0$, for some constant $c$. ...
5
votes
0answers
47 views

Symmetric function transition matrix and a non-conjecture by Stanley

Consider the transition matrix $$ p_\lambda = \sum_{\mu} R_{\lambda\mu}m_\mu $$ between the power-sum and the monomial basis. There are plenty of combinatorial descriptions of $R_{\lambda\mu}$, it is ...
5
votes
0answers
81 views

Construction of a $K(\pi,1)$-space?

My colleague suggested a proof of a fact which I have hard time to believe. Since I am not a topologist by training I am asking it here. Consider any CW-complex structure on the $d$-dimensional ...
0
votes
0answers
88 views

Why is Con(ZFC) independent from ZFC? [on hold]

I am assuming that ZFC is consistent here. By Godel's second incompleteness theorem, Con(ZFC) cannot be proved in ZFC. How do we know that it cannot be disproved? Couldn't ZFC (wrongly) claim its own ...
3
votes
0answers
81 views

What is wrong with this argument that $ \mathbb{A}^{2}_{k} $ is not cancellative in positive characteristic?

I have a question about a result of Abyankar, Heinzer, and Eakin, and a similar result in Russell. One of the results in the first paper is that if $ Y $ is a variety such that $ \mathbb{A}^{1}_{k} \...
3
votes
0answers
45 views

An easier reference than “On the Functional Equations Satisfied by Eisenstein Series”?

I'd like to learn about Eisenstein series so I started reading "On the Functional Equations Satisfied by Eisenstein Series"by Langlands. http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/...
2
votes
0answers
59 views

Recognizing a restriction from $SL_2(\mathbb{C})$ to $SL_2(\mathbb{Z})$

I am aware that classifying all $SL_2(\mathbb{Z})$ representations is more or less completely intractable, but I was wondering what is known about the following simpler question: How do I recognize ...
1
vote
0answers
33 views

Do the values of the global dimension constitute an interval?

Let $Q$ be a fixed finite connected quiver and $k$ a fixed field. Set $Z_Q:= \{ gldim(kQ/I) < \infty | I $ an admissible ideal $\}$. Question: Is $Z_Q$ an intervall? This is true for example in ...
1
vote
0answers
32 views

Gaussian isoperimetry for $\ell_p$ norms

Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$. It is well-known (e.g see Proposition 1) that for a given Gaussian volume content, half-spaces $H=\{x \in \mathbb R^n | a^Tx \le b\}$ ...
1
vote
0answers
35 views

Classification of surface curves?

Having a genus $g$ closed orientable surface $\Sigma$ (connected sum of $g$ tori), how do I encode any embedded closed curve up to planar isotopy? For $g=1$ we can just state the coefficient $k \in \...
3
votes
0answers
33 views

Conjecture for a certain Cauchy-type determinant

Given the Cauchy-like matrix $$ (\mathbf X)_{mn} = \frac{2}{\pi} \frac{ \Gamma\!\left(m - \frac{1}{2} \right)\Gamma\!\left(n + \frac{1}{2} \right) }{ \Gamma(m)\,\Gamma(n) } \frac{m-\frac{3}{4}} {\left(...
2
votes
0answers
48 views

Approximation of a compactly supported function by Gaussians

Let $f:\mathbb{R}\to\mathbb{R}$ be a compactly supported smooth function, say $\text{supp}(f)=K$. Then $f$ can be approximated (e.g. in $L^2$) by a linear combination of Gaussian densities, i.e. $$ f(...
1
vote
0answers
24 views

Constant map from automorphic form is surjective?

Let $G$ be a connective reductive group over $\mathbb{Q}$ and $P=NM$ be a standard parabolic subgroup of $G$ and and $K$ a 'good' maximal compact subgroup of $G$. (For precise definition of these ...
1
vote
0answers
12 views

Matrix trace minimization of quadratic and linear terms under orthogonal manifold constraints

How would one solve the following orthogonal manifold problem? $\max_{\{X : X^\top X = I\}} \text{tr}(X^\top A X - X^\top B)$ where $A \succeq 0$ I've seen one method that successively performs the ...
-1
votes
0answers
27 views

Some kind of idempotence of dense filter

In discussion of following questions question1, question2, question3 became clear (see definitions in question3 ) that for the Frechet filter $\mathcal{N}$ we have $\mathcal{N}\nsim\mathcal{N}\otimes\...
8
votes
0answers
57 views

Ordinal-valued sheaves as internal ordinals

Let $X$ be a topological space (feel free to add some separation axioms like “completely regular” if they help in answering the questions). Let $\alpha$ be an ordinal, identified as usual with $\{\...
5
votes
0answers
60 views

Scheme of relative connected components

Let $f\colon Y\to X$ be a morphism of schemes. Assume $f$ is finitely presented, flat, with geometrically reduced fibers. Then Romagny has proved that the "functor of relative geometric connected ...
1
vote
1answer
58 views

Countable union of well ordered sets

Assume I have a sequence $(A_i)_{i<\omega}$ of well-ordered subsets of an ordered set $S$. Assume that $A:=\underset{i<\omega}{\cup}A_i$ is also well-ordered. Let $\alpha$ be an ordinal upper ...
2
votes
0answers
19 views

Reference Request: $n$-edge-coloring bipartite graph $K_{n,n}$ such that monochromatic parts are isomorphic

I am finding references for the following problem: We call a $n\times n$ 0-1 matrix permutation if there are exactly one $1$ in each row/column. Suppose $A$ is a 0-1 matrix of size $n\times n$ in ...
5
votes
0answers
46 views

Two models for the classifying space of a subgroup via the geometric bar construction

Let $H$ be a topological group which is a subgroup of two other topological groups $G$ and $G'$. It follows (from Rmk 8.9 in May - Classifying spaces and fibrations (MSN, free)) that there exist weak ...
-3
votes
0answers
40 views

Example of non-trivial foliation

Let $M$ be a closed oriented manifold, an oriented foliation $F$ is said non-trivial, if $F$ is not fibration of $M$, i.e. there does not exist a closed manifold $B$, such that $M\overset{F}{\to} B$. ...
-3
votes
0answers
34 views

solving fractions results in 2 different answers [on hold]

Question - 156 biscuits to be shared amongst 18 of us. How much does each get? How many remain? 156/18 = 8r12, so answer is each gets 8 while 12 remain. If I simplify the fraction like 156/18 = 26/...
1
vote
0answers
47 views

Completion in the non-noetherian case

Let $A$ be a non-noetherian, commutative $\mathbb{C}$-algebra and $X, Y$ be noetherian affine $\mathbb{C}$-schemes. Denote by $X_A:=X \times_{\mathbb{C}} \mbox{Spec}(A)$ and $Y_A:=Y \times_{\mathbb{C}}...
2
votes
1answer
40 views

Expectation of the norm of a random vector

Suppose $X$ is a random vector denoted as $(X_1,\cdots,X_n)$, where $X_1,\cdots,X_n$ are iid random variables with sub-Gaussian distributions. For all $i$, suppose $E[X_i^2]=1$ for simplicity and $\|...
2
votes
0answers
47 views

Open Questions about Wasserstein Space and PDE

While working on my thesis, I encountered the idea of OMT and started reading some more (like Villani's book). In particular, I came across a PhD thesis by Martial Agueh. I thought it was interesting ...
0
votes
1answer
44 views

Semi-rigid boolean algebras

A boolean algebra is rigid if it has no nontrivial automorphisms. Call it semi-rigid if none of its nontrivial automorphisms has any fixed points other than 0 and 1.* The four-element algebra $\{0, b, ...
1
vote
0answers
26 views

Class of groups closed under “line supgroup”ing

Given a finitely generated group $H$, say that $G$ is a "line supgroup" of $H$ if $H < G$ (not necessarily normal), $G$ is finitely generated and for some set of generators of $G$, the Schreier ...
1
vote
0answers
31 views

Ideals generalizing maximal ideals and ideals generated by regular sequences

Let $R$ be a local commutative Noetherian ring with maximal ideal $m$. My questions concern ideals $I \subseteq m$ of $R$ such that for any non-zero number $n \in \mathbb{N}$ the $R/I$-module $I^n/I^...
0
votes
0answers
62 views

Reconstructing almost known polynomial from a system of polynomials with common roots

We have $n$ algebraically independent degree $2$ homogeneous system of polynomials with $\mathbb Z$ coefficients in $n$ variables with exactly $t$ primitive (gcd of coefficients is $1$) integer roots ...
3
votes
0answers
51 views

Is Ackermann's set theory minus class comprehension equal to ZF?

Ackermann in 1956 proposed an axiomatic set theory. Reinhard proved that Ackermann's set theory equals ZF It's clear that Zermelo set theory can be interpreted in Ackermann's set theory minus class ...
5
votes
0answers
88 views

Do analytic functionals form a cosheaf?

Let $X$ be a complex-analytic manifold. Consider the sheaf of holomorphic functions $\mathcal{O}_X$ as a sheaf with values in the category of locally convex vector spaces. For $U\subseteq X$ open, we ...
-5
votes
0answers
55 views

Is this a new way to make Collatz variants? [on hold]

Summary: https://drive.google.com/file/d/1Esf-mEYWnzkBxV-UVVre2kUpri3t2IQR/view?usp=sharing Since I discovered the Collatz conjunction this month I got hooked by it. When I first saw the function f(...
3
votes
0answers
38 views

Lower semicontinuous and convex envelope

L.Ambrosio, in paper [1] writes: Let $g:\mathbb{R}\times\mathbb{R}^n\rightarrow\mathbb{R}$ be a function (...) for every $s\in\mathbb{R}$, $z\in\mathbb{R}^n$; we denote, with a slight abuse ...
-1
votes
0answers
63 views

Domain of exponential map [on hold]

Let $M$ be a Riemannian manifold and $exp_p:T_{p}M\rightarrow M$ be the exponential map. Let $\gamma_v$ be a geodesic starting at $p$ with the $\gamma_v'(0)=v$. Also define $I_v:= Domain (\gamma_v)$ ...
4
votes
0answers
36 views

Lambek calculus, linear logic, and linear algebra

In his 1958 paper, The Mathematics of Sentence Structure, Joachim Lambek introduced the Lambek calculus. In modern terms, it could be understood as a syntax for biclosed monoidal categories, and he ...
1
vote
0answers
19 views

$\omega$-nilpotent cover of a recurrent surface

Theorem. Any $\omega$-nilpotent cover of a recurrent Riemannian manifold is Liouville. $\omega$-nilpotent ($\Gamma=\bigcup_{i=1}^{\infty}Z_{i}$, $Z_{i}$ normal in $\Gamma$, where $Z_{n+1}$ maps to ...
0
votes
0answers
20 views

Unions and sums of well-ordered positive subsets of ordered groups

Let $G$ be an ordered group. I am looking for a proof of the follwing facts : Let $S,T\subseteq G$ be well ordered subsets of $G$ with order type $\alpha,\beta$, respectively. Then $S\cup T$ is well ...
5
votes
2answers
334 views

Isometric embedding of a genus g surface

Can a genus $g$ surface with constant negative curvature and $g>1$ be isometrically embedded in $\mathbb{R}^4?$
0
votes
0answers
48 views

Find representation set of orbits when group acts on a set

Let group $G$ acts on a set $S$. Burnside's lemma gives as how to count numbers of orbits. I am interested how to find the orbits. By finding orbits I mean how to find a representative from each orbit....
4
votes
1answer
66 views

What curve of positive curvature minimizes distance from the origin, given length and total curvature?

Let $\textit{F}$ be the family of $C^1$ curves in $\mathbb{R}^2$ of fixed length $\bar{l}$ and fixed tangent's turning angle $\bar{k}$. What are the curves of positive curvature in $\textit{F}$ ...
1
vote
0answers
35 views

Dimension of the skein module of a closed manifold?

I'm looking for a reference to Witten's conjecture that the free part of the (Kauffman bracket) skein module of a closed 3-manifold is finitely generated, i.e. the dimension of $K(M)$, where $M$ is a ...

15 30 50 per page