# All Questions

**-3**

votes

**0**answers

62 views

### Determinant of a tensor product [on hold]

Let V and W be two vector spaces over a field of characteristic zero.
Give a formula for the top exterior power of V tensor W.

**5**

votes

**2**answers

102 views

### Stable unions without stable images

A regular category is one with finite limits and pullback-stable images (i.e. (regular epi, mono) factorizations). A coherent category is a regular category that also has pullback-stable finite ...

**0**

votes

**1**answer

93 views

### Doubling metrics, doubling measures, Lebesgue density

As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...

**3**

votes

**1**answer

127 views

### Asymptotics on the number of ways to pair off $\{1, 2, \dots, 2n\}$ into primes

Given $S = \{1, 2, \dots, 2n\}$, we can always pair off elements into $n$ pairs such that each sum to a prime. The proof of this fact is easy and follows from Bertrand's postulate.
Now, let $\gamma(n)...

**0**

votes

**0**answers

45 views

### When are these sums consecutive integers? [on hold]

It is possible to construct $\frac{n(n-1)}{2}$ sums which each contain two distinct summands chosen from a set $n$ numbers. For which $n\geq 3$ do there exist a set of $n$ (distinct) integers such ...

**2**

votes

**0**answers

139 views

### Fields generated by torsion points of CM elliptic curves

I'm using the same setup as Corollary 1.7 on p. 44 of de Shalit manuscript (Iwasawa theory of elliptic curves with complex multiplication).
I think there is a mistake in his Corollary 1.7 and I'm ...

**2**

votes

**0**answers

81 views

### Threshold for prophet inequality

The prophet inequality is related to the following scenario:
Suppose there are $n$ independent positive random variables $X_1,\dots,X_n$. They might not be identically distributed. We reveal them ...

**1**

vote

**1**answer

115 views

### Maps between symmetric powers of the natural module for $SL_2 (k)$ in prime characteristic

Let $G=SL_2(k)$ considered as a linear algebraic group over an algebraically closed field of prime characteristic. Let $E$ be the natural module for $G$ and denote by $S^r (E)$ its $r-$th symmetric ...

**2**

votes

**0**answers

66 views

### An question about Cauchy Problem in General Relativity [on hold]

Yesterday, in Brazilian School on Differential Geometry, a friend asked me the question:
Given an (non-trivial) initial data set $(M,g,k)$ for the Cauchy problem in General Relativity. Is there ...

**-5**

votes

**0**answers

47 views

### Is a continuous two variables function also continuous with respect to each variable? [on hold]

I have a simple question, let $f:X\times Y\rightarrow Z$ be a map with two variables, and $X,Y,Z$ are topological spaces, I want to know if $f$ is continuous, then how about $f_{x_{0}}:Y\rightarrow Z$ ...

**3**

votes

**1**answer

268 views

### Geometric intuition for the condition of Galois descent

Continuing in my attempts to understand bits and pieces of Borceux and Janelidze's Galois Theories, I've just realized that I don't have any geometric intuition for the most convenient ...

**3**

votes

**0**answers

44 views

### Which blow ups in the base of a conic bundle preserve the “standard” condition?

Assume we are given a nontrivial standard conic bundle $\pi: X\rightarrow S$, that is $X$ and $S$ are smooth projective varieties (say over $\mathbb{C}$), $\pi$ is flat and furthermore we have $Pic(X)=...

**-4**

votes

**0**answers

43 views

### How can i integral of this function? [on hold]

I want to know how can i solve this function.
$\int (1-y^d)^n \, dy$
Is it possible to solve it?
If you know the method, please teach me.

**1**

vote

**0**answers

50 views

### Is the category of prederivators cartesian closed?

The question is in the title. ${\bf PDer} = Fun({\bf Cat}^\text{op}, {\bf CAT})$ is obviously cartesian since $\bf CAT$ is. The usual argument for presheaf categories does not apply directly since 1-...

**1**

vote

**0**answers

28 views

### Strict/strong functors are co/reflective inside lax functors, the coendy way

Bozapalides' remarks on lax presheaves show that the category $[{\cal A}^\text{op}, {\bf Cat}]$ is reflective and coreflective inside the category of lax functors, lax natural transformations and ...

**2**

votes

**1**answer

53 views

### How to compute bounding coefficients for McDiarmid's inequality?

I am trying to understand the proof in Sec. A2 of Gretton et al.. To make the question self-contained, I summarize below the key ingredients. At the end of the post, I state my question.
Given a ...

**3**

votes

**1**answer

139 views

### Kähler classes for surfaces of general type with $c_1^2=3c_2$

Given a smooth, compact complex surface with ample canonical bundle satisfying $c_1^2=3c_2$, is it true that every Kahler class is a multiple of $c_1$? This seems to be the case for fake projective ...

**0**

votes

**0**answers

10 views

### Numerical methods for variational inequality involving the Dirichlet-Neumann operator

I am currently writing my master thesis about the numerical computation of a solution to the following variational inequality by means of the time-domain boundary element method.
Let $Q\subset \...

**3**

votes

**0**answers

94 views

