# All Questions

52 views

### Does the invariant from resolution of singularities provide a Whitney stratification?

The topic of Whitney stratifications came up in a lecture, and the general procedure in the examples was to decompose the singular locus of the variety into the strata starting with the "worst" ones. ...
27 views

### Discrete J-method of interpolation

The discrete $J$ method is, given Banach spaces $A_0$ and $A_1$: The interpolationn space $[A_0, A_1]_\theta$ is defined by: $a \in [A_0, A_1]_\theta$ if and only if $a$ can be written as ...
57 views

### Shifting a function with non-simple root creates complex roots [on hold]

Hello friendly people, I have seen a vague statement in an article that i couldn't prove: that if a function has a root with multiplicity greater than 1, by shifting the function (adding a small ...
505 views

### Has this formula about prime gaps already been conjectured and/or proven?

While playing around with prime gaps, I found out that the following formula seems to be a rather good approximation of the ratio $\dfrac{p_{b}-p_{a}}{b-a}$ where $a<b$ are positive integers: ...
20 views

### multi-variate closed form solution [on hold]

I have a loss function with two paramters. I found that when I fix one I can obtain the closed form solution of the other. In that case how can I optimize to learn those two parameters. Lets my ...
200 views
+50

### Tannakian fundamental group of two explicit tensor categories

Let $K/k$ is a field extension and $G$ an affine group scheme over $K$. What are the Tannakian fundamental groups of these two $k$-tensor categories (with trivial fiber functors over $k$): 1. The ...
199 views

### Transcendence of products of certain real algebraic numbers

Let $$z := \prod_p p^{1/p^2},$$ where the product is over all prime numbers $p$, and we always take the positive real root. Is $z$ transcendental or algebraic, or (as I ...
100 views

### Braid wiring diagrams and matroids

recently I started reading some articles about the presentation of the fundamental group of lines arrangements in $\mathbb{C}^{2}$ via Wiring diagrams. I also found some relation with matroid theory. ...
92 views

### Fixed field of the Nebentypus of a newform for $\Gamma_1(N)$

Let $f=\sum_{n\geq 1}\in S_2(\Gamma_1(N),\varepsilon)$ be a normalized newform without CM and with Nebentypus $\varepsilon$. Let $L=\mathbb Q(a_n\colon n\in \mathbb N)$ be the number field generated ...
82 views

### The rigid-analytic open disk

Let $K$ be a local field and $D_K$ the open unit disk, considered as a rigid space or adic space over $K$. What is the algebra of analytic functions on $D_K$? Proposition 1.1 of this article describes ...
77 views

### Coordinate charts on converging Riemann surfaces

Let $S$ be a $2-$dim manifold and $q \in S$. Furthermore, let $j_{n}$ be a sequence of complex structures on $S$ converging in $C^{\infty}_{\text{loc}}$ to a complex structure $j$ on $S$ as ...
50 views

### How do I solve this differential equation by differentiation? [on hold]

How do I solve this equation $$f(x) = \int_{y=0}^{1-x}f(x+y)\, dy + \int_{y=1-x}^1 y\, dy$$ by differentiation?
32 views

### Definition of mth order stationarity

in the definition of the weak GARCH processes they use the terminology of the 4th-order stationarity of the process $(X_t)$. I know the definition of 2n-order stationarity, but I'm not exactly sure, ...
119 views

### Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...
129 views

### What is a Beilinson spectral sequence?

I'm writing to ask just a question. I would like to understand better what is the Beilinson's spectral sequence and how it can be used. Is there any useful and clear reference you advice to someone ...
133 views

### How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...
48 views

### Induced subgraphs of small strongly regular graphs

Consider a strongly regular graph $G$ with parameters $(76,30,8,14).$ Hoffman's bound tells us that $\overline{G}$ has an independent set of size at most $4$ and its not hard to see there are indeed ...
80 views

I am a undergraduate student from Sri Lanka.I'm following a maths special degree programme.I have to submit a research project.I chose the area,Linear programming/Differential equation.So can you ...
33 views

### Generating alternating cycles on a perfect matching

Given a perfect matching $M$ in a regular bipartite graph $G$, is there an efficient algorithm to randomly generate self-avoiding alternating cycles with uniform distribution? Ideally, such an ...
54 views

### Restriction of derivations on $C^\infty(X)$

In 'Kriegl, Michor - A convenient setting for global infintite-dimensional analysis', they say that for an element $x$ in a convenient (i.e. Mackey-complete locally convex) space $X$, a bounded ...
144 views

### Proof of a cubic equation problem [on hold]

Well I was doing some questions and i found something. This equation $x^3+y^3+z^3=w^3$ has only one solution which is $x=3,y=4,z=5,w=6$. And what I have have proposed is that there is not other ...
52 views

### What does deg=0 imply for the gauss map?

I am facing the following problem. I have a Riemannian manifold $(M,g)$ with gauss curvature zero, an isometric immersion $v:M\rightarrow \mathbb{R}^3$ that is $C^{1,\alpha}$ and I consider the Gauss ...
128 views

### A (possible) equivalent relation on the space of vector bundles

Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows; Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and ...
316 views

### Do hom-sets really live in the category Set?

This isn't really a research-level question (sorry!), but I asked on math.se (link), and though the question was upvoted a few times, I didn't get any answers. So since there may well be more ...
32 views

19 views

### Moments in the Quantile Process

Let $q_{n}(t)$ be the $nth$ quantile processes ($t\in (0,1)$) based on the distribution F: $$q_{n}(t) = \{\sqrt{n}[F^{-1}_{n}(t)-F^{-1}(t)]\}.$$ In this case, $F^{-1}$ is the (generalized) inverse of ...
66 views

### Discrete measures and discrete kernels

This is a cross-post from math.stack. Let $d\in\mathbb N$ and $\mu$ be the probability measure on $\mathbb R^d$ defined by $\mu=\sum_{k=1}^\infty 2^{-k}\delta_{x_k}$ for some sequence ...
54 views

### About Theorem $3.1.3$ in Kubota's book: Elementary theory of eisenstein series

My question is about the proof of Theorem $3.1.3$ given in kubota's book, which shows how the function $\varphi(s)$ appearing in the Fourier expansion of eisenstein series can be continued ...
138 views

### Verlinde Formula and Theta Function Identities

The paper Fusion rules and modular transformations in 2D conformal field theory by Erik Verlinde mentions a simple case of rational conformal field theory, where the fusion algebra is just ...
132 views

### rational point of a curve [on hold]

Let $X$ be a smooth projective curve over $\mathbb{Q}$. I heard (if I did not misunderstood) that the geometry of the complex points $X(\mathbb{C})$ (flat, hyperbolic case) dicts the shape (group ...
214 views
+300

For simplicity, we restrict to constant coefficients. Let $A^{ij}_{ab} \in \mathbb{R}$, $1 \le i, j \le n$ and $1 \le a, b\le m$, satisfy the Legendre-Hadamard condition: $$... 0answers 110 views ### Integration in C^* algebra Let \mathfrak{A} be a C{}^* algebra and \mathbb{R}\ni s \mapsto \alpha_s a continuous family of its automorphisms. Is it true that$$ \int d s \, f(s)\, \alpha_s(A)  is well defined as a ...
Given a theory $T \subseteq \operatorname{Th}(\mathbb{N})$, define the decision problem $D_T$ as follows: Given a polynomial $p$ with integer coefficients and variables $\bar{x}$, decide whether ...