# All Questions

**0**

votes

**1**answer

89 views

### Normal basis with cyclotomic units

Let p be an odd prime integer and let $\zeta$ be a primitive p-th root of unity.
Let $\alpha$ be a non-trivial cyclotomic unit of $\mathbb Q(\zeta)$, i.e. an element of the form ...

**0**

votes

**0**answers

4 views

### Do we know any bound on $lcm(2^1-1, 2^2-1,…,2^n-1)$?

We know that lcm(1,...n) is approximately $e^n$ and and also we know that $gcd(2^a-1, 2^b-1)=2^{gcd(a,b)}-1$.
I wonder if there exists an upperbound/lowerbound/approximation for $lcm(2^1-1, ...

**0**

votes

**1**answer

20 views

### Which function is $f(x)=x$ when $x>=0$ and $f(x)=0$ when $x=-1$

This is a very simple question that will not be a problem for any mathematician. With enough time I could come up with a non-optimal solution myself, but I know some of you may just provide the ...

**0**

votes

**1**answer

94 views

### generalization of highest weight theorem for semisimple lie algebras

Let $\mathfrak g$ be a real semisimple Lie algebra (without compact factors) with Iwasawa decomposition
$\mathfrak g=\mathfrak k\oplus \mathfrak a\oplus \mathfrak u$.
Let $\mathfrak p$ be a
...

**2**

votes

**2**answers

100 views

### “C^0 estimate for solutions to $\Delta(u)+e^{-u} \geq 0$”

Let $u: \mathbb{R}^2 \to \mathbb{R}.$ Suppose I have a solution to the equation
$$\Delta(u)+e^{-u} \geq 0$$ on $\mathbb{R}^2$. Let r be the radial coordinate on $\mathbb{R}^2$. Suppose that $$lim_{r ...

**1**

vote

**1**answer

38 views

### Local Uniform Convergence

Suppose $f(x)$ is a positive continuous function on $[0,\infty)$ and that $f(x+u)-f(x)\to 0$ as $x\to\infty$ for every given $u\in[0,\infty)$. Prove that, given any $a>0$, $f(x+u)-f(x)\to 0$, as ...

**18**

votes

**8**answers

522 views

### Historical (personal) examples of teaching-based research

The phrase "teaching-based research" brings to mind research about teaching, though important, it is not what I mean. Unfortunately, I couldn't come up with a better phrase, thus please bear with me ...

**25**

votes

**5**answers

2k views

### Elementary examples of the Weil conjectures

I'm looking for examples of the Weil conjectures---specifically rationality of the zeta function---that can be appreciated with minimal background in algebraic geometry. Are there varieties for which ...

**0**

votes

**0**answers

15 views

### Carleman Estimates in a Riemannian manifold

Suppose $(\Omega,g)$ is a Riemannian manifold where $\Omega$ is a domain in $\mathbb{R}^3$ with smooth boundary. Furthermore suppose there exists a global coordinate chart $(x_i)$ such that $g= dx_1^2 ...

**2**

votes

**1**answer

252 views

### Valuations on tensor products

Let $A$ be a commutative ring, $B$ (resp. $C$) be a commutative $A$-algebra endowed with a valuation $v$ (resp. $w$), not necessarily of rank 1. Assume that $v$ and $w$ induce equivalent valuations on ...

**4**

votes

**1**answer

92 views

### Existence of $\kappa$-Suslin trees above a measurable cardinal

We have learned from Joel David Hamkins and Monroe Eskew that:
Answers:
Having a measurable cardinal $\delta$ we can force a $\kappa$-Suslin tree for many $\kappa$'s above $\delta$.
But is the ...

**0**

votes

**0**answers

19 views

### Ness and suff condition for the embedding $A^X\otimes_A A^Y\rightarrow A^{X\times Y}$

This question is related to that one
Commutation of tensor products with inverse limits in a specific case
where it received a (partial) answer.
I can complement a bit: in any case, $A$ is supposed ...

**2**

votes

**0**answers

80 views

### Weak topology on subsets of a normed space

I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...

**34**

votes

**1**answer

2k views

### Optimization problem arising from the study of zeta zeros

Motivation: The following problem arose in [1] while studying the vertical distribution of the zeros of the Riemann zeta-function. At the time, my collaborators and I were unable to solve it and I ...

**8**

votes

**0**answers

200 views

### Degeneration of wildly ramified local monodromy representations - near or far from Deligne?

Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...

**-2**

votes

**0**answers

28 views

### Adjoint of Expoenential Map

Can the adjoint of the derivative of the exponential map of a lie group, be understood via the ad operator?
If so how, explicitly?

**0**

votes

**1**answer

273 views

### When is a power of an indeterminate in an ideal with 2 generators?

If I have an ideal ${\frak a} \colon= (f(X,S), g(X,S))$ of height $2$ in ${\Bbb C}[X, S]$, is it easy to know what power of $S$ is contained in $\frak a$? For example, what is the minimal number $m$? ...

**1**

vote

**0**answers

19 views

### A solvable Lie algebra

Consider the Lie algebra $\mathfrak{g}$ span by $x_1,\ldots,x_n,y_1,\ldots,y_n$ with the commutator
$\left[y_i,x_i\right]=y_i, \left[x_i,x_{i+1}\right]=y_i, \left[y_i,x_{i+1}\right]=-y_i,\quad 1\leq ...

**5**

votes

**2**answers

317 views

### When is the category of small (pre)sheaves a(n elementary) topos?

When $C$ is essentially small, the presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is the free cocompletion of $C$. The presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is also a topos.
When $C$ is ...

**-2**

votes

**0**answers

32 views

### What are all the factors of n=p^2q^3r? [on hold]

n=p^2q^3r
It has a total of 24 factors. I need to show all of the factors.

**3**

votes

**1**answer

303 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**4**

votes

**2**answers

256 views

### Universal coefficient theorem for group homology and cohomology

I've been looking for any kind of universal coefficient theorem for group homology and cohomology, including dual universal coefficient theorems. However, the only things I can find are ones where the ...

**1**

vote

**0**answers

33 views

### Minimize Product of Sums of Squared Distances

The Question
Given two sets of vectors $S_1$ and $S_2$，we want to find a unit vector $s$ such that
$$\{\sum_{u\in S_1}(\|u\|^2-\langle u, s \rangle^2)\}
\cdot
\{\sum_{v\in S_2}(\|v\|^2 - \langle v, ...

**0**

votes

**0**answers

12 views

### $l$-weights and $l$-character of finite-dimensional highest $l$-weight representation of $L\mathfrak{g}$

I am trying to solve the following problem, which is related to relatively recent results, but I am not sure how to do it.
Problem
In this problem, $\mathfrak{g}=\mathfrak{sl}_{2}$. We study ...

**2**

votes

**3**answers

203 views

### Is every algebraic $K3$ surface a quartic surface? [on hold]

Algebraic $K3$ surface means the $K3$ surface admits an ample line bundle. So the question is equivalent to asking whether every algebraic $K3$ surface can be embedded in $\mathbb{P}^3$.

**0**

votes

**0**answers

19 views

### Transitive closure of balanced bounded mass transport

Given two $\sigma$-finite measures $\mu$ and $\nu$ on $\mathbb{R}^n$, write $\mu \sim \nu$ iff there exist countable decompositions $\mu = \mu_1 + \mu_2 + \cdots$ and $\nu = \nu_1 + \nu_2 + \cdots$ ...

**0**

votes

**0**answers

24 views

### Upper bound involving random orthogonal projection

Let $R$ be an $n\times N$ random matrix with i.i.d. standard Gaussian entries, $n<N$, and let $M:=(RR^T)^{-1/2}R$. Let $u,v\in \mathbb{R}^N$ non-random and s.t. $u^Tv=0$ and $\|u\|>\|v\|$.
I ...

**3**

votes

**2**answers

410 views

### What's the name of this geometric mathematical modeling problem?

There is a right angle corner with width 1 in both directions. One wants to find the largest area shape which can pass through this corner.
I know that this is a famous problem, but what is it called?
...

**0**

votes

**1**answer

232 views

### Supremum in a Markov chain model

A Markov chain $X$ with finite state space $\{1,2,\cdots,N\}$ is defined on a probability space $(\Omega, P, \mathcal{F})$ equiped with filtration $\{\mathcal{F}_t\}$. And we assume that we can reach ...

**11**

votes

**0**answers

216 views

### Maximizing the number of semistandard Young tableaux

Is anything known about the following question? Given a positive
integer $p$ and a real number $0<\alpha<1$, what partition $\lambda$
whose parts sum to $\alpha p^2$ (asymptotically) and whose ...

**2**

votes

**1**answer

161 views

### Existence of a projection operator onto subspace of Hilbert space

Let $V \subset H$ be Hilbert spaces with a continuous, compact and dense imbedding. Let $\{w_j\}_j \subset V$ be a basis of $V$ and of $H$ (so finite linear combinitions are dense) which is not ...

**3**

votes

**0**answers

59 views

### Writing down gerbes explicitly over the projective line

Let $X = [\mathbb P^1/(\mathbb Z/2\mathbb Z)]$, where we take the trivial action of $\mathbb Z/2\mathbb Z$ on $\mathbb P^1$. Is this DM stack over $\mathbb C$ a gerbe over $\mathbb P^1$? Is it the ...

**0**

votes

**0**answers

50 views

### Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and ...

**5**

votes

**0**answers

555 views

### Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\!\langle X,Y\rangle\!\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then (as ...

**11**

votes

**2**answers

615 views

### Should one post a paper on the arXiv if it is not intended to be published?

A brief description: I have written a paper which contains a new result which I believe is somewhat important but not vital to the field. It is a generalization of an existing proof to get ...

**4**

votes

**1**answer

185 views

### When two determinantal ideals together generate a power of the maximal ideal?

(A somewhat technical question, but maybe it is well known.)
Consider matrices over the ring $k[[x_1,\dots,x_n]]$, whose entries vanish at the origin (i.e. belong to the maximal ideal ...

**0**

votes

**0**answers

18 views

### Rate-Distortion theory: What is the distribution of distortion on an optimal encoder?

If we wish to encode a gaussian source, $X\sim\mathcal{N}(0,\sigma^2)$ at rate $R$, rate-distortion theory tells us that the lowest mean-squared-error we can achieve from encoding is $\sigma^2 ...

**14**

votes

**5**answers

2k views

### Proof that no differentiable space-filling curve exists

Could someone provide a reference or a sketch of a proof that no differentiable space-filling curve exists?
Or piecewise differentiable?
Must every continuous space-filling curve be nowhere ...

**0**

votes

**0**answers

38 views

### Question on homogeneous measures

Let $\mu$ be a strictly positive measure ($m(a)=0$ iff $a=0$) on a Boolean algebra $B$. $\mu$ is called homogeneous if it have the same Maharam type on every $b\in B$.
By additive measure algebra I ...

**10**

votes

**1**answer

187 views

### Existence of a “quasi-uniform” probablility distribution on $\mathbb{Z}$

Does there exist a probability distribution on $\mathbb{Z}$ such that
for every integer $n\geq 1$, the probability that a random integer $x$
is divisible by $n$ equals $1/n$?
Henry Cohn has an ...

**39**

votes

**1**answer

1k views

### “Gross-Zagier” formulae outside of number theory

The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer conjecture. It relates the value at $1$ of the ...

**2**

votes

**1**answer

285 views

### Lindelöf subsets of $P$-spaces

A completely regular topological space $(X,\tau)$ is called a $P$-space, if every $G_\delta$-subset of $X$ is open. (i.e $\tau$ is closed under countable intersection). Here we recall some special ...

**0**

votes

**0**answers

25 views

### monotonicity alike functions

assuming we have two smooth function ${f_1},{f_2}:{R^N} \to R$,
under what condition, we have
${f_1}\left( {{{\bf{x}}_1}} \right) \ge {f_1}\left( {{{\bf{x}}_2}} \right) \leftrightarrow ...

**1**

vote

**1**answer

68 views

### Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory.
Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...

**9**

votes

**3**answers

747 views

### “Epicycles” (Ptolemy style) in math theory?

By analogy:
The epicycles of Ptolemy explained the known facts in the sun system and in this sense were not "wrong". But they distracted from a better insight. From another viewpoint, everything fell ...

**0**

votes

**1**answer

292 views

### Size of KL-divergence neighbourhoods

I am new here. I was reading another
post
here and this got me wondering what can be said about the size of the following kl divergence neighborhoods.
Consider these two kl-divergence neighbourhood ...

**-4**

votes

**0**answers

37 views

### how can i calculate the 2x2x2 (doublet tensorproduct) [on hold]

help me
the simple question
how can I calculate the
doublet@doublet@doublet
@ : tensor product
please teach me

**2**

votes

**2**answers

52 views

### Moment problem for discrete distributions

Let $x_1, \dots, x_N \in \mathbb R$ and consider the discrete distribution $\mu := \frac{1}{N} \sum_{i=1}^N \delta_{x_i}$, where $\delta_x$ denotes the Dirac measure, i.e. for any measurable set $B ...

**5**

votes

**1**answer

250 views

### A strange condition on containment of special complex numbers in cyclotomic fields

In a recent theorem we have naturally come across this condition, that seems to be important, but rarely satisfied:
$\sqrt{\frac 1 4 + a^m} \in \mathbb Q(\zeta_m, a)$
where $a\in\mathbb C^*$ and ...

**12**

votes

**4**answers

810 views

### Applications of set theory in physics

In the introduction of the paper "Links between physics and set theory", the following quote of Eris Chric is stated:
...