### A question about smooth convex lattice polygons

Let $P$ be a smooth convex lattice polygon in $\mathbb{R}^2$ (the lattice being $\mathbb{Z}^2$). Here smooth means that at any vertex of $P$, the two primitive integer vectors (i.e. vectors whose ...

**1**

vote

**0**answers

62 views

### Monomial algebras and depth

Let $R:=k[x_1,\ldots, x_n]$ be the standard polynomial ring. Let $I\subseteq R$ be a monomial ideal of height $\ge 2,$ and $\{\ell_1, \ldots, \ell_{t}\}\subseteq R_1$ an $R$-regular sequence.
Assume $...

**0**

votes

**0**answers

13 views

### Does a vector belongs to a simplicial subcone when it belong to cone with more than n generators?

Assume $x_{0}\in \text{cone}(a_{1},\dots,a_{N})$, where $a_{i}\in \mathbb{R}^{n}_{+}$ ($a_{i}\in \mathbb{R}^{n}$, and $a_{i}\geq 0$) for $i=1,\dots,N$ (i.e., $x_0$ lies in the cone generated by $a_{i}$...

**0**

votes

**0**answers

77 views

### a modular character problem [on hold]

Let $B\in$Bl$(G|D)$ and suppose that $\sigma\in$Aut$(G)$ fixes every $\chi\in$Irr$(B)$. If $d\in D$, show that $d$ and $d^\sigma$ are $G$-conjugate. It is a problem from Navarro's book "characters and ...

**3**

votes

**1**answer

59 views

### Gap-opening perturbations of the periodic Schrödinger operator

I am trying to understand this short paper and I am getting stuck right at the end.
Let $V(x)$ be $C^\infty$ and 1-periodic (that is, $V(x)=V(x+1)$).
We are considering the operator
$$A=-\dfrac{d^2}...

**0**

votes

**0**answers

23 views

### Super classical r-matrices and Poisson Lie supergroups

In classical case, given an r-matrix $r$ for $sl_n$, we can compute the corresponding Poisson bracket on $SL_n$ by using the formula $\{L \otimes L\} = [r, L \otimes L]$. For example, let $g=sl_2$ and ...

**3**

votes

**0**answers

158 views

### Artin conjecture on L-functions

Artin conjecture on Artin $L$-functions asserts that the Artin $L$-function $L(\rho,s)$ of a non-trivial irreducible representation $\rho$ of the Galois group $\Gamma$ of a number field admits ...

**2**

votes

**0**answers

33 views

### Partially permutative matrices

Let $V$ be a finite dimensional vector space over a field $K$. Then a map
$L:V\otimes V\rightarrow V\otimes V$ is said to satisfy the Yang-Baxter equation if $(L\otimes I)(I\otimes L)(L\otimes I)=(I\...

**8**

votes

**1**answer

192 views

### Restriction of irreducible unitary representation to normal subgroup of finite index

Let $G$ be a Lie group (or more generally a locally compact group), let $N$ be a closed and normal subgroup of $G$ of finite index. Let $H$ be an infinite dimensional complex Hilbert space, and let $\...

**-1**

votes

**1**answer

46 views

### About the critical points of quasi-convex functions

What do we know about the structure of critical points of quasi-convex functions?
I am looking for statements like "the critical points of a quasi-convex function are always either a global minima ...

**6**

votes

**0**answers

64 views

### k-flats in homogeneous spaces

In a symmetric space of rank $k$ (and I'll take $k > 1$) every geodesic is contained in a $k$-flat: a totally geodesic, flat, connected, and closed submanifold of dimension $k$.
Question. Are ...

**2**

votes

**1**answer

128 views

### Size of automorphism group of random regular graph

If I pick a random regular graph on $n$-vertices and degree $d$ from uniform distribution what is the probability that its automorphism group is of size at least $m$?
--
I want to know what is the ...

**17**

votes

**0**answers

278 views

### Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (with ...

**3**

votes

**0**answers

86 views

### The number of monotone Boolean functions

In the paper "The number of monotone Boolean functions" A. D. Korshunov calculates an asymptotic number of the number of monotone Boolean functions
(see https://en.wikipedia.org/wiki/Dedekind_number)...

**3**

votes

**0**answers

62 views

### Minimal algebraic degree of symmetric unit distance embedding of Heawood graph

I'm looking at embeddings of the Heawood graph in the plane as unit distance graph. Apparently the first such embedding was given by Gerbracht, 2009 and has algebraic (over the rationals) coordinates ...

**0**

votes

**0**answers

79 views

### What is the sharpest bound of this sum?

Fix $y\geq 1$ and let $\delta$ be a small enough positive real number. Put
$$\mathcal{D}^{+}=\left\{d=p_{1}...p_{l}: p_{l}<...<p_{1},\ p_{m} \leq y_{m} \ \textrm{for all odd} \ m \right\},$$
...

**0**

votes

**1**answer

78 views

### A uniform Lebesgue density theorem

The Lebesgue density theorem in $\mathbb{R}^n$ may be stated as follows. For a Lebesgue-measurable $A\subseteq\mathbb{R}$ and $r>0, x\in\mathbb{R}^n$, define
$$ \chi_{A,r}(x)=\frac{\mu(A\cap B_r(x))...

**-4**

votes

**0**answers

70 views

### How do I go about solving the following problem? [closed]

Given $(m_1,m_2, ...,m_r)\in Z^r_{\geq 0}$, and $a_1, a_2, · · · , a_r \in \mathbb{N}$ such that: $\sum_{i=1}^r a_im_i=qL$
where $L$ denotes the least common multiple of $a_1, a_2, · · · , a_r$ and $...

**3**

votes

**1**answer

128 views

### Number of distinct variables used in axiomatizating (Classical) Propositional Logic

The first part of the present question is concerned with Classical Propositional Logic (CPL). The second part involves its fragments or alternative logical systems.
There are in the literature many ...

**3**

votes

**0**answers

75 views

### Random polyominoes containing $2\times2$ squares

The construction quoted in the question "How to sample a uniform random polyomino?" claims to produce a "uniform random polyomino". But apart from the mentioned possibility of getting stuck, it also ...

**0**

votes

**0**answers

55 views

### An idea of two sided invertible matrix [closed]

Can you suggest me a reading material that expand on the idea of two matrices that are inverse to each other but which are not square matrices?
Here's what I think of, take $A$ a matrix of order $n\...

**0**

votes

**0**answers

87 views

### Quotient of Cohen-Macaulay ring

Let $A$ be a Cohen-Macaulay ring, and $I$ an ideal of $A$.
What can we say about $\operatorname{depth}(A/I)$?
I know that $\operatorname{depth}(A/I)\le \dim(A/I)$.

**8**

votes

**0**answers

226 views

### De Rham Cohomology in positive characteristic

This question is about the possible existence of a "compactified" algebraic De Rham cohomology in positive characteristic.
Namely, one knows that, for a smooth, but not proper, variety $U$ over a ...

**7**

votes

**2**answers

517 views

### When is a functor a right derived functor?

Suppose we have Grothendieck abelian categories $\mathcal{A}, \mathcal{B}$. Suppose also we have given an exact functor of triangulated categories
$$
F \colon D(\mathcal{A}) \to D(\mathcal{B})
$$
...

**-5**

votes

**1**answer

87 views

### What are the most important mathematical prerequisites for machine learning? [closed]

Next week I like to start the machine learning class with Andrew Ng and now I like to brush up on some mathematical topics. My inquires let me to some recommendations:
Linear Algebra: matrices
...

**1**

vote

**1**answer

185 views

### What is the structure group of the Hopf fibration $S_1\rightarrow S_3 \stackrel{p}\rightarrow S_2$?

I am studying fiber bundles and have thoroughly reviewed the famous example of the Möbius strip. In that example, I learned how to discover that the structure group of the Möbius strip fiber bundle ...

**1**

vote

**0**answers

44 views

### BV functions with values in metric space

$
\newcommand{\IR}{\mathbb{R}}
\newcommand{\IN}{\mathbb{N}}
\newcommand{\supp}{\operatorname{supp}}
\newcommand{\divergence}{\operatorname{div}}
\newcommand{\Lip}{\operatorname{Lip}}
$
Let $E$ be a ...

**0**

votes

**0**answers

21 views

### Existence of solution to first order pde [closed]

Let $U : = \big(-\frac 12, \frac 12 \big)^2 \setminus B_R(0)$ for some sufficiently small $R > 0$.
I would like to prove the existence of a solution $\rho = \rho (x_1, x_2)\in C^1(U)$ to the ...

**1**

vote

**0**answers

64 views

### Eigenvalues of the Laplacian modulo primes

Let $d\geq 1$ be an integer and consider $M = \mathbb{R}^d / \mathbb{Z}^d$. Let $\Delta$ be the Laplace operator on $M$. Then the eigenvalues are $$\frac{1}{4 \pi^2}\lambda_{\vec{k}} = |\vec{k}|^2.$$
...

**8**

votes

**1**answer

112 views

### Small set such that $\{1 , \ldots , n\} \cdot A = \mathbb{Z} / p \mathbb{Z}$

Let $p$ be a large prime and $n < p$. What is the smallest size of a set $A \subset \mathbb{Z} / p \mathbb{Z}$ such that $A \cdot \{1 , \ldots , n\} = \mathbb{Z} / p \mathbb{Z}$? Here $\cdot$ ...

**5**

votes

**2**answers

158 views

### Some examples of $\mathbb Q$-Gorenstein smoothing

I am trying to understand $\mathbb Q$-Gorenstein smoothings, and especially the third condition in the following definition.
Definition. For a normal projective surface $X$ with quotient ...

**0**

votes

**0**answers

33 views

### Controlling the size of the balls in Hausdorff dimension/measure

Let $X$ be a compact metric space, and let
$$
\nu_s(X):=\sup\limits_{\varepsilon>0} \inf\limits_{\mathcal{E}} \sum\limits_{E \in \mathcal E} \mathrm{diam}(E)^s
$$
be the $s$-dimensional Hausdorff ...