# Tagged Questions

**0**

votes

**0**answers

2 views

### Locally Closed Orbits in Real Algebraic Geometry

Let $G$ be a real algebraic group, and let $X$ be an real affine $G$-variety. I am looking for conditions on $G$ and $X$ for which the $G$-orbits are known to be locally closed in the Zariski topology ...

**-5**

votes

**0**answers

6 views

### Sand dryer centering clamping structure able to achieve centering effect

Bangke is a production of a variety of large machinery and equipment manufacturers, the company mainly to the quality of survival, technology and development, made market-oriented, to the fundamental ...

**1**

vote

**1**answer

62 views

### deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...

**2**

votes

**1**answer

62 views

### Pictures of the von Neumann polytope

Are there any graphic portrayals of von Neumann polytopes in low dimensions?

**4**

votes

**0**answers

36 views

### Wrapped Fukaya categories of Stein manifolds

By the work of Abouzaid, we know that the wrapped Fukaya category of $T^\ast Q$ with $Q$ a closed smooth manifold is generated by a cotangent fiber. Basically, this is an application of Abouzaid's ...

**0**

votes

**1**answer

48 views

### Is the support of two odd theta characteristics on a generic curve disjoint?

Take a canonically embedded generic curve of genus $g$ and denote it by $C \hookrightarrow \mathbb{P}^{g-1}$. There are precisely $2^{g-1} (2^g -1) $ hyperplanes in the ambient space which have ...

**0**

votes

**0**answers

27 views

### Localization on orbit type submanifolds (generalization of Atiyah-Bott-Berline-Vergne)

In equivariant cohomology, the Atiyah-Bott-Berline-Vergne localization theorem says roughly speaking that the integral of an equivariant cohomology class on the $G$-manifold $M$ has only contributions ...

**3**

votes

**0**answers

57 views

### “Integrating” solenoidal vector fields

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**0**

votes

**0**answers

77 views

### path integral and index theorem

I actually have an integral which is used to prove Atiyah-Singer index theorem for spin complex in a path integral fashion. The integral I need to evaluate is following (in simplified form)
$\int ...

**1**

vote

**0**answers

33 views

### Connection between Strebel differentials, ribbon graphs, and Belyi maps

In this paper, a nice story is woven regarding the connection between quadratic differentials on Riemann surfaces, so-called 'ribbon graphs' drawn on those surfaces, and Belyi maps. However, I am ...

**-1**

votes

**0**answers

45 views

### An isogeny from a split algebraic torus

Suppose that there is an isogeny (in the category of commutative algebraic groups) from a split algebraic torus to a semi-abelian variety. Does it follows that this semi-abelian variety is also an ...

**2**

votes

**0**answers

48 views

### Explicit equations for conormal bundle to an affine toric variety

