1
vote
0answers
24 views

definition of “immersion” of schemes (without open or closed)

On Prop. 1.7 (a) on page 5 of Milne's Etale Cohomology book states: Any immersion is quasi-finite. A google search turned up definitions for "open immersion" and "closed immersion", never just ...
5
votes
1answer
239 views

Number of matrices with given Smith normal form

Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...
3
votes
0answers
74 views

Vanishing natural transformation and strong generator

Let $X$ be a smooth projective variety (over the field of complex numbers). Let $T$ be strong generator of $D^b(X)$ : this means that every object in $D^b(X)$ can be obtained in a given finite number ...
41
votes
6answers
6k views

Why might André Weil have named Carl Ludwig Siegel the greatest mathematician of the 20th century?

According to Steven Krantz's Mathematical Apocrypha (pg. 186): As was custom, Weil often attended tea at [Princeton] University . Graduate student Steven Weintrab one day went about the room ...
1
vote
2answers
186 views

May integration spoil real-analyticity?

Is there an example of a function $f:(a,b)\times(c,d)\to\mathbb{R}$, which is real analytic and bounded in its domain, integrable in the second variable, and such that the function $$ ...
0
votes
1answer
61 views

The structure map of topological K-theory

This may be a silly question but I don't know the answer. I know the construction of (equivariant) K-spectrum $KU_G$ and the periodicity of (equivariant) K-theory. But I don't know its structure maps ...
20
votes
4answers
922 views

Why should we care about “higher infinities” outside of set theory?

Let's say you are a prospective mathematician with some addled ideas about cardinality. If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :) If you ...
0
votes
1answer
79 views

Can this equation have an explicit solution?

Given $n > 0$, $0 \leq i \leq n$ is an integer, $D = diag(d_1, \dots, d_n)$ is positive definite, $e_i$ is the $i$th column of a $n \times n$ identity matrix, $u \in R^n$ such that $B = D + u * ...
4
votes
2answers
252 views

Bateman-Horn, continued even further

As before, consider the "singular series", which shows up in the Bateman-Horn conjecture: for an irreducible polynomial $f,$ this is equal to $$ s(f) = \prod_p \frac{1-\frac{n_f(p)}p}{1-\frac1p}, $$ ...
-2
votes
0answers
55 views

Prove $R$ is a finite ring [on hold]

