0
votes
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
8answers
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
5answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
3answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
5answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
1answer
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
0answers
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
2answers
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
1answer
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
4answers
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: ...

15 30 50 per page