Let $L \subset \mathbb{Z}^n$ be a lattice and let $X_L$ be the closed toric subvariety of $\mathbb{C}^n$ cut out by the lattice ideal $I_L = \{x^{l_+} - x^{l_-} \,| \, l_+, l_- \in \mathbb{N}^n \text{ ...

**-3**

votes

**1**answer

30 views

### convex upper bound of a non-convex function [on hold]

is there any formula for finding convex upper bound of a non-convex function? Like for finding convex lower bound of a non convex function, fenchel dual exists.

**1**

vote

**0**answers

61 views

### preservation of localness among certain Krull domains

The following question essentially appeared (http://math.stackexchange.com/questions/931801/preservation-of-localness-among-certain-krull-domains) on math.SE a while ago, but nobody has done anything ...

**3**

votes

**1**answer

110 views

### Containment of two varieties with a lot of intersection

Given a projective variety $X\subset \mathbb P^n$ and a curve $C\subset \mathbb P^n$, when can I conclude that $C\subset X$, from the fact that $C$ and $X$ have 'many' points in common. I.e., is there ...

**5**

votes

**2**answers

110 views

### Geodesic flow on infinite surfaces

The geodesic flow on a compact hyperbolic surface (i.e. a surface with a riemannian metric of constant curvature $-1$) has been well-studied, in particular it has been known for a long time that it is ...

**2**

votes

**1**answer

196 views

### Can the Grothendieck ring of varities over a field $k$ be defined for non separated schemes?

The Grothendieck ring of varieties over a field $k$ is the abelian group generated by isomorphim classes $[X]$ of separated, reduced $k$-schemes $X$ of finite type with the relation
$[X]=[Y] + ...

**0**

votes

**0**answers

140 views

### Decomposition of symmetric homogeneous polynomials

Can every symmetric polynomial of degree $r$ in $d$ variables that has no constant term be written as a sum of the $r$th powers of linear polynomials in $d$ variables and a homogeneous polynomial of ...

**1**

vote

**0**answers

47 views

### Decomposition of Lefschetz fibrations into surface bundles and Lefschetz fibrations over spheres

Assume that $M$ is a Lefschetz fibration with fiber genus $g$ over a base of genus $h>0$ (with at least one singular fiber). What obstructions exist to decomposing $M$ into a surface bundle $S$ of ...

**-1**

votes

**0**answers

61 views

### Isogeny of abelian varieties over general fields [on hold]

We know that given an abelian variety $X$ over an algebraically closed field $K$ of characteristic $0$ and any integer $n$ the induced map $[n]:X \to X$ is an isogeny. As far as I understand this ...

**6**

votes

**1**answer

145 views

### Generalizing “variation of parameters”

I'm stuck on generalizing an ODE formula and could use your help!
One way to think about "variation of parameters" is that it bakes the solution $z(t)=e^{At}z_0$ of $z'=Az$ (here ...

**1**

vote

**0**answers

61 views

### On the universal property of certain representable functors and rational sections

Let $P_1,P_2$ be two Hilbert polynomials of subschemes in $\mathbb{P}^n$. Denote by $H_{P_1,P_2}$ the corresponding flag Hilbert scheme (parametrizing pairs $(X\subset Y)$ where $X$ has Hilbert ...

**-3**

votes

**0**answers

85 views

### Relation between $\text{Hom}_{\mathsf{Alg}_{\mathbb{R}}}(\mathcal{C}^\infty(M),A) $ and $ X \otimes_\mathbb{R} A$? [on hold]

This question is a little bit of a shot in the dark, but maybe someone stumbled over it before... Let $M$ be a (simply connected) smooth manifold modelled on a locally convex space $X$ over ...

**8**

votes

**0**answers

106 views

### Different notions of convergence of complex subvarieties

Let $X$ be a smooth complex algebraic variety (or, better, complex analytic manifold). Let $\{C_i\}$ be a sequence of compact algebraic subvarieties (resp. analytic reduced subspaces) which converges ...

**1**

vote

**1**answer

111 views

### An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...

**4**

votes

**1**answer

249 views

### Besides the tracioid are there other surfaces of revolution that have a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...

**5**

votes

**0**answers

192 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...

**4**

votes

**2**answers

261 views

### Random Vornoi Diagrams (particular measures)

This is my second question about Random Voronoi diagrams, in my first question was given some excellent advice but i was not clear in explaining what i was looking for.
I'm interested to know ...

**0**

votes

**0**answers

98 views

### Does exterior product commute functor Hom?

Let $M$ be an module over the commutative ring $R$. I'd like to ask do we have the following isomorphism?
$$Hom_R(\wedge^n_RM,R)\simeq \wedge^n_R Hom_R(M,R)$$
We can obviously see it's true for the ...

**-4**

votes

**0**answers

89 views

### On the Picard group of a product of projective varieties [on hold]

Let $K$ be a field of characteristic zero, $X$ a smooth projective curve on $K$ and $Y$ a Fano variety over $K$. Consider the natural projection morphism $\mbox{pr}_1$ (resp. $\mbox{pr}_2$) from $X ...

**6**

votes

**1**answer

170 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**9**

votes

**1**answer

384 views

### Is it easy to prove that $\sum_n |X(\mathbb{F}_{q^n})| t^n$ is rational?

Background: Let $X$ be an algebraic variety over a finite field $\mathbb{F}_q$. One of the successes of Etale cohomology - previously achieved by Dwork- was proving the rationality of the Zeta ...

**0**

votes

**0**answers

116 views

### When is there a polynomial transformation? [on hold]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...

**1**

vote

**0**answers

173 views

### Are these two “FUNCTORS” adjoint?

I am considering the following correspondence:
Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...

**2**

votes

**0**answers

105 views

### If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...

**1**

vote

**1**answer

179 views

### Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up.
Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. ...

**7**

votes

**2**answers

584 views

### Random Voronoi Diagrams

I'm interested in what research has already been done with regards to the statistics of random voronoi diagrams. I have had a look on google scholar and results are a little inconclusive. I'm ...

**7**

votes

**1**answer

217 views

### What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...

**2**

votes

**1**answer

102 views

### Distance from constant width bodies

EDIT As @David has observed, my conjecture was clearly wrong for $\ n:=2.\ $ Let me still give it a chance for $\ n\ge 3$.
I'll call a family $\ F\ $ of bound closed convex subsets of $\ \mathbb ...

**4**

votes

**0**answers

154 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...

**3**

votes

**1**answer

112 views

### Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes.
Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...

**3**

votes

**0**answers

86 views

### Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors.
Have the possible universal covering spaces of $U$ been classified?
Do we know when the ...

**0**

votes

**0**answers

57 views

### Nonpositive curvature of Stein manifolds

It is a theorem of Greene and Wu that a complete, simply-connected Kaehler manifold of everywhere nonpositive sectional curvature is a Stein manifold. I am curious about what kinds of additional ...

**1**

vote

**0**answers

104 views

### Is there such thing as the Gorensteinification of a one-dimensional local ring?

That is, given $A$ local, reduced and one-dimensional, is there a finite extension $A\to B$ where $B$ is Gorenstein?

**6**

votes

**1**answer

129 views

### Minimizing deep holes in sphere packings

What's the current state of knowledge regarding packings of spheres in $n$-space that minimize the supremum of the sizes of the holes? This notion of tightness is more rigid than asymptotic density. I ...

**3**

votes

**0**answers

63 views

### Nice minimal embeddings of large finite groups into compact Riemannian manifolds

The initial motivation for this question is a very practical problem: I need to find the absolute minimum of a function on a very large symmetric group $\Sigma_N$ (with $N$ 10000 or more). So if ...

**0**

votes

**1**answer

94 views

### An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...

**11**

votes

**0**answers

99 views

### Higher dimensional generalization of: Any quadrilateral tiles the plane?

Any (non-self-intersecting) quadrilateral tiles the plane.
(MathWorld image.)
Q. What is the strongest known generalization of this statement to higher dimensions?
I.e., ...

**2**

votes

**0**answers

58 views

### Normal-like coordinates for weakly differentiable metrics

Let $(M,g)$ be a Riemannian $W^{2,p}$ metric, with $p>n/2$. Thus $g$ is at least continuous. At any point $P\in M$, do there exist local coordinates $x^i$ such that $g$ can be decomposed as $g_{ij} ...

**5**

votes

**1**answer

108 views

### Ham sandwich theorem for discrete measures - reference request

A discrete version of the ham sandwich theorem states as follows (see for instance "Common Hyperplane Medians for Random Vectors" - Hill):
For every $\mu_1,...,\mu_n$ discrete (i.e., purely atomic) ...