Suppose that $R$ is a ring and $D(R)$ is the set of all elements $x\in R$ such that there exist $b,c\neq 0$ with $xb=cx=0$. Prove that if $1<|D(R)|<\infty$ then $|R|<\infty$. ($|S|<\infty$ ...
0
votes
1answer
119 views

Reference for holder estimate on parabolic equation with neumann boundary condition

I saw a type of holder estimate in Friedman's book: partial differential equations of parabolic type(page 200 3.24) as following: Suppose we have a uniformly parabolic equation with holder ...
25
votes
3answers
456 views

The coupon collector's earworm

I thank Nicolas Dupont for the following question (and for permission to disseminate it further): I have a playlist with, say, $N$ pieces of music. While using the shuffle option (each such ...
6
votes
2answers
161 views

For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature? An obvious case is when $Y$ ...
1
vote
0answers
52 views

Calculations about the normal bundle of embedding of symmetric products

Suppose $C^{(d)}$ is the $d$-th symmetric product of a curve, embed it in $C^{(d+s)}$ by $E\to E+sP_0$ where $P_0$ is a fixed point. The normal bundle of this embedding is denoted by $N$. Suppose ...
2
votes
2answers
40 views

Basic question about discrete minimal surfaces

Let $P$ be a convex polygon with $n > 3$ vertices $v_1, \ldots, v_n \in \mathbb{R}^2$, let $x$ be a point in the interior of $P$, and let $u$ be a function with prescribed values at the vertices of ...
3
votes
1answer
74 views

Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive

Is the following function real analytic in $t>0$: $$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$ where $-a$ and $b$ are positive, and $c\not=a$? ...
1
vote
2answers
82 views

Automorphism group of the affine groups AGL(n,q), ASL(n,q)

I have a question. The automorphism group of the linear groups $GL(n,q)$, the group of linear transformations of $V = \mathbb{F}_q^n$, and $SL(n,q)$, the subgroup of $GL(n,q)$ consisting of elements ...
0
votes
0answers
13 views

Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...
9
votes
1answer
225 views

Is an irreducible ideal in $R$ also irreducible in $R[x]$?

Let $R$ be a commutative Noetherian ring and $I\subset R$ an ideal that is irreducible in the sense that if $I = J_1 \cap J_2$, then $I=J_1$ or $I=J_2$. Is (the ideal generated by) $I$ irreducible in ...
0
votes
0answers
10 views

Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane

We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c d(x,p)^n$. What is the ...
3
votes
0answers
67 views

Commuting diagram, algebraic cycles and K-theory

What is the easiest way to see the veracity of the following commutative diagram?$$\require{AMScd} \begin{CD} K(X) \otimes K(Y) @>\text{ch}(-) \otimes \text{ch}(-)>> A(X, \mathbb{Q}) \otimes ...
8
votes
1answer
172 views

Learning the exponents in a sum of two modular roots of unity

$\newcommand{\Z}{\mathbb{Z}}$ Suppose that $n$ is a large and known integer (say, with 100 digits) and that you are given access to a function $$f(x) = x^a + x^b$$ with unknown exponents $a,b \in ...
2
votes
2answers
183 views

Trivial zeroes of the Riemann Zeta function are simple

The trivial zeroes of the Riemann Zeta function are located on $-2\mathbb N^*$ and they are simple. It is not difficult to see that, but the proof I have in mind is using the fact that ...
2
votes
0answers
119 views

$Ext$-algebra generated by $Hom$ and $Ext^1$ as $A_\infty$-algebra?

In [Keller: A-infinity algebras in representation theory, Proposition 1(b)], Keller states that for an associative algebra the $Ext$-algebra of the simples is generated by $Ext^1(S,S)$ as an ...
2
votes
1answer
89 views

Convergence of Fixed-Point Iteration of a dependent map

Suppose that we have two mappings $T_1(\cdot): Y \mapsto Y$ and $T_2(\cdot,\cdot) : X \times Y \mapsto X$ where both $X$ and $Y$ are compact and convex subsets of the same Euclidean space. Furthermore ...
0
votes
1answer
159 views

Does $\mathbb Z \times \mathbb Z$ mod the obvious $\mathbb Z$ action have more structure than just a set?

$\mathbb Z$ acts on the lattice $\mathbb Z \times \mathbb Z$ by adding an element to itself n times. I am studying some function arising from symplectic geometry which happens in my case to be ...
1
vote
0answers
52 views

Rank of the Jacobian of a family of hyperelliptic curves of genus 2

Assume tha $C$ be the hyperelliptic curve $y^2 = (x-a_1)\cdots (x-a_5)$ of genus $g=2$ and $a_i \in \mathbb{Z}$ and we know that the integers $a_i$ has the form $a_i= d_1^2 - d_i^2$ for some positive ...
7
votes
0answers
79 views

Tangent space of Hilbert scheme

We have the following theorem: Let $X$ be a projective scheme over an algebraically closed field $k$, and $Y \subset X$ a closed subscheme with Hilbert polynomial $P$. Then$$T_{[Y]}\text{Hilb}_P (X) ...
11
votes
2answers
218 views

Brouwer's theorem for the Cauchy reals

Brouwer famously proved, using principles motivated by intuitionistic choice sequences, that every function $\mathbb{R}\to \mathbb{R}$ is continuous. In Sheaves in geometry and logic (section VI.9), ...
11
votes
1answer
174 views

Which sequential colimits commute with pullbacks in the category of topological spaces?

This question was asked on math.stackexchange.com without a reaction. Given diagrams of topological spaces $$X_0\rightarrow X_1\rightarrow\ldots$$ $$Y_0\rightarrow Y_1\rightarrow\ldots$$ ...
1
vote
0answers
21 views

Avoiding the range of a bivariate integer function or Diophantine function

I have a bivariate integer function $f(x,y)=5+23x+7y+30xy$ where $x,y \geq 0$ and are integers. The lattice points of this function, or its range contain a large number of values. I'm trying to see if ...
4
votes
2answers
184 views

degeneration of reductive group

If $A$ is a mixed characteristic complete DVR (I'm only actually interested in $\mathbf{Z}_p$) and $G/A$ is a closed subgroup scheme of $GL(n)$ whose generic fibre is connected reductive and split, is ...
0
votes
0answers
111 views

How do mathematicians find the underlying idea? [on hold]

While reading through the lecture notes here (http://www.math.ucla.edu/~tao/resource/general/131ah.1.03w/week2.pdf , page 22, last paragraph), I came across the following " Thus there must be some ...
2
votes
1answer
294 views

Preservation of $\diamondsuit$ by ccc forcings of size $\leq \omega_1$ [closed]

This is essentially exercise H8 (p.248) of Kunen's Set Theory: An Introduction to Independence Proofs (old edition), or exercise IV.7.58 (p.307) of Kunen's Set Theory (new edition). Suppose $P$ is ...
2
votes
1answer
104 views

On the search for an explicit form of a particular integral

Let $f$ be integrable over the interval $(0, 1)$, and $$I_n = \int_0^{1} x^n f(x) \, \mathrm{d}x.$$ Suppose $f(x) = f(1-x)$; we can then show that $$I_n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k \, ...
7
votes
0answers
107 views

Finding combinatorial models / statistics

In many cases in combinatorics and especially algebraic combinatorics with some representation theory, the main problem is about finding the correct statistic on a mathematical object. For example, ...
3
votes
0answers
26 views

Number of linearly bisected subsets in finite vector space $F_2^n$

We consider the $n$-dimenstional finite vector space $\mathbb{F}_2^{n}$ over the finite field of two elements. For a subset $A\subseteq \mathbb{F}_2^{n}$ of even size $|A|=2m$ and a linear form ...
93
votes
16answers
22k views

Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...
8
votes
1answer
150 views

Why do the model structures on dg-algebras and on dg-categories are not compatible?

First we talk about dg-algebras. According to this n-lab page, we write $dgAlg$ for the category of cochain dg-algebras in non-negative degree over a field $k$ of characteristic $0$. Write ...
51
votes
39answers
6k views

Important formulas in Combinatorics

Motivation: The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...
0
votes
0answers
24 views

Bounding Expected Value of a piecewise function [on hold]

Let X and Y to be two independent random variables with known pdfs. Get a bound for the expected value of the following expression in terms of $E[X]$, $E[Y]$, VAR[X] and VAR[Y]: \begin{equation} ...
2
votes
0answers
61 views

What are the restrictions in the ramification behavior of a Galois extension of number fields imposed by the Galois group of the extension?

Studying class field theory, I have come across the following Proposition: Proposition. Let $K/E$ be an extension of number fields so that there is no nontrivial unramified subextension $F/E$ with ...
2
votes
0answers
21 views

Changing the sign in the definition of the cocommutator of a coboundary Lie bialgebra

A Lie bialgebra is a Lie algebra additionally equipped with a 1-cocycle $\delta: {\mathfrak g}\to \Lambda^2 {\mathfrak g}$ that satisfies the co-Jacobi identity. Non-trivial Lie bialgebras can be ...
3
votes
1answer
180 views

coproduct of the homology of iterated loop space on spheres

Let $\Omega^{n+1}S^{n+1}$ be the base-pointed $(n+1)$-iterated loop space on the $(n+1)$-sphere. In the paper The homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, Lecture notes in ...
2
votes
0answers
53 views

homology coalgebra of iterated loop space of spheres

In the paper On the homology of configuration spaces, Section 4.1, a basis for the graded vector space $H_*(\Omega^m S^m;\mathbb{Z}_2)$ is given as $$ u_0, u_1, Q_I u_0, Q_I u_1 $$ where $0,1$ denote ...
3
votes
0answers
68 views

Understanding Segal's definition of conformal field theory

I have a fundamental problem in understanding Segal's definition of a conformal field theory: On the one hand his monoidal CFT-functor is a formalization of the fact that, physically, the integrand ...
2
votes
1answer
85 views

Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...
1
vote
0answers
46 views

A compact Alexandrov space with curvature bounded below has curvature bouneded above?

For a compact Riemannian manifold, Since the curvature tensor is continuous, we know that the sectional curvature is bounded, i.e. bounded above and below. Now let $M$ be a compact Alexandrov space ...
10
votes
2answers
248 views

Quantum Hamiltonian for an Inverse Cube Force Law

If you have a nonrelativistic quantum particle in $\mathbb{R}^3$ in an attractive inverse cube force, its Hamiltonian is $$ H = -\nabla^2 - \frac{c}{r^2} $$ where I'm keeping things simple by ...
4
votes
1answer
267 views

Asymptotic $\int_M \mathrm{exp}[\mathbf{e}\left(n -\frac{t}{2\pi i}\right)] \left( 1 + \frac{5}{6} \mathbf{e}^2 \right)^{1/2} $ on quintic Calabi-Yau

Let $M = \{ G(x) = 0 \} \subseteq \mathbb{P}^4$ be a quintic Calabi-Yau and $\mathbf{e} \in H^2(M, \mathbb{Z})$ such that $\int_M \mathbf{e}^3 = 5$. Then as $t \gg 1$: $$ \int_M e^{n \mathbf{e}} ...

15 30 50 per page