# All Questions

91 views

### No irreducible parallelizable manifold of given dimension

What is an example of a closed 4-manifold $M$ such that $M$ is parallelizable and $M$ is topologically (or at least smoothly) irreducible? Topological irreducible: it is not homemorphic to ...
157 views

### Consistency of the nonrigidity of $P(\omega_1)/NS$

Is it consistent with ZFC that there exists an automorphism of $P(\omega_1)/\mathrm{NS}_{\omega_1}$ which is not the identity?
95 views

### Defining Global Choice in terms of strong limit cardinals over $ZF$

In his answer to user33038's mathoverflow question "What axioms are stronger than the Axiom of choice?", Prof. Hamkins writes: "What's more, the axiom of choice is equivalent over $ZF$ to the ...
90 views

### When is a conformal class equal to a conformal orbit?

Let $(M,g)$ be a Riemannian manifold of dimension $n$. Let $\text{conf}(M,g)$ denote the conformal group, i.e. the subgroup of diffeomorphisms of $M$ that acts by conformal transformations relative to ...
211 views

### Differential geometry without the Hausdorff condition or the second axiom of countability

I would like to know how the standard differential geometry of manifolds would change if we didn't assume the Hausdorff condition and/or the second axiom of countability. There are some simple things ...
35 views

### Global minimization. How? [closed]

I know it's impossible to have an algorithm that finds the global minimum (without a brute force approach), for a general problem. I also understand that the efficacy of the flavour of minimization ...
81 views

### Does this notion of “$\mathcal{F}$-digraph” appear in the literature?

By a digraph, I mean a quiver with no multiple edges. So in particular: Loops are okay. An infinite set of vertexes is okay. Furthermore, I will tend to identify each digraph with its underlying ...
28 views

### Positive-definite and positive semi-definite matrixes sum [closed]

I'm doing an exercise of numerical analysis that ask me to demonstrate a particular sum of matrixes. From Wikipedia, I know that: M and N are two matrixes: if M is positive definite and r > 0 is ...
111 views

### perfect modules over polynomial algebra

This may be obvious. My question is short: $R$ is the polynomial algebra $\mathbb{k}[X_{1},\dots , X_{n}]$. Is the $R$-module $\mathbb{k}$ perfect in the sense that $\mathbb{k}$ is a compact object ...
458 views

### Matrix equation $XAXBXC=I$

Let $A,B,C$ be unitary matrices. Does there always exist a unitary matrix $X$ such that $$(XA)(XB)(XC)=I,$$ where $I$ is the identity matrix? The quadratic equation $(XA)(XB)=I$ has the solution ...
35 views

### Can Mumford-Shah functional be adapted to lower $L^1$ space?

The well know Mumford-Shah functional functional $$F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1$$ where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...
67 views

### Sum of two surjective operators

It is well-known that the sum of two surjective operators isn't (in general) a surjective operator (for example consider $A+(-A)$). When it happens that the sum of two surjective operators is still ...
338 views

### Minimum size of the union of sets

I came accross this combinatorial problem in my computer science research. You are given a collection of k sets $S_1,...,S_k$ such that for any $i \neq j$, $\vert S_i \setminus S_j \vert \geq p$ ...
129 views

### Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

It is known that (light-face) $\Sigma_3^1$ generic absoluteness is consistent with $\mathsf{ZFC}$: Friedman and Bagaria showed that it holds in the $\text{Coll}(\omega, < \kappa)$ extension of $V$ ...
108 views

### Question about mean square estimate for sums of Dirichlet coefficients of Symmetric Power $L$-functions

I have a question related to Coefficients of Symmetric power $L$-functions and I would be grateful if you could answer it. Let $\lambda_{Sym^rf}(n)$ be the $n$th Dirichlet coefficient of ...
79 views

### Possible argument against Height bound hypothesis

From this paper. $f(x,y)$ is polynomial with integer coefficients. $s(f)$ is its size, the sum of the logarithms of the absolute values of the nonzero coefficients, defined on p. 6. From p. 7. ...
67 views

### Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$. Let ...
179 views

146 views

### What's the name of this theorem? [closed]

I would like to know the name of a theorem that states that if a continuous variable (I.E. y) takes a positive (negative) value for x(i) and a negative (positive) value for x(j), it is sure that y has ...
35 views

### Quotient of cumulative binomial distribution functions

Given to integers $n < m \in \mathbb{N}_0$ and a probability $p$, I'm struggling to calculate (or at least get an upper bound for) the quotient $$Q = \frac{F(n+1;m,p)}{F(n;m,p)}$$ where $F$ denotes ...
158 views

### How does one identify flow lines on a vector bundle with those on the base in Morse theory?

In Chapter 4.2 of Schwarz's book on Morse homology there is a brief discussion of Morse theory on the total space of a smooth vector bundle $E \to M$. In particular, one can take the Morse function ...
83 views

### complex dynamic system and affine algebraic variety

Let $M^n$ be a $n$-dimensional noncompact complex manifold. In "The density property for complex manifolds and geometric structures II", Dror Varolin showed that some open set of $M$ is ...
33 views

### Having the highest value in a interval appear less often [closed]

I have an array of size 5. And initially in each index, they are initialized with the value 1. so it looks like this : 1 1 1 1 1 Every iteration, I get a decimal value between 0.0 and 1.0 At the ...
192 views

### Any representation is a sub representation of direct sum of regular representation

I need a reference for the following statement: Let G be a linear algebraic group over algebraically closed field k. Let V be a finite dimensional G-module. The V is sub representation of k[G]^n for ...
92 views

52 views

### $G$-CW complex structure of universal a $\mathcal{F}$-space

Let $G$ be a finite group and $H$ be an abelian subgroup of $G$. Let $\mathcal{F}$ be a family of all subgroups of $H$ , i.e. $\mathcal{F}= \{K : K \leq H\}$ Define universal $\mathcal{F}$-space ...
96 views

### do there exist finite simple characteristic quotients of the free group of rank 2?

Let $F_2$ be the free group of rank 2. Let $Aut^+(F_2)$ be the subgroup of $Aut(F_2)$ consisting of automorphisms of determinant 1 under abelianization. Do there exist maximal normal finite index ...
Question $\def\nn{\mathbb{N}}$ For any $n \in \nn^+$, is there a finite set $S \subset \nn^+$ such that $\sum_{k \in S} \frac{1}{k} = n$ but $\sum_{k \in T} \frac{1}{k} \notin \nn^+$ for any \$T ...