Most active questions
780 questions from the last 30 days
8
votes
1
answer
437
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
- 3,065
5
votes
1
answer
263
views
Central isogeny, Shimura varieties and exceptional cases
For a simple complex Lie algebra $\mathfrak g$, its weight lattice is not equal to the root lattice (i.e. the center of its simply connected form is a non-trivial finite group) iff $\mathfrak g$ is of ...
- 6,622
2
votes
1
answer
235
views
Tiling with one of each shape
Q. Is there a tiling of the plane by one each of simple polygons of $n$ vertices:
one triangle, one quadrilateral, one pentagon, $\ldots$ ,
one simple polygon of $n$ vertices, $\ldots$ ?
Here a ...
- 151k
3
votes
1
answer
344
views
Fundamental group of the grid on $\mathbb{R}^\mathbb{N}$
The grid on $\mathbb{R}^2$ is defined by the set of points such that at most one coordinate is not an integer. With this in mind, e endow $\mathbb{R}^\mathbb{N}$ with the product topology, where $\...
- 48.9k
3
votes
1
answer
597
views
Primes which are safe and Sophie Germain
If $p$ is a Sophie Germain prime then $2p+1$ is safe prime.
If $2p+1$ is safe prime then $p$ is Sophie Germain prime.
What is their conjectured distribution of primes $p$ which are both Sophie ...
- 13.9k
9
votes
1
answer
298
views
Connected open sets in the topology generated by the collection of connected open sets
Let $(X,\mathcal{T})$ be a connected topological space. Let $\mathcal{T}'$ be the topology on $X$ that is generated by the collection of connected open sets in $(X,\mathcal{T})$. That is, the ...
8
votes
1
answer
231
views
Preserving non-conjugacy of loxodromic isometries in a Dehn filling
Suppose that $g$ and $h$ are non-conjugate loxodromic isometries in a cusped hyperbolic $3$-manifold $M$ of finite volume. Fix a cusp $T$ of $M$. Can I choose a hyperbolic Dehn filling of $M$ along $...
-1
votes
1
answer
238
views
Almost Complex Structure extending to Complex Structure, aka "Integrable"
Let $M$ be a smooth manifold of (real) dimension $2n$. An almost complex structure $J$ on $M$ is a linear vector bundle isomorphism $J \colon TM\to TM$ on the tangent bundle $TM$ such that $J^2 = − 1 \...
- 6,048
6
votes
1
answer
564
views
Destroying scales
Suppose $\lambda$ is a cardinal with uncountable cofinality and $C\subseteq\lambda$ is a club of ordertype cf$(\lambda)$. Let $f=\langle f_\xi\mid\xi<\lambda^+\rangle$ be a scale consisting of ...
- 533
5
votes
1
answer
268
views
UFD property for power series in characteristic 0
Samuel famously produced an example of a UFD, namely $S = R_{(x,y,z)}$, where $R = K[x,y,z]/(x^2+y^3+z^7)$ and $K$ has characteristic 2, such that the power series extension $S[[ x ]]$ is not a UFD. ...
1
vote
1
answer
266
views
Group element of group algebra
For a prime $p$, let $G$ be a finite $p$-group and $F_{p}$ the field with $p$ elements.
Let $A=\{a\in F_{p}G \mid a^{\sum_{x\in G}x}\neq 0\}$, where $F_pG$ is the group algebra of $G$ over $F_p$ and $...
- 171
1
vote
1
answer
418
views
Uses of the Mukai vector
Let $X$ be say a smooth projective variety. For $\mathcal{E}^\bullet \in D^b(X)$ the so-called Mukai vector is defined as $$v(\mathcal{E}^\bullet) = \operatorname{ch}(\mathcal{E}^\bullet)\sqrt{\...
- 137
4
votes
1
answer
275
views
Maximum density of sum-free sets with respect to Knuth's "addition"
A subset $S\subseteq\mathbb{N}$ is said to be sum-free if whenever $s,t\in S$, then $s+t\notin S$. For instance the set of odd numbers is sum-free and has (lower and upper) asymptotic density 1/2.
...
- 48.9k
7
votes
1
answer
177
views
Ergodicity of action of finite index subgroups in the boundary
Let $\Gamma < \operatorname{PSL}_2(\mathbb{R})= \text{Isom}^+(\mathbb{H^2})$ be a discrete subgroup. Suppose $\Gamma$ acts ergodically on the boundary of the hyperbolic plane $\partial{\mathbb{H}^2}...
- 1,101
6
votes
1
answer
230
views
Can one define second-order equinumerosity in MSO via first-order cardinality quantifiers?
Let $L$ be MSO (Monadic Second Order Logic) extended with an $n$-ary second-order cardinality predicate (i.e., a first-order cardinality quantifier) $C_R$ for every $n$-ary relation $R$ on the ...
- 2,555
13
votes
1
answer
286
views
Finiteness of the number of Hopf subalgebras
Let $H$ be a finite-dimensional Hopf algebra over the complex field.
Question: Does $ H $ have a finite number of Hopf subalgebras?
In the case where $ H $ is semisimple, the answer is yes. According ...
6
votes
1
answer
282
views
effective descent of coherent sheaves
I am new to stacks and algebraic spaces. I have the following question:
Let $X$ be a scheme and $G$ be a group scheme action on $X$. Then $X/G$ exists as an algebraic space. Let $\pi: X \to X/G$ be ...
- 613
6
votes
1
answer
166
views
Obstruction theory for specializing perfect complexes?
I'm considering a problem around the moduli of perfect complexes.
Let's consider a $X$ smooth proper over Spec($R$), $R$ is a DVR, $char=0$, equipped with a perfect complex $\mathcal F$ on $X_{K(R)}$.
...
- 71
5
votes
1
answer
287
views
Codimension zero embeddings and maps with small fibers
Edit: as explained in my comment on alesia's answer, I mistakenly did not ask below the question I intended (due to my misguided efforts to simplify it). Thus, I revised and reposted my question here.
...
- 501
5
votes
1
answer
301
views
Operations on filtered / graded vector spaces via $\mathbb{A}^1 / \mathbb{G}_m$
A well known fact (e.g. Moulinos - The geometry of filtrations) is that one can describe the category of filtered vector spaces as $\operatorname{FilVect} \simeq \operatorname{QCoh}(\mathbb{A}^1/\...
- 834
11
votes
2
answers
203
views
For what $n$ do there exist non-periodic tilings with rotational symmetry of order $n$?
More precisely, given an integer $n$, does there exist a non-periodic tiling, where there are infinitely many patches within the tiling, of indefinitely large area, with rotational symmetry of order $...
- 283
7
votes
1
answer
218
views
Is there a more natural way to define the Young symmetrizer and the Specht module?
It's well known that Young symmetrizer is a fundamental tool in the representation theory of symmetric groups.
For instance, for every Young diagram $\lambda\vdash n$, we construct a Young tableau $T_\...
3
votes
1
answer
180
views
Left exact functor $F$ preserves quasi-isomorphism between $F$-acyclics
In this math overflow page, the poster gives a proof of the statement "an additive left exact functor $F$ preserves quasi-isomorphisms between $F$-acyclic objects." I'm having trouble ...
4
votes
1
answer
379
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
3
votes
1
answer
167
views
Theory of $n$-truncated $A_\infty$ categories/functors?
One can define certain higher categorical truncations. For example, a discussion from the quasi-categories point of view can be found in HTT 5.5.6.
On the other hand, as a model of linear $\infty$-...
- 169
2
votes
3
answers
182
views
Stabilizers of the action of Levi on abelianization of nilpotent radical
$\DeclareMathOperator\Lie{Lie}$Let $G$ be a simple connected reductive group over $\mathbb C$. Consider a parabolic subgroup $P=MU$ of $G$, where $M$ is a Levi of $P$ and $U$ is the unipotent radical ...
- 6,622
4
votes
1
answer
262
views
Are renormalizability and the criticality of a PDE synonymous?
In the physics literature a quantum field theory is qualitatively classified as renormalizable, super-renormalizable, or non-renormalizable. This heuristic is based on how many Feynman diagrams ...
- 721
3
votes
2
answers
158
views
Restriction of a locally finitely supported function on an ordinal is finitely supported?
This is a question about set theory. Let $f:\delta\rightarrow H$ be a function from an ordinal $\delta< \omega_1$ to an arbitrary abelian group $H$. Endow $\delta$ with the order topology. Let $f$ ...
- 61
6
votes
1
answer
257
views
Strict versus weak Gray tensor product
For two strict $(\infty,\infty)$-categories $C$, $D$
one can consider the strict lax Gray tensor product $C \otimes_\text{strict} D$.
Similarly, for two weak $(\infty,\infty)$-categories $C$, $D$
one ...
- 1,361
3
votes
1
answer
197
views
Fibrations of categories with terminal objects
Fix $\mathbf{B}$ for a category with pullbacks.
Proof: $(\Longrightarrow)$ Suppose that $P$ is a fibration of categories with terminal objects. Then for every $I$ in $\mathbf{B}$ there is an object $...
- 615
5
votes
1
answer
276
views
$\ell$-adic analogue of Kedlaya–Mochizuki
There is a well-known analogy between holonomic $\mathcal{D}$-modules on complex algebraic varieties and $\ell$-adic perverse sheaves on varieties over finite fields. Many theorems in one setting have ...
- 771
1
vote
1
answer
187
views
Existence of Finite Amicable Groups
I'm interested in exploring the concept of "amicable groups" as follows:
Definition. Two finite groups $G$ and $H$ are called amicable groups if:
$G$ is the direct sum of proper subgroups ...
2
votes
1
answer
185
views
Number of rational points of a quotient of connected linear algebraic groups
Let $H$ be a closed connected subgroup of a connected linear algebraic group $G$ over an algebraically closed field of characteristic $p>0$, and let $\sigma=\sigma_q$ be the standard Frobenius ...
- 23
3
votes
1
answer
367
views
Variants of Grothendieck section conjecture
Let $X$ be a smooth projective variety defined over a field $k$. We fix the following notations : $\overline{k}$ denotes the algebraic closure of the field $k$, $X_{\overline{k}}$ denotes the variety $...
- 443
3
votes
1
answer
202
views
Matrix-tree theorem for inverse matrices
Let $L$ be the Laplacian of a directed weighted graph on $n$ nodes, e.g., for $n=4$:
$$
L = \left(\begin{array}{cccc} w_{1,1}+w_{1,2}+w_{1,3}+w_{1,4} & -w_{1,2} & -w_{1,3} & -w_{1,4}\\ ...
- 20.2k
5
votes
1
answer
236
views
Explicit Jacquet-Langlands correspondence for real reductive groups
Let $G$ be a connected reductive group over $\mathbb R$. Let $G'$ over $\mathbb R$ be an inner form of $G$ with ${}^LG={}^LG'$. By local Langlands correspondence over $\mathbb R$, if a $L$-packet of $...
- 6,622
7
votes
2
answers
445
views
Kobayashi-Nomizu "Foundations of differential geometry" on page 117 wrong?
$\DeclareMathOperator\GL{GL}$Let $M$ be a smooth manifold, $G$ a Lie group and $P(M,G)$ a principal $G$-bundle and $\rho: G \to \GL(V)$ of $G$ a representation with $V$ finite-dimensional $\mathbb{F}$-...
- 331
4
votes
1
answer
228
views
Literature Request: The derived category is Krull-Schmidt
I am looking for literature where it is proven that the derived category of bounded complexes over a finite-dimensional algebra is Krull-Schmidt. I found this question
Literature request: $K^b(\text{...
1
vote
1
answer
350
views
The number of intersection points of two completely monotonic functions
Is there a way to show that two completely bounded decreasing monotonic function which are also differentiable over $[0,\infty)$ intersect at most at one point? or showing some counterexamples.
...
- 49
4
votes
1
answer
245
views
Group action on affine variety induces faithful action on tangent space
I have a queestion about the proof of Lemma 2.2 from the paper arxiv 1105.3739:
Let $G$ be a group acting faithfully on an irreducible affine variety $X=\operatorname{Spec}(A)$ over $k= \Bbb C$. ...
- 6,048
4
votes
1
answer
218
views
Reference request: Algebras over monoid objects in a monoidal category [duplicate]
Looking for a reference for the following easy-to-prove fact:
Say $T$ and $S$ are monads on $\text{Set}$ admitting a monoid homomorphism $\phi : S \to T$ (i.e., a morphism in $\text{Mon}([\text{Set},\...
3
votes
2
answers
187
views
Algorithms (or packages) to find recurrence relations for given sequence of q-polynomials?
Assume we have sequence of polynomials : $P_i(q)$ - each term is polynomial in $q$. (With integer coefficients, but hopefully it is not important).
We expect that there exists recurrence relation a ...
- 24.9k
4
votes
1
answer
183
views
About the reduction type of the Kodaira symbol of elliptic curves defined over p-adic local fields
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $E$ be an elliptic curve defined over $K$. Tate's algorithm can be used to compute the Kodaira symbol of the reduction type of $E$.
However, I ...
- 77
5
votes
1
answer
153
views
Does there exist a section of $\mathcal{P}(\kappa)\to\mathcal{P}(\kappa)/(\text{fin})$ that is "nearly Boolean"?
The following might be a somewhat esoteric question:
Does there exist an infinite cardinal $\kappa$ and a section $f$ of the quotient map $\pi:\mathcal{P}(\kappa)\to\mathcal{P}(\kappa)/(\text{fin})$ (...
- 2,830
5
votes
1
answer
209
views
Compactness in trace class operators space
Let $H$ be a separable Hilbert space. Let $L_1$ denote the space of trace class operators on $H$ with the trace-class norm $\|\cdot\|_1$, i.e. $\|K\|_1=Tr|K|$ for all $K\in L_1$.
Are there easy ...
- 59
4
votes
1
answer
155
views
Kirby diagram of the complement of a subhandlebody of a smooth closed 4-manifold
Let $X$ be a smooth closed connected 4-manifold. It admits a handlebody structure, having a unique 0- and a unique 4-handle. We can express the handlebody structure as a Kirby diagram (https://en....
- 213
8
votes
1
answer
246
views
Is $\operatorname{non}(\mathcal{M}) < \mathfrak{a}$ consistent?
Let $\operatorname{non}(\mathcal{M})$ be the least cardinality of a non-meagre subset of the reals. Let $\mathfrak{a}$ be the least cardinality of an infinite maximal almost disjoint family (i.e. $\...
- 1,442
-3
votes
2
answers
196
views
Which self homeomorphisms preserve measure on a torus, apart from affine? [closed]
Which self homeomorphisms preserve measure on a torus, apart from affines? Affine is the composition of rotation and automorphism. Measure is the Lebesgue measure.
- 83
1
vote
3
answers
162
views
Upper Bound for $\mathbb{E}\left[\max_{j \in \mathcal{N}} h_{j}\right]$
Assume $\{h_j\}_{j\in \mathcal{N}}$ are independent Gamma random variables, each with potentially different distributions and parameters. I am looking for an upper bound for $\mathbb{E}\left[\max_{j \...
- 41
9
votes
1
answer
302
views
What are the points of the algebra of polynomial functions on an arbitrary vector space?
Let $V$ be an arbitrary vector space over some field $\mathbb{K}$ (UPD: of characteristic 0), $V^*=\mathrm{Hom}(V,\mathbb{K})$ its linear dual. Let $\mathrm{Sym}_\mathbb{K}(V^*)$ be the free ...
